摘要
在分析进程/线程模型内在缺陷的基础上,提出了一种新的操作系统构造模型———服务体/执行流模型.该模型以执行流为运行模型,以服务体为存储模型,两者相互分立,使得数据的计算独立于数据的存储,从而融合了单地址、多地址空间和单内核、微内核结构的优点,又摒弃了它们的缺点,并可有力支持分布式计算.实验数据验证了该模型的正确有效性.
On the basis of analyzing the intrinsic deficiency of process/thread model, a new operating system construction model was presented based on servant and executive flow. The model takes the executive flow as its executive model and the servant as its storage model. The executive model is separated from the storage model, which results in the separation of data calculation and data storage. The new model can use both the single-address space technology and the multi address space technology. It also combines the advantages of the monolithic kernel based operating system and the microkernel operating system. The experimental results validate the effectiveness of the new model.
基金
国家自然科学基金(60273042)
安徽省自然科学基金(03042203)资助
关键词
进程/线程模型
服务体
执行流
服务体间通信
process/thread model
servant
executive flow
inter servant communication