Low-synchronization, mostly lock-free, elastic scheduling for streaming runtimesScott SchneiderKun-Lung Wu2017PLDI 2017