research-article

DMP: Deterministic Shared-Memory Multiprocessing

Authors:

Joseph Devietti,

Brandon Lucia,

Luis Ceze,

Mark OskinAuthors Info & Claims

IEEE Micro, Volume 30, Issue 1

Pages 40 - 49

https://doi.org/10.1109/MM.2010.14

Published: 01 January 2010 Publication History

Publisher Site

Abstract

Shared-memory multicore and multiprocessor systems are nondeterministic, which frustrates debugging and complicates testing of multithreaded code, impeding parallel programming's widespread adoption. The authors propose fully deterministic shared-memory multiprocessing that not only enhances debugging by offering repeatability by default, but also improves the quality of testing and the deployment of production code. They show that determinism can be provided with little performance cost on future hardware.

Cited By

View all

Xiao QSubialdea BBauer LReiter MLobo JStoller SLiu P(2020)Metering Graphical Data Leakage with SnowmanProceedings of the 25th ACM Symposium on Access Control Models and Technologies10.1145/3381991.3395598(1-12)Online publication date: 10-Jun-2020
https://dl.acm.org/doi/10.1145/3381991.3395598
Terra-Neves MMachado NLynce IManquinho V(2019)Concurrency debugging with MaxSMTProceedings of the Thirty-Third AAAI Conference on Artificial Intelligence and Thirty-First Innovative Applications of Artificial Intelligence Conference and Ninth AAAI Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v33i01.33011608(1608-1617)Online publication date: 27-Jan-2019
https://dl.acm.org/doi/10.1609/aaai.v33i01.33011608
Merrifield TRoghanchi SDevietti JEriksson JBahar IHerlihy MWitchel ELebeck A(2019)Lazy Determinism for Faster Deterministic MultithreadingProceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3297858.3304047(879-891)Online publication date: 4-Apr-2019
https://dl.acm.org/doi/10.1145/3297858.3304047
Show More Cited By

Recommendations

DMP: deterministic shared memory multiprocessing
ASPLOS XIV: Proceedings of the 14th international conference on Architectural support for programming languages and operating systems

Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input, they can produce a different output. This frustrates debugging and limits ...
DMP: deterministic shared memory multiprocessing
ASPLOS 2009

Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input, they can produce a different output. This frustrates debugging and limits ...
DMP: deterministic shared memory multiprocessing
ASPLOS 2009

Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input, they can produce a different output. This frustrates debugging and limits ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

IEEE Micro Volume 30, Issue 1

January 2010

114 pages

ISSN:0272-1732

Issue’s Table of Contents

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 January 2010

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 11 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Xiao QSubialdea BBauer LReiter MLobo JStoller SLiu P(2020)Metering Graphical Data Leakage with SnowmanProceedings of the 25th ACM Symposium on Access Control Models and Technologies10.1145/3381991.3395598(1-12)Online publication date: 10-Jun-2020
https://dl.acm.org/doi/10.1145/3381991.3395598
Terra-Neves MMachado NLynce IManquinho V(2019)Concurrency debugging with MaxSMTProceedings of the Thirty-Third AAAI Conference on Artificial Intelligence and Thirty-First Innovative Applications of Artificial Intelligence Conference and Ninth AAAI Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v33i01.33011608(1608-1617)Online publication date: 27-Jan-2019
https://dl.acm.org/doi/10.1609/aaai.v33i01.33011608
Merrifield TRoghanchi SDevietti JEriksson JBahar IHerlihy MWitchel ELebeck A(2019)Lazy Determinism for Faster Deterministic MultithreadingProceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3297858.3304047(879-891)Online publication date: 4-Apr-2019
https://dl.acm.org/doi/10.1145/3297858.3304047
Zhang WJi XSong BYu SChen HLi TYew PZhao W(2017)VarCatcherIEEE Transactions on Parallel and Distributed Systems10.1109/TPDS.2016.261352428:4(1215-1228)Online publication date: 1-Apr-2017
https://dl.acm.org/doi/10.1109/TPDS.2016.2613524
Segulja CAbdelrahman T(2015)CleanACM SIGARCH Computer Architecture News10.1145/2872887.275039543:3S(401-413)Online publication date: 13-Jun-2015
https://dl.acm.org/doi/10.1145/2872887.2750395
Segulja CAbdelrahman TMarr DAlbonesi D(2015)CleanProceedings of the 42nd Annual International Symposium on Computer Architecture10.1145/2749469.2750395(401-413)Online publication date: 13-Jun-2015
https://dl.acm.org/doi/10.1145/2749469.2750395
Li PGao DReiter M(2014)StopWatchACM Transactions on Information and System Security10.1145/267094017:2(1-28)Online publication date: 17-Nov-2014
https://dl.acm.org/doi/10.1145/2670940
Segulja CAbdelrahman TAmaral JTorrellas J(2014)What is the cost of weak determinism?Proceedings of the 23rd international conference on Parallel architectures and compilation10.1145/2628071.2628099(99-112)Online publication date: 24-Aug-2014
https://dl.acm.org/doi/10.1145/2628071.2628099
Wu MWang PFu CTsay R(2012)An Extended SystemC Framework for Efficient HW/SW Co-SimulationACM Transactions on Design Automation of Electronic Systems10.1145/2159542.215954317:2(1-16)Online publication date: 1-Apr-2012
https://dl.acm.org/doi/10.1145/2159542.2159543
Burckhardt SLeijen DSadowski CYi JBall T(2011)Two for the price of oneACM SIGPLAN Notices10.1145/2076021.204810146:10(427-444)Online publication date: 22-Oct-2011
https://dl.acm.org/doi/10.1145/2076021.2048101
Show More Cited By

Abstract

Cited By

Recommendations