A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling