seL4論文:一個大的內核鎖已經足夠

seL4:一個大的內核鎖已經足夠 論文戳這裏 ，公開演講PPT戳這裏 前情提要 seL4 是一個安全的嵌入式系統，只支持有MMU的開發板，現在的移動CPU也在堆核心，所以要研究是否用更細的鎖來提高可擴展性（Scalability）。 論文 文章在研究了在IPC過程中引入更細緻的鎖對性能的影響。Peter在內核裏面加了4個鎖，這四個鎖有兩種實現方式，一種是用原來的實現方式，另一個是用Intel獨有的

>>阅读原文<<