Titlebook: Operating Systems Engineering; Proceedings of the 1 Mamoru Maekawa,Laszio A. Belady Conference proceedings 1982 Springer-Verlag Berlin Heid

險代理人

排斥

會犯錯誤

Gamma-net: Computer network coupled by 100 MBPS optical fiber ring bus -system planning and ring bus, terminals and file devices, are directly connected to the ring bus, instead of directly to a processor. This network includes two or more large computers of different types, a guide subsystem to manage common resources and to control their usage, peripheral and terminal control subsystems, and a gateway processor.

Trypsin

On the progress of communication between two machines,For a reasonable class of communicating machines, the problem is shown to be decidable; and the decidability algorithm is polynomial. We also discuss some sufficient conditions for the problem to have a a positive answer; these sufficient conditions can be checked for the given M and N in polynomial time.

懲罰

Product validation for standardized network protocol,ed validation task may be needed. This paper describes two method for validation of HDLC-BA protocol. The first method uses the validation task and the second method does not use the validation task. Detail of test sequence and the completeness of the validation are described in this paper.

富足女人

Program behavior and its models,es or segments have been referenced for the last time in the current phase. We are currently investigating some of the applications of the locality contour concept to control the parameter of the memory management, and the validation of this model in the actual reference strings.

使高興

intricacy

A parallel programming language and description of scheduler,rithm in which processing states are considered. As the state change incurs overheads, the scheduler makes trade-off between wating time of tasks and total loss. Finally, we describe the outline of the scheduler in this language for comprehension of both the language and the scheduler.

fatuity

SPECT

On pseudo workload for performance measurement of interactive systems,rkload using the functions such as deferred processing and the waiting function is shown. Appropriateness of the pseudo workload is discussed. Finally, several examples of performance measurement under the pseudo workload operation are given.