基于上下文定界的Fork/Join并行性的并发程序可达性分析

• 作者: 蔡国永 贾书贵 赵岭忠 钱俊彦
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 上下文定界 并发 可达性分析 Fork/Join并行性 动态线程创建
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 高性能计算
• 页码范围: 1-6
• 页数: 6页
• 分类号: TP311
• 字数: 6061字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2013.02.001

摘要

随着多核技术日益发展,并发程序通过引入Fork/Join并行性,将任务分解为更细粒度的子任务并行执行,从而充分利用多核处理器提供的计算性能.并发执行线程之间的交错可能产生隐匿的程序设计错误,因此有必要对此类并发程序的正确性进行分析.上下文定界分析方法是一种检测并发程序中隐匿错误的高效方法,计算线程有限次上下文切换内的可达状态,确定错误状态是否可达.针对Fork/Join并行性的并发程序的可达性分析思想如下:首先,动态并发程序被建模为可模拟线程Fork/Join操作的动态并发下推系统P；然后从P中提取模拟其k-定界执行的并发下推系统Pk.现有的上下文定界可达算法可解决提取后的并发下推系统的k-定界可达性问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡国永	桂林电子科技大学计算机科学与工程学院	98	400	12.0	15.0
2	钱俊彦	桂林电子科技大学计算机科学与工程学院	86	238	9.0	10.0
4	赵岭忠	桂林电子科技大学计算机科学与工程学院	64	229	8.0	11.0
5	贾书贵	桂林电子科技大学计算机科学与工程学院	2	3	1.0	1.0