Adding SMP support to fastpaths in an L4 microkernel

• Main Authors: Eftime, Petre, Mogosanu, Lucian, Carabas, Mihai, Gheorghe, Laura, Deaconescu, Razvan
• Format: Conference or Workshop Item
• Language: English
• Published: 2015
• Subjects: QA75 Electronic computers. Computer science
• Online Access: http://repo.uum.edu.my/15579/1/PID101.pdf; http://repo.uum.edu.my/15579/; http://www.icoci.cms.net.my/proceedings/2015/TOC.html

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