Safe nondeterminism in a deterministic-by-default parallel language

DOI10.1145/1926385.1926447zbMath1284.68166OpenAlexW4240363966MaRDI QIDQ5408574

Tatiana Shpeisman, Sarita V. Adve, Adam Welc, Robert L. Bocchino, Stephen Heumann, Vikram S. Adve, Nima Honarmand

Publication date: 10 April 2014

Published in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1926385.1926447

zbMATH Keywords

effectsdeterminismnondeterminismatomicitytransactional memorytransactionsparallel programming languagesatomic sectionseffect systemsdata race freedomstrong isolation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Parallel algorithms in computer science (68W10) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Grace

This page was built for publication: Safe nondeterminism in a deterministic-by-default parallel language