DocumentCode :
1671906
Title :
Distributed implementation of multi-rendezvous in LOTOS using the orthogonal communication structure in Linda
Author :
Naik, Kshirasagar
Author_Institution :
Dept. of Comput. Software, Aizu Univ., Fukushima, Japan
fYear :
1995
Firstpage :
518
Lastpage :
525
Abstract :
We argue that the programming simplicity and message passing complexity of implementing LOTOS multi-rendezvous largely depends on the underlying communication structure. The programming simplicity and low complexity of our algorithm are due to our viewing the multi-rendezvous problem as a distributed mutual exclusion problem. Using the parallel programming environment of Linda, we present an efficient algorithm to easily implement multi-rendezvous in LOTOS. The orthogonal communication structure in Linda allows us to separate synchronization concerns in multi-rendezvous from concerns in interprocess communication in an implementation. The concept, of Table Space in Linda and the associated in, out, and rd primitives for managing the tuple space lead to an elegant programming style for distributed implementation of multi-rendezvous
Keywords :
message passing; parallel programming; protocols; specification languages; LOTOS; Linda; Table Space; distributed implementation; distributed mutual exclusion problem; interprocess communication; low complexity; multi-rendezvous; multi-rendezvous problem; orthogonal communication structure; parallel programming environment; programming simplicity; synchronization concerns; tuple space; underlying communication structure; Algebra; Cities and towns; Computer networks; Formal verification; Instruction sets; Intelligent networks; Laboratories; Message passing; Parallel programming; Protocols; Software;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Distributed Computing Systems, 1995., Proceedings of the 15th International Conference on
Conference_Location :
Vancouver, BC
ISSN :
1063-6927
Print_ISBN :
0-8186-7025-8
Type :
conf
DOI :
10.1109/ICDCS.1995.500058
Filename :
500058
Link To Document :
بازگشت