Softwareteknologi DTU - Project No. 0056:  FelixOS - Efficient Lock-free and wait-free algorithms for operating system kernels
Danmarks Tekniske Universitet DTU
Bachelorprojekt - Softwareteknologi
Project No. 0056:  FelixOS - Efficient Lock-free and wait-free algorithms for operating system kernels
Aktuelle Tidligere  

Description:

Within the framework of the ESE section, FenixOS, a new research operating system is being implemented. The operating system aims at being a production grade operating system for current and future multi- and many-core processors. Current operating systems are based on design principles established in the 60s when computers were different from how they are today. In FenixOS, all these design principles are being revisited. To this end, many different design points are being investigated.

One of the research challenges explored in the context of FenixOS is the scalability of operating systems in modern and future processor architectures. One promising direction is to use lock-free and wait-free algorithms. However, it is not clear if these classes of algorithms are advantageous compared to lock based algorithms. Lock-free and wait-free can potentially achieve higher concurrency. However, they also have much higher implementation overhead cost when compared to lock-based algorithms. In addition, lock-free and wait free algorithms often require advanced garbage collection techniques to avoid the so called ABA problem. This thesis proposal involves implementing, for the purpose of evaluation, lock-free and wait-free algorithms in the limited execution environment of an operating system kernel. Candidates are assumed to have experience with low-level programming.

Prerequisites:  02159 Operating Systems

Supervisor(s) Sven Karlsson

Sidst opdateret: Oct 31, 2011 af Hans Henrik Løvengreen