Abstract
In this chapter, we introduce some of the more common structures encountered in operating system kernels. Each structure is specified and, frequently, properties of that structure are proved. This provides a formal basis upon which to construct the kernels of this book. Some of the structures are used with minor variations (for example, semaphores will be redefined in the next two chapters), while others are not explicitly used at all (for example, tables).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2007 Springer-Verlag London Limited
About this chapter
Cite this chapter
(2007). Standard and Generic Components. In: Formal Models of Operating System Kernels. Springer, London. https://doi.org/10.1007/978-1-84628-718-3_2
Download citation
DOI: https://doi.org/10.1007/978-1-84628-718-3_2
Publisher Name: Springer, London
Print ISBN: 978-1-84628-375-8
Online ISBN: 978-1-84628-718-3
eBook Packages: Computer ScienceComputer Science (R0)