Publication | Open Access
The working set model for program behavior
853
Citations
16
References
1983
Year
EngineeringMemory DesignDynamic Resource AllocationComputer ArchitectureMemory Model (Programming)Software AnalysisFormal VerificationComputer MemoryOperations ResearchShared MemoryComputing SystemsAvailable EquipmentSystems EngineeringParallel ComputingMemory ManagementProgramming Language TheoryAbstract InterpretationComputer EngineeringComputer ScienceVirtual MemorySoftware DesignProgram BehaviorOperating SystemsProgram AnalysisScheduling (Operating Systems)Formal MethodsStorage AssignmentResource AllocationScheduling (Project Management)System SoftwareExecution Model
Probably the most basic reason behind the absence of a general treatment of resource allocation in modern computer systems is an adequate model for program behavior. In this paper a new model, the “working set model,” is developed. The working set of pages associated with a process, defined to be the collection of its most recently used pages, provides knowledge vital to the dynamic management of paged memories. “Process” and “working set” are shown to be manifestations of the same ongoing computational activity; then “processor demand” and “memory demand” are defined; and resource allocation is formulated as the problem of balancing demands against available equipment.
| Year | Citations | |
|---|---|---|
Page 1
Page 1