Formal Refinement for Operating System Kernels

von

Craig, Iain D.

BuchGebunden

332 Seiten

Englisch

Springererschienen am31.07.2007

This book was written as a companion to my book on modelling operating system kernels. The second kernel, the Separation Kernel, is new and was partly constructed out of the kit of parts (and the reader will see reuse in its speci?cation and re?nement) and was included for speci?c reasons that will become clear anon.mehr

Verfügbare Formate

BuchGebunden

EUR111,50

BuchKartoniert, Paperback

EUR106,99

E-BookPDF1 - PDF WatermarkE-Book

EUR96,29

Auf dieser Seite:

EUR111,50

In den Warenkorb

Produkt

KlappentextThis book was written as a companion to my book on modelling operating system kernels. The second kernel, the Separation Kernel, is new and was partly constructed out of the kit of parts (and the reader will see reuse in its speci?cation and re?nement) and was included for speci?c reasons that will become clear anon.

Details

ISBN/GTIN978-1-84628-966-8

ProduktartBuch

EinbandartGebunden

Verlag

Springer

Erscheinungsjahr2007

Erscheinungsdatum31.07.2007

Seiten332 Seiten

SpracheEnglisch

Gewicht671 g

IllustrationenXV, 332 p.

Artikel-Nr.10806669

Rubriken

GenreComputer/Internet/EDV

Inhalt/Kritik

Inhaltsverzeichnis

Introduction.- Reasons for Selecting the Examples.- Refinement Method.- Code Production.- Organisation of this Book.- Relationship to Other Work.- The Simple Kernel´s Organisation.- A Simple Kernel.- Types.- Hardware.- The Process Table.-Process Queue.- Priority Queue.- The Scheduler.- Semaphores.- Semaphore Table.- Synchronous Messages.- The Clock.- Sleepers.-User Interface.- The Separation Kernel.-Basic Architecture.- Extending the Architecture.- Summary.- An Overview of the Formal Specification.- A Separation Kernel.- Basic Types.- Hardware Issues.- Security Exits and Return Values.- The Process Table.- Process Queues.- The Scheduler.- Storage Pools.- Raw Storage.- Message Queues.- Kernel Interface-User Processes.- Devices-Trusted Code.- Process Interface to the Kernel.- Final Thoughts.- Closing Thoughts.- References.- List of Definitions.mehr