共享库机制的研究doc.docVIP

附录B Exokernel 共享库(Shared Libraries)机制研究 Exokernel 操作系统为各种应用提供了比较多的底层硬件接口，并允许应用提供各自的操作系统抽象和接口。尽管这样减轻了传统操作系统强加给应用处理局部最优抽象的负担，但是由于应用与大量库操作系统(Library Operating System，简称LibOS)代码的静态连接也造成了内存和磁盘的潜在大量消耗。这样增加了应用的代码长度直接造成高速缓存性能下降，增加了页面到磁盘块的调度，减少了处理载入次数和可能限制了并行运行应用的最大数量。既然应用都期望应用同样的LibOS，或者其中的大部分，把LibOS作为共享库将很好的解决上述问题。但是由于传统载入共享库机制依赖于操作系统高层抽象，把LibOS作为共享库也呈现了如何引导的比较困难的问题，即如何从没有文件或者虚拟内存系统的系统读取文件或虚拟内存的内容. 这篇附录针对上述问题给出了一种解决方案，并主要讨论了其设计和实现行的思想。共享库服务器(Shared Library Server，简称SLS)即是实现的一个例子，它通过一个简单的进程间通信(inter-process communication，简称IPC)接口提供对输入输出(I/O)和虚拟内存(VM)子例程文件的访问权限。在这期间一个小型并与传统共享库载入程序作用一样的