用PROLOG语言在第五代计算机中实现三种同步机制

摘要

以日本新一代计算机技术研究所研制的个人顺序推理机ＰＳＩ为模型，详细讨论了用ＰＲＯＬＯＧ语言在新一代计算机操作系统中实现忙式等待、信号灯、条件临界区三种同步机制的情况，并进行了评价，软件模拟程序已在微机上调试通过。