Adding SMP support to fastpaths in an L4 microkernel

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...

Full description

Bibliographic Details
Main Authors: Eftime, Petre, Mogosanu, Lucian, Carabas, Mihai, Gheorghe, Laura, Deaconescu, Razvan
Format: Conference or Workshop Item
Language:English
Published: 2015
Subjects:
Online Access:https://repo.uum.edu.my/id/eprint/15579/1/PID101.pdf
_version_ 1825803560519991296
author Eftime, Petre
Mogosanu, Lucian
Carabas, Mihai
Gheorghe, Laura
Deaconescu, Razvan
author_facet Eftime, Petre
Mogosanu, Lucian
Carabas, Mihai
Gheorghe, Laura
Deaconescu, Razvan
author_sort Eftime, Petre
collection UUM
description 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.
first_indexed 2024-07-04T05:59:07Z
format Conference or Workshop Item
id uum-15579
institution Universiti Utara Malaysia
language English
last_indexed 2024-07-04T05:59:07Z
publishDate 2015
record_format eprints
spelling uum-155792016-04-27T02:39:44Z https://repo.uum.edu.my/id/eprint/15579/ Adding SMP support to fastpaths in an L4 microkernel Eftime, Petre Mogosanu, Lucian Carabas, Mihai Gheorghe, Laura Deaconescu, Razvan QA75 Electronic computers. Computer science 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. 2015-08-11 Conference or Workshop Item PeerReviewed application/pdf en https://repo.uum.edu.my/id/eprint/15579/1/PID101.pdf 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. http://www.icoci.cms.net.my/proceedings/2015/TOC.html
spellingShingle QA75 Electronic computers. Computer science
Eftime, Petre
Mogosanu, Lucian
Carabas, Mihai
Gheorghe, Laura
Deaconescu, Razvan
Adding SMP support to fastpaths in an L4 microkernel
title Adding SMP support to fastpaths in an L4 microkernel
title_full Adding SMP support to fastpaths in an L4 microkernel
title_fullStr Adding SMP support to fastpaths in an L4 microkernel
title_full_unstemmed Adding SMP support to fastpaths in an L4 microkernel
title_short Adding SMP support to fastpaths in an L4 microkernel
title_sort adding smp support to fastpaths in an l4 microkernel
topic QA75 Electronic computers. Computer science
url https://repo.uum.edu.my/id/eprint/15579/1/PID101.pdf
work_keys_str_mv AT eftimepetre addingsmpsupporttofastpathsinanl4microkernel
AT mogosanulucian addingsmpsupporttofastpathsinanl4microkernel
AT carabasmihai addingsmpsupporttofastpathsinanl4microkernel
AT gheorghelaura addingsmpsupporttofastpathsinanl4microkernel
AT deaconescurazvan addingsmpsupporttofastpathsinanl4microkernel