-
Petre Eftime
Faculty of Automatic Control and Computers University Politehnica of Bucharest, Splaiul Independentei nr. 313 Sector 6, Bucuresti, 060042, Romania
-
Lucian Mogoşanu
Faculty of Automatic Control and Computers University Politehnica of Bucharest, Splaiul Independentei nr. 313 Sector 6, Bucuresti, 060042, Romania
-
Mihai Carabaş
Faculty of Automatic Control and Computers University Politehnica of Bucharest, Splaiul Independentei nr. 313 Sector 6, Bucuresti, 060042, Romania
-
Răzvan Deaconescu
Faculty of Automatic Control and Computers University Politehnica of Bucharest, Splaiul Independentei nr. 313 Sector 6, Bucuresti, 060042, Romania
-
Laura Gheorghe
Faculty of Automatic Control and Computers University Politehnica of Bucharest, Splaiul Independentei nr. 313 Sector 6, Bucuresti, 060042, Romania
-
Valentin Gabriel Voiculescu
VirtualMetrix, Inc. 16738 Zumaque Street, PO Box 569 Rancho Santa Fe, CA 92067, USA
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