Showing papers on "Transactional memory published in 1981"
01 Jan 1981
TL;DR: A simple model of concurrent computations is presented in which disjoint instructions are executed concurrently by processors in a sufficiently large number under a shared memory environment.
Abstract: A simple model of concurrent computations is presented in which disjoint instructions /processes/ of program are executed concurrently by processors /in a sufficiently large number/ under a shared memory environment. The semantics of such a program specifies the tree of configuration sequences which are acceptable as possible computations of the program.
57 citations
10 Jun 1981
TL;DR: The duality of procedure-oriented and message-oriented approaches, where processes communicate via message channels, are considered and the relationship between a representative collection of such constructs is considered in the framework of transformational semantics.
Abstract: During the last years numerous constructs have been proposed for concurrent programming The relationship between a representative collection of such constructs is considered in the framework of transformational semantics In particular procedure-oriented versions, where processes communicate via synchronized or protected access to shared memory, as well as message-oriented approaches, where processes communicate via message channels, are considered The duality of these two concepts is outlined Moreover these constructs are compared to applicative constructs for concurrent programming such as data flow languages
6 citations