Synopsis
Exploring Operating System Description with a High-Level Language
This book introduces PSETL, a high-level approach to specifying operating systems and their behavior. It shows how extended SETL can describe system components, from simple batch systems to interactive environments, with code that illustrates the ideas in detail.
This work presents three complete, coded examples to demonstrate the method: a simple uniprogrammed batch system, a multiprogrammed batch system, and an interactive system with data sharing. It also discusses the design goals, language features, and how these descriptions relate to real OS concepts.- Clear explanations of how a high-level language can describe OS primitives, interrupts, and process management
- Fully coded examples that build from basic control mechanisms to interactive systems
- Discussion of library use, job control language, and monitor services within an OS description
- Insights into machine-dependence, resource allocation, and system organization in a descriptive framework
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Operating System Specification Using Very High Level...
Stock Image
Operating System Specification Using Very High Level Dictions (Classic Reprint)
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LX-9780267821143
Stock Image
Operating System Specification Using Very High Level Dictions (Classic Reprint)
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
HRD. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # LX-9780267821143
Buy New
US$ 33.21
US$ 5.65 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 15 available