X10并行程序中静态数据竞争检测

来源 :计算机工程 | 被引量 : 0次 | 上传用户:limihu93
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在多线程程序中,当2个以上线程在没有顺序约束的条件下访问同一个存储单元时,且其中至少有一个为写访问,则可能会发生数据竞争。为此,提出一种针对X10并行程序的静态数据竞争检测算法,包括源访存对计算、可达访存对计算、时钟同步访存对计算和逃逸访存对计算4个阶段。通过在WALA框架中分析构建程序的调用图,计算源访存对集合,检测出内存访存中可能发生数据竞争的无序对。实验结果表明,该算法可以在不显著增加X10并行程序总体运行时间的情况下,达到比较理想的数据竞争检测效果。
其他文献
思维模式影响着修辞方式,分析英语段落的结构特征,引导学生吸收和模仿英语段落写作的技能,在写作实践中,让学生接受大量的正确的英语段落的输入和输出,升华对英语段落结构特征的认
近年来中国逐步开展金融消费者权益保护工作,“一行三会”监管机构相继设立消费权益保护部门,相关的工作职责进一步明确,涉及金融消费者的权益保护工作逐步推进。虽然“一行
如今,作为新式课堂的载体,导学案在初中物理教学中,有着非常广泛的应用.一份高质量的导学案,能对学生学习的方向进行指引,是学生学习的航标.只有对导学案的作用充分认识,才能
一、学习的态度和方法  学习必须循序渐进.学习任何知识,必须注重基本训练,要一步一个脚印,由易到难,扎扎实实地练好基本功,切忌好高骛远,前面的内容没有学懂,就急着去学习后面的知识;基本的习题没有做好,就一味去钻偏题、难题.这是十分有害的.  学习必须勤于思考.中学是一个重要的学习阶段,在这个期间要注意培养独立思考的能力,要防止那种死记硬背,不求甚解的倾向.学习中要多问几个为什么,一个问题可以从几个
建设美丽乡村要坚持以人为本、因地制宜、生态优先、统筹兼顾的原则,全面理解美丽乡村的内涵,加强宣传教育,强化规划引领,建立健全机制,着力村庄整治,发展生态产业。
目的研究探讨头孢菌素类药物的不良反应发生规律及特点,为促进头孢菌素类药物的临床合理应用提供可靠依据。方法选择我院2016年3月~2018年3月应用头孢菌素类药物后发生不良反
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield