Modular scheduling of guarded atomic actions. - Rosenband, Daniel L.; Arvind (2004)