期刊导航
期刊开放获取
重庆大学
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于上下文定界的Fork/Join并行性的并发程序可达性分析
1
作者
钱俊彦
贾书贵
+1 位作者
蔡国永
赵岭忠
《计算机工程与科学》
CSCD
北大核心
2013年第2期1-6,共6页
随着多核技术日益发展,并发程序通过引入Fork/Join并行性,将任务分解为更细粒度的子任务并行执行,从而充分利用多核处理器提供的计算性能。并发执行线程之间的交错可能产生隐匿的程序设计错误,因此有必要对此类并发程序的正确性进行分...
随着多核技术日益发展,并发程序通过引入Fork/Join并行性,将任务分解为更细粒度的子任务并行执行,从而充分利用多核处理器提供的计算性能。并发执行线程之间的交错可能产生隐匿的程序设计错误,因此有必要对此类并发程序的正确性进行分析。上下文定界分析方法是一种检测并发程序中隐匿错误的高效方法,计算线程有限次上下文切换内的可达状态,确定错误状态是否可达。针对Fork/Join并行性的并发程序的可达性分析思想如下:首先,动态并发程序被建模为可模拟线程Fork/Join操作的动态并发下推系统P;然后从P中提取模拟其k-定界执行的并发下推系统Pk。现有的上下文定界可达算法可解决提取后的并发下推系统的k-定界可达性问题。
展开更多
关键词
上下文定界
并发
可达性分析
FORK
join并行性
动态线程创建
下载PDF
职称材料
题名
基于上下文定界的Fork/Join并行性的并发程序可达性分析
1
作者
钱俊彦
贾书贵
蔡国永
赵岭忠
机构
桂林电子科技大学计算机科学与工程学院
并行与分布处理国家重点实验室
出处
《计算机工程与科学》
CSCD
北大核心
2013年第2期1-6,共6页
基金
国家自然科学基金资助项目(61063002
61262008)
+5 种基金
中国博士后基金资助项目(20090450211)
广西自然科学基金资助项目(2011GXNSFA018164
2011GXNSFA018166)
广西高等学校优秀人才资助计划资助项目
广西可信软件重点实验室开放基金资助项目
广西研究生科研创新项目资助项目(2011105950812M19)
文摘
随着多核技术日益发展,并发程序通过引入Fork/Join并行性,将任务分解为更细粒度的子任务并行执行,从而充分利用多核处理器提供的计算性能。并发执行线程之间的交错可能产生隐匿的程序设计错误,因此有必要对此类并发程序的正确性进行分析。上下文定界分析方法是一种检测并发程序中隐匿错误的高效方法,计算线程有限次上下文切换内的可达状态,确定错误状态是否可达。针对Fork/Join并行性的并发程序的可达性分析思想如下:首先,动态并发程序被建模为可模拟线程Fork/Join操作的动态并发下推系统P;然后从P中提取模拟其k-定界执行的并发下推系统Pk。现有的上下文定界可达算法可解决提取后的并发下推系统的k-定界可达性问题。
关键词
上下文定界
并发
可达性分析
FORK
join并行性
动态线程创建
Keywords
context-bounded
concurrency
reachability analysis
fork/
join
parallelism
dynamic thread creation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于上下文定界的Fork/Join并行性的并发程序可达性分析
钱俊彦
贾书贵
蔡国永
赵岭忠
《计算机工程与科学》
CSCD
北大核心
2013
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
