Optimizing Memory Usage in L4-Based Microkernel

keywords: Memory management, memory allocation, SLUB, SLAB, kernel, L4 microkernel
Memory allocation is a critical aspect of any modern operating system kernel because it must run continuously for long periods of time, therefore memory leaks and inefficiency must be eliminated. This paper presents different memory management algorithms and their aplicability to an L4-based microkernel. We aim to reduce memory usage and increase the performance of allocation and deallocation of memory.
mathematics subject classification 2000: 68N25, 68N99
reference: Vol. 36, 2017, No. 4, pp. 925–949