Prototyping synchronization policies for existing programs
Yi Sheng Huang, Laura K. Dillon, R. E. Kurt Stirewalt · 2009
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.