VTOS：一个支持多核的微内核操作系统设计与实现.docVIP

VTOS：一个支持多核的微内核操作系统设计与实现 　　摘要：现在处理器的发展已经进入了一个新的时代，继承了几十乃至上百个核心的处理器已经出现。这在大大提升了硬件处理能力的同时，也给软件设计，尤其是操作系统设计带来了很大困难。为了提高系统的可扩展性，操作系统开发人员需要花费大量的精力来进行严谨而有效率的同步设计。由于宏内核自身的复杂性，在进行同步设计时很困难。阐述了一个微内核的多核同步设计方案，由此可以发现在设计多核操作系统时微内核系统先天的巨大优势。 　　关键词：多核；微内核；操作系统；可扩展性；同步 　　中图分类号：TP316文献标识码：A文章编号：1672-7800（2012）010-0125-05 　　基金项目：863计划重大项目（2011AA01A202）；国家自然科学基金项目；江苏省“六大人才高峰”高层次人才项目（2011-DZXX-035） 　　作者简介：景香博（1986-），男，南京大学计算机科学与技术系硕士研究生，研究方向为操作系统安全；陈江（1988-），男，南京大学计算机科学与技术系硕士研究生，研究方向为操作系统安全；钱振江（1982-），男，博士，软件新技术国家重点实验室、南京大学计算机科学与技术系讲师，中国计算机学会会员，研究方向为计算机安全与形式化验证、嵌入式系统。 　　0引言 　　近10年来，传统的单指令流处理器性能提升遇到了瓶颈，因为即使采用了流水线等技术，指令序列所能达到的并发程度是有限的，而减小晶体管、提升主频的方法也因为严重的功耗和散热问题而遇到了障碍。由于这些原因，处理器性能提升速度明显变慢。据统计，在20世纪90年代，处理器性能平均每年提升60%，而从2000年到2004年性能提升速度下降到40%，2004年更是只有20%的提升。在这种情况下，单核处理器的发展已经达到一个极限，多核技术应运而生。 　　多核处理器通过在一个芯片上集成多个处理核心，多个核心并行的工作来提升总体性能。Knight指出，处理器主频每提高400MHz，功耗就上升约60%，因此当主频比较高了之后，使用多个低功耗的核心带来的性能提升明显要高于提升主频。与多处理器系统相比，多核处理器优势明显：同一芯片上的多个核心互联线路极短，有利于降低通信延迟，提高数据传送带宽。随着多核技术的成功应用，以及高端应用的强大需求，多核技术快速发展。早在2009年，Tilera公司推出的TELA系列处理器已经在一个芯片上集成了100个核心。而Intel公司也推出了80核的芯片。处理器即将进入众核时代。 　　多核技术的快速发展，大大提升了硬件处理能力。然而此时，也给操作系统设计与实现带来了很大的挑战。为了有效地利用多核处理器，操作系统必须能够在多个核心上同时运行内核服务。这时，就必须采取一些同步机制来保护共享的数据结构，以避免并行的访问导致数据结构遭到破坏。在核心很多时，同步粒度的设计对于整体性能影响很大，因此系统的可扩展性是一个重要的指标。根据系统的不同，内核中可能包含很多数据结构，繁杂的同步很可能导致死锁。考虑到这些因素，要实现一个可扩展性良好的操作系统内核可以说非常困难。 　　本文首先简要介绍当前主流的多核操作系统设计方法，然后介绍了在VTOS中采用的多核设计方案，分析了其作为一个微内核系统在多核设计中的优势。最后，本文给出了系统设计中尚需要进一步解决的问题。 　　1主流多核操作系统设计方案 　　在多核操作系统中，硬件决定了系统必然是并行的。因此，即使关闭处理器对中断的响应，并且在没有异常发生的情况下，依然可能发生对数据的并发访问。为了协调多个处理器上内核对共享数据的访问，当前操作系统采取的方法主要包括：非对称结构设计、基于锁的设计、无锁设计、虚拟化设计。 　　最常见的非对称设计就是主从结构设计。在主从结构设计中，只有一个主处理器在运行内核代码，其它从处理器只执行用户态应用程序。在一个典型实现中，主处理器和从处理器各有一个队列。当从处理器上的应用程序需要内核服务时，从处理器首先进入内核态，然后将当前进程迁移到主处理器的队列上运行。主从结构的设计很简单，而且可以在任意数目的处理器上运行。但是因为内核在任一时刻只能为一个进程服务，因此当应用程序很多时，内核会成为系统瓶颈，可扩展性较差。 　　基于锁的设计可以分为大内核锁、粗粒度锁、细粒度锁。采用大内核锁的系统中，使用一个自旋锁来保护整个内核，以避免并发访问。粗粒度的实现仅使用少数几个锁，每个锁保护内核的很大一部分，或者就是一个子系统。细粒度的实现使用很多的锁，主要用于保护每个数据结构。大内核锁使得所有的内核操作串行执行，因此实现起来很简单。然而，同主从结构设计一样，大内核锁的可扩展性非常差。核心数目越多，对大内核锁的争用就会越激烈，多核的性能优势很