PVM系统统一并行调试对象模型的Petri网描述

摘要

采用具体定义的PVM活动所描述的统一并行调试对象模型可使用户在调试的各阶段都面对相同的调试对象,但并行程序的文本表示或通常由事件为基础的视图并不适合描述这种概念, 为把活动明确地表达给用户,我们给出了该模型的着色Petri网描述,这将有助于对程序作进一步的静态分析和性能调试研究.