• 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