第二代微内核的增强多页面环境支持
摘要：第二代微内核增强分页支持的机制：基于虚拟地址空间的内核内部高粒度分页器分配，提供对任务的多分页服务器环境的显式支持。所提出的机制允许将页面错误有效而简单地分派给适当的分页器。分页是虚拟内存的主要特征之一，被先进的操作系统广泛使用来提供弹性内存的错觉。原始和现有的第二代微内核只提供有限、不灵活和不自然的分页支持。此外，目前解决多分页支持的运行时层面的设施引入了模式切换和线程上下文切换方面的开销，这些开销可以大大减少。有限的分页支持限制了第二代微内核系统在实际应用中的吸引力，这些应用通常需要对多个分页服务器进行并发服务。本文的目的是提供一种对第二代微内核的多分页环境进行高效灵活支持的设施。对所提出的解决方案与当前架构L4 + L4Re进行了比较，并评估了页面错误处理关键路径的开销。所提出的解决方案足够简单，并以高效的方式为第二代微内核提供了自然而灵活的多分页环境支持。与目前在Fiasco.OC中实施的L4 + L4Re解决方案相比，它在模式切换和线程上下文切换方面的开销降低了三分之一。
作者：Yauhen Klimiankou
论文ID：1404.1637
分类：Operating Systems
分类简称：cs.OS
提交时间：2014-07-11