摘要： 本文以一种抽象的顺序推理机系统为模型,构造了一种控制进程同步的新方法。在该方法中,我们把共享资源抽象为自动机,通过为每个共享资源分别定义一个谓词来实现进程的同步控制。用Turbo-PROLOG语言对这种新方法进行了软件模拟实验,已在SUPER/XT微型机上实现。

Abstract: This paper presents a new method of controlling process synchronization by taking an abstract sequential inference machine as a model. Shared resources are abstracted and treated as automation. A predicate is built up seperately for every shared resource to control the process synchronization. Software simulation of this new method in Turbo-PROLOG has been realised on SUPER/XT microcomputer.