A mathematical approach to program behaviour and look-ahead replacement algorithms
Otto Spaniol · Publications of the UdS (Saarland University) · 1974
A model for program behaviour is developed which is well suitable for higher level language programs. On the basis of this model a demand prepaging rule and a look-ahead algorithm (LAA) is derived which turns out to be superior to the usual demand paging algorithms. Es wird ein Programmstrukturmodell beschrieben, welches in besonderem Mase Lokalitatseigenschaften von Programmen in hoheren Programmiersprachen berucksichtigt. Auf der Grundlage dieses Modells wird ein Look-ahead-Nachladealgorithmus entwickelt, der leistungsfahiger als die ublichen Demand-Paging-Algorithmen ist.