Abstract
The paper concerns methodology of organizing execution control in parallel and distributed programs based on special control infrastructure provided in the system, which monitors application global states. In such infrastructure, automatic collecting information from parallel processes about their local states and construction global application states can be done on-line without tedious intervention of a programmer. Global predicates can be next evaluated to examine the obtained global states and control decisions on program behaviour can be taken. Application processes can use the information about global predicate fulfillment to control their execution in a way, which is desired from a global point of view. There are many possible ways a process can access the information about the global predicate fulfillment. We discuss them in detail, dividing the described variants into two main groups: synchronous and asynchronous. We present an implementation of an asynchronous variant. Implementation of other variants, which present very interesting perspectives is also discussed.
Sign-in/Register to access full text options 
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 callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
