Abstract:
The configuration programming approach has been successfully applied to model parallel and distributed systems in terms of their component processes and relationships, separated from the functional aspects of the components ' behaviour. This approach promotes the construction of modular and flexible systems but the lack of information about the components' behaviour prevents us verifying important properties such as deadlock freedom in the configuration. In this paper, we propose including certain information about the components ' behaviour (especially the communication and synchronisation patterns) in a more refined level of the configuration. The idea is to associate each component with a template which has a well-defined communication and synchronisation structure. With this information, we can define composition rules that guarantee the configuration is deadlock-free by construction without having to inspect the components ' states. This paper describes our technique and presents several examples.
Citations
|
230
|
Partitioning and Scheduling Parallel Programs for Multiprocessors
– Sarkar
- 1989
|
|
134
|
Object-Oriented Design with Applica-tions, Benjamin Cummings
– Booch
- 1991
|
|
64
|
A general-purpose algorithm for analyzing concurrent programs
– Taylor
- 1983
|
|
53
|
Configuration Programming – a framework for the development of distributable systems
– Kramer
- 1990
|
|
50
|
Some deadlock properties of computer systems
– Holt
- 1972
|
|
29
|
Higher-Level Paradigms for Deadlock-Free HighPerformance Systems
– Welch, Justo, et al.
- 1993
|
|
14
|
The pursuit of deadlock freedom
– Roscoe, Dathi
- 1987
|
|
13
|
Concurrent Systems - An Integrated Approach to Operating Systems, Database, and Distributed Systems
– Bacon
- 1993
|
|
13
|
Enumeration of the elementary circuits of a directed graph
– Tarjan
- 1973
|
|
7
|
Software CAD: A Revolutionary Approach
– Buhr, Karam, et al.
- 1989
|
|
7
|
On the serialisation of parallel programs
– Welch, Justo
- 1991
|
|
5
|
Configuration-oriented Development of Parallel Programs
– Justo
- 1993
|
|
5
|
The conic toolkit for building distributed systems
– Kramer, Magee, et al.
- 1987
|
|
4
|
Programming distributed systems with configuration languages
– Justo, Cunha
- 1992
|
|
3
|
Monitors: An operating system structure
– Hoare
- 1974
|
|
2
|
A Deadlock Detection Tool for Occam
– Joosen, Verbaeten
- 1989
|
|
1
|
A synchronization calculus for message orinted programming
– Cunha, Mainbaum, et al.
- 1982
|
|
1
|
Dynamic configuration as a paradigm to develop flexible and robust system
– Justo, Cunha
- 1991
|
|
1
|
Synthesis of deadlock-free parallel programs
– Justo, Welch
- 1991
|
|
1
|
Advanced occam 2 and transputer engineering. Lecture notes for commett-course
– Roebbers
- 1990
|
