Abstract
New parallel program synchronization mechanisms are presented. A specialized synchronizer process, or a hierarchy of such processes, gather information about process states and construct Strongly Consistent Global States, using time interval timestamps. Global predicates evaluated by synchronizers can cause synchronization signals to be sent to processes, the signals trigger asynchronous computation activation or cancellation. The proposed framework is integrated with a message passing system - it is added to the GRADE graphical parallel programming environment to enhance its message-passing based features. Architecture and implementation of the enhancement are discussed.
Highlights
Message passing has become one of the most popular and most successful parallel programming paradigms, especially due to standardization enabled by PVM and MPI libraries
Synchronization primitives should be transformed into a generalized system where synchronization is used as a top-level factor that constitutes a framework for general program execution control
In this paper we describe how the ideas mentioned above can be combined with standard message passing in the graphical parallel program design environment GRADE [KDF97, KDFL99, PGR]
Summary
Message passing has become one of the most popular and most successful parallel programming paradigms, especially due to standardization enabled by PVM and MPI libraries. Processes react to a fulfilled synchronization condition in a way that is another novel feature They can be temporally or permanently suspended if higher priority or more relevant actions are to be activated by a synchronization condition. In such situation, a process receives a synchronization message that immediately activates a procedure, which is an integral part of the application. The idea of execution control in parallel programs based on process synchronization is explained It includes verification of predicates defined on elements of global states in asynchronous systems and reactions on predicates as asynchronous activation and cancellation of computations in application programs. In part 3, physical implementation issues of communication and synchronization for the proposed solution are discussed
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
