Eftime, Petre and Mogosanu, Lucian and Carabas, Mihai and Gheorghe, Laura and Deaconescu, Razvan (2015) Adding SMP support to fastpaths in an L4 microkernel. In: 5th International Conference on Computing and Informatics (ICOCI) 2015, 11-13 August 2015, Istanbul, Turkey.

Preview

PDF Download (362kB) | Preview

Abstract

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.

Item Type:	Conference or Workshop Item (Paper)
Additional Information:	ISBN No: 978-967-0910-02-4 Jointly organized by: Universiti Utara Malaysia & Istanbul Zaim University
Uncontrolled Keywords:	L4 kernel, ARM, SMP, fastpath
Subjects:	Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions:	School of Computing
Depositing User:	Mrs. Norazmilah Yaakub
Date Deposited:	01 Oct 2015 06:39
Last Modified:	27 Apr 2016 02:39
URI:	https://repo.uum.edu.my/id/eprint/15579

Actions (login required)

View Item