||Efficient Lock-free and Wait-free Algorithms for Operating System Kernels
||Weiss, Henning Dietmar
||Karlsson, Sven (Embedded Systems Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
||Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
||In this thesis a memory manager based on NBMalloc was implemented in the
experimental multi-core operating system fenixOS. It is able to allocate blocks
of memory in a lock-free manner. Unit tests for improving the quality and maintainability
of NBMalloc have been created for all of it’s non-trivial functions.
The prior code of the deque and the garbage collector was analyzed and the
implementation of the scanning function was completed. Besides, minor bugs in
the deque could be identified and corrected. Tests of the deque and the garbage
collector were performed in a semi-random fashion and a unit testing framework
in fenixOS was created.
||Technical University of Denmark (DTU) : Kgs. Lyngby, Denmark
Creation date: 2010-06-29
Update date: 2010-07-16