Towards a Grainless Semantics for Shared Variable Concurrency

John C. Reynolds


Conventional semantics for shared variable concurrency imposes a default choice of the level of atomicity that is often unrealistic for an actual implementation - this is commonly called the "grain of time" phenomenon. We propose a semantics that avoids any such choice. It is based on three principles:

The slides for this lecture are available online.

Server START Conference Manager
Update Time 19 Sep 2003 at 17:40:43
Start Conference Manager
Conference Systems