From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis