article

Free access

On-the-fly detection of access anomalies in nested parallel loops

Authors:

Yong-Kee Jun,

Kern KohAuthors Info & Claims

ACM SIGPLAN Notices, Volume 28, Issue 12

Pages 107 - 117

https://doi.org/10.1145/174267.174278

Published: 01 December 1993 Publication History

PDF eReader

References

[1]

Allen, T. R., and D. Padua, ~Debugging Fortran on a Shared Memory Machine," Intl. Conf. on Parallel Processing, pp. 721-727, Univ. of Penn., August 1987.

Google Scholar

[2]

Balasundaram, V., K. Kennedy, U. Kremer, K. McKinley, and J. Subhlok, "The ParaScope Editor: An Interactive Parallel Programming Tool,"

Digital Library

Google Scholar

[3]

Choi, J., B. P. Miller, and R. H. B. Netzer, "Techniques for Debugging Parallel Programs with Flowback Analysis," Tr. on Programming Languages and Systems, 13(4): 491-530, ACM, Oct. 1991.

Digital Library

Google Scholar

[4]

Dinning, A., and E. Schonberg, "An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection," 2nd Symp. on Principles and Practice of Parallel Programming, pp. 1-I0, ACM, March 1990.

Digital Library

Google Scholar

[5]

Emrath, P. A., and D. A. Padua, "Automatic Detection of Nondeterminacy in Parallel Programs," Workshop on Parallel and Distributed Debugging, pp. 89-99, ACM, May 1988.

Digital Library

Google Scholar

[6]

Hood, R., K. Kennedy, and J. Mellor-Crummey, "Parallel Program Debugging with On-the-fly Anomaly Detection," Supercomputing '90, pp. 74-81, IEEE, Nov. 1990.

Digital Library

Google Scholar

[7]

Lamport, L., "Time, Clocks, and the Ordering of Events in a Distributed System," CACM, 21(7): 558-565, July 1978.

Digital Library

Google Scholar

[8]

McDowell, C. E., and D. P. Helmbold, "Debugging Concurrent Programs," Computing Surveys, 21(4): 593-622, ACM, Dec. 1989.

Digital Library

Google Scholar

[9]

Mellor-Crummey, J., "On-the-fly Detection of Data Races for Programs with Nested Fork-Join Parallelism," Supercomputing '91, pp. 24-33, ACM/IEEE, Nov. 1991.

Digital Library

Google Scholar

[10]

Nudler, I., and L. Rudolph, "Tools for the Efficient Development of Efficient Parallel Programs," 1st Israeli Conf. on Computer System Engineering, IEEE, 1988.

Google Scholar

Cited By

View all

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
Kim YSong SJun Y(2014)VORDInternational Journal of Parallel Programming10.1007/s10766-013-0257-642:6(900-930)Online publication date: 1-Dec-2014
https://dl.acm.org/doi/10.1007/s10766-013-0257-6
Kang MJun Y(2011)Efficient Verification of First Tangled Races to Occur in Programs with Nested ParallelismSoftware Engineering, Business Continuity, and Education10.1007/978-3-642-27207-3_49(451-460)Online publication date: 2011
https://doi.org/10.1007/978-3-642-27207-3_49
Show More Cited By

Index Terms

Recommendations

Parallelizing tightly nested loops
IPPS '91: Proceedings of the Fifth International Parallel Processing Symposium

Presents a new technique to parallelize nested loops at the statement level. It transforms sequential nested loops, either vectorizable or not, into parallel ones. Previously, the wavefront method was used to parallelize non-vectorizable nested loops. ...
Transformations techniques for extracting parallelism in non-uniform nested loops

Executing a program in parallel machines needs not only to find sufficient parallelism in a program, but it is also important that we minimize the synchronization and communication overheads in the parallelized program. This yields to improve the ...
Software Pipelining of Nested Loops
CC '01: Proceedings of the 10th International Conference on Compiler Construction

Software pipelining is a technique to improve the performance of a loop by overlapping the execution of several iterations. The execution of a software-pipelined loop goes through three phases: prolog, kernel, and epilog. Software pipelining works best ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 28, Issue 12

Dec. 1993

100 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/174267

Editor:
Richard L. Wexelblat

Issue’s Table of Contents

PADD '93: Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
December 1993
186 pages
ISBN:0897916336
DOI:10.1145/174266
Chairmen:
Barton P. Miller
Univ. of Wisconsin, Madison
,
Charles McDowell
Univ. of California, Santa Cruz

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 1993

Published in SIGPLAN Volume 28, Issue 12

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

32
Total Citations
View Citations
262
Total Downloads

Downloads (Last 12 months)28
Downloads (Last 6 weeks)3

Reflects downloads up to 19 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

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
Kim YSong SJun Y(2014)VORDInternational Journal of Parallel Programming10.1007/s10766-013-0257-642:6(900-930)Online publication date: 1-Dec-2014
https://dl.acm.org/doi/10.1007/s10766-013-0257-6
Kang MJun Y(2011)Efficient Verification of First Tangled Races to Occur in Programs with Nested ParallelismSoftware Engineering, Business Continuity, and Education10.1007/978-3-642-27207-3_49(451-460)Online publication date: 2011
https://doi.org/10.1007/978-3-642-27207-3_49
Kim SHa OJun Y(2011)Efficiency of e-NR Labeling for On-the-fly Race Detection of Programs with Nested ParallelismUbiquitous Computing and Multimedia Applications10.1007/978-3-642-20998-7_24(191-200)Online publication date: 2011
https://doi.org/10.1007/978-3-642-20998-7_24
Bernstein DBreternitz MGheith AMendelson B(1995)Solutions and debugging for data consistency in multiprocessors with noncoherent cachesInternational Journal of Parallel Programming10.1007/BF0257778523:1(83-103)Online publication date: 1-Feb-1995
https://dl.acm.org/doi/10.1007/BF02577785
Kim YSong SJun Y(2011)ADATProceedings of the 2011 IEEE Ninth International Symposium on Parallel and Distributed Processing with Applications10.1109/ISPA.2011.49(304-310)Online publication date: 26-May-2011
https://dl.acm.org/doi/10.1109/ISPA.2011.49
Ha OJun Y(2011)Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested ParallelismSoftware Engineering, Business Continuity, and Education10.1007/978-3-642-27207-3_47(424-436)Online publication date: 2011
https://doi.org/10.1007/978-3-642-27207-3_47
Tchamgoue GHa OKim KJun Y(2011)Lightweight Labeling Scheme for On-the-fly Race Detection of Signal HandlersUbiquitous Computing and Multimedia Applications10.1007/978-3-642-20998-7_25(201-208)Online publication date: 2011
https://doi.org/10.1007/978-3-642-20998-7_25
Ha OTchamgoue GSuh JJun Y(2010)On-the-fly healing of race conditions in ARINC-653 flight software29th Digital Avionics Systems Conference10.1109/DASC.2010.5655315(5.A.6-1-5.A.6-11)Online publication date: Oct-2010
https://doi.org/10.1109/DASC.2010.5655315
Tchamgoue GKuh IHa OKim KJun Y(2010)A Race Healing Framework in Simulated ARINC-653Communication and Networking10.1007/978-3-642-17604-3_28(238-246)Online publication date: 2010
https://doi.org/10.1007/978-3-642-17604-3_28
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.

References

Cited By

Index Terms

Recommendations

Parallelizing tightly nested loops

Transformations techniques for extracting parallelism in non-uniform nested loops

Software Pipelining of Nested Loops

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations