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.

Einzelnachweise

  1. ↑ David Kalinsky: Wie funktioniert Echtzeit? - Eine Einführung in die Arbeitsweise von deterministischen Betriebssystemen. In: D&V KOMPENDIUM. Band 2004/2005, S. 129 ff.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.