Towards a Grainless Semantics for Shared Variable Concurrency

John C. Reynolds


Abstract

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
Maintainer Xavier.Leroy@inria.fr.
Start Conference Manager
Conference Systems