Communicating sequential processes
Communicating sequential processes
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
Composable memory transactions
Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming
Irrevocable transactions and their applications
Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures
Design and implementation of transactional constructs for C/C++
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Language constructs for transactional memory
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
New Horizons in Multicore Software Engineering
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Communicating memory transactions
Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
| Hi-index | 0.00 |
Multicore systems make shared-memory multiprocessors ubiquitous, but require concurrent programs to exploit their potential. Yet, "our repertoire of tools and methods for cost-effectively developing reliable and robust parallel applications is spotty" [1]. One fundamental problem, of course, is maintenance of shared mutable state, which is the means of communication among threads in a shared-memory program. To ensure the integrity of this communication, threads must synchronize their accesses to this shared state, and various mechanisms have been devised to do this.