Prototyping Synchronization Policies for Existing Programs

We describe a framework, called the Synchronization Policy Prototyper (SyPP), for generating tools to aid in assessing the appropriateness of strictly exclusive synchronization policies under expected program usage scenarios. A SyPP tool aims to help during evolution of an existing program when the synchronization policy that it implements needs to be changed. 1