DIKU ITU KVL

Copenhagen Programming Language Seminar

COPLAS Talk/Theory seminar

In co-operation with Department of Theoretical Computer Science, ITU

Toward a Grainless Semantics for Shared-Variable Concurrency

John C. Reynolds,
Carnegie Mellon University

Thursday, November 18th, 15:00-16:00
ITU, Rued Langgaards Vej 7, aud. 4

Abstract:

Conventional semantics for shared-variable concurrency suffers from the ``grain of time'' problem, i.e., the necessity of specifying a default level of atomicity. We propose a semantics that avoids any such choice by regarding all interference that is not controlled by explicit critical regions as catastrophic. It is based on three principles:

  • - Operations have duration and can overlap one another during execution.
  • - If two overlapping operations touch the same location, the meaning of the program execution is ``wrong''.
  • - If, from a given starting state, execution of a program can give ``wrong'', then no other possibilities need be considered.

Scientific host: Lars birkedal. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and KVL.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org