Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs 英文论文文献.docVIP

TowardsAlgorithmicSynthesisofSynchronizationfor Shared-MemoryConcurrentPrograms RoopshaSamanta ComputerEngineeringResearchCentre, TheUniversityofTexasatAustin. roopsha@cs.utexas.edu Wepresentaframeworkthattakesaconcurrentprogramcomposedofunsynchronizedprocesses, alongwithatemporalspeci?cationoftheirglobalconcurrentbehaviour,andautomaticallygenerates a concurrent program with synchronization ensuring correct global behaviour. Our methodology supports ?nite-state concurrent programs composed of processes that may have local and shared variables, may be straight-line or branching programs, may