Trustworthy Systems

Core management in LionsOS

Authors

Michael Mospan

    School of Computer Science and Engineering
    UNSW,
    Sydney 2052, Australia

Abstract

Energy efficiency has become a first-order concern across all classes of computing systems. As transistor densities continue to increase and workloads grow more complex, careful management of energy use is especially important for battery powered and thermally constrained embedded platforms. In parallel, mainstream processors have shifted towards multicore designs that deliver performance through parallelism, yet can still draw substantial energy even when many cores are lightly loaded or idle.

This thesis investigates the design and implementation of an intelligent core management system for LionsOS that dynamically consolidates work onto fewer cores and parks unused cores in deep idle states, with the aim of reducing CPU energy use during periods of low computational demand.

BibTeX Entry

  @mastersthesis{Mospan:bsc,
    address          = {unswaddr},
    author           = {Michael Mospan},
    keywords         = {LionsOS,core management,seL4},
    month            = dec,
    paperUrl         = {https://trustworthy.systems/publications/theses_public/25/Mospan%3Absc.pdf},
    school           = {School of Computer Science and Engineering},
    title            = {Core Management in {LionsOS}},
    year             = {2025}
  }

Download