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

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

VP^4:基于机群的pvm并行程序性能可视化工具

本文研究并实现了一个通用的 pvm并行程序性能可视化软件工具 VP^4.针对工作站机群的特点 ,它采用多层次性能数据采集方法和基于事件的采取策略 ,这样可以在尽量减少“侵入影响”的前提下 ,采集并汇总全部性能数据 .对汇总的性能数据进行处理后 ,VP^4利用图形与动画生成各种易于使用的可视化性能视图 .通过实验表明 ,本软件工具可以有效地帮助用户发现性能瓶颈 ,辅助用户开发高性能的并行程序 .

微机环境下并行系统的建立与并行程序的开发

阐述了在微机环境下建立并行环境 ,进行并行模拟的意义 ,给出了微机上 PVM的安装方法和使 PVM正确运行的 .cshrc文件 ,以及 master/slave编程模式的 PVM应用程序示例。