Adding Smp Support To Fastpaths In An L4 Microkernel
PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON COMPUTING & INFORMATICS(2015)
摘要
Fastpaths are a method of optimization which relies on treating the most commonly executed cases of certain functions in a privileged manner, such that behaviour is not modified, but execution time is reduced. Fastpaths play an important role on improving paravirtualization performance offered by an L4 microkernel. In this article we redesign two existing fastpaths in an L4 microkernel for the purpose of adding SMP support. We then put these fastpaths through a series of regression and performance tests to determine if the design is correct and what performance benefits we can expect by using them on a multiprocessor system.
更多查看译文
关键词
L4 kernel, ARM, SMP, fastpath
AI 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要