Speicherpool
Zur Navigation springen
Zur Suche springen
Ein Speicherpool, auch Memory Pool genannt, ist ein dynamischer Speicher mit festen Blockgrößen. Speicherpools werden häufig in Echtzeitsystemen eingesetzt, um deterministisches Verhalten zu gewährleisten, da dynamische Speicherverwaltungen mit beliebiger Blockgröße (Heap) zur externen Fragmentierung des Speichers führen.[1]
Einzelnachweise
[Bearbeiten | Quelltext bearbeiten]- ↑ David Kalinsky: Wie funktioniert Echtzeit? - Eine Einführung in die Arbeitsweise von deterministischen Betriebssystemen. In: D&V KOMPENDIUM. Band 2004/2005, S. 129 ff.