Toward a method of object-oriented concurrent programming

Analysis of Deadlocks in Object Groups

“…Since then, several languages have a notion of group for structuring systems, such as Eiffel// [4], Hybrid [18], and ASP [5]. A library for object groups has also been defined for CORBA [8].…”

“…Tasks are created by method invocation that are asynchronous in FJg: the caller activity continues after the invocation and the called code runs on a different task that may belong to a different group. The synchronization between the caller and the called methods is performed when the result is strictly necessary [11,24,4]. Technically, the decoupling of method invocation and the returned value is realized using future variables (see [7] and the references in there), which are pointers to values that may be not available yet.…”

Cameo: an alternative model of concurrency for Eiffel

“…Function calls and reference to attributes are synchronous, but these may be subject to lazy evaluation [Car93]. Additionally, races are prevented by the convention that a separate formal argument causes the object to be exclusively locked during that feature call.…”

Optimizing Metacomputing with Communication-Computation Overlap

“…In the same way, resumption has to be transparent and automatic. This requires a wait-bynecessity mechanism [5]. Such a mechanism is provided by the classical future mechanism as originally designed in Multilisp [12].…”