PEGASUS DA framework for distributed program execution control based on application global states monitoring

摘要

The paper presents basic design decisions taken in the implementation of a novel distributed program designrnframework Program Execution Governed by Asynchronous SUpervision of States in Distributed Applicationsrn(PEGASUS DA). This framework supports application program execution control design based onrnevolved automated program global states monitoring. The framework provides to a programmer a readyto-rnuse infrastructure for defining and handling local and global application states to be used as the basisrnfor program execution control decisions. The paper presents how the provided infrastructure can be usedrnfor automated construction of strongly consistent application global states. Also, the use of global statesrnfor graphically supported specification of distributed program execution control is covered for clusters ofrnmulticore processors based on multithreading and message passing. Both architecture and implementationrnsolutions applied for PEGASUS DA are discussed. Especially, multivariant algorithms for construction ofrnprogram strongly consistent global states and methods for their use in the design of distributed programrnglobal execution control are shown. The use of PEGASUS DA is illustrated with an example of a travelingrnsalesman problem solved by the branch and bound method.