From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis

Pavol Černý, Edmund M. Clarke, Thomas A. Henzinger +4

We present a computer-aided programming approach to concurrency. The approach allows programmers to program assuming a friendly, non-preemptive scheduler, and our synthesis procedu…