skip to main content
article
Free Access

Detecting access anomalies in programs with critical sections

Authors Info & Claims
Published:01 December 1991Publication History
First page image

References

  1. 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 ScholarGoogle Scholar
  2. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3 Bernstein, A. J. Program Analysis for Parallel Processing. Transactions on Electronic Computers, EC-15(5):757-762, October 1966.Google ScholarGoogle Scholar
  4. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6 Choi, Jong-Deok. Parallel Program Debugging with Flowback Analysis. PhD thesis, University of Wisconsin- Madison, 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8 Dinning, Anne. Detecting Nondeterminism in Parallel Programs. PhD thesis, New York University, October 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 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. Google ScholarGoogle Scholar
  10. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. 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.Google ScholarGoogle ScholarCross RefCross Ref
  13. 13 Hood, R., K. Kennedy, and J. Mellor- Crummey. Parallel Program Debugging with On-the-fly Anomaly Detection. Supercomputing '90, November 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. 14 Lamport, Leslie. Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the A CM, 21(7), July 1978. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. 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 ScholarGoogle Scholar
  18. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. 19 Netzer, R.H.B. Private Communication, 1991.Google ScholarGoogle Scholar
  20. 20 Nudler, Itzhak and Larry Rudolph. Tools for the Efficient Development of Efficient Parallel Programs. Israeli .Conference on Computer System Engineering, 1988.Google ScholarGoogle Scholar
  21. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. 23 Snir, Marc. Private Communication, 1988.Google ScholarGoogle Scholar
  24. 24 Weiser, Mark. Program Slicing. IEEE Transactions on Software Engineering, SE- 10(4):352-357, july 1984.Google ScholarGoogle Scholar

Index Terms

  1. Detecting access anomalies in programs with critical sections

            Recommendations

            Comments

            Login options

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

            Sign in

            Full Access

            • Published in

              cover image ACM SIGPLAN Notices
              ACM SIGPLAN Notices  Volume 26, Issue 12
              Dec. 1991
              192 pages
              ISSN:0362-1340
              EISSN:1558-1160
              DOI:10.1145/127695
              Issue’s Table of Contents
              • cover image ACM Conferences
                PADD '91: Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
                December 1991
                206 pages
                ISBN:0897914570
                DOI:10.1145/122759

              Copyright © 1991 ACM

              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: 1 December 1991

              Check for updates

              Qualifiers

              • article

            PDF Format

            View or Download as a PDF file.

            PDF

            eReader

            View online with eReader.

            eReader