【摘 要】
：
随着多核技术日益发展,并发程序通过引入Fork/Join并行性,将任务分解为更细粒度的子任务并行执行,从而充分利用多核处理器提供的计算性能。并发执行线程之间的交错可能产生隐
【机 构】
：
桂林电子科技大学计算机科学与工程学院,并行与分布处理国家重点实验室
【基金项目】
：
国家自然科学基金资助项目(61063002,61262008);中国博士后基金资助项目(20090450211);广西自然科学基金资助项目(2011GXNSFA018164,2011GXNSFA018166);广西高等学校优秀人才资助计划资助项目;广西可信软件重点实验室开放基金资助项目;广西研究生科研创新项目资助项目(2011105950812M19)
论文部分内容阅读
随着多核技术日益发展,并发程序通过引入Fork/Join并行性,将任务分解为更细粒度的子任务并行执行,从而充分利用多核处理器提供的计算性能。并发执行线程之间的交错可能产生隐匿的程序设计错误,因此有必要对此类并发程序的正确性进行分析。上下文定界分析方法是一种检测并发程序中隐匿错误的高效方法,计算线程有限次上下文切换内的可达状态,确定错误状态是否可达。针对Fork/Join并行性的并发程序的可达性分析思想如下:首先,动态并发程序被建模为可模拟线程Fork/Join操作的动态并发下推系统P;然后从P中提取模拟其k-定界执行的并发下推系统Pk。现有的上下文定界可达算法可解决提取后的并发下推系统的k-定界可达性问题。
其他文献
方药：木香、郁金各10g，蒲公英30g，丹参、乌药各15g，合欢皮、川楝子、制香附、延胡索各12g。加减：肝胆湿热型加黄芩、枳实、金钱草、大黄、黄连、薏苡仁、栀子、茵陈等；气滞血瘀型加
机械成孔灌注桩施工中由于受到施工技术、方法和外界因素等诸多方面的影响，个别桩基会出现夹渣或孔底沉渣、断桩现象，出现质量缺陷的桩基远不能满足设计桩身承载力的要求。本文
文章讨论了在数字通信系统中RS码的Step-by-step译码算法,给出了算法的基本原理并在现场可编程门阵列(FPGA)上实现了RS(7,3)码的编译码,给出了实际仿真的效果图。结果表明,所设计的电路能够纠正7位接收符号中的任意两位错误。采用此算法避开了求解错误定位多项式,使译码过程得以简化,并提高了译码速度,且易于用大规模可编程器件实现。
随着社会经济的发展，道路行车的舒适性及安全性备受关注。优质的沥青混凝土路面恰好满足社会发展的需求。作为典型的柔性路面材料之一，沥青混凝土在路面施工过程中得到了广泛的
给排水工程是建筑工程、市政工程等多项工程都会涉及到的一种工程项目,而给排水工程的施工质量也直接影响着人们的日常生活.给排水工程的施工具有一定的复杂性,对施工技术有
当地时间2017年11月18日晚上8点15分（北京时间18日23点），马尔代夫共和国总统亚明宣布胡鲁马累7000套保障性住房项目开工。这是马尔代夫历史上最大的保障房项目，也是中国企业在马
文章提出一种适用于千兆以太网无源光网络（EPON）的支持多业务的动态带宽分配（DBA）算法，该算法采用单阈值整帧上报和阈值动态调整解决了EPON中存在的时隙碎片和队头阻塞问题。同时，
目前,在电子商务网站建设方面,出现各种各样的建站问题,严重影响网站建设的质量。为保障电子商务网站建设的高质量和高效益,提出cmm模式,cmm模式可在电子商务网站建设的各个
由于抗生素的滥用,临床上出现多种耐药菌株,给畜牧业快速发展和人类健康造成了严重威胁。抗菌肽是生物体在抵抗外界微生物入侵时产生的一类防御性小肽,是机体先天免疫系统的
21世纪以来,在大量工程实践活动中,工程施工合同管理的理论经验和实践经验越来越丰富,工程施工合同管理在建设单位工程管理中的地位和作用进一步得到了提高.我们也要看到其中