基于可行序的数据竞争检测

为了在并行程序的单次执行中找到更多的数据竞争,提出了用可行序关系替代传统的“happens before”序关系来动态地实现数据竞争预测的算法。该算法认为：从技术上讲,如果在观测到的执行轨迹中,两个临界区之间没有可行序的关系,那么这两个临界区的顺序可以被颠倒以构造出其他的执行轨迹;通过判断可行序关系来分析这些构造出来的执行轨迹,就可以找到单次执行中未暴露出来的可能的数据竞争;所有构造出来的执行轨迹中的数据竞争,可以在O(an)的时间内全部检测出来,其中n为程序中所有访存操作的个数,a为每个共享地址上的最大锁集合数。在Java Grande测试程序集上的实验结果说明,上述算法可以找到其他动态检测数据竞争的方法找不到的数据竞争,而且算法时间也完全符合理论上的O(an)时间复杂度。     

高速碰撞仿真计算的优化方法

针对高速碰撞仿真系统中计算量较大的有限元计算部分,建立了并行有限元模型和区域划分原则,利用逐元法(Element by Element,EBE)分析有限元结构和单个有限元的物理量,利用区域划分方法对有限元网格进行划分,并采用中心差分法求解拉格朗日运动方程,用以模拟圆柱形物体高速碰撞刚性墙的过程。分析了多核CPU架构的基本通信原理,提出了1种动态负载均衡策略,能够优化多核架构上高速碰撞过程中有限元计算的运行效率,选用MPICH2和FORTRAN编写了仿真计算程序。经过多次实验,该优化方法将有限元计算程序运行效率平均提高了8.7%以上。     

并行程序环境及其系统移植实现

并行程序设计环境作为分布并行系统中，并行应用程序开发设计与调试运行控制的工具，对于并行处理技术的研究发展与推广应用，具有重要的作用、本文将分析讨论并行程序环境Ｅｘｐｒｅｓｓ与ＰＶＭ的系统特点及其实现方法，同时，介绍Ｅｘｐｒｅｓｓ系统在并行图归约智能工作站上的系统移植实现。     

Mini CSP语言的时态语义

本文给出了ＭｉｎｉＣＳＰ语言的复合时态语义，提出了一种描述同步通讯的方法，在此基础上，描述了真正的分布式程序的执行。     

并发程序设计语言在多媒体系统同步中应用

多媒体系统中各个媒体信息的同步是多媒体系统创作中的一个难题。本文用面向对象的思想提出一个方法，该方法基于一种并发程序设计语言－－μＣ＋＋，较好地解决了同步问题。     

并行程序的流程图分析法*

本文给出一种对Ada并行程序的流程图分析法．该方法不仅给出在并行程序中，并发多任务之间相互通信的一种可视化的表示，同时可检查出并行程序中存在的死锁，并能启发如何消除死锁．并行流程图在检查死锁的方便性、消除死锁的启发性、实际应用的可行性和对并行算法思想的描述性等方面明显优于已知的Petri网分析法。     

CSP语言的再继续语义

并行程序的指称描述的基本技术的“再继续(Resumption)”,用以描述异步并发进程中命令的可     

并行程序实用优化方法讨论

主要讨论了应用程序并行数值模拟中的一些优化方法。介绍了提高Cache命中率和指令级流水优化等单机性能优化的方法。并行优化技术方面,结合应用实例,研究了消息传递并行程序设计环境下如何提高程序性能的方法。实验结果表明讨论的串并行优化方法是有效的。