并行计算模型和并行算法研究

本课题以π演算、UNITY和Petri网等三类不同的并行计算模型为研究对象，探讨交叉语义假设是否合理，寻找不依赖交叉语义假设的途径。研究发现，在交叉语义假设下证明为正确的程序系统允许不可能被用户接受的性质存在，因而是不合理的。研究表明，UNITY以其逻辑系统为基础的形式化程序设计方法在保证程序正确性的同时，还能有效发掘程序的并行成分，它对交叉语义假设的依赖是因为它没有利用客观存在于赋值语句之间的依赖关系。Petri网恰能弥补这一点。我们提供了适用于描述和分析程序的Petri网---PPNET雏形，已初步实现了扩充的UNITY（BD_UNITY），为进一步研究非交叉语义并行计算模型及其并行语义规则奠定了基础。本课题有5名硕士和2名博士参与，已毕业3名硕士。