• DocumentCode
    2165138
  • Title

    Analyzing nondeterminacy of message passing programs

  • Author

    Jianxin, Xiong ; Dingxing, Wang

  • Author_Institution
    Dept. of Comput. Sci. & Technol., Tsinghua Univ., Beijing, China
  • fYear
    1996
  • fDate
    12-14 Jun 1996
  • Firstpage
    547
  • Lastpage
    549
  • Abstract
    Nondeterminacy is an important issue of testing and debugging parallel programs. For a message passing program the inter-process communication is the main cause of nondeterminacy. From a event-based view, the execution of a message passing parallel program can be modeled as partially ordered set of events. The nondeterminacy is reflected in the partially ordered set. In this paper, we present a method to analyze the messagewise nondeterminacy of a message passing program based on the execution trace which preserves the partial order relations
  • Keywords
    message passing; parallel programming; program diagnostics; execution trace; message passing; message passing programs; nondeterminacy; parallel program; parallel programs; partial order relations; partially ordered set; Clocks; Delay; Information analysis; Instruments; Message passing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Parallel Architectures, Algorithms, and Networks, 1996. Proceedings., Second International Symposium on
  • Conference_Location
    Beijing
  • ISSN
    1087-4089
  • Print_ISBN
    0-8186-7460-1
  • Type

    conf

  • DOI
    10.1109/ISPAN.1996.509039
  • Filename
    509039
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2165138