skip to main content
article
Free Access

Automatic detection of nondeterminacy in parallel programs

Published:01 November 1988Publication History
First page image

References

  1. Allia87 Alliant Computer Systems Corporation, FX/FOR TRAN Language Manual, Littleton~ MA, May 1987.Google ScholarGoogle Scholar
  2. AlPa87 Allen, T., and Padua, D.A. "Debugging Parallel FORTRAN on a Shared Memory Machine", Proceeding~ of the 1987 International Cor~ference on Parallel Processing, The Pennsylvania State University Press, University Park, Pennsylvania, 1987.Google ScholarGoogle Scholar
  3. Bane88 Banerjee, U., Dependence Analysis for Super~omputing, forthcoming, Kluwer Academic Publishers, Boston, 1988. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. GRMG88 Guarna V. A., Malony A. D., and Reed, D. A., and Cannon, D.B. "The Design of a Parallel Programming Environment," Center for Supercomputlng Research and Development, University of Illinois at Urbana- Champaign, Report No. 770, 1988.Google ScholarGoogle Scholar
  5. KDLS86 Kuck, D. J., Davidson, E. S., Lawrie, D. H., and Sameh, A. H., "Parallel Supercomputing Today and the Cedar Approach", Science ~31, 4740 (Feb. 28, 198{}), 967-974.Google ScholarGoogle Scholar
  6. Kung76 Kung, H. T., "Synchronized and Asynchronous Parallel Algorithms for Multiprocessors," Algorithm8 and Complexity, Academic Press, New York, 1976, 153-200.Google ScholarGoogle Scholar
  7. LaSa80 Larson, J.L., and Sameh, AC.H., "Automatic Error Analysis of Numerical Algorithms --- A Relative Error Approach," Computing, Vol. ~, 1980, ~75-~97.Google ScholarGoogle Scholar
  8. LuBa80 Lundstrom, S.F., and Barnes, G.H. "A Controllable MIMD Architecture", Proceedinga of the 1980 International Conference on Parallel ProcesMng, IEEE Press, New York, 1980, 19-27.Google ScholarGoogle Scholar
  9. Padu79 Padua, D.A., Multiproce~sors" Discussion8 of Some Theoretical and Practical Problems, Rep. U1UCDCS-R-79- 990, Dept. of Computer Science, University of Illinois at Urbana- Champaign, 1979.Google ScholarGoogle Scholar
  10. PaWo86 Padua, D.A., and Wolfe, M.J., "Advanced Compiler Optimizstions for Supercomputers " Comm. A CM ~9, 12 (Dec. 1986), 1184-1201. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. ReKa79 Reed, D.P., and Kanodia, R.K., "Synchronization with Eventcounters and Sequencers," Comm. A CM 22, 2 (Feb. 1979), 115-123. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Automatic detection of nondeterminacy in parallel programs

          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 24, Issue 1
            Special issue: Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on parallel and distributed debugging
            Jan. 1989
            280 pages
            ISSN:0362-1340
            EISSN:1558-1160
            DOI:10.1145/69215
            Issue’s Table of Contents
            • cover image ACM Conferences
              PADD '88: Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
              November 1988
              282 pages
              ISBN:0897912969
              DOI:10.1145/68210

            Copyright © 1988 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 November 1988

            Check for updates

            Qualifiers

            • article

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader