seL4:一个大的内核锁已经足够
前情提要
seL4 是一个安全的嵌入式系统,只支持有MMU的开发板,现在的移动CPU也在堆核心,所以要研究是否用更细的锁来提高可扩展性(Scalability)。
论文
文章在研究了在IPC过程中引入更细致的锁对性能的影响。Peter在内核里面加了4个锁,这四个锁有两种实现方式,一种是用原来的实现方式,另一个是用Intel独有的ntel TSX指令集(图中x86 RTM的数据)。
可以看出用更多的锁会造成更多的性能损失,而且如果锁的争抢需要跨越物理的L2 Cache,那么将会损失更多的性能,甚至造成损失的性能超过一个IPC的时间。
这个图的解释是,如果要争抢一个跨越物理缓存界限的锁,那么这个信号将会需要100&#