DocumentCode :
434641
Title :
Distributing synchronous systems with modular structure
Author :
Zennaro, Marco ; Sengupta, Raja
Author_Institution :
Center for Collaborative Control of Unmanned Vehicles, California Univ., Berkeley, CA, USA
Volume :
3
fYear :
2004
fDate :
14-17 Dec. 2004
Firstpage :
2316
Abstract :
Synchronous programs were introduced to simplify the development of reactive systems hiding the complexity and indeterminism of the interleaving while taking full advantage of possible concurrency. The introduction of communication networks enabled the creation of distributed systems presenting the programmer with a new burden of interleaving and nondeterminism due to the asynchronous communication medium. Again this complexity should be hidden from the user while taking full advantage of the possible concurrency to improve performance. Many algorithms for the automatic distributions of synchronous programs have been proposed so far, but they are not suitable for large scale system because they do not preserve the compositionality of the original code: the modularity of the synchronous program is lost. As a result the subsystems are not re-usable and a small local change results in the recompilation and re-distribution of the overall system. This solution is cumbersome and unpractical in many real-world applications. In this paper we introduce an algorithm for the distribution of synchronous programs that preserves the modularity and allows separate compilation and subsystem re-use.
Keywords :
concurrency theory; distributed programming; program compilers; asynchronous communication medium; communication networks; concurrency; distributed systems; interleaving; modular structure; nondeterminism; reactive systems; synchronous programs; synchronous systems; Asynchronous communication; Automatic control; Communication networks; Communication system control; Computer languages; Concurrent computing; Control systems; Interleaved codes; Large-scale systems; Programming profession;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Decision and Control, 2004. CDC. 43rd IEEE Conference on
ISSN :
0191-2216
Print_ISBN :
0-7803-8682-5
Type :
conf
DOI :
10.1109/CDC.2004.1428737
Filename :
1428737
Link To Document :
بازگشت