”程序行为的工作集模型“学习记录

The Working Set Model for Program Behavior
读了这篇文章，真正讲工作集模型的部分是没看懂的，只是对内存管理有了理解。
缺乏对资源分配的一般处理的最基本的原因可能是缺乏一个适当的程序行为模型，所以建立了一个新的模型——工作集模型。工作集的目的是为通用计算机系统或计算机实用程序的行为建模，开发统一的方法来解决流程调度和内存管理。首先根据系统需求，在多程序环境中对过程行为进行建模，但是流程行为应仅基于其动态资源需求进行建模，不能期望来自用户的输入或来自编译器的帮助。每个进程都有自己的虚拟机，该虚拟机由处理器和无限的一级虚拟内存组成，仅按需引入页面。背景章节提到了细分，分页、核心内存管理等概念，本文假设有两个级别的内存：主存以及具有无限容量的辅助内存，内存管理的目标是最大程度地减少主内存和辅助内存之间的流量，对于先前的策略：随机，FIFO，LRU，ATLAS循环检测，作者表示同意他们实验人员的数据，也完全同意他们的结论。后面真正开始对工作集模型进行介绍，首先程序员对工作集的看法是必须在内存中才能有效执行其程序的最小信息集合，工作集的系统视图是最近引用的页面集，在关于W（t，$\tau$）的假设中提到几个特点：1.W（t，$\tau$）中的页面连续在内存中2.除页面错误外，过程永远不会中断3.页面离开W的那一刻即从内存中删除。然后介绍了工作集的属性，$\tau$的选择，检测W（t，$\tau$），内存分配，内存分配的前瞻性是不好的。章末讨论资源分配问题就是一个平衡问题，资源分配可以表述为平衡处理器和内存需求的问题并给出了内存需求、处理器需求的计算公式