{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T12:45:58Z","timestamp":1751460358319,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":62,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,6,8]],"date-time":"2009-06-08T00:00:00Z","timestamp":1244419200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,6,8]]},"DOI":"10.1145\/1542275.1542303","type":"proceedings-article","created":{"date-parts":[[2009,6,9]],"date-time":"2009-06-09T12:44:24Z","timestamp":1244551464000},"page":"169-180","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Synchronization optimizations for efficient execution on multi-cores"],"prefix":"10.1145","author":[{"given":"Alexandru","family":"Nicolau","sequence":"first","affiliation":[{"name":"University of California, Irvine, Irvine, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guangqiang","family":"Li","sequence":"additional","affiliation":[{"name":"University of California, Irvine, Irvine, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander V.","family":"Veidenbaum","sequence":"additional","affiliation":[{"name":"University of California, Irvine, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arun","family":"Kejariwal","sequence":"additional","affiliation":[{"name":"Yahoo! Inc., Santa Clara, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,6,8]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"19","volume-title":"Proceedings of the 1980 International Conference on Parallel Processing","author":"Lundstrom S. F.","year":"1980","unstructured":"S. F. Lundstrom and G. H. Barnes . A controllable MIMD architectures . In Proceedings of the 1980 International Conference on Parallel Processing , pages 19 -- 27 , St. Charles, IL , August 1980 . S. F. Lundstrom and G. H. Barnes. A controllable MIMD architectures. In Proceedings of the 1980 International Conference on Parallel Processing, pages 19--27, St. Charles, IL, August 1980."},{"key":"e_1_3_2_1_2_1","volume-title":"Dependence Analysis","author":"Banerjee U.","year":"1997","unstructured":"U. Banerjee . Dependence Analysis . Kluwer Academic Publishers , Boston, MA , 1997 . U. Banerjee. Dependence Analysis. Kluwer Academic Publishers, Boston, MA, 1997."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1504176.1504207"},{"key":"e_1_3_2_1_4_1","unstructured":"OpenMP Specification version 2.5. http:\/\/www.openmp.org\/drupal\/mp-documents\/spec25.pdf.  OpenMP Specification version 2.5. http:\/\/www.openmp.org\/drupal\/mp-documents\/spec25.pdf."},{"key":"e_1_3_2_1_5_1","unstructured":"SPEC CPU Benchmarks. http:\/\/www.spec.org\/benchmarks.html.  SPEC CPU Benchmarks. http:\/\/www.spec.org\/benchmarks.html."},{"key":"e_1_3_2_1_6_1","unstructured":"PostgreSQL. http:\/\/www.postgresql.org\/.  PostgreSQL. http:\/\/www.postgresql.org\/."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1183401.1183407"},{"key":"e_1_3_2_1_8_1","volume-title":"CINT2006","author":"SPEC","year":"2006","unstructured":"SPEC CINT2006 . http:\/\/www.spec.org\/cpu 2006 \/CINT2006. SPEC CINT2006. http:\/\/www.spec.org\/cpu2006\/CINT2006."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/18927.18908"},{"key":"e_1_3_2_1_10_1","volume-title":"VOLUME 1","author":"Kuck D.","year":"1978","unstructured":"D. Kuck . The Structure of Computers and Computations , VOLUME 1 . John Wiley and Sons , New York, NY , 1978 . D. Kuck. The Structure of Computers and Computations, VOLUME 1. John Wiley and Sons, New York, NY, 1978."},{"key":"e_1_3_2_1_11_1","volume-title":"High Performance Compilers for Parallel Computing","author":"Wolfe M. J.","year":"1996","unstructured":"M. J. Wolfe . High Performance Compilers for Parallel Computing . Addison-Wesley , Redwood City, CA , 1996 . M. J. Wolfe. High Performance Compilers for Parallel Computing. Addison-Wesley, Redwood City, CA, 1996."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1981.1675827"},{"key":"e_1_3_2_1_13_1","volume-title":"Advanced Compiler Design Implementation","author":"Muchnick S.","year":"2000","unstructured":"S. Muchnick . Advanced Compiler Design Implementation . Second edition, 2000 . S. Muchnick. Advanced Compiler Design Implementation. Second edition, 2000."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/243846.243867"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/360128.360141"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39425-9_17"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/567067.567085"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/192007.192022"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/243846.243868"},{"key":"e_1_3_2_1_21_1","volume-title":"Microsoft","author":"Fitzgerald R.","year":"1998","unstructured":"R. Fitzgerald , T. B. Knoblock , E. Ruf , B. Steensgaard , and D. Tarditi . Marmot: an optimizing compiler for Java. Technical report , Microsoft , November 1998 . R. Fitzgerald, T. B. Knoblock, E. Ruf, B. Steensgaard, and D. Tarditi. Marmot: an optimizing compiler for Java. Technical report, Microsoft, November 1998."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/647168.718144"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/304065.304092"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/320385.320388"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/989393.989452"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1248377.1248388"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250668"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1183401.1183452"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93583"},{"key":"e_1_3_2_1_30_1","volume-title":"Department of Computer Science","author":"Pottenger W. M.","year":"1995","unstructured":"W. M. Pottenger . Induction variable substitution and reduction recognition in the Polaris parallelizing compiler. Master's thesis , Department of Computer Science , University of Illinois at Urbana-Champaign , 1995 . W. M. Pottenger. Induction variable substitution and reduction recognition in the Polaris parallelizing compiler. Master's thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, 1995."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/200994.201003"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/233561.233568"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/377792.377809"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/578841"},{"key":"e_1_3_2_1_35_1","volume-title":"Compiling","author":"Aho A. V.","year":"1973","unstructured":"A. V. Aho and J. D. Ullman . The theory of parsing, translation and compiling . In Compiling . Prentice-Hall , Englewood Cliffs, NJ , 1973 . A. V. Aho and J. D. Ullman. The theory of parsing, translation and compiling. In Compiling. Prentice-Hall, Englewood Cliffs, NJ, 1973."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/567532.567555"},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of the 1987 International Conference on Parallel Processing, St","author":"Cytron R.","year":"1987","unstructured":"R. Cytron and J. Ferrante . What's in a name? or the value of renaming for parallelism detection and storage allocation . In Proceedings of the 1987 International Conference on Parallel Processing, St . Charles, IL , August 1987 . R. Cytron and J. Ferrante. What's in a name? or the value of renaming for parallelism detection and storage allocation. In Proceedings of the 1987 International Conference on Parallel Processing, St. Charles, IL, August 1987."},{"key":"e_1_3_2_1_38_1","volume-title":"Department of Computer Science","author":"Weatherford S.","year":"1994","unstructured":"S. Weatherford . High level pattern matching extension to C++ for fortran program manipulation in Polaris. Master's thesis , Department of Computer Science , University of Illinois at Urbana-Champaign , May 1994 . S. Weatherford. High level pattern matching extension to C++ for fortran program manipulation in Polaris. Master's thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, May 1994."},{"key":"e_1_3_2_1_39_1","unstructured":"Wine. http:\/\/sourceforge.net\/project\/showfiles.php?group id=6241.  Wine. http:\/\/sourceforge.net\/project\/showfiles.php?group id=6241."},{"key":"e_1_3_2_1_40_1","volume-title":"CPU2006","author":"SPEC","year":"2006","unstructured":"SPEC CPU2006 . http:\/\/www.spec.org\/cpu 2006 . SPEC CPU2006. http:\/\/www.spec.org\/cpu2006."},{"key":"e_1_3_2_1_41_1","unstructured":"MySQL: The world's most popular open source database. http:\/\/www.mysql.com\/.  MySQL: The world's most popular open source database. http:\/\/www.mysql.com\/."},{"key":"e_1_3_2_1_42_1","unstructured":"A. Kejariwal and A. Nicolau. Reading list of mutual exclusion locking synchronization and concurrent objects. http:\/\/www.ics.uci.edu\/-akejariw\/ConcurrentExecutionReadingList.pdf.  A. Kejariwal and A. Nicolau. Reading list of mutual exclusion locking synchronization and concurrent objects. http:\/\/www.ics.uci.edu\/-akejariw\/ConcurrentExecutionReadingList.pdf."},{"key":"e_1_3_2_1_43_1","first-page":"836","volume-title":"Proceedings of the 1986 International Conference on Parallel Processing","author":"Cytron R.","year":"1986","unstructured":"R. Cytron . Doacross : Beyond vectorization for multiprocessors . In Proceedings of the 1986 International Conference on Parallel Processing , pages 836 -- 844 , St. Charles, IL , August 1986 . R. Cytron. Doacross: Beyond vectorization for multiprocessors. In Proceedings of the 1986 International Conference on Parallel Processing, pages 836--844, St. Charles, IL, August 1986."},{"key":"e_1_3_2_1_44_1","first-page":"544","volume-title":"Proceedings of the 1986 International Conference on Parallel Processing","author":"Midkiff S.","year":"1986","unstructured":"S. Midkiff and D. Padua . Compiler generated synchronization for DO loops . In Proceedings of the 1986 International Conference on Parallel Processing , pages 544 -- 551 , St. Charles, IL , August 1986 . S. Midkiff and D. Padua. Compiler generated synchronization for DO loops. In Proceedings of the 1986 International Conference on Parallel Processing, pages 544--551, St. Charles, IL, August 1986."},{"key":"e_1_3_2_1_45_1","first-page":"I294","volume-title":"Proceedings of the International Conference on Parallel Processing","author":"Kasahara H.","unstructured":"H. Kasahara , H. Honda , M. Iwata , and M. Hirota . A compilation scheme for macro-dataow computation on hierarchical multiprocessor systems . In Proceedings of the International Conference on Parallel Processing , pages I I294 --II295, Urbana-Champaign, IL, August 1990. H. Kasahara, H. Honda, M. Iwata, and M. Hirota. A compilation scheme for macro-dataow computation on hierarchical multiprocessor systems. In Proceedings of the International Conference on Parallel Processing, pages II294--II295, Urbana-Champaign, IL, August 1990."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/73141.74823"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93590"},{"key":"e_1_3_2_1_49_1","volume-title":"Proceedings of the 18th International Symposium on Distributed Computing","author":"Scott W. N.","year":"2004","unstructured":"W. N. Scherer III and M. L. Scott . Nonblocking concurrent objects with condition synchronization . In Proceedings of the 18th International Symposium on Distributed Computing , Amsterdam, The Netherlands , Oct 2004 . W. N. Scherer III and M. L. Scott. Nonblocking concurrent objects with condition synchronization. In Proceedings of the 18th International Symposium on Distributed Computing, Amsterdam, The Netherlands, Oct 2004."},{"key":"e_1_3_2_1_50_1","unstructured":"F. Fich D. Hendler and N. Shavit. On the inherent weakness of conditional synchronization primitives. http:\/\/www.cs.tau.ac.il\/-afek\/Handler-conditionals.pdf.  F. Fich D. Hendler and N. Shavit. On the inherent weakness of conditional synchronization primitives. http:\/\/www.cs.tau.ac.il\/-afek\/Handler-conditionals.pdf."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263718"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1998.1441"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/329466.329486"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/209936.209952"},{"key":"e_1_3_2_1_56_1","volume-title":"Berkeley","author":"Bhattacharyya S. S.","year":"1996","unstructured":"S. S. Bhattacharyya , S. Sriram , and E. A. Lee . Resynchronization of multiprocessor schedules Part I: Fundamental concepts and unbounded latency analysis. Memorandum UCB\/ERL M96\/55, Electronics Research Laboratory, U. C . Berkeley , October 1996 . S. S. Bhattacharyya, S. Sriram, and E. A. Lee. Resynchronization of multiprocessor schedules Part I: Fundamental concepts and unbounded latency analysis. Memorandum UCB\/ERL M96\/55, Electronics Research Laboratory, U. C. Berkeley, October 1996."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.770138"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.5555\/645669.665208"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.5555\/266800.266823"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018734923512"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/305138.305218"},{"key":"e_1_3_2_1_62_1","first-page":"107","volume-title":"Array SSA form and its use in parallelization","author":"Knobe K.","year":"1998","unstructured":"K. Knobe and V. Sarkar . Array SSA form and its use in parallelization . pages 107 -- 120 , San Diego , CA , 1998 . K. Knobe and V. Sarkar. Array SSA form and its use in parallelization. pages 107--120, San Diego, CA, 1998."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.5555\/646664.700769"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/1152154.1152165"}],"event":{"name":"ICS '09: International Conference on Supercomputing","sponsor":["ACM Association for Computing Machinery","SIGARCH ACM Special Interest Group on Computer Architecture"],"location":"Yorktown Heights NY USA","acronym":"ICS '09"},"container-title":["Proceedings of the 23rd international conference on Supercomputing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542275.1542303","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1542275.1542303","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:08Z","timestamp":1750253408000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542275.1542303"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,8]]},"references-count":62,"alternative-id":["10.1145\/1542275.1542303","10.1145\/1542275"],"URL":"https:\/\/doi.org\/10.1145\/1542275.1542303","relation":{},"subject":[],"published":{"date-parts":[[2009,6,8]]},"assertion":[{"value":"2009-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}