一种数据结构制导的线程划分方法与执行模型

杜延宁; 赵银亮; 韩博; 李远成

首页> 中文期刊> 《软件学报》 >一种数据结构制导的线程划分方法与执行模型

一种数据结构制导的线程划分方法与执行模型

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

在对程序进行并行化时,为了保证结果的正确性,并行编译器只能采取一种保守的策略,也就是,如果它不能确定两段代码在并行执行时是否会发生冲突,它就不允许这两段代码并行执行.虽然这种做法保证了正确性,但同时也限制了对并行性的开发.在这种背景下,许多推测多线程方法被提了出来,这些方法通过允许可能冲突的代码段并行执行来把握更多的并行机会,同时,通过从冲突中恢复来保证结果的正确性.然而,传统推测多线程方法所使用的“沿控制流将串行程序划分为多个线程”的做法并不适合不同数据结构上的操作在控制流中相互交错的情况,因为如果沿控制流将程序线性地划分为多个线程,则同一个数据结构上的操作将被分到不同的线程中,从而非常容易发生冲突.为了有效地对这些程序进行并行化,提出了一种基于数据结构的线程划分方法与执行模型.在这种方法中,程序中的对象被划分成多个组,同一组中对象上的操作被分派到同一个线程中去执行,从而降低了在同一个数据结构上发生冲突的可能性.

著录项

来源
《软件学报》 |2013年第10期|2432-2459|共28页
作者
杜延宁; 赵银亮; 韩博; 李远成;
展开▼
作者单位

西安交通大学电子与信息工程学院;

陕西西安 710049;

西安交通大学电子与信息工程学院;

陕西西安 710049;

西安交通大学电子与信息工程学院;

陕西西安 710049;

西安科技大学计算机科学与技术学院;

陕西西安 710054;

展开▼
原文格式 PDF
正文语种 chi
中图分类编译程序、解释程序;
关键词
推测多线程; 并行化; 数据结构; 划分方法; 执行模型;

相似文献

中文文献
外文文献
专利

1. 一种支持多线程程序的符号执行技术 [J] . 李曈 ,丁国富 . 计算机与现代化 . 2020,第006期
2. 一种高效的SQL语句执行线程 [J] . 洪承煜 ,杨尚琴 ,陈浩 . 计算机系统应用 . 2014,第001期
3. 一种基于程序功能标签切片的制导符号执行分析方法 [J] . 甘水滔 ,王林章 ,谢向辉 . 软件学报 . 2019,第011期
4. 一种符号执行制导的循环内界分析方法 [J] . 赵祖威 ,冯世宁 ,汤恩义 . 电子学报 . 2017,第011期
5. 一种目标制导的混合执行测试方法 [J] . 崔展齐 ,王林章 ,李宣东 . 计算机学报 . 2011,第006期
6. 面向同时多线程的可扩展高速缓存动态划分方法 [C] . WU Jun-Min ,吴俊敏 ,ZHU Xiao-Dong . 2012全国高性能计算学术年会 . 2012
7. 基于断言制导的多线程符号执行的设计与实现 [A] . 黄保光 . 2018

一种数据结构制导的线程划分方法与执行模型

摘要

著录项

相似文献

相关主题

期刊订阅