【摘 要】
：
通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序
【机 构】
：
西安交通大学电子与信息工程学院,西安交通大学电子与信息工程学院
【基金项目】
：
国家高技术研究发展计划(863计划)
论文部分内容阅读
通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序执行行为的合法性约束不够严格的结果.据此,提出一种新的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系,并在此数据结构上改进了切片算法;引入区域化执行证据概念,进一步约束程序执行行为的合法性,并给出了添加跨线程边界循环-承载数据依赖关系的算法及新的并发程序切片算法的伪代码.实例分析与算法性能测试表明,改进的切片算法克服了Krink
其他文献
选取相对粗糙度作为小参数建立了平板微通道流动的摄动方程组,采用傅里叶分析结合数值方法进行求解.计算结果表明:影响流场结构的主要因素为相对粗糙度和粗糙曲线的空间波数.
对LiBr溶液在3种不同截面尺寸弦月形通道中的沸腾传热及热虹吸提升过程进行了实验研究,发现在相同的条件下,通道间隙尺寸对传热及溶液提升有直接影响,其中两管直径之比为19∶
审定编号 豫审西瓜2010011 选育单位 河南农业大学园艺学院 河南豫艺种业科技发展有限公司 品种来源 WF005×TW-6 特征特性 “新生代”属中熟无籽西瓜品种，全生育期97天，果
讨论了利用外部混沌信号或神经元膜电压实现两个初始条件不同的非耦合Hindmarsh-Rose (HR)神经元的同步问题:利用外部混沌信号调制两个相同的非耦合HR神经元的某些参数,当刺
文章针对现阶段我国小微企业电商发展过程中的内部控制问题展开了深入研究,介绍了农村小微企业电商的主要特点,明确了内部控制工作落实过程中面临的主要问题,同时就如何完善
为在有组织对等(P2P)系统上提供有效的多关键词查询和搜索机制,提出了多维潜在语义查询(MLSQ)方法.该方法利用Hilbert空间填充曲线(HSFC)和潜在语义索引,将高维语义空间中相
高校图书馆信息服务的实质是图书馆与用户进行信息交换的互动过程,其信息互动效果直接影响信息服务质量。分析高校信息服务中存在的互动关系,探讨控制及提高信息服务质量的有
当你的车出现与蓄电池有关的问题时,车主应当从以下几方面来进行解决.
经过近20年的不懈努力，本刊主编、我校能动学院陶文铨、何雅玲等人承担的“传热与流动过程数值预测原理及高效算法研究”项目获得了2004年国家自然科学二等奖．该项成果整体上达