An empirical comparison of monitoring algorithms for access anomaly detection
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Coordination languages and their significance
Communications of the ACM
Software support for speculative loads
ASPLOS V Proceedings of the fifth international conference on Architectural support for programming languages and operating systems
Communicating sequential processes
Communications of the ACM
Coordination Models and Facilities could be Parallel Software Accelerators
HPCN Europe '99 Proceedings of the 7th International Conference on High-Performance Computing and Networking
Programming Abstracts for Synchronization and Communication in Parallel Programs
PaCT '95 Proceedings of the 3rd International Conference on Parallel Computing Technologies
Parallelising Programs with Algebraic Programming Tools
Euro-Par '95 Proceedings of the First International Euro-Par Conference on Parallel Processing
A Fundamental Tehoerem of Asynchronous Parallel Computation
Proceedings of the Sagamore Computer Conference on Parallel Processing
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
| Hi-index | 0.00 |
An approach based on algebraic treatment of programs and advanced transition system operational semantics is described for asynchronous communication of parallel distributed/shared memory programs. The approach aimes at efficient synchronization and combines compile- and run-time data flow analysis to improves computation and communication overlapping. A number of semantic models of data exchanges of increasing power for asynchronous communication in distributed environment are constructed. Two programming abstractions, exchange environs and coordination expressions, aimed to reduce communication and synchronization overhead are derived from the theory. The program models constructed give more theoretical insight into the nature of parallelism of computation and communication and have immediate practical influence on parallel programming. Particularly automatic resolution of some classes of communication deadlocks are allowed and enhancement of data parallel par