一个解决分布式内核中状态不一致性的方法  

SOLUTION TO STATE INCONSISTENCY ISSUES IN A DISTRIBUTED KERNEL

作　　者：薛行[1] 孙钟秀[1] 杨培根[1] 周建强[1] 徐希豪 

机构地区：[1]南京大学计算机科学系

出　　处：《计算机学报》1990年第6期456-462,共7页Chinese Journal of Computers

摘　　要：本文着重介绍分布式操作系统内核NDOS的进程通信机制中,检测和处理由于进程死亡、机器或网络故障以及进程迁移所引起的系统状态不一致性问题的方法。为了能够既满足高层系统的可靠性要求,同时又保持分布式操作系统内核的简洁性和有效性,我们把内核的进程通信设施进一步分为两层。对状态不一致性的检查和处理的机制利用了事件计数(eventcount)的概念及其有关操作。We present the solution techniques used in the distributed operating system kernel NDOS to detect and handle state inconsistencies arising from process death, machine or network failures, and process migration. In order to satisfy the reliability requirement of high-layered systems and at the same time keep the kernel simple and efficient, we divide further the interprocess communication (IPC) facilities of the kernel into two layers. The solution techniques are largely based on the principle of eventcounts and related operations.

关 键 词：分布式 操作系统 内核 计算机 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]