Programming with Fine-Grained Atomic Actions

Abstract

Real computer hardware does not implement as atomic actions all the assignment statements, guard evaluation actions, and atomic statements of our programming notation. A typical computer can execute only a small, fixed set of unconditional atomic actions; an operating system might add to this a few conditional atomic actions. Thus, there is a gap between the programming model we have been assuming and what is available on an actual computer system.