Minimization of demand paging for the LRU stack model of program behavior

DOI10.1016/0020-0190(83)90034-0zbMath0504.68014OpenAlexW1998270160MaRDI QIDQ1836297

Tomas Lang, Eduardo B. Fernandez, Christopher Wood

Publication date: 1983

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(83)90034-0

zbMATH Keywords

memory managementvirtual memoryperformance optimizationdemand pagingLRU stack modelpage replacement algorithms

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (1)

Optimal eviction policies for stochastic address traces

Cites Work

• Analysis of the Optimal, Look-Ahead Demand Paging Algorithms
• Unnamed Item
• Unnamed Item

This page was built for publication: Minimization of demand paging for the LRU stack model of program behavior