Dataflow Resource Managers and Their Synthesis from Open Path Expressions

Open predicate path expressions for distributed environments: notation, implementation, and extensions

“…• Path expressions in a particular form-"open path expressions"-will be seen to have attractive semantics for highly parallel systems and have been shown to lend themselves to automated translation into networks of communicating submodules in a dataflow environment [Oldehoeft and Jennings 1984].…”

“…In most object-oriented approaches, synchronization of requests for operations on an object's data is performed within the object itself rather than by a centralized arbiter. Much work has been and is being done on the specification of modular objects and on synchronization and communication in parallel programs [Allchin and McKendry 1983, Ambler et al 1977, Andrews 1981, Arvind et al 1977, Atkinson and Hewitt 1977, van den Bos et al 1981, Brinch Hansen 1978, BYTE 1981, Campbell and Habermann 1974, Campbell and Kolstad 1980a, Comte et al 1978, Cook 1980, Dennis 1977, Dijkstra 1975, Feldman 1979, Gentleman 1981, Hewitt and Atkinson 1979, Hoare 1978, Jayaraman and Keller 1982, Kahn et al 1981, Kessels 1981, Lauer et al 1980, Liskov 1979, Liskov and Scheifler 1983, Mao and Yeh 1980, Oldehoeft and Jennings 1984, Ramamritham and Keller 1980, Reed and Kanodia 1979, Robert and Verjus 1977, Silberschatz 1979, Welsh and Lister 1981] .…”

“…Although this idea of a clear separation of synchronization from access is not new in centralized systems, it has received only recent attention for distributed systems and also dataflow systems [Allchin and McKendry 1983, Durrieu 1979, Jayaraman and Keller 1982, Kolstad 1983, Lauer et al 1980, Oldehoeft and Jennings 1984.…”

Highly-structured software for network systems and its protection

“…As the result of procedure calls made to an RM, numerous processes may be [30,39]. They are an extension of the very high-level notation of both open path expressions and predicate path expres sions [4,9,10].…”

“…Each of the three components is separately specified and encap sulated within the parent module and the three may be implemented as concurrent communicating processes. Previous research on the specification of a synchronization language has been done by Headington, Oldehoeft, Kumar and Jennings (Headington [30], Oldehoeft and Headington [31], Kumar [35], Oldehoeft and Jennings [39]). Issues involving recovery and an implementation of the prototype system are left to future research.…”