Excerpt from Operating System Specification Using Very High Level Dictions
If our experiment is successful, then detailed specifications of several operating systems, in comprehensible form, appear in this work. In order to motivate the examples which are presented, and make them as clear as possible, this thesis has been cast in the form of an introductory text on operating systems which contains three completely coded examples. Of course, it is these examples which make the text unique.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
"Sinopsis" puede pertenecer a otra edición de este libro.
Excerpt from Operating System Specification Using Very High Level Dictions
If our experiment is successful, then detailed specifications of several operating systems, in comprehensible form, appear in this work. In order to motivate the examples which are presented, and make them as clear as possible, this thesis has been cast in the form of an introductory text on operating systems which contains three completely coded examples. Of course, it is these examples which make the text unique.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
Excerpt from Operating System Specification Using Very High Level Dictions
Channel and Device Oriented Sets; Maps with Domain programfiles; Remarks on the Uniprogrammed System; Input Reader; Output Writer; Scheduler; Job Control; Resource Allocation; Operator Services; Monitor Services; The Code; A Multiprogramming System; System Objectives; Multiprogramming Strategy Considerations; Job Control Language; Organization; The Code; Possible Enhancements to the Batch Systems; An Interactive System; Introduction; Command Language; Logon; Logoff; Main Memory Structure; The File System; File Names; Commands for the File System; Communication Between Users; Libraries; Organization; The Nucleus; Privileged System Commands; Non-Privileged System Commands; Remarks on the Interactive System; Log-On; Command Analyzer; Main Storage Management; Scheduling and Timing; Coded Interactive System; System Structures; The Code; Summary; Classification of PSETL Extentions; Experience with PSETL; Future Directions; Bibliography; Appendix A: A Precis of the SETL Language; Index
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
"Sobre este título" puede pertenecer a otra edición de este libro.
Librería: Forgotten Books, London, Reino Unido
Paperback. Condición: New. Print on Demand. This book is an experiment in extending a theoretical programming language, SETL, for operating system description. The author suggests an extension to this language to allow the description of algorithms involving interrupts, parallelism, and machine-dependent features. Using this extension, several complete operating systems are presented in detail. The first is a simple uniprogrammed batch system illustrating basic control mechanisms and scheduling. The second is a multiprogrammed batch system showing additional complications due to conflicts for resources and conflicting objectives. The third is an interactive system that includes data sharing capabilities. The principal question the author is trying to address is: can SETL be used for the specification of operating systems as effectively as it can be used for other classes of problems? The reader, after studying the examples of Chapters III, IV, and V, will have formed his answer to this question. This book is an experiment of this kind and cannot confine itself to the discussion of small examples. An experiment of this kind cannot confine itself to the discussion of small examples. Operating systems are inherently larger and more complex than, say, sorting algorithms. To give a fair demonstration of the extended SETL the author felt it necessary to describe an entire operating system; even a simple example of this kind is relatively large, and requires at least a dozen pages of code. If this experiment is successful, then detailed specifications of several operating systems, in comprehensible form, appear in this work. In order to motivate the examples which are presented, and make them as clear as possible, this book has been cast in the form of an introductory text on operating systems which contains three completely coded examples. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item. Nº de ref. del artículo: 9781332173419_0
Cantidad disponible: Más de 20 disponibles
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: LW-9781332173419
Cantidad disponible: 15 disponibles
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: LW-9781332173419
Cantidad disponible: 15 disponibles