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