A framework for the study of computer capacity is given by means of a definition of capacity in terms of speeds of various parts of a computer as well as memory size. In addition to these machine parameters, we also i...
详细信息
ISBN:
(纸本)9781450374972
A framework for the study of computer capacity is given by means of a definition of capacity in terms of speeds of various parts of a computer as well as memory size. In addition to these machine parameters, we also include certain parameters of the programs to be run on a given machine. The calculation of theoretical capacity is given for several combinations of processor, memory, and I/O bandwidth for overlapped machines. The tradeoff between primary memory size and I/O bandwidth is discussed in terms of the new definition.
Balancing interpagefault lifetime (L) against page swap time (S) has always been a performance criterion of great intuitive appeal. This paper shows that, under normal conditions, controlling the memory policy paramet...
详细信息
ISBN:
(纸本)9781450374972
Balancing interpagefault lifetime (L) against page swap time (S) has always been a performance criterion of great intuitive appeal. This paper shows that, under normal conditions, controlling the memory policy parameter to enforce the constraint L ^ S, and allowing the multiprogramming load to rise as high as demand warrants without violating this constraint, will produce a load slightly higher than optimum. Equivalently, using the criterion L - uS for some u slightly larger than 1 will approximate an optimal load. Using simulations, this criterion is compared with two others reported in the literature, namely the "knee criterion" (pperate with L at the knee of the lifetime curve) and the 50% criterion (operate with the paging device at 50% utilization). The knee criterion produced optimal loads more often than the L=S criterion, which in turn produced optimal loads more often than the 50% criterion. Since no practical implementation of the knee criterion is known, the L=S criterion is the most attractive of the three.
This paper defines and determines a graph model of a computer system in a form applicable to system performance analysis. The power of this modeling technique with respect to comprehensibility, accuracy of representat...
详细信息
This paper defines and determines a graph model of a computer system in a form applicable to system performance analysis. The power of this modeling technique with respect to comprehensibility, accuracy of representation and ease of validation and modification is demonstrated by application to modeling of the UT-2 operating system for the CDC 6000 series computer system. This multiprocessor-multi-programmed operating system with its high degree of parallelism provides an excellent test for the utility and range of application of graph models in performance evaluation. A programmed representation of the kernel monitor is used. All other system processes are represented in graph form and are input data to the simulator. A generally applicable technique for extracting graph representations of processes are represented in graph form and are input data to the simulator. A generally applicable technique for extracting graph representations of processes from event trace data is described and applied to the event trace generated by the UT-2 operating system. The technique is both complete and general and may be profitably applied for either partial or complete models of any type of complex computer system process where data. or techniques for automated graph construction are available or can he applied.
Trace Driven modeling is a technique that combines measurement and simulation in order to create an accurate model of a computer system. This paper extends the review and overview of trace driven modeling presented in...
详细信息
Effective computer performance evaluation requires: theories and models which effectively represent computersystems and computer processes, evaluation techniques which generate accurate assessments of system or progr...
详细信息
This paper reports on a measurement study of the Scheduler in the PDP-10 TENEX Operating System under normal loads in a computer Science research environment at Case Western Reserve University.A complete description o...
ISBN:
(纸本)9781450374972
This paper reports on a measurement study of the Scheduler in the PDP-10 TENEX Operating System under normal loads in a computer Science research environment at Case Western Reserve University.A complete description of the methodology and the results of a Covariance Analysis is presented here. The analysis was made in parallel with the analysis of the collected data, therefore a brief description of the experiments as well as some comments of the most interesting results are also discussed in this report. The complete report of the study is in González [5] which shall serve as a reference document for this paper.
This paper defines and determines a graph model of a computer system in a form applicable to system performance analysis. The power of this modeling technique with respect to comprehensibility, accuracy of representat...
ISBN:
(纸本)9781450374972
This paper defines and determines a graph model of a computer system in a form applicable to system performance analysis. The power of this modeling technique with respect to comprehensibility, accuracy of representation and ease of validation and modification is demonstrated by application to modeling of the UT-2 operating system for the CDC 6000 series computer system. This multiprocessor-multi-programmed operating system with its high degree of parallelism provides an excellent test for the utility and range of application of graph models in performance evaluation. A programmed representation of the kernel monitor is used. All other system processes are represented in graph form and are input data to the simulator. A generally applicable technique for extracting graph representations of processes are represented in graph form and are input data to the simulator. A generally applicable technique for extracting graph representations of processes from event trace data is described and applied to the event trace generated by the UT-2 operating system. The technique is both complete and general and may be profitably applied for either partial or complete models of any type of complex computer system process where data or techniques for automated graph construction are available or can he applied.
In the past few years, research has bee actively carried out in an attempt to improve the quality and reliability of large scale software systems. Although progress has been made on the formal proof of program correct...
详细信息
The Chi/OS operating system, the latest large scale software effort of Chi Corporation, has had an excellent reliability record since its installation in November, 1973. Although the system design is vital to the reli...
详细信息
This paper discusses different techniques for constructing s piece of self-checking software, for systems where ultra-reliability is required. Self-checking software can be designed to detect software errors, tu locat...
详细信息
暂无评论