Optimizing Memory Usage in L4-Based Microkernel

Authors

  • 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

Keywords:

Memory management, memory allocation, SLUB, SLAB, kernel, L4 microkernel

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.

Downloads

Download data is not yet available.

Author Biographies

Petre Eftime, University POLITEHNICA of Bucharest

Faculty of Automatic Control and Computers, Computer Science and Engineering Department, Master student

Lucian Mogoşanu, University POLITEHNICA of Bucharest

Faculty of Automatic Control and Computers, Computer Science and Engineering Department, Teaching Assistant

Mihai Carabaş, University POLITEHNICA of Bucharest

Faculty of Automatic Control and Computers, Computer Science and Engineering Department, Teaching Assistant

Răzvan Deaconescu, University POLITEHNICA of Bucharest

Faculty of Automatic Control and Computers, Computer Science and Engineering Department, Assistant Professor

Laura Gheorghe, University POLITEHNICA of Bucharest

Faculty of Automatic Control and Computers, Computer Science and Engineering Department, Assistant Professor

Valentin Gabriel Voiculescu, VirtualMetrix, Inc., Rancho Santa Fe, CA 92067

Engineer

Downloads

Published

2017-11-29

How to Cite

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. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/2017_4_925

Issue

Vol. 36 No. 4 (2017): Computing and Informatics

Section

Articles