Don Goodeve

Learn More
This paper demonstrates the utility of typed shared data abstractions as an effective high-level means of structuring and coordinating parallel programs. Access to data shared by concurrent processes is expressed through operations of shared abstract data types (SADTs). SADTs abstract low-level concerns of communication and synchronization. The exposition(More)
Conventionally, interaction in Parallel and Distributed systems is achieved through the use of either Message Passing or Shared Memory. This paper presents the case for an alternative mechanism supporting high-performance sharing in applications; Shared Abstract Data-types (SADTs). An example of the class of SADTs, a highly concurrent FIFO queue, is used to(More)
We present a programming system based around a set of highly concurrent, highly distributed data structures. These shared abstract data types offer a uniform interface onto a set of possible implementations, each optimised for particular patterns of use and more relaxed coherence conditions in the data. They allow applications written using a shared data(More)
This paper demonstrates the utility of typed shared data abstractions as an effective high-level means of structuring and coordinating parallel programs. Access to data shared by concurrent processes is expressed through operations of Shared Abstract Data Types (SADTs). SADTs abstract low-level concerns of communication and synchronisation. The exposition(More)
  • 1