Abstract
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.
Keywords
MSC
68N25, 68N99
Cite this article
@article{cai-2685,
author = {Petre Eftime and Lucian Mogoşanu and Mihai Carabaş and Răzvan Deaconescu and Laura Gheorghe and Valentin Gabriel Voiculescu},
title = {Optimizing Memory Usage in L4-Based Microkernel},
journal = {Computing and Informatics},
volume = {36},
number = {4},
pages = {925--949},
year = {2017},
issn = {1335-9150},
doi = {10.4149/cai_2017_4_925}
}
TY - JOUR AU - Petre Eftime AU - Lucian Mogoşanu AU - Mihai Carabaş AU - Răzvan Deaconescu AU - Laura Gheorghe AU - Valentin Gabriel Voiculescu TI - Optimizing Memory Usage in L4-Based Microkernel JO - Computing and Informatics VL - 36 IS - 4 SP - 925 EP - 949 PY - 2017 SN - 1335-9150 DO - 10.4149/cai_2017_4_925 UR - https://doi.org/10.4149/cai_2017_4_925 KW - Memory management KW - memory allocation KW - SLUB KW - SLAB KW - kernel KW - L4 microkernel ER -
Eftime, P., Mogoşanu, L., Carabaş, M., Deaconescu, R., Gheorghe, L., & Voiculescu, V. G. (2017). Optimizing Memory Usage in L4-Based Microkernel. Computing and Informatics, 36(4), 925–949. https://doi.org/10.4149/cai_2017_4_925