文档介绍：万方数据
高可扩展性的��治鏊惴ā�乐,黄磊印��,简称��分析计算并行程序中哪些语句可以并行执行,��程序的新颖的��治鏊惴ㄓ胍延兴惴ㄏ啾龋�滤惴ㄅ灼�恕白酉叱讨换�更加完备;在计算控制信息时,新算法不必像已有算法那样通过内联构造全局的控制流图,��惴ū挥美垂�司蔡��菥赫�觳庵行榧俚氖�菥赫��鯦��馐猿绦蛏系氖笛榻峁�砻鳎�碌��摘要:并行发生��被父线程等待同步”的假设,以非耦合的方式分别处理��胶蚸��剑恍滤惴ǖ拇�砺呒�淙桓�蛹虻ィ��惴ḿ扑憧刂菩畔⒌目O�对缎∮谝延兴惴ǎ�关键词:��展性;数据竞争;静态分析中图法分类号:��文献标识码:��可并行发生��,简称��分析计算并行程序中哪些语句可以并行执行.��且恢种�要的并行分析,它可以增加数据流分析并验证分析的准确性‘��.软件学报��,��,��:��—��【��疭�甁.��.��.��泄�蒲г喝砑�芯克�嫒ㄋ�校��扑慊�逑到峁构�抑氐闶笛槭�中国科学院计算技术研究所��本��通讯作者:印乐,�猰��簓��.�.�,��://��甶�.�.��:��產�甤��海�痺�.��畂�.�中文引用格式:印乐,��治鏊惴ǎ�砑�Пǎ��.��://��甹�.��甧��/英文引用格式:��瓾��,��,��:��.��://��甹�.��甤��/��.��—��·基金项目:国家自然科学基金��;国家重点基础研究发展计划��还�腋呒际跹芯糠��.��甊��,��珺��,��,�猰��簓��.�.�,��://��甶�.�.��猦��—��簊��籨��展计划��收稿时间:��恍薷氖奔洌��憾ǜ迨奔洌��一��.��,��疐�:��琀��疛��,��:��:��;��.��.��瑃��,��甌��瑃��,��.��;��
万方数据
是臼�簦�,其中,�浅绦蛑兴�杏锞涞奶跏��南譡�渴褂媒闲〉牟馐猿绦蚣�它所使用的�霾馐猿绦蛑凶��软件学报��琋��琌��牧硪桓鲋匾Sτ镁褪鞘�菥赫�觳猓�绻�醋圆煌�叱塘礁龀逋坏姆么娌僮鞑荒懿⑿性诵校�敲此�【��堪炎⒁饬Ψ旁诠丶��降姆治�锁集合算法�隙�鍪恿擞捎��蚸��椒ㄒ�鸬南叱檀唇ê椭罩瓜喙氐男蛲�轿侍猓�南譡�课4�治龀绦蚣扑闶毙蛟际鳾��虺芓��肨�来描述��程序中的��停琽��椒ǖ牡饔盟�薅ǖ牟煌�叱滩僮髦��南譡�砍破湮J录�之间的先后顺序,其计算的时间复杂度大的程序也只有��写��.对小程序而言,计算��目O�耆�强梢猿惺艿模�有一系列的工作专门致力于研究��惴ǎ�缙诘难芯抗ぷ髡攵訟��岢�了�【�拷獴�治鲇τ玫紸�语言的同步模型,�】提出一种迭代的方式来计算在��镅灾形薹ú⑿兄葱械某绦蛴锞洌�庵址绞侥芑竦玫慕峁�任南譡��慕峁�W既罚��法的复杂度是�奈宕畏剑�南譡�】提出一种在��镅酝�侥P椭�系氖�萘鞣治鏊惴ǎ�谧罨登榭鱿拢�惴�的复杂度为�牧�畏剑��是针对��庋�母�层并行语言提供的��痜��同步机制进行��治觯甔�语言的同步机制不涉及线程对象和过程间的别名分析,��魑R恢质笛樾缘挠镅裕�壳安⒚挥刑ǘ嗟纳桃涤τ醚≡馲�来编写.��。有大量的��语言的��治隹梢苑治A嚼啵�·第�喾椒ㄈ匀皇褂檬�萘鞣治隼醇扑鉓�信息,属于这类方法的研究工作有文献��.文献��将��程序中所有的方法都内联到方法��,获得并行执行��虺��.通过在��辖馐�萘鞣匠汤醇扑愠绦蛑忻扛鼋诘愕腗��只能处理规模较小的��程序,��岢龅幕�谙叱檀唇ㄊ��,简称��的��治鏊惴ā��浚瓸��