Article

Online data-race detection via coherency guarantees

Authors:

Dejan Perkovic,

Peter J. KeleherAuthors Info & Claims

OSDI '96: Proceedings of the second USENIX symposium on Operating systems design and implementation

Pages 47 - 57

https://doi.org/10.1145/238721.238760

Published: 28 October 1996 Publication History

Abstract

No abstract available.

Cited By

View all

Chen SLin ZZhang YCalandrino JTroncoso C(2023)Controlled data races in enclavesProceedings of the 32nd USENIX Conference on Security Symposium10.5555/3620237.3620465(4069-4086)Online publication date: 9-Aug-2023
https://dl.acm.org/doi/10.5555/3620237.3620465
Zhao YWang ZLiu SSun JChen JChen X(2023)Achieving High MAP-Coverage Through Pattern Constraint ReductionIEEE Transactions on Software Engineering10.1109/TSE.2022.314448049:1(99-112)Online publication date: 1-Jan-2023
https://doi.org/10.1109/TSE.2022.3144480
Wang HWang ZSun JLiu SSadiq ALi YGrundy JLe Goues CLo D(2020)Towards generating thread-safe classes automaticallyProceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering10.1145/3324884.3416625(943-955)Online publication date: 21-Dec-2020
https://dl.acm.org/doi/10.1145/3324884.3416625
Show More Cited By

Index Terms

Online data-race detection via coherency guarantees

Recommendations

Online data-race detection via coherency guarantees
Parallelizing data race detection
ASPLOS '13: Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems

Detecting data races in multithreaded programs is a crucial part of debugging such programs, but traditional data race detectors are too slow to use routinely. This paper shows how to speed up race detection by spreading the work across multiple cores. ...
Parallelizing data race detection
ASPLOS '13

Detecting data races in multithreaded programs is a crucial part of debugging such programs, but traditional data race detectors are too slow to use routinely. This paper shows how to speed up race detection by spreading the work across multiple cores. ...

Comments

Information & Contributors

Information

Published In

OSDI '96: Proceedings of the second USENIX symposium on Operating systems design and implementation

October 1996

291 pages

ISBN:1880446820

DOI:10.1145/238721

ACM SIGOPS Operating Systems Review Volume 30, Issue SI
Oct. 1996
274 pages
ISSN:0163-5980
DOI:10.1145/248155
Editor:
William M. Waite
Univ. of Colorado, Boulder
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 October 1996

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

OSDI96

Sponsor:

SIGOPS
IEEE-CS
USENIX Assoc

OSDI96: Second Symposium on Operating Systems Design and Implementation

October 29 - November 1, 1996

Washington, Seattle, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

87
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Chen SLin ZZhang YCalandrino JTroncoso C(2023)Controlled data races in enclavesProceedings of the 32nd USENIX Conference on Security Symposium10.5555/3620237.3620465(4069-4086)Online publication date: 9-Aug-2023
https://dl.acm.org/doi/10.5555/3620237.3620465
Zhao YWang ZLiu SSun JChen JChen X(2023)Achieving High MAP-Coverage Through Pattern Constraint ReductionIEEE Transactions on Software Engineering10.1109/TSE.2022.314448049:1(99-112)Online publication date: 1-Jan-2023
https://doi.org/10.1109/TSE.2022.3144480
Wang HWang ZSun JLiu SSadiq ALi YGrundy JLe Goues CLo D(2020)Towards generating thread-safe classes automaticallyProceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering10.1145/3324884.3416625(943-955)Online publication date: 21-Dec-2020
https://dl.acm.org/doi/10.1145/3324884.3416625
Sun YCheung SGuo SCheng M(2019)Disclosing and Locating Concurrency Bugs of Interrupt-Driven IoT ProgramsIEEE Internet of Things Journal10.1109/JIOT.2019.29252916:5(8945-8957)Online publication date: Oct-2019
https://doi.org/10.1109/JIOT.2019.2925291
Wang ZZhao YLiu SSun JChen XLin HZimmermann TLawall JMarinov D(2019)MAP-CoverageProceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE.2019.00073(722-734)Online publication date: 10-Nov-2019
https://dl.acm.org/doi/10.1109/ASE.2019.00073
Bianchi FMargara APezze M(2018)A Survey of Recent Trends in Testing Concurrent Software SystemsIEEE Transactions on Software Engineering10.1109/TSE.2017.270708944:8(747-783)Online publication date: 1-Aug-2018
https://dl.acm.org/doi/10.1109/TSE.2017.2707089
Li PHu XChen DBrock JLuo HZhang EDing C(2017)LDACM Transactions on Architecture and Code Optimization10.1145/304667814:1(1-25)Online publication date: 21-Mar-2017
https://dl.acm.org/doi/10.1145/3046678
Zheng MRavi VQin FAgrawal G(2014)GMRaceIEEE Transactions on Parallel and Distributed Systems10.1109/TPDS.2013.4425:1(104-115)Online publication date: 1-Jan-2014
https://dl.acm.org/doi/10.1109/TPDS.2013.44
Lu SPark SZhou Y(2012)Detecting Concurrency Bugs from the Perspectives of Synchronization IntentionsIEEE Transactions on Parallel and Distributed Systems10.1109/TPDS.2011.25423:6(1060-1072)Online publication date: 1-Jun-2012
https://dl.acm.org/doi/10.1109/TPDS.2011.254
Schimmel JPankratius V(2011)Exploiting cache traffic monitoring for run-time race detectionProceedings of the 17th international conference on Parallel processing - Volume Part I10.5555/2033345.2033349(15-26)Online publication date: 29-Aug-2011
https://dl.acm.org/doi/10.5555/2033345.2033349
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations