Affiliation:
1. Naval Postgraduate School, Monterey, California
Abstract
The working set model for program behavior was invented in 1965. It has stood the test of time in virtual memory management for over 50 years. It is considered the ideal for managing memory in operating systems and caches. Its superior performance was based on the principle of locality, which was discovered at the same time; locality is the observed tendency of programs to use distinct subsets of their pages over extended periods of time. This tutorial traces the development of working set theory from its origins to the present day. We will discuss the principle of locality and its experimental verification. We will show why working set memory management resists thrashing and generates near-optimal system throughput. We will present the powerful, linear-time algorithms for computing working set statistics and applying them to the design of memory systems. We will debunk several myths about locality and the performance of memory systems. We will conclude with a discussion of the application of the working set model in parallel systems, modern shared CPU caches, network edge caches, and inventory and logistics management.
Publisher
Association for Computing Machinery (ACM)
Subject
General Computer Science,Theoretical Computer Science
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Cache Programming for Scientific Loops Using Leases;ACM Transactions on Architecture and Code Optimization;2023-07-19
2. FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion;Proceedings of the 19th Workshop on Hot Topics in Operating Systems;2023-06-22
3. A machine learning-based optimization approach for pre-copy live virtual machine migration;Cluster Computing;2023-05-09
4. The Atlas milestone;Communications of the ACM;2022-08-19
5. CARL: Compiler Assigned Reference Leasing;ACM Transactions on Architecture and Code Optimization;2022-03-17