{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T05:10:23Z","timestamp":1737004223650,"version":"3.33.0"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,2,1]],"date-time":"1995-02-01T00:00:00Z","timestamp":791596800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[1995,2]]},"DOI":"10.1007\/bf02577785","type":"journal-article","created":{"date-parts":[[2007,3,22]],"date-time":"2007-03-22T23:35:38Z","timestamp":1174606538000},"page":"83-103","source":"Crossref","is-referenced-by-count":1,"title":["Solutions and debugging for data consistency in multiprocessors with noncoherent caches"],"prefix":"10.1007","volume":"23","author":[{"given":"David","family":"Bernstein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"suffix":"Jr.","given":"Mauricio","family":"Breternitz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed M.","family":"Gheith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bilha","family":"Mendelson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"J. L. Hennessy and D. A. Patterson,Computer Architecture: A Quantitative Approach, Morgan Kaufmann Publishers (1990).","key":"BF02577785_CR1"},{"issue":"12","key":"BF02577785_CR2","doi-asserted-by":"crossref","first-page":"1112","DOI":"10.1109\/TC.1978.1675013","volume":"27","author":"L. M. Censier","year":"1978","unstructured":"L. M. Censier, and P. Feautrier, A new solution to coherence problems in multilevel caches,IEEE Trans. on Computers,C-27(12):1112\u20131118 (December 1978).","journal-title":"IEEE Trans. on Computers"},{"doi-asserted-by":"crossref","unstructured":"K. Gharachorloo, D. Lenoski, J. Lanudon, P. Gibbons, A. Gupta, and J. Hennessy, Memory consistency and event ordering in scalable shared-memory multiprocessors,Proc. of the 17th Ann. Int. Symp. on Computer Architecture, pp. 15\u201326 (May 1990).","key":"BF02577785_CR3","DOI":"10.1145\/325096.325102"},{"doi-asserted-by":"crossref","unstructured":"A. Agarwal, B.-H. Lim, D. Kranz, and J. Kubiatowicz, APRIL: A processor architecture for multiprocessing, inProc. of the 17th Ann. Int. Symp. on Computer Architecture, pp. 104\u2013114 (May 1990).","key":"BF02577785_CR4","DOI":"10.1145\/325096.325119"},{"unstructured":"Myrias Corporation, System Overview, Edmonton, Alberta (1990).","key":"BF02577785_CR5"},{"doi-asserted-by":"crossref","unstructured":"J. B. Carter, J. K. Bennett and W. Zwaenepoel, Implementation and performance of Munin,Proc. of the 13th ACM Symp. on Operating Systems Principles, pp. 152\u2013164 (May 1991).","key":"BF02577785_CR6","DOI":"10.1145\/121133.121159"},{"doi-asserted-by":"crossref","unstructured":"A. H. Karp and V. Sarkar, Data merging for shared-memory multiprocessors,Proc. Hawaii Int. Conf. on System Sciences, pp. 244\u2013256 (January 1993).","key":"BF02577785_CR7","DOI":"10.1109\/HICSS.1993.270740"},{"unstructured":"A. Veidenbaum, A compiler-assisted cache coherence solution for multiprocessors,Int. Conf. on Parallel Processing, pp. 1029\u20131036 (August 1986).","key":"BF02577785_CR8"},{"unstructured":"R. Cytron, S. Karlovsky, and K. P. McAuliffe, Automatic management of programmable caches (extended abstract),Proc. of the Int. Conf. on Parallel Processing August 1988. Also available as CSRD Rpt. No. 728 from University of Illinois, Center for Super-computing Research and Development.","key":"BF02577785_CR9"},{"doi-asserted-by":"crossref","unstructured":"E. Darnell, J. M. Mellor-Crummey, and K. Kennedy, Automatic software cache coherence through vectorization,Proc. of the ACM Int. Conf. on Supercomputing, pp. 129\u2013138 (July 1992).","key":"BF02577785_CR10","DOI":"10.1145\/143369.143398"},{"doi-asserted-by":"crossref","unstructured":"J. Mellor-Crummey, Compile-time support for efficient data race detection in shared-memory parallel programs,Proc. of the ACM\/ONR Workshop on Parallel and Distributed Debugging pp. 129\u2013139 (May 1993).","key":"BF02577785_CR11","DOI":"10.1145\/174267.171370"},{"doi-asserted-by":"crossref","unstructured":"Y. Jun and K. Koh, On-the-fly detection of access anomalies in nested parallel loops,Proc. of the ACM\/ONR Workshop on Parallel and Distributed Debugging, pp. 107\u2013117 (May 1993).","key":"BF02577785_CR12","DOI":"10.1145\/174267.174278"},{"key":"BF02577785_CR13","volume-title":"Detecting Parallel Access Anomalies","author":"Y. Fenster","year":"1993","unstructured":"Y. Fenster, Detecting Parallel Access Anomalies. Master's thesis. The Hebrew University, Computer Science Dept., Jerusalem, Israel (April 1993)."},{"doi-asserted-by":"crossref","unstructured":"A. Dinning and E. Schonberg, Detecting access anomalies in programs with critical sections.Proc. of the ACM\/ONR Workshop on Parallel and Distributed Debugging, pp. 85\u201395 (May 1991).","key":"BF02577785_CR14","DOI":"10.1145\/127695.122767"},{"doi-asserted-by":"crossref","unstructured":"P. A. Emrath and D. A. Padua, Automatic detection of nondeterminacy in parallel programs,Proc. of the ACM\/ONR Workshop on Parallel and Distributed Debugging, pp. 89\u201399 (May 1988).","key":"BF02577785_CR15","DOI":"10.1145\/69215.69224"},{"doi-asserted-by":"crossref","unstructured":"S. Min and J. Choi, An efficient cache-based access anomaly detection scheme,ASPLOS-IV: 4th Int. Conf. on Architecture Support for Programming Languages and Operating System, pp. 235\u2013244 (April 1991).","key":"BF02577785_CR16","DOI":"10.1145\/106972.106996"},{"unstructured":"R. H. B. Netzer and S. Ghosh, Efficient race condition detection for shared-memory programs with Post\/Weit synchronization,Int. Conf. on Parallel Processing, pp. II:242\u2013246 (August 1992).","key":"BF02577785_CR17"},{"unstructured":"E. Schatz and B. G. Ryder, Directed tracing to detect race conditions,Int. Conf. on Parallel Processing, pp. II:247\u2013250 (1992).","key":"BF02577785_CR18"},{"unstructured":"J. F. Werth, S. I. Hyder, and J. C. Browne, A unified model for concurrent debugging,Proc. of the 1993 Conf. on Parallel Processing, pp. 1159\u20131172 (August 1993).","key":"BF02577785_CR19"},{"unstructured":"D. Gajski, D. Kuch, D. Lawrie, and A. Sameh, CEDAR\u2014A large scale multiprocessor.Int. Conf. on Parallel Processing, pp. 524\u2013529 (August 1983).","key":"BF02577785_CR20"},{"unstructured":"W. C. Brantley, K. P. PcAuliffe, and J. Weiss, RP3 processor-memory element,Proc. Int. Conf. on Parallel Processing, pp. 782\u2013789 (1985).","key":"BF02577785_CR21"},{"doi-asserted-by":"crossref","unstructured":"P. Stenstrom, A survey of cache coherence schemes for multiprocessors,IEEE Computer, pp. 12\u201324 (June 1990).","key":"BF02577785_CR22","DOI":"10.1109\/2.55497"},{"doi-asserted-by":"crossref","unstructured":"W. Bolosky, R. Fitzgerald, and M. Scott, Simple but effective techniques for NUMA memory management,SOSP89, pp. 19\u201331 (1989).","key":"BF02577785_CR23","DOI":"10.1145\/74850.74854"},{"doi-asserted-by":"crossref","unstructured":"V. Sarkar and R. Thekkath, A general framework for iteration-reordering loop transformations (Technical Summary),SIGPLAN 92: Conf. on Programming Languages Design and Implementation (June 1992).","key":"BF02577785_CR24","DOI":"10.1145\/143095.143132"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02577785.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02577785\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02577785","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02577785.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,15]],"date-time":"2025-01-15T05:17:02Z","timestamp":1736918222000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02577785"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,2]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,2]]}},"alternative-id":["BF02577785"],"URL":"https:\/\/doi.org\/10.1007\/bf02577785","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"type":"print","value":"0885-7458"},{"type":"electronic","value":"1573-7640"}],"subject":[],"published":{"date-parts":[[1995,2]]}}}