Speicherpool
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- ↑ David Kalinsky: Wie funktioniert Echtzeit? - Eine Einführung in die Arbeitsweise von deterministischen Betriebssystemen. In: D&V KOMPENDIUM. Band 2004/2005, S. 129 ff.