新一代机操作系统中并发进程的同步控制

本文介绍在新一代计算机系统模型HNM上实现基于知识的智能型操作系统BKOS的并发进程同步控制。我们提出了资源也是知识的思想,并把共享资源抽象为自动机。然后用Prolog语言实现知识的产生式系统表示和两种新的同步机构。