基于第二代微内核L4的分布式操作系统E1的研究-[操作系统]0000145

本文主要工作就是研究了基于第二代微内核的分布式操作系统E1。本文首先讨论微内核关于内核尺寸的两个问题与第一代微内核在设计上不足。表明基于第二代微内核的系统能够具有很好的性能。然后对比研究了两个微内核—Exokerne1&L4。结果表明，L4微内核以其精简的两个核心概念—线程和地址空间，能够提供很好系统扩展机制并且扩展后的系统具有很好的模块性。同时也是回答了E1为什么选择第二代微内核中的L4作为系统内核。由于E1是一..