微内核是一种只提供最基本的机制与抽象的操作系统内核。其设计思想就是在不影响操作系统的安全性与稳定性的前提之下,尽可能地将内核功能移到用户态以服务线程的方式来实现,而内核本身只实现系统必需的几个部分,比如地址空间、线程管理和进程间通信。这种设计的好处就是,内核的体积大大减小,用户态的服务线程提高了系统的灵活性和安全性。微内核在设计之初并没有关注性能问题,这导致了第一代微内核在性能上广遭诟病。高度模块化的设计使微内核对进程间通信的依赖度极高,因而进程间通信的性能直接影响到微内核的性能。虽然过去十多年间微内核进程间通信的性能有了很大提高,但在某些处理器下依然显得太慢,从而限制了微内核的进一步发展。本文在深入研究已有的提高微内核进程间通信的各种策略的基础之上,针对L4Ka::Pistachio微内核,设计并实现了一种相同地址空间条件之下快速进程间通信的方法。本方法让满足特定条件的进程间通信不经过内核而完全在用户态进行,从而避免了进出内核带来的大量性能开销。测试表明,在较小影响一般进程间通信的前提之下,其能大幅提高相同地址空间条件之下进程间通信的性能。