High-Level Concurrency Constructs

The complexity and inefficiency of the locking solution is increasing for more complex critical-section, so it is worthwhile to search for a different approach to reduce the complexity, as for hardware solutions for mutual exclusion.