{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{“日期-部分”:[[2023,9,4]],“日期-时间”:“2023-09-04T21:55:11Z”,“时间戳”:1693864511304},“发布者位置”:“美国纽约州纽约市”,“引用-计数”:18,“发布商”:“ACM”,“资助者”:[{“DOI”:“10.13039\/100000143”,“名称”:“计算与通信基础部”,“doi-asserted-by”:“publisher”,“adward”:[“CCF-0846195CCF-0725350”],“id”:[{“id”:“10.13039\/10000143”,”id-type“:”doi“,”asserted-by“:”publisher“}]}],“content-domain”:{“domain”:[“dl.acm.org”],”crossmark-restriction“:true},”short-container-title“:[],”published-print“:{”date部分“:[[2010,5]]},“doi”:“10.1145\/1806799.1806858”,“type”:“procesdings-article”,“created”:{“date-parts”:[[2010,6,8]],“date-time”:“2010-06-08T12:37:34Z”,“timestamp”:1276000654000},“update-policy”:”http://\/dx.doi.org\/10.1145\/crossmark-policy“,”source“:”Crossref“,”is-referenced-by-count“:15,”title“:[”Views“],”prefix“10.1145“,”作者“:[{”给定“:”布赖恩“,”家人“:”德姆斯基“,“sequence”:“first”,“affiliation”:[{“name”:“University of California,Irvine”}]},{“given”:“Patrick”,“family”:“Lam”,“se序列”:“additional”,“从属关系”:[}“name“:”Waterloo University“}]}],“member”:“320”,“published-on-line”:{“date-parts”:[[2010,5]]}、“reference”:[[{”key“:”e_1_3_2_1_1_1_1“,”doi-asserted-by“publisher”“,”doi“:”10.1145\/1119479.1119480“},{“key”:“e_1_3_2_1_2_1”,“doi-asserted-by”:“publisher”,”doi“:”10.1145\/353171.353197“},{”key“:”e_1_ 3_2_1_3_1“,”doi-assert-by“:”publisher“,“doi”:“10.1145\/582419.582440”},“key“:”e_1_3_1_4_1“:“e_1_3_2_1_5_1”,“doi-asserted-by”:“出版商”,“doi”:“10.1145\/512529.512560”},{“密钥”:“e_1_3_2_1_6_1”,“doi asserted by”:“publisher”,“doi”:“10.1145\/1190216190260”},{“key”:“e_1_3_2_1_7_1”,“doi asserted by”:“publisher”,“doi”:“10.1145\/9945445.945468”},{“key”:“e_1_3_2_8_1”,“doi asserted by”:“publisher”,“doi”:“10.5555\/129042.1299061”},{“key”:“e_1_3_2_1_9_1”,“volume title”:“TRANSACT”,“作者”:“Hicks M.”,“年份”:“2006”,“非结构化”:“M.Hicks、J.S.Foster和P.Pratikakis。原子段的锁推断。在TRANSACT,2006。M.Hick、J.S Foster和P.Pratakakis。核段的锁推理。在TRANS,2006。”},{“key”:“e_1_3_2_10_1”,“doi-asserted-by”:“publisher”,”doi“:”10.1007\/978-1-4684-2001-2_9“},},“key“:”e_3_2_2_11_1“,”volume-title“:“USENIX冬季技术会议论文集”,“作者”:“Korty J.A.”,“年份”:“1989年”,“非结构化”:“J.A.Korty.Sema:用于分析多线程UNIX内核中信号量使用情况的类似lint的工具。收录于USENIX-冬季技术会议,1989年。J.A。科蒂。Sema:一个类似lint的工具,用于分析多线程UNIX内核中的信号量使用情况。《USENIX冬季技术会议论文集》,1989年。“10.5555\/1765931.1765947”},{“密钥”:“e_1_3_2_15_1“,“doi-asserted-by”:“publisher”,“doi”:“10.1145\/268998.266641”},{“key”:“e_1_ 3_2_1_16_1”,《volume-title》:“USENIX冬季技术会议论文集”,“author”:“Sterling N.”,”year“1993”,“unstructured”:“N.”。标准纯度的。Warlock:一个静态数据竞赛分析工具。《USENIX冬季技术会议记录》,1993年。N.斯特林。Warlock:一个静态数据竞赛分析工具。《USENIX冬季技术会议论文集》,1993年。“},{”key“:”e_1_3_2_17_1“,”doi-asserted-by“:”publisher“,“doi”:“10.1145\/504282.504288”},“key”:“e_1_ 3_2_18_1”,“volume-title”:“并行计算语言和编译器国际研讨会论文集”,“author”:“Zhang Y.”,“year”:“2007”,“unstructured”:“Y.Zhang,V。C.Sreedhar、W.Zhu、V.Sarkar和G.R.Gao。最小锁分配:一种利用关键部分之间并发性的方法。《并行计算语言和编译器国际研讨会论文集》,2007年。Y.Zhang、V.C.Sreedhar、W.Zhu、V.Sarkar和G.R.Gao。最小锁分配:一种利用关键部分之间并发性的方法。《并行计算语言和编译器国际研讨会论文集》,2007年。“}”,“event”:{“name”:“ICSE’10:第32届国际软件工程会议”,“location”:“南非开普敦”,“缩写词”:“IC SE’10”,“赞助商”:[“SIGSOFT ACM软件工程特别兴趣小组”,“IEEE CS”]},“container-title”:[”第32届ACM\/IEEE国际软件工程会议记录-第1卷“],“original-title”:[],“link”:[{“URL”:“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/1806799.1806858”,“content-type”:“unspecified”,“content-version”:“vor”,“intended-application”:“similarity-checking”}],“deposed”:{“date-parts”:[2023,10]],“date-time”:2023-01-10T14:02:28Z“,”timestamp“:1673359348000},”score“:1,”resource“:{”primary”:{“URL”:“https:\/\/dl.acm.org\/doi\/10.1145\/1806799.1806858”}},“subtitle”:[“object-inspired concurrency control”],“shorttitle”:[],“issued”:{“date-parts”:[[2010,5]]},‘references-count’:18,‘alternative-id’:[”10.1145\/1806.799.1806858“,”10.1145\/1806799“],”URL“:”http:\/\/dx.doi.org\/10.1145\/1806799.1806858“,”关系“:{},”主题“:[],”发布“:{”日期部分“:[[2010,5]]},“断言”:[{”值“:”2010-05-01“,”顺序“:2,”名称“:”发布“,”标签“:”已发布“,“组”:{“名称”:“publication_history”,“标签”:“发布历史”}}]}