Design, verification and applications of a new read-write lock algorithm
Jun Shirako, Nick Vrvilo, Eric G. Mercer, Vivek Sarkar · 2012
Coordination and synchronization of parallel tasks is a major source of complexity in parallel programming. These constructs take many forms in practice including directed barrier and point-to-point synchronizations, termination detection of child tasks, and mutual exclusion in accesses to shared resources.