基于工作站机群系统的在线并行调试技术

并行调试是并行处理中的重要问题，我们的并行调试研究以工作站机群系统作为背景，研究成果主要包括：提出了一种更能反映机群系统消息通讯特点的并行计算模型，提出了状态冻结思想和在线调试策略并结合传统的记录重放技术以解决并行程序的不确定性问题，提出了一种保存和恢复并行程序全局状态的算法以解决大型程序执行时间长的问题，提出了一个物理时钟和逻辑时钟相结合的机群系统混合时钟模型，提出了一种分析消息程序通讯中的不确定性的方法，实现了一个基于工作站机群系统的源级调试工具。这些成果对并行系统大规模走向应用具有重要意义。研究工作基本按预期计划得到完成。成果已在江南计算所的神威计算机等系统中得到应用。