Dynamic Distributed Programs Control Based on Global Program States Monitoring

The paper concerns designing distributed program execution control based on global application states monitoring in the presence of a dynamic number of processes and threads. Global program execution control is based on application states monitoring at the level of processes/threads in clusters of multi--core processors. A special control infrastructure is proposed based on synchronizers, which collect state information from processes and threads, detect strongly consistent application global states, evaluate control predicates and send respective control signals. An algorithm for detection of strongly consistent global states for a variable number of processes/threads is presented.

[1]  Frank B. Schmuck,et al.  Agreeing on Processor Group Membership in Timed Asynchronous Distributed Systems , 1995 .

[2]  Message Passing Interface Forum.  MPI: A message - passing interface standard , 1994 .

[3]  Marek Tudruj,et al.  Graphical design of Parallel Programs with Control Based on Global Applications States using an Extended P-GRADE System , 2004, DAPSYS.

[4]  Daniel Gooch,et al.  Communications of the ACM , 2011, XRDS.

[5]  Keith Marzullo,et al.  Tools for Constructing Distributed Reactive Systems , 1991 .

[6]  Alan Fekete,et al.  Providing view synchrony for group communication services , 2003, Acta Informatica.

[7]  Adam Smyk,et al.  Distributed Program Control Flow and Behaviour Governed by Global States Monitoring , 2011, 2011 Sixth International Symposium on Parallel Computing in Electrical Engineering.

[8]  Marek Tudruj,et al.  Dual Communication Network in Program Control Based on Global Application State Monitoring , 2007, Sixth International Symposium on Parallel and Distributed Computing (ISPDC'07).

[9]  Marek Tudruj,et al.  Global Control in Distributed Programs with Dynamic Process Membership , 2012, 2012 20th Euromicro International Conference on Parallel, Distributed and Network-based Processing.

[10]  Adam Smyk,et al.  Global Asynchronous Parallel Program Control for Multicore Processors , 2010, PARA.

[11]  Janusz Borkowski,et al.  Global Predicates for Online Control of Distributed Applications , 2003, PPAM.

[12]  J. Borkowski.  Parallel program control based on hierarchically detected consistent global states , 2004, Parallel Computing in Electrical Engineering, 2004. International Conference on.

[13]  Ozalp Babaoglu,et al.  Consistent global states of distributed systems: fundamental concepts and mechanisms , 1993 .

[14]  Alberto Bartoli,et al.  Application-based dynamic primary views in asynchronous distributed systems , 2003, J. Parallel Distributed Comput..

[15]  Marek Tudruj,et al.  Global predicate monitoring applied for control of parallel irregular computations , 2007, 15th EUROMICRO International Conference on Parallel, Distributed and Network-Based Processing (PDP'07).

[16]  Péter Kacsuk,et al.  Extending GRADE Towards Explicit Process SYNCHRONISATION in Parallel Programs , 1998, Comput. Artif. Intell..

[17]  Per Brinch Hansen.  The search for simplicity - essays in parallel programming , 1996 .

[18]  Louise E. Moser,et al.  The Totem system , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[19]  Alberto Montresor,et al.  Group membership and view synchrony in partitionable asynchronous distributed systems: specifications , 1997, OPSR.

[20]  Luís E. T. Rodrigues,et al.  Reducing the cost of group communication with semantic view synchrony , 2002, Proceedings International Conference on Dependable Systems and Networks.

[21]  Scott D. Stoller,et al.  Detecting global predicates in distributed systems with clocks , 1997, Distributed Computing.

[22]  Adam Smyk,et al.  Program Design Environment for Multicore Processor Systems with Program Execution Controlled by Global States Monitoring , 2011, 2011 10th International Symposium on Parallel and Distributed Computing.

[23]  Alan L. Cox,et al.  Software versus hardware shared-memory implementation: a case study , 1994, ISCA '94.