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.
Publié le : 2017-11-29
Classification:
Computer Architectures and Networking,
Memory management, memory allocation, SLUB, SLAB, kernel, L4 microkernel,
68N25, 68N99
@article{cai2017_4_925,
author = {Petre Eftime; University POLITEHNICA of Bucharest and Lucian Mogo\c sanu; University POLITEHNICA of Bucharest and Mihai Caraba\c s; University POLITEHNICA of Bucharest and R\u azvan Deaconescu; University POLITEHNICA of Bucharest and Laura Gheorghe; University POLITEHNICA of Bucharest and Valentin Gabriel Voiculescu; VirtualMetrix, Inc., Rancho Santa Fe, CA 92067},
title = {Optimizing Memory Usage in L4-Based Microkernel},
journal = {Computing and Informatics},
volume = {35},
number = {4},
year = {2017},
language = {en},
url = {http://dml.mathdoc.fr/item/cai2017_4_925}
}
Petre Eftime; University POLITEHNICA of Bucharest; Lucian Mogoşanu; University POLITEHNICA of Bucharest; Mihai Carabaş; University POLITEHNICA of Bucharest; Răzvan Deaconescu; University POLITEHNICA of Bucharest; Laura Gheorghe; University POLITEHNICA of Bucharest; Valentin Gabriel Voiculescu; VirtualMetrix, Inc., Rancho Santa Fe, CA 92067. Optimizing Memory Usage in L4-Based Microkernel. Computing and Informatics, Tome 35 (2017) no. 4, . http://gdmltest.u-ga.fr/item/cai2017_4_925/