关于MIMD系统顺序并行转换的正确性

摘要

本文先根据Keller并行程序模式介绍程序等价性概念,然后重点阐述HZPARA系统中顺序程序并行转换规则及其不变性质,最后,给出顺序程序与其并行转换后的并行程序的等价性定理。