Automatically Mapping Sequential Objects to Concurrent Objects: The Mutual Exclusion Problem

We show how to automatically map an object, given its sequential implemenfation, to a concurrent object with no points of interference. Automation is needed because without if programmers must determine where mutual exclusion is needed, where synchronization is needed, and how to ensure liveness, fairness, and absence of deadlock.