期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
基于上下文定界的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多核并行框架的梯级水库群优化调度 被引量:4
2
作者 王森 马志鹏 +2 位作者 李善综 王凌河 熊静 《水利水电科技进展》 CSCD 北大核心 2017年第2期48-54,共7页
为了满足大规模梯级水库群优化调度精细化管理需求,解决决策计算耗时长及求解效率低等困难,提出了基于Fork/Join多核并行框架的梯级水库群优化调度并行求解方法,并以离散微分动态规划方法并行化为例,给出了梯级水库群优化调度方法在Fork... 为了满足大规模梯级水库群优化调度精细化管理需求,解决决策计算耗时长及求解效率低等困难,提出了基于Fork/Join多核并行框架的梯级水库群优化调度并行求解方法,并以离散微分动态规划方法并行化为例,给出了梯级水库群优化调度方法在Fork/Join框架下的并行化实现方式。红水河大规模梯级水库群长期发电优化调度测试结果表明,并行计算能够充分发挥多核处理器的加速性能,有效缩短计算耗时,提高求解效率;选择合理的Fork/Join框架规模控制阈值是充分发挥并行优势的关键因素。 展开更多
关键词 梯级水库群 优化调度 fork/join并行框架 多核处理器 并行计算
在线阅读 下载PDF
大规模电力系统潮流转移比多核并行批处理方法 被引量:9
3
作者 罗彬 李刚 +3 位作者 苗树敏 程春田 吴琛 王森 《中国电机工程学报》 EI CSCD 北大核心 2015年第21期5446-5454,共9页
实现各类预想故障下潮流转移比快速仿真分析是电网安全稳定运行的重要保证。针对现有实际运行方式中潮流转移分析困难问题,提出大规模电力系统潮流转移比多核并行批处理方法。该方法基于广泛使用的商业大系统分析工具,在参数解析分类、... 实现各类预想故障下潮流转移比快速仿真分析是电网安全稳定运行的重要保证。针对现有实际运行方式中潮流转移分析困难问题,提出大规模电力系统潮流转移比多核并行批处理方法。该方法基于广泛使用的商业大系统分析工具,在参数解析分类、故障自动设置及结果解析的基础上,引入深度优先搜索(depth first search,DFS)算法进行孤立节点和孤岛区域检测以保证网络完整性,结合潮流计算合理性的自动判别以实现潮流转移比的批处理分析;同时在多核环境下,构建基于Fork/Join的并行框架,采用"分治模式"递归分解计算任务,从而实现分析方法的多核并行。算例仿真和在云南电网的实际应用验证了所提方法的有效性和快速性。 展开更多
关键词 潮流转移 深度优先搜索 多核并行 fork/join框架 PSD-BPA
在线阅读 下载PDF
并行子树约简方法在软件故障定位中的运用
4
作者 杨书新 张秋梅 《计算机应用研究》 CSCD 北大核心 2014年第7期2097-2100,共4页
针对现有的基于图挖掘技术的软件故障定位技术中运用到图约简算法保留原图信息不够、影响定位准确性、约简效率不高的缺点,提出了并行子树约简方法。该方法采用设计简单而且对并行计算性能的获取卓有成效的Fork/Join并行计算框架,运用... 针对现有的基于图挖掘技术的软件故障定位技术中运用到图约简算法保留原图信息不够、影响定位准确性、约简效率不高的缺点,提出了并行子树约简方法。该方法采用设计简单而且对并行计算性能的获取卓有成效的Fork/Join并行计算框架,运用反复递归和划分子任务的方式将目标问题划分成足够精简的子任务,实现了对程序调用图的高效约简。实验结果表明,并行子树约简方法不仅能实现对节点数大的图的约简而且对图约简效率的提高高达55.1%,明显提高了故障定位效率。 展开更多
关键词 软件故障定位 图约简 并行子树约简 fork/join并行计算框架 程序调用图
在线阅读 下载PDF
面向神威高性能多核处理器的并行编译优化方法 被引量:3
5
作者 周雍浩 徐金龙 +2 位作者 李斌 钱宏 聂凯 《计算机工程》 CAS CSCD 北大核心 2022年第9期130-138,共9页
在神威高性能多核服务器上,自动并行化编译系统为识别和申明程序中的并行性,产生的OpenMP程序没有经过充分的优化,其采用简单的fork-join模型,存在大量的并行循环嵌套,导致运行效率低。为提升自动并行化编译系统产生的OpenMP程序的运行... 在神威高性能多核服务器上,自动并行化编译系统为识别和申明程序中的并行性,产生的OpenMP程序没有经过充分的优化,其采用简单的fork-join模型,存在大量的并行循环嵌套,导致运行效率低。为提升自动并行化编译系统产生的OpenMP程序的运行效率,提出一种并行域重构优化技术。并行域重构技术通过合并程序中的并行域和扩展嵌套循环中的并行域范围,减少OpenMP程序的并行域数目,降低线程组频繁创建和合并等控制开销,将简单fork-join模型的OpenMP程序转换为性能更为高效的单程序多数据模型的OpenMP程序。实验结果表明,在新一代神威高性能多核服务器SW1621平台上,并行域重构技术在NPB3.3-OMP测试集和SPEC OMP2012测试集上的运行效率分别提高了10.77%和7.94%的,可有效提升自动并行化编译系统OpenMP程序的执行效率。 展开更多
关键词 神威高性能多核处理器 OpenMP编程 并行域重构 fork-join模型 单程序多数据模型
在线阅读 下载PDF
梯级水库群优化调度并行动态规划方法 被引量:7
6
作者 王森 马志鹏 +1 位作者 李善综 熊静 《中国农村水利水电》 北大核心 2017年第11期204-207,共4页
针对动态规划方法求解梯级水库群优化调度易造成计算耗时长、求解效率低等缺点,提出了梯级水库群优化调度并行动态规划方法。该方法将调度期内所有离散状态点组合计算求解作为父任务,采用Fork/Join多核并行框架将父任务分解为多个子任... 针对动态规划方法求解梯级水库群优化调度易造成计算耗时长、求解效率低等缺点,提出了梯级水库群优化调度并行动态规划方法。该方法将调度期内所有离散状态点组合计算求解作为父任务,采用Fork/Join多核并行框架将父任务分解为多个子任务进行并行化求解。以西江干流梯级水库群长期发电优化调度为研究实例,在多核配置上验证所提方法的有效性。计算结果表明,在4核并行环境下,最大加速比可达到3.84,大幅度缩减计算耗时,计算效率显著提升。 展开更多
关键词 梯级水库群 优化调度 多核并行 动态规划 fork/join
在线阅读 下载PDF
粗粒度并行自适应混合粒子群算法及其在梯级水库群优化调度中的应用 被引量:4
7
作者 王森 马志鹏 +1 位作者 李善综 熊静 《长江科学院院报》 CSCD 北大核心 2017年第7期149-154,共6页
为了充分利用现今普及的多核配置计算机,提高大规模梯级水库群优化调度问题的求解效率,提出了梯级水库群优化调度的粗粒度并行自适应混合粒子群算法。该方法以自适应混合粒子群算法为求解基础,采用粗粒度并行设计模式,利用Fork/Join多... 为了充分利用现今普及的多核配置计算机,提高大规模梯级水库群优化调度问题的求解效率,提出了梯级水库群优化调度的粗粒度并行自适应混合粒子群算法。该方法以自适应混合粒子群算法为求解基础,采用粗粒度并行设计模式,利用Fork/Join多核并行框架的分治策略,将其初始种群递归划分为多个子种群,平均分配到不同的内核逻辑线程中实现并行计算,并在各子种群优化结束后,合并优化结果集从而输出全局最优解。以澜沧江下游梯级水库群发电优化调度为例,利用该方法进行计算。结果表明,该方法能充分发挥多核配置的计算性能,在4核环境下最大加速比达到3.97,缩短计算耗时1 787.2 s,计算效率显著提高,为我国不断扩张的大规模梯级水库群优化调度提供了一种切实可行的高效求解途径。 展开更多
关键词 梯级水库群 优化调度 粗粒度 多核并行 fork/join 粒子群算法
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部