Memsc (Master's Thesis Project)

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 L⁴Linux". Memsc is a new system call forwarding mechanism implemented in the L⁴Linux 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 L⁴Linux 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