Skip to main content

Single kernel stack L4


Matthew Warton

NICTA, Sydney, Australia
UNSW, Australia


Operating systems use kernel stacks to support the execution of threads. A typical multi threaded operating system uses one kernel stack per thread. This stack per thread model consumes a significant amount of kernel memory.

An alternative model is the use of a single kernel stack that is shared between all threads. This reduces the operating systems memory consumption.

This thesis implements the single stack kernel architecture in the L4 microkernel to evaluate the performance and memory tradeoffs. It is shown that significant memory savings can be achieved without degrading the kernels performance. Preliminary results show improvement in the kernels performance due to the single stack architecure, however more experiments are required to verify this result.

BibTeX Entry

    author           = {Matthew Warton},
    month            = nov,
    year             = {2005},
    title            = {Single Kernel Stack {L4}},
    address          = {Sydney, Australia},
    school           = {School of Computer Science and Engineering}


Served by Apache on Linux on seL4.