Kombinatorische Prefetching- und Cachingalgorithmen

Ein wesentlicher Faktor für die Leistung von Computersystemen ist, dass zu verarbeitende Daten auch von langsamen Datenquellen schnell verfügbar sind, sobald sie gebraucht werden. Zwei grundlegende Strategien, um dieses Ziel zu erreichen, sind zum Einen das Puffern - das sogenannte Caching - von Daten in einem schnellen Zwischenspeicher, und zum Anderen das Prefetching - das vorausschauende Laden von Daten, schon bevor diese tatsächlich benötigt werden.
In diesem Buch widmen wir uns diesen beiden Strategien, indem wir grundlegende kombinatorische Algorithmen für ein kombiniertes Prefetching und Caching präsentieren und diese dann formal analysieren. Dadurch können wir die Qualität dieser Algorithmen quantifizieren, vergleichen, und Garantien für ein Worst-Case-Verhalten geben. Abschließend werden die Algorithmen anhand von echten Datenanfragesequenzen getestet und bewertet.

Klappentext

Ein wesentlicher Faktor für die Leistung von Computersystemen ist, dass zu verarbeitende Daten auch von langsamen Datenquellen schnell verfügbar sind, sobald sie gebraucht werden. Zwei grundlegende Strategien, um dieses Ziel zu erreichen, sind zum Einen das Puffern - das sogenannte Caching - von Daten in einem schnellen Zwischenspeicher, und zum Anderen das Prefetching - das vorausschauende Laden von Daten, schon bevor diese tatsächlich benötigt werden. In diesem Buch widmen wir uns diesen beiden Strategien, indem wir grundlegende kombinatorische Algorithmen für ein kombiniertes Prefetching und Caching präsentieren und diese dann formal analysieren. Dadurch können wir die Qualität dieser Algorithmen quantifizieren, vergleichen, und Garantien für ein Worst-Case-Verhalten geben. Abschließend werden die Algorithmen anhand von echten Datenanfragesequenzen getestet und bewertet.