Declarative Synchronization

This project introduces the design and implementation of a synchronization tool called Declarative Synchronization, which provides an easy-to-use, composable, deadlock free but also high performance solution to the case that prog rammers need to access large chunk of shared data in the critical section.