Trustworthy Systems

Single kernel stack L4


Matthew Warton

    School of Computer Science and Engineering
    Sydney 2052, 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

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