多线程程序数据竞争的静态检测-计算机研究与发展.PDF

下载文档 降价啦

3
0
约4.58万字
约 7页
2018-12-01 发布于天津
举报
版权申诉
保障服务

多线程程序数据竞争的静态检测-计算机研究与发展.PDF

1、本文档共7页，可阅读全部内容。
2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。

多线程程序数据竞争的静态检测-计算机研究与发展

计算机研究与发展 !# $%%%$’()!*# $$$+++!,- （）：， ./01234/5*/6 0891:9;931=32?9@94/6928 A(’ (’)((B ’%%C 7 7 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 多线程程序数据竞争的静态检测 $ $ ’ 吴萍陈意云张健 $ （中国科学技术大学计算机科学与技术系合肥） ’(%%’+ ’ （中国科学院软件研究所计算机科学实验室北京） $%%%E% （） 28=G3#0;8H90H2 F !#$%##’(#%)))%$*+,*-./0$1-)#23-*-#56 4 $ $ ’ ，， I0-G2 *=92KG02 32L=32 .G32 J F J $ （，，） !$%’() +)’ ,%-./(.$(01.2()3) 6(/7%8/ ) -./(.M 1.2()3) ) +2/($ 9/’(%%’+ # * # 45 5 * 45 * * ’ （，，，） :$;)%$)% ) +)’ ,%-./(. (8/,) -)=$% +2/(8.$0’ ) -./(.8 ?//( $%%%E% 5 * # * * 5 * @ 4 ， 786-#% N048G8=1939/2011928 1/136;3195G2G2 OG93 4G38G/2 O=G=P1G2 ;6/19981G692834 7 J J 77 J 383139911/1;H,13G8G/234;838G1399898G/2 698=/;319P/8=919 P 534;9 /;G8G@9;30;9 P F 7 F ， /2;91@38G@93234;G;/5/2011928;96328G;3234G3;G25/H!28=G; 391 3 19G@93234;G; F 77 7 F 51369O/1QG; 1//;9H,=951369O/1Q3 4G9; 19G;934G3;3234;G;32;G604389;8=9=3 92P95/19/191 7 7 77 7 F 77 ;838G344H,/G6 1/@9955GG92