摘要：介绍了在基于Linux的机群系统中,并行程序调试工具XBUSTER的设计与实现,包括调试器的基本结构及在实现时所涉及的一些关键技术。XBUSTER具有一般调试器的基本调试功能,可以调试用C/Fortran语言编写的PVM或MPI,对并行程序的各个进程能够单独或同时进行调试,并且能够实现进程的动态调试。该系统已在运行Linux系统的清华集群计算机系统上运行,具有较好的实用性。

摘要：高性能 ,高可靠性和良好的可扩展性使得机群系统的应用领域日益广泛 ,但是目前缺乏一个方便实用的并行程序开发环境 .本文首先从方便程序员开发并行程序的角度提出了一个并行程序集成开发环境的功能框架 ,然后重点论述了在实现集成开发环境时涉及到的一些关键问题和技术 ,最后简要介绍了基于这些技术的 IPCE2 .

摘要：DENNET是清华大学高性能计算所开发的一个机群系统并行程序调试环境 .本文分析并行程序调试环境的现状和发展趋势 ;阐述调试环境对并行程序的干扰问题 ,指出降低乃至完全消除干扰是并行程序调试环境的一个重要研究方向 ,介绍了 DENNET设计时采用的两种降低干扰的技术 .

摘要：数据相关性分析经常使用诸如方向向量或体差不等式等作为替代约束以加强求解丢番图方程的能力。给出了替代约束有效性的几个测度,详细分析了什么样的替代约束是可行的、有效的、良性的或恰当的,并证明在大多数情况下体差不等式约束要比方向向量约束更有效,体差不等式测试方法的收敛性要强于其它使用方向向量作为替代约束的传统数据相关性测试算法。

摘要：本文全面分析了开放源码的嵌入式系统仿真集成开发环境SkyEye,并对SkyEye上已经移植成功的操作系统、典型应用进行了介绍,最后讲述了SkyEye正在开展的工作和将来的发展方向。