Designing Scalable Software for Multicore Processors](https://people.csail.mit.edu/nickolai/papers/clements-sc.pdf)
pull-based load balancing.
using software defined networking to enforce partitions, speeding up failure detection.
Nice paper that summarizes the historical papers related to concurrency models.
“only way to stop is to crash. only way to start is to recover”