Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
article
Free access

An efficient cache-based access anomaly detection scheme

Published: 01 April 1991 Publication History
First page of PDF

References

[1]
J. Archibald and J.-L. Baer. An economical solution to the cache coherence problem. In Proceedings of the 12th Annual International Symposium on Computer Architecture, pages 355-362, June 1985.
[2]
J.K. Archibald. The Cache Coherence Problem in Shared-Memory Multiprocessots. PhD thesis, University of Washington, November 1986.
[3]
V. Balasundaram and K. Kennedy. Compile time detection of race conditions in a parallel program. Proceedings of the International Conference on $upercomputing, 1989.
[4]
L.M. Censier and P. Feautrier. A new solution to coherence problems in multicache systems. IEEE Transactions on Computers, C-27(12):1112-1118, December 1978.
[5]
J.D. Choi and S. L. Min. Race frontier: reproducing data races in parallel-program debugging. Proc. of Third A CM SIGPLAN Symposium on Principles and Practice of Parallel Processing, April 1991. To appear.
[6]
D. Callahan and J. Subhlok. Static analysis of low-level synchronization. Proceedings of the A CM $IGPLAN and $IGOP$ Workshop on Parallel and Distributed Debugging, 100-111, May 1988.
[7]
A. Dinning and E. Schonberg. An empirical comparision of monitoring algorithms for access anomaly detection. Second A CM $IG- PLAN Symposium on Principles and Practice of Parallel Programming (PPOPP), 1- 10, March 1990.
[8]
P. Emrath and D. Padua. Automatic detection of nondeterminacy in parallel programs. Proceedings of the A CM SIGPLAN and SIGOPS Workshop on Parallel and Distributed Debugging, 89-99, May 1988.
[9]
J.R. Goodman. Using cache memory to reduce processor-memory tramc_ In Proceedings of the lOth Annual International Symposium on Computer Architecture, pages 124-131, June 1983.
[10]
R. Hood, K. Kennedy, and J. M. Mellor- Crummy. Parallel program debugging with on-the-fly anomaly detection. Supercomputing 90, November 1990.
[11]
R . H. Katz, S. J. Eggers, D. A. Wood, C. L. Perkinsk, and R. G. Sheldon. Implementing a cache consistency protocol, in Proceedings of the 12th Annual International Symposium on Computer Archiiecture, pages 276-283, June 1985.
[12]
B.P. Miller and j. D. Choi. A mechanism for efficient debugging of parallel programs. Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation, 135-144, June 1988.
[13]
I. Nudler and L. Rudolph. Tools for the efficient development of efficient parallel programs. In Proceedings of the first Israeli Conference on Computer System Engineering, 1988.
[14]
L. Rudolph and Z. Segall. Dynamic decentralized cache consistency schemes for MIMD parallel processors. In Proceedings of the 12th Annual international Symposium on Computer Architecture, pages 340-347, June 1985.
[15]
E. Schonberg. On-the-fly detection of access anomalies. Proceedings of the SIGPLAN ' 89 Conference on Programming Language Design and Implementation, 285-297, June 1989.
[16]
C.K. Tang. Cache design in the tightly coupled multiprocessor system. In AFIP$ Conference Proceedings National Computer Conference, pages 749-753, 1976.
[17]
R.N. Taylor. A general purpose algorithm for analyzing concurrent programs. Communications of the A CM, 26(5):362- 376, May 1983.
[18]
C.P. Thacker and L. C. Stewart. Firefly: a multiprocessor workstation. In Proceedings Second International Conference on Architectural support for Programming Languages and Operating Systems, pages 164-172, October, 1987.
[19]
W.C. Yen, D. W. L. Yen, and K.-S. Fu. Data coherence problem in a multicache s ystem. IEEE Transactions on Computers, C-34(1):56-65, January 1985.

Cited By

View all
  • (2016)Pragmatic source code reuse via execution record and replayJournal of Software: Evolution and Process10.1002/smr.179028:8(642-664)Online publication date: 10-May-2016
  • (2011)Finding concurrency-related bugs using random isolationInternational Journal on Software Tools for Technology Transfer10.1007/s10009-011-0197-713:6(495-518)Online publication date: 23-Apr-2011
  • (2000)Scalable Monitoring Technique for Detecting Races in Parallel ProgramsParallel and Distributed Processing10.1007/3-540-45591-4_44(340-347)Online publication date: 25-May-2000
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

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 April 1991
Published in SIGOPS Volume 25, Issue Special Issue

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)102
  • Downloads (Last 6 weeks)8
Reflects downloads up to 17 Oct 2024

Other Metrics

Citations

Cited By

View all
  • (2016)Pragmatic source code reuse via execution record and replayJournal of Software: Evolution and Process10.1002/smr.179028:8(642-664)Online publication date: 10-May-2016
  • (2011)Finding concurrency-related bugs using random isolationInternational Journal on Software Tools for Technology Transfer10.1007/s10009-011-0197-713:6(495-518)Online publication date: 23-Apr-2011
  • (2000)Scalable Monitoring Technique for Detecting Races in Parallel ProgramsParallel and Distributed Processing10.1007/3-540-45591-4_44(340-347)Online publication date: 25-May-2000
  • (2016)A Lightweight System for Detecting and Tolerating Concurrency BugsIEEE Transactions on Software Engineering10.1109/TSE.2016.253166642:10(899-917)Online publication date: 1-Oct-2016
  • (2015)CleanACM SIGARCH Computer Architecture News10.1145/2872887.275039543:3S(401-413)Online publication date: 13-Jun-2015
  • (2015)CleanProceedings of the 42nd Annual International Symposium on Computer Architecture10.1145/2749469.2750395(401-413)Online publication date: 13-Jun-2015
  • (2015)Automated Classification of Data Races Under Both Strong and Weak Memory ModelsACM Transactions on Programming Languages and Systems10.1145/273411837:3(1-44)Online publication date: 22-May-2015
  • (2014)Comprehensive formal verification of an OS microkernelACM Transactions on Computer Systems10.1145/256053732:1(1-70)Online publication date: 26-Feb-2014
  • (2014)Dynamically detecting and tolerating IF-Condition Data Races2014 IEEE 20th International Symposium on High Performance Computer Architecture (HPCA)10.1109/HPCA.2014.6835923(120-131)Online publication date: Feb-2014
  • (2013)SimpleLockProceedings of the 2013 International Conference on Parallel and Distributed Computing, Applications and Technologies10.1109/PDCAT.2013.15(50-56)Online publication date: 16-Dec-2013
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media