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