PVM并行程序验证系统的原理与实现

本文主要介绍ＰＶＭ并行程序验证系统的基本原理和实现技术。首先,我们扼要分析ＰＶＭ程序的构成与特点,然后阐述验证系统的理论模型和验证算法;最后,讨论开发过程中的若干关键技术,本系统的研制可为产行程序的自动转换和分析验证提供了一个可视化的运行环境。     

氧原子的结构

原子是由一个原子核和若干核外电子组成的体系。根据这样的逻辑 ,氧原子核是什么样子呢 ?我们知道氧原子的摩尔质量为 1 5 .999,若以 H2 摩尔质量 2 .0 1 5 8为标准 ,1 5 .999÷ 2 .0 1 5 8≈ 8,设 H2 为 r=1的一个单元 ,则氧原子为 8个单元 ,那么这 8个单元是如何排列的呢 ?这就是氧原子核的结构是什么。根据自然界普遍存在对称性的原则 ,我们认为由 8个基本单元组成的氧原子核结构为○○○○　○○○○ 。设 H2 为 r=1的一个单元 ,用作图法得氧原子核结构为图 1图 1　氧原子核模型　　作切线 AB、BC、CD和 AD。分别相交于 A、B、C和…     

不锈钢复合钢现场焊接技术

对复合钢管（板）在现场施工中常采用的焊接方法进行简要介绍。     

编译器中多视图中间表示的支撑技术

右间表示是构造优化编译器的核心技术，其设计方式对整个编译器的可适应性影响很大，IR的扩充和改进往往引起整个编译器全局性的修改，而体系结构的修改，某些编译优化模块的改进都会引起IR的扩充或修改，这使得整个编译器的适应性很差，介绍了一种多视图低层中间表示，通过向编译器的不同部分提供不同视图，以及逻辑视图到物理视图的映射，陈藏中间表示的实际细节，提高了编译器各优化分析模块算法的抽象层次，大大增强了编译器代码的可适应性和可重用性。     

低功耗多线程编译优化技术

提出了在多线程体系结构中通过降低执行频率有效减小功耗的理论模型和方法.首先研究识别可降频运行的线程的计算模型和降频因子的计算,然后给出在编译过程中基于对应用程序行为的分析,结合线程划分的低功耗编译优化算法和实现策略.该模型和方法可用于具有执行频率可动态调整的多处理器类多线程体系结构,既可开发TLP(thread level parallelism),又可有效减小功率消耗.     

代码优化与指令调度的集成

在开发指令级并行性的编译器中,如果代码优化和指令调度各自独立进行,将导致代码优化效果的下降甚至产生副作用,文中针对这一问题,提出了代码优化和指令调度集成的思想,在此思想的基础上,介绍了一个适合于代码优化集成的指令调度算框架;并从优化的有效性、是否可逆和优化机会的产生等方面进行了分析,选出了适合集成入指令调度的传统优化种类;最后给出了这些优化的具体集成方法,该文提出的方法已经在一个指令级并行编译器上进行了实验,实验数据证明,这种优化集成方法能使优化的效果明显改善。     

基于部分调用图的线程敏感Profiling技术

Profiling技术能提供程序实际执行时的相关信息。在动态编译环境中,Profiling的运行时开销导致难以收集较为复杂的运行时信息。该文提出一种基于部分调用图的Profiling技术,在收集多线程程序中线程相关的各种执行信息时,能有效减少运行时开销。在开放源码的虚拟机上实现了该Profiling技术。实验表明,其运行时开销只有原来的2%~4%。     

面向共享虚拟存储系统的编译支持的通信优化技术

当前的面向消息传递的自动并行编译器由于各种原因,只能支持极有限的一类数据并行应用程序,共享虚拟存储系统ＳＶＭ和面向共享存储的编译技术的相结合有效地解决了这一问题,使得编写并行应用程序变得十分容易,而且易于移植,然而,研究表明通信是影响基于ＳＶＭ的应用程序性能的主要因素之一。在文中,针对底层ＳＶＭ的特性,提出了页面对齐、软流水等编译支持的通信优化技术,在ＳＶＭ系统ＪＩＡＪＩＡ的平台上实现了制导辅助折