Safe nondeterminism in a deterministic-by-default parallel language

DOI10.1145/1926385.1926447MaRDI QIDQ5408574zbMATH OpenOpenAlexFDO

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

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

atomic sectionsatomicitydata race freedomdeterminismeffect systemseffectsnondeterminismparallel programming languagesstrong isolationtransactional memorytransactions

Mathematics Subject Classification ID

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

Recommendations

• A type and effect system for determinism in multithreaded programs
• Non-determinism analyses in a parallel-functional language
• Nondeterminism with Referential Transparency in Functional Programming Languages
• Efficient detection of determinacy races in cilk programs
• Automatic verification of determinism for structured parallel programs

Cited in

(9)

• Efficient detection of determinacy races in cilk programs
• An optimal data structure to handle dynamic environments in non-deterministic computations
• A type and effect system for determinism in multithreaded programs
• Toward a formal semantic framework for deterministic parallel programming
• Non-determinism analyses in a parallel-functional language
• Non-speculative and upward invocation of continuations in a parallel language
• Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable
• Freeze after writing, quasi-deterministic parallel programming with LVars
• Implementation of Functional Languages

Describes a project that uses

Uses Software

• Grace

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408574)