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
         
        
        
        
        
            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;
         
        
        
        
            Conference_Titel : 
Distributed Computing Systems, 1995., Proceedings of the 15th International Conference on
         
        
            Conference_Location : 
Vancouver, BC
         
        
        
            Print_ISBN : 
0-8186-7025-8
         
        
        
            DOI : 
10.1109/ICDCS.1995.500058