Global Control in Distributed Programs with Dynamic Process Membership

The paper is concerned with distributed program execution control based on global application states monitoring for multi-core processors. The proposed control infrastructure is based on structural program elements called synchronizers, which collect program state information at the process and thread levels, discover strongly consistent application global states, evaluate control predicates on such states and send signals to application program threads and processes to stimulate global control actions. The paper discusses problems of designing program execution control based on global application states in the presence of dynamic composition of program in terms of processes and threads.