Publication | Open Access
Decomposability, instabilities, and saturation in multiprogramming systems
139
Citations
13
References
1975
Year
EngineeringSurvivable SystemDynamic Resource AllocationComputer-aided VerificationSoftware AnalysisFormal VerificationOptimal System DesignOperations ResearchDynamic BehaviorStep-by-step ApproachSystems EngineeringSystem SoftwareParallel ComputingComputer EngineeringDistributed SystemsComputer ScienceProgram OptimizationQueueing SystemsProgram AnalysisPerformance ModelingFormal MethodsMultiprocessor SystemReal-time SystemsParallel ProgrammingSystem Performance AnalysisAsynchronous SystemsVariable Aggregation
A step-by-step approach to model the dynamic behavior and evaluate the performance of computing systems is proposed. It is based on a technique of variable aggregation and the concept of nearly decomposable systems, both borrowed from Econometrics. This approach is taken in order to identify in multiprogramming paging systems (i) unstable regimes of operations and (ii) critical computing loads which bring the system into states of saturation. This analysis leads to a more complete definition of the circumstances in which “thrashing” can set in.
| Year | Citations | |
|---|---|---|
Page 1
Page 1