This repository contains all source code developed for my Master's thesis project. It also contains the complete thesis document titled "Reducing System Call Performance Overhead on Paravirtualized L4Linux". Memsc is a new system call forwarding mechanism implemented in the L4Linux kernel, a para-virtualized Linux kernel variant running on top of the L4 microkernel/hypervisor. It achieves lower latency for forwarding system calls from user-dedicated CPUs to kernel-dedicated CPUs and it provides applications with an asynchronous system call execution model.
Contents:
- Thesis-Memsc.pdf - The thesis document
- l4linux-5.6.0.patch - The L4Linux kernel patch
- uclibc-ng-1.0.32.patch - The uclibc-ng patch
- memsclib/ - The Memsc user-space library
- examples/ - Example code using Memsc
- latex_sources/ - Latex sources of the document