The fuzzy barrier: a mechanism for high speed synchronization of processors
ASPLOS III Proceedings of the third international conference on Architectural support for programming languages and operating systems
Consistent detection of global predicates
PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Distributed Hardwired Barrier Synchronization for Scalable Multiprocessor Clusters
IEEE Transactions on Parallel and Distributed Systems
Synchronization and communication in the T3E multiprocessor
Proceedings of the seventh international conference on Architectural support for programming languages and operating systems
Detection of Strong Unstable Predicates in Distributed Programs
IEEE Transactions on Parallel and Distributed Systems
Consistent global states of distributed systems: fundamental concepts and mechanisms
Distributed systems (2nd Ed.)
EMP: zero-copy OS-bypass NIC-driven gigabit ethernet message passing
Proceedings of the 2001 ACM/IEEE conference on Supercomputing
Detection of Weak Unstable Predicates in Distributed Programs
IEEE Transactions on Parallel and Distributed Systems
Interrupt and Cancellation as Synchronization Methods
PPAM '01 Proceedings of the th International Conference on Parallel Processing and Applied Mathematics-Revised Papers
Detection of Global State Predicates
WDAG '91 Proceedings of the 5th International Workshop on Distributed Algorithms
Detecting Global Predicates in Distributed Systems with Clocks
WDAG '97 Proceedings of the 11th International Workshop on Distributed Algorithms
Detecting Quantified Global Predicates in Parallel Programs
Euro-Par '95 Proceedings of the First International Euro-Par Conference on Parallel Processing
Towards More Powerful and Flexible Synchronization Primitives
PARELEC '00 Proceedings of the International Conference on Parallel Computing in Electrical Engineering
Adding Advanced Synchronization to Processes in GRADE
PARELEC '02 Proceedings of the International Conference on Parallel Computing in Electrical Engineering
Low Latency Communication on DIMMnet-1 Network Interface Plugged into a DIMM Slot
PARELEC '02 Proceedings of the International Conference on Parallel Computing in Electrical Engineering
Predicate Control for Active Debugging of Distributed Programs
IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
ICDCS '95 Proceedings of the 15th International Conference on Distributed Computing Systems
An Efficient Transport Independent Active Messaging Implementation for PVM
An Efficient Transport Independent Active Messaging Implementation for PVM
Detecting global predicates in distributed systems with clocks
Distributed Computing
| Hi-index | 0.00 |
New high-level control mechanisms for design of parallel programs are introduced in the paper. Special synchronizer processes collect information on application parallel process states and construct strongly consistent global states, using time interval timestamps. Based on consistent global states, synchronization and execution control predicates are evaluated by the synchronizers. As a result, synchronization/control signals are sent to application processes. The signals can trigger asynchronous computation activation or cancellation. The proposed synchronization framework is integrated with a message passing system and included into GRADE graphical parallel program design environment. Architecture and implementation aspects of such system are discussed.