Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Towards a Grainless Semantics for Shared Variable Concurrency

Summary: Towards a Grainless Semantics
for Shared Variable Concurrency
John C. Reynolds
Carnegie Mellon University
Queen Mary, University of London
Imperial College
December 14, 2010
This is a preliminary draft describing
work in progress
The Problem
What is the meaning of
x := x x x := x + 1 ?
Are the assignment commands atomic, so that it is either
x := x x ; x := x + 1 or x := x + 1 ; x := x x ?
or are evaluation and store operations atomic:
(t1 := x x ; x := t1) (t2 := x + 1 ; x := t2) ?
or is each lookup and store atomic:
(t1 := x ; t2 := x ; x := t1 t2) (t3 := x ; x := t3 + 1) ?
or is the granularity even finer:


Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University
Reynolds, John C. - School of Computer Science, Carnegie Mellon University


Collections: Computer Technologies and Information Sciences; Mathematics