{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T04:58:54Z","timestamp":1791262734344,"version":"4.1.0"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T00:00:00Z","timestamp":1267401600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1007\/s11227-010-0405-3","type":"journal-article","created":{"date-parts":[[2010,3,17]],"date-time":"2010-03-17T09:21:11Z","timestamp":1268817671000},"page":"244-257","source":"Crossref","is-referenced-by-count":151,"title":["The Cilk++ concurrency platform"],"prefix":"10.1007","volume":"51","author":[{"given":"Charles E.","family":"Leiserson","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2010,3,18]]},"reference":[{"key":"405_CR1","doi-asserted-by":"crossref","unstructured":"Amdahl G (1967) The validity of the single processor approach to achieving large-scale computing capabilities. In: Proceedings of the AFIPS spring joint computer conference, April 1967, pp 483\u2013485","DOI":"10.1145\/1465482.1465560"},{"key":"405_CR2","doi-asserted-by":"crossref","unstructured":"Bender MA, Fineman JT, Gilbert S, Leiserson CE (2004) On-the-fly maintenance of series-parallel relationships in fork-join multithreaded programs. In: Proceedings of the sixteenth annual ACM symposium on parallel algorithms and architectures (SPAA 2004), Barcelona, Spain, June 2004, pp 133\u2013144","DOI":"10.1145\/1007912.1007933"},{"key":"405_CR3","doi-asserted-by":"crossref","unstructured":"Blumofe RD, Leiserson CE (1993) Space-efficient scheduling of multithreaded computations. In: Proceedings of the twenty fifth annual ACM symposium on theory of computing, San Diego, California, May 1993, pp 362\u2013371","DOI":"10.1145\/167088.167196"},{"issue":"1","key":"405_CR4","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1137\/S0097539793259471","volume":"27","author":"RD Blumofe","year":"1998","unstructured":"Blumofe RD, Leiserson CE (1998) Space-efficient scheduling of multithreaded computations. SIAM J Comput 27(1):202\u2013229","journal-title":"SIAM J Comput"},{"issue":"5","key":"405_CR5","doi-asserted-by":"crossref","first-page":"720","DOI":"10.1145\/324133.324234","volume":"46","author":"RD Blumofe","year":"1999","unstructured":"Blumofe RD, Leiserson CE (1999) Scheduling multithreaded computations by work stealing. J ACM 46(5):720\u2013748","journal-title":"J ACM"},{"issue":"2","key":"405_CR6","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/321812.321815","volume":"21","author":"RP Brent","year":"1974","unstructured":"Brent RP (1974) The parallel evaluation of general arithmetic expressions. J ACM 21(2):201\u2013206","journal-title":"J ACM"},{"key":"405_CR7","unstructured":"Bruening D (2004) Efficient, transparent, and comprehensive runtime code manipulation. PhD thesis, Department of Electrical Engineering and Computer Science. Massachusetts Institute of Technology"},{"key":"405_CR8","doi-asserted-by":"crossref","unstructured":"Cheng G-I, Feng M, Leiserson CE, Randall KH, Stark AF (1998) Detecting data races in cilk programs that use locks. In: Proceedings of the tenth annual ACM symposium on parallel algorithms and architectures (SPAA \u201998), Puerto Vallarta, Mexico, June 28\u2013July 2 1998, pp 298\u2013309","DOI":"10.1145\/277651.277696"},{"key":"405_CR9","volume-title":"Introduction to algorithms","author":"TH Cormen","year":"2009","unstructured":"Cormen TH, Leiserson CE, Rivest RL, Stein C (2009) Introduction to algorithms, 3rd edn. The MIT Press, Cambridge","edition":"3"},{"key":"405_CR10","first-page":"1","volume-title":"Proceedings of the second ACM SIGPLAN symposium on principles & practice of parallel programming (PPoPP)","author":"A Dinning","year":"1990","unstructured":"Dinning A, Schonberg E (1990) An empirical comparison of monitoring algorithms for access anomaly detection. In: Proceedings of the second ACM SIGPLAN symposium on principles & practice of parallel programming (PPoPP). ACM Press, New York, pp 1\u201310"},{"key":"405_CR11","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/122759.122767","volume-title":"Proceedings of the ACM\/ONR workshop on parallel and distributed debugging","author":"A Dinning","year":"1991","unstructured":"Dinning A, Schonberg E (1991) Detecting access anomalies in programs with critical sections. In: Proceedings of the ACM\/ONR workshop on parallel and distributed debugging. ACM Press, New York, pp 85\u201396"},{"issue":"3","key":"405_CR12","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1109\/12.21127","volume":"38","author":"DL Eager","year":"1989","unstructured":"Eager DL, Zahorjan J, Lazowska ED (1989) Speedup versus efficiency in parallel systems. IEEE Trans Comput 38(3):408\u2013423","journal-title":"IEEE Trans Comput"},{"key":"405_CR13","unstructured":"Emrath PA, Ghosh S, Padua DA (1991) Event synchronization analysis for debugging parallel programs. In: Supercomputing\u201991, November 1991, pp 580\u2013588"},{"key":"405_CR14","doi-asserted-by":"crossref","unstructured":"Feng M, Leiserson CE (1997) Efficient detection of determinacy races in Cilk programs. In: Proceedings of the ninth annual ACM symposium on parallel algorithms and architectures (SPAA), Newport, Rhode Island, June 22\u201325 1997, pp 1\u201311","DOI":"10.1145\/258492.258493"},{"key":"405_CR15","unstructured":"Fenster Y (1998) Detecting parallel access anomalies. Master\u2019s thesis, Hebrew University, March 1998"},{"key":"405_CR16","series-title":"ACM SIGPLAN Notices, vol 33, no 5, May 1998","doi-asserted-by":"crossref","first-page":"212","DOI":"10.1145\/277650.277725","volume-title":"Proceedings of the ACM SIGPLAN \u201998 conference on programming language design and implementation","author":"M Frigo","year":"1998","unstructured":"Frigo M, Leiserson CE, Randall KH (1998) The implementation of the Cilk-5 multithreaded language. In: Proceedings of the ACM SIGPLAN \u201998 conference on programming language design and implementation, Montreal, Quebec, Canada, June 1998. ACM SIGPLAN Notices, vol 33, no 5, May 1998. ACM, New York, pp 212\u2013223"},{"key":"405_CR17","doi-asserted-by":"crossref","unstructured":"Frigo M, Halpern P, Leiserson CE, Lewin-Berlin S (2009) Reducers and other Cilk++ hyperobjects. In: Proceedings of the twenty-first annual ACM symposium on parallel algorithms and architectures (SPAA\u201909), Calgary, Canada, August 2009 (to appear)","DOI":"10.1145\/1583991.1584017"},{"key":"405_CR18","volume-title":"Computers and intractability","author":"MR Garey","year":"1979","unstructured":"Garey MR, Johnson DS (1979) Computers and intractability. W.H. Freeman, New York"},{"key":"405_CR19","doi-asserted-by":"crossref","first-page":"1563","DOI":"10.1002\/j.1538-7305.1966.tb01709.x","volume":"45","author":"RL Graham","year":"1966","unstructured":"Graham RL (1966) Bounds for certain multiprocessing anomalies. Bell Syst Tech J 45:1563\u20131581","journal-title":"Bell Syst Tech J"},{"key":"405_CR20","unstructured":"Helmbold DP, McDowell CE, Wang J-Z (1990) Analyzing traces with anonymous synchronization. In: Proceedings of the 1990 international conference on parallel processing, August 1990, pp II70\u2013II77"},{"key":"405_CR21","unstructured":"Institute of Electrical and Electronic Engineers (1996) Information technology\u2014Portable Operating System Interface (POSIX)\u2014Part\u00a01: System application program interface (API) [C language]. IEEE Standard 1003.1, 1996 Edition"},{"key":"405_CR22","volume-title":"The C programming language","author":"BW Kernighan","year":"1988","unstructured":"Kernighan BW, Ritchie DM (1988) The C programming language, 2nd edn. Prentice Hall, New York","edition":"2"},{"key":"405_CR23","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1145\/1065010.1065034","volume-title":"PLDI \u201905: proceedings of the 2005 ACM SIGPLAN conference on programming language design and implementation","author":"C-K Luk","year":"2005","unstructured":"Luk C-K, Cohn R, Muth R, Patil H, Klauser A, Lowney G, Wallace S, Reddi VJ, Hazelwood K (2005) Pin: building customized program analysis tools with dynamic instrumentation. In: PLDI \u201905: proceedings of the 2005 ACM SIGPLAN conference on programming language design and implementation, New York, NY, USA, 2005. ACM Press, New York, pp 190\u2013200"},{"key":"405_CR24","first-page":"24","volume-title":"Proceedings of supercomputing\u201991","author":"J Mellor-Crummey","year":"1991","unstructured":"Mellor-Crummey, J (1991) On-the-fly detection of data races for programs with nested fork-join parallelism. In: Proceedings of supercomputing\u201991. IEEE Computer Society Press, Los Alamitos, pp 24\u201333"},{"key":"405_CR25","doi-asserted-by":"crossref","unstructured":"Miller BP, Choi J-D (1988) A mechanism for efficient debugging of parallel programs. In: Proceedings of the 1988 ACM SIGPLAN conference on programming language design and implementation (PLDI), Atlanta, Georgia, June 1988, pp 135\u2013144","DOI":"10.1145\/53990.54004"},{"key":"405_CR26","doi-asserted-by":"crossref","unstructured":"Min SL, Choi J-D (1991) An efficient cache-based access anomaly detection scheme. In: Proceedings of the fourth international conference on architectural support for programming languages and operating systems (ASPLOS), Palo Alto, California, April 1991, pp 235\u2013244","DOI":"10.1145\/106972.106996"},{"key":"405_CR27","unstructured":"Netzer RHB, Ghosh S (1992) Efficient race condition detection for shared-memory programs with post\/wait synchronization. In: Proceedings of the 1992 international conference on parallel processing, St. Charles, Illinois, August 1992"},{"issue":"1","key":"405_CR28","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1145\/130616.130623","volume":"1","author":"RHB Netzer","year":"1992","unstructured":"Netzer RHB, Miller BP (1992) What are race conditions? ACM Lett Program Lang Syst 1(1):74\u201388","journal-title":"ACM Lett Program Lang Syst"},{"key":"405_CR29","unstructured":"Nudler I, Rudolph L (1986) Tools for the efficient development of efficient parallel programs. In: Proceedings of the first Israeli conference on computer systems engineering, May 1986"},{"key":"405_CR30","doi-asserted-by":"crossref","unstructured":"Perkovi\u0107 D, Keleher P (1996) Online data-race detection via coherency guarantees. In: Proceedings of the second USENIX symposium on operating systems design and implementation (OSDI), Seattle, Washington, October 1996","DOI":"10.1145\/238721.238760"},{"key":"405_CR31","doi-asserted-by":"crossref","unstructured":"Savage S, Burrows M, Nelson G, Sobalvarro P, Anderson T (1997) Eraser: A dynamic race detector for multi-threaded programs. In: Proceedings of the sixteenth ACM symposium on operating systems principles (SOSP), October 1997","DOI":"10.1145\/268998.266641"},{"key":"405_CR32","volume-title":"The C++ programming language","author":"B Stroustrup","year":"2000","unstructured":"Stroustrup B (2000) The C++ programming language, 3rd edn. Addison-Wesley, Reading","edition":"3"},{"key":"405_CR33","volume-title":"C++ in 2005","author":"B Stroustrup","year":"2005","unstructured":"Stroustrup B (2005) C++ in 2005. Addison-Wesley, Reading. Preface to the Japanese translation"},{"key":"405_CR34","unstructured":"Supercomputing Technologies Group (2006) Massachusetts Institute of Technology Laboratory for Computer Science. Cilk 5.4.2.3 Reference Manual, April 2006. Available from: http:\/\/supertech.csail.mit.edu\/cilk\/home\/software.html"},{"key":"405_CR35","unstructured":"The MPI Forum (1993) MPI: A message passing interface. In: Supercomputing \u201993. Portland, Oregon, November 1993, pp 878\u2013883"},{"key":"405_CR36","unstructured":"The MPI Forum (1996) MPI-2: Extensions to the Message-Passing Interface. Technical Report, University of Tennessee, Knoxville. Available from: citeseer.ist.psu.edu\/517818.html"},{"issue":"2","key":"405_CR37","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1145\/953353.953355","volume":"8","author":"W Wulf","year":"1973","unstructured":"Wulf W, Shaw M (1973) Global variable considered harmful. SIGPLAN Not 8(2):28\u201334","journal-title":"SIGPLAN Not"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-010-0405-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-010-0405-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-010-0405-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T01:24:19Z","timestamp":1685496259000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-010-0405-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["405"],"URL":"https:\/\/doi.org\/10.1007\/s11227-010-0405-3","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,3]]}}}