Article

Free access

Detecting access anomalies in programs with critical sections

Authors:

Anne Dinning,

Edith SchonbergAuthors Info & Claims

PADD '91: Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging

Pages 85 - 96

https://doi.org/10.1145/122759.122767

Published: 01 December 1991 Publication History

PDF eReader

References

[1]

Allen, T. R. and D. Padua. Debugging Fortran on a Shared Memory Machine. Proc. International Conference on Parallel Processing, August 1987, pages 721-727.

Google Scholar

[2]

Appelbe, B. and Charles E. McDowell. Developing Multitasking Applications Programs. In Proceedings of the 21st Annual Hawaii International Conference on Systems Science, pages 94-102, 1988.

Digital Library

Google Scholar

[3]

Bernstein, A. J. Program Analysis for Parallel Processing. Transactions on Electronic Computers, EC-15(5):757-762, October 1966.

Google Scholar

[4]

Callahan, D. and K. Kennedy. Analysis of Interprocedural Side Effects in a Parallel Programming Environment. In Proceedings of the First inlernational Conference on Supercomputing, pages 139-171, june 1987.

Digital Library

Google Scholar

[5]

Callahan, D., K. Kennedy, and J. Subhlok. Analysis of Event Synchronization in a Parallel Programming Tool. In Proceedings of Second A CM SIGPLAN Symposium on Principles and Praclice of Parallel Programming, March 1990.

Digital Library

Google Scholar

[6]

Choi, Jong-Deok. Parallel Program Debugging with Flowback Analysis. PhD thesis, University of Wisconsin- Madison, 1989.

Digital Library

Google Scholar

[7]

Choi, Jong-Deok and S. L. Min. Race Frontier: Reproducing Data Races in Parallel-Program Debugging. Proc. of the 3rd Symposium on Principles and Practice of Parallel Programming, April 1991.

Digital Library

Google Scholar

[8]

Dinning, Anne. Detecting Nondeterminism in Parallel Programs. PhD thesis, New York University, October 1990.

Digital Library

Google Scholar

[9]

Dinning, A. and Edith Sehonberg. An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection. In Proceedings of the Second A CM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 1 - 10, March 1990.

Crossref

Google Scholar

[10]

Emrath, A. and D. A. Padua. Automatic Detection of Nondeterminancy in Parallel Programs. In Proceedings of the SIGPLAN Workshop on Parallel and Distributed Debugging, pages 89-99, May 1988.

Digital Library

Google Scholar

[11]

Ferrante, J., K. Ottenstein, and J.D. Warren. The Program Dependence Graph and its Uses in Optimization. A CM Transaction on Programming Languages and Systems, 9(3):319- 349, July 1987.

Digital Library

Google Scholar

[12]

Helmbold, D.P., C.E.McDowell and J.Z. Wang. Detecting Data Races from Sequential Traces. Proc. Hawaii International Conference on System Sciences, 1991, pp. 408-417.

Crossref

Google Scholar

[13]

Hood, R., K. Kennedy, and J. Mellor- Crummey. Parallel Program Debugging with On-the-fly Anomaly Detection. Supercomputing '90, November 1990.

Digital Library

Google Scholar

[14]

Lamport, Leslie. Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the A CM, 21(7), July 1978.

Digital Library

Google Scholar

[15]

LeBlanc, T.J., and J.M. Mellor-Crummey. Debugging Parallel Programs with Instant Replay. IEEE Transactions on Computers, C- 36(4):471-482, April 1987.

Digital Library

Google Scholar

[16]

Miller, B. P. and Jong-Deok Choi. A Mechanism for Efficient Debugging of Parallel Programs. In Proceedings of the SIGPLAN Conference on Programming Language Design and implementation, June 1988.

Digital Library

Google Scholar

[17]

Netzer, R.I-I.B. and B.P. Miller. Detecting Data Races in Parallel Program Executions. Languages and Compilers for Parallel Comput. ing, ed. D. Gelernter, 2'. Gross, A. Nicolau, and D. Padua, MIT Press (1991). Also Proc. of the 3rd Workshop on Programming Languages and Compilers for Parallel Computing, August 1990.

Google Scholar

[18]

Netzer, R.H.B. and B.P. Miller. Improving the Accuracy of Data Race Detection. Proc. of the 3rd Symposium on Principles and Practice of Parallel Programming, April 1991.

Digital Library

Google Scholar

[19]

Netzer, R.H.B. Private Communication, 1991.

Google Scholar

[20]

Nudler, Itzhak and Larry Rudolph. Tools for the Efficient Development of Efficient Parallel Programs. Israeli .Conference on Computer System Engineering, 1988.

Google Scholar

[21]

Ottenstein, K. and L. Ottenstein. The Program Dependence Graph in a Software Development Environment. Proceedings of the A CM SIGSOFT/SIBPLAN Symposium on Practical Software Development Environments, April 1984.

Digital Library

Google Scholar

[22]

Schonberg, Edith. On-The-Fly Detection of Access Anomalies. In Proceedings of the SIG- PLAN Conference on Programming Language Design and Implementation, June 1989.

Digital Library

Google Scholar

[23]

Snir, Marc. Private Communication, 1988.

Google Scholar

[24]

Weiser, Mark. Program Slicing. IEEE Transactions on Software Engineering, SE- 10(4):352-357, july 1984.

Google Scholar

Cited By

View all

Sun XGupta RBond MLee JPayer H(2024)SSRD: Shapes and Summaries for Race Detection in Concurrent Data StructuresProceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management10.1145/3652024.3665505(68-81)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3652024.3665505
Abdi JPosluns GZhang GWang BJeffrey MAgrawal KPetrank E(2024)When Is Parallelism Fearless and Zero-Cost with Rust?Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures10.1145/3626183.3659966(27-40)Online publication date: 17-Jun-2024
https://dl.acm.org/doi/10.1145/3626183.3659966
Ryan GShah AShe DJana S(2023)Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis2023 IEEE Symposium on Security and Privacy (SP)10.1109/SP46215.2023.10179366(2086-2103)Online publication date: May-2023
https://doi.org/10.1109/SP46215.2023.10179366
Show More Cited By

Index Terms

Detecting access anomalies in programs with critical sections

Recommendations

On The Limits of Detecting Process Anomalies in Critical Infrastructure
CPSS '18: Proceedings of the 4th ACM Workshop on Cyber-Physical System Security

Critical infrastructure are Cyber-Physical Systems that provide essential services to the society. Such infrastructure includes plants for power generation and distribution and for water treatment and distribution. Several such plants operate under a ...
Detecting Network Anomalies Using CUSUM and EM Clustering
ISICA '09: Proceedings of the 4th International Symposium on Advances in Computation and Intelligence

Intrusion detection has been extensively studied in the last two decades. However, most existing intrusion detection techniques detect limited number of attack types and report a huge number of false alarms. The hybrid approach has been proposed ...
On detecting clustered anomalies using SCiForest
ECML PKDD'10: Proceedings of the 2010 European conference on Machine learning and knowledge discovery in databases: Part II

Detecting local clustered anomalies is an intricate problem for many existing anomaly detection methods. Distance-based and density-based methods are inherently restricted by their basic assumptions--anomalies are either far from normal points or being ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

PADD '91: Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging

December 1991

206 pages

ISBN:0897914570

DOI:10.1145/122759

Chairmen:
Barton Miller
Univ. of Wisconsin, Madison
,
Charles McDowell
Univ. of California, Santa Cruz

ACM SIGPLAN Notices Volume 26, Issue 12
Dec. 1991
192 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/127695
Editor:
Richard L. Wexelblat
ACM SIGPLAN Notices, Alexandria, VA
Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1991

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

WPDD91

Sponsor:

SIGPLAN
Office Naval Research
SIGOPS

WPDD91: Workshop on Parallel & Distributed Debugging

May 20 - 21, 1991

California, Santa Cruz, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

143
Total Citations
View Citations
1,210
Total Downloads

Downloads (Last 12 months)142
Downloads (Last 6 weeks)38

Reflects downloads up to 24 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Sun XGupta RBond MLee JPayer H(2024)SSRD: Shapes and Summaries for Race Detection in Concurrent Data StructuresProceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management10.1145/3652024.3665505(68-81)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3652024.3665505
Abdi JPosluns GZhang GWang BJeffrey MAgrawal KPetrank E(2024)When Is Parallelism Fearless and Zero-Cost with Rust?Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures10.1145/3626183.3659966(27-40)Online publication date: 17-Jun-2024
https://dl.acm.org/doi/10.1145/3626183.3659966
Ryan GShah AShe DJana S(2023)Precise Detection of Kernel Data Races with Probabilistic Lockset Analysis2023 IEEE Symposium on Security and Privacy (SP)10.1109/SP46215.2023.10179366(2086-2103)Online publication date: May-2023
https://doi.org/10.1109/SP46215.2023.10179366
Choi EKim TJun YLee SHan M(2022)On-the-Fly Repairing of Atomicity Violations in ARINC 653 SoftwareApplied Sciences10.3390/app1204201412:4(2014)Online publication date: 15-Feb-2022
https://doi.org/10.3390/app12042014
Kamath ABasu A(2021)iGUARDProceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles10.1145/3477132.3483545(49-65)Online publication date: 26-Oct-2021
https://dl.acm.org/doi/10.1145/3477132.3483545
Mathur UPavlogiannis AViswanathan M(2021)Optimal prediction of synchronization-preserving racesProceedings of the ACM on Programming Languages10.1145/34343175:POPL(1-29)Online publication date: 4-Jan-2021
https://dl.acm.org/doi/10.1145/3434317
Kamath AGeorge ABasu AMartínez JDuato JEeckhout L(2020)ScoRDProceedings of the ACM/IEEE 47th Annual International Symposium on Computer Architecture10.1109/ISCA45697.2020.00088(1036-1049)Online publication date: 30-May-2020
https://dl.acm.org/doi/10.1109/ISCA45697.2020.00088
Pavlogiannis A(2019)Fast, sound, and effectively complete dynamic race predictionProceedings of the ACM on Programming Languages10.1145/33710854:POPL(1-29)Online publication date: 20-Dec-2019
https://dl.acm.org/doi/10.1145/3371085
Schardl TDenniston TDoucet DKuszmaul BLee ILeiserson C(2019)The CSI Framework for Compiler-Inserted Program InstrumentationACM SIGMETRICS Performance Evaluation Review10.1145/3308809.330886046:1(100-102)Online publication date: 17-Jan-2019
https://doi.org/10.1145/3308809.3308860
Bo LJiang SQian JWang RYao Y(2019)Performance Evaluation of Data Race Detection Based on Thread Sharing Analysis With Different Granularities: An Empirical StudyIEEE Access10.1109/ACCESS.2019.29209477(73819-73829)Online publication date: 2019
https://doi.org/10.1109/ACCESS.2019.2920947
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

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

On The Limits of Detecting Process Anomalies in Critical Infrastructure

Detecting Network Anomalies Using CUSUM and EM Clustering

On detecting clustered anomalies using SCiForest