{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T10:24:06Z","timestamp":1791109446045,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,6,27]],"date-time":"2004-06-27T00:00:00Z","timestamp":1088294400000},"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":[[2004,6,27]]},"DOI":"10.1145\/1007912.1007945","type":"proceedings-article","created":{"date-parts":[[2004,7,20]],"date-time":"2004-07-20T15:55:38Z","timestamp":1090338938000},"page":"216-224","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":46,"title":["DCAS is not a silver bullet for nonblocking algorithm design"],"prefix":"10.1145","author":[{"given":"Simon","family":"Doherty","sequence":"first","affiliation":[{"name":"Victoria University of Wellington, Wellington, New Zealand and Sun Microsystems Laboratories, Burlington, MA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David L.","family":"Detlefs","sequence":"additional","affiliation":[{"name":"Sun Microsystems Laboratories, Burlington, MA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lindsay","family":"Groves","sequence":"additional","affiliation":[{"name":"Victoria University of Wellington, Wellington, New Zealand"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christine H.","family":"Flood","sequence":"additional","affiliation":[{"name":"Sun Microsystems Laboratories, Burlington, MA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Victor","family":"Luchangco","sequence":"additional","affiliation":[{"name":"Sun Microsystems Laboratories, Burlington, MA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paul A.","family":"Martin","sequence":"additional","affiliation":[{"name":"Sun Microsystems Laboratories, Burlington, MA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mark","family":"Moir","sequence":"additional","affiliation":[{"name":"Sun Microsystems Laboratories, Burlington, MA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nir","family":"Shavit","sequence":"additional","affiliation":[{"name":"Sun Microsystems Laboratories, Burlington, MA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"suffix":"Jr.","given":"Guy L.","family":"Steele","sequence":"additional","affiliation":[{"name":"Sun Microsystems Laboratories, Burlington, MA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2004,6,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Theory of Computing Systems","volume":"35","author":"Agesen O.","year":"2002","unstructured":"O. Agesen , D. Detlefs , C. H. Flood , A. Garthwaite , P. Martin , M. Moir , N. Shavit , and Guy L . Steele Jr. DCAS-based concurrent deques .In Theory of Computing Systems , volume 35 , 2002 . O. Agesen, D. Detlefs, C. H. Flood, A. Garthwaite, P. Martin, M. Moir, N. Shavit, and Guy L. Steele Jr. DCAS-based concurrent deques.In Theory of Computing Systems, volume 35, 2002."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/277651.277678"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/645957.758425"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/383962.384016"},{"key":"e_1_3_2_1_5_1","volume-title":"Modelling and verifying non-blocking algorithms that use dynamically allocated memory. Master's thesis","author":"Doherty S.","year":"2003","unstructured":"S. Doherty . Modelling and verifying non-blocking algorithms that use dynamically allocated memory. Master's thesis , Victoria University Wellington , April 2003 . http:\/\/www.mcs.vuw.ac.nz\/sdoherty S. Doherty. Modelling and verifying non-blocking algorithms that use dynamically allocated memory. Master's thesis, Victoria University Wellington, April 2003. http:\/\/www.mcs.vuw.ac.nz\/sdoherty"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/571825.571874"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238767"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949340"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/645959.676137"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/114005.102808"},{"key":"e_1_3_2_1_12_1","volume-title":"Obstruction-free software NCAS and transactional memory. Unpublished manuscript","author":"Herlihy M.","year":"2002","unstructured":"M. Herlihy , V. Luchangco , and M. Moir . Obstruction-free software NCAS and transactional memory. Unpublished manuscript , 2002 . M. Herlihy, V. Luchangco, and M. Moir. Obstruction-free software NCAS and transactional memory. Unpublished manuscript, 2002."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/645959.676129"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/850929.851942"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/872035.872048"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/165123.165164"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_1_18_1","volume-title":"The Art of Computer Programming: Fundamental Algorithms","author":"Knuth D. E.","year":"1968","unstructured":"D. E. Knuth . The Art of Computer Programming: Fundamental Algorithms . Addison-Wesley , 2 nd edition, 1968 . D. E. Knuth. The Art of Computer Programming: Fundamental Algorithms. Addison-Wesley, 2nd edition, 1968.","edition":"2"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/777412.777468"},{"key":"e_1_3_2_1_20_1","volume-title":"Distributed Algorithms. Morgan Kaufmann","author":"Lynch N.","year":"1996","unstructured":"N. Lynch . Distributed Algorithms. Morgan Kaufmann , San Mateo, CA , 1996 . N. Lynch. Distributed Algorithms. Morgan Kaufmann, San Mateo, CA, 1996."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/41840.41852"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1134"},{"key":"e_1_3_2_1_24_1","volume-title":"A lock-free multiprocessor OS kernel. Technical report","author":"Massalin H.","year":"1991","unstructured":"H. Massalin and C. Pu . A lock-free multiprocessor OS kernel. Technical report , Columbia University , New York , June 1991 . H. Massalin and C. Pu. A lock-free multiprocessor OS kernel. Technical report, Columbia University, New York, June 1991."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1998.1446"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.280802"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s004460050028"},{"key":"e_1_3_2_1_28_1","unstructured":"The PVS Specification and Verification System http:\/\/pvs.csl.sri.com\/.  The PVS Specification and Verification System http:\/\/pvs.csl.sri.com\/."}],"event":{"name":"SPAA04: 16th ACM Symposium on Parallelism in Algorithms and Architectures 2004","location":"Barcelona Spain","acronym":"SPAA04","sponsor":["ACM Association for Computing Machinery","SIGACT ACM Special Interest Group on Algorithms and Computation Theory","SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1007912.1007945","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1007912.1007945","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:31:15Z","timestamp":1750264275000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1007912.1007945"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,6,27]]},"references-count":26,"alternative-id":["10.1145\/1007912.1007945","10.1145\/1007912"],"URL":"https:\/\/doi.org\/10.1145\/1007912.1007945","relation":{},"subject":[],"published":{"date-parts":[[2004,6,27]]},"assertion":[{"value":"2004-06-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}