Automatic Mutual Exclusion
Automatic Mutual Exclusion
M. Isard,A. Birrell
2007 · DBLP: conf/hotos/IsardB07
USENIX Workshop on Hot Topics in Operating Systems · 55 Citations
TLDR
This work proposes a new concurrent programming model, Automatic Mutual Exclusion (AME), which favors correctness over performance for simple programs, while allowing advanced programmers the expressivity they need.