Concurrency Among Strangers: Programming in E as Plan Coordination

Authors

Venue

R. De Nicola and D. Sangiorgi (Eds.): TGC 2005, LNCS 3705, pp. 195–229, 2005.

Research Areas

Robust Composition

Publication Year

2005

Concurrency Among Strangers: Programming in E as Plan Coordination

Abstract

Programmers write programs, expressing plans machines to execute. When composed so that they may cooperate, plans may instead interfere with each other in unanticipated ways. Plan coordination is the art of simultaneously enabling plans to cooperate, while avoiding hazards of destructive plan interference. For sequential computation within a single machine, object programming supports plan coordination well. For concurrent computation, this paper shows how hard it is to use locking to prevent plans from interfering without also destroying their ability to cooperate.

In Internet-scale computing, machines proceed concurrently, interact across barriers of large latencies and partial failure, and encounter each other???s misbehavior. Each dimension presents new plan coordination challenges. This paper explains how the E language addresses these joint challenges by changing only a few concepts of conventional sequential object programming. Several projects are adapting these insights to existing platforms.