并行异步过程多微处理机—控制器设计方法论的探讨

本文探讨:用来控制并行异步而无干扰的诸过程(其中可以有微计算机)的那种控制结构被实现成多微处理机—控制器时可依循的设计原理和方法。为了适应多微处理机的应用,本文用多种语义给予表示并行系统的 Petri 网模型以半解释,其中 p 结点可被解释成带引燃号的定长向量,t 结点可被解释成(内部)过程。称这样半解释的 Petri 网为 MP 网。MP 网可用来描述并行系统的微控制、宏控制、或微宏混合控制。利用多微处理机来实现 MP 网,此多微处理机—控制器用来控制并行异步的过程,它们并行地异步地进行工作而无干扰。文中提出根据MP 网设计多微处理机—控制器的一般原理和方法的基本思想。分解 MP 网成各子MP 网,这些子 MP 网分别以微处理机实现之,而它们所共享的那些 p 结点实现成为它们相互间通讯用的邮箱。所有这些微处理机通过邮箱联系起来,组织成所要设计的多微处理机—挖制器。以微计算机族 M6800为例来阐明本文提出的方法论基本思想。本文未臻形式化阶段,基本上以直觉的形式叙述基本思想,而未完全论证,还不是完备的方法论,仅供讨论。