R. C. Holt (1941–2019)

Indeholder "Preface", "1. Concurrent programming and operating systems", " Examples of concurrency", " Operating systems", " Basing an operating system on a monolithic monitor", " Basing an operating system on a kernel", " An example operating system", " Processes, processors and procedures", " Summary", " Bibliography", " Exercises", "2. Concurrency problems and language features", " Specifying concurrent execution", " Disjoint and overlapping processes", " Critical sections", " Mutual exclusion by busy waiting", " Synchronization primitives: semaphores", " Other synchronization primitives", " Message passing", " Monitors", " The deadlock problem", " Detecting deadlock", " Summary ", " Bibliography ", " Exercises ", "3. A sequential programming language: SP/k", " The SP/k subsets", " Values and variables", " Control structures", " Input and output", " Procedures", " Form of programs", " An example program: queue management", " Summary ", " Bibliography ", " Exercises", "4. A concurrent programming language: CSP/k", " Specifying concurrency", " Reentrant procedures", " Mutual exclusion", " Block/wakeup", " Monitors and entries", " Wait and signal statements", " Condition variables and priorities", " More about processes", " An example program: circular buffer management", " The busy statement", " Process statistics", " Summary", " Bibliography", " Exercises", "5. Examples of concurrent programs", " Dining philosophers", " Readers and writers", " Scheduling disks", " A disk arm scheduler", " Buffer allocation for large messages", " Summary", " Bibliography", " Exercises", "6. Design of an operating system: input and output spoolers", " An overview of the operating system", " The hardware", " The user memory", " Managing the card reader", " Managing the line printer", " Managing the drum", " Managing the console", " The input and output spoolers", " User job input format", " Design of the input spooler", " Input spooler details", " The output spooler", " Summary", " Exercises", "7. Design of an operating system: the executive", " An overview of the executive", " The executive as a set of envelope processes", " Long term scheduling", " Short term scheduling", " The CPU", " Finding the correct page table", " Locating the correct page frame and word", " Details of the CPU", " Handling page faults", " Handling user I/O", " Initialization for user jobs", " Summary", " Bibliography", " Exercises", "8. Implementing a kernel", " Structure of a kernel", " Process/device communication", " Queue management", " Entries into the kernel", " Simplifying conditions", " A kernel for single CPU systems", " Handling input and output", " A kernel for the PDP-11", " A kernel for multiple CPU systems", " Summary", " Bibliography", " Exercises", "Appendices", " Appendix 1. Specifications for the SP/k language", " Appendix 2. Specification of CSP/k extensions to SP/k", " Appendix 3. The statement syntax of SP/k and CSP/k", " Appendix 4. Built-in functions in SP/k and CSP/k", " Appendix 5. The SP/k and CSP/k compilers", " Appendix 6. Simulating programs for Z7 peripheral devices", " Appendix 7: The Z7 CPU", " Appendix 8: Z7 jobs", " Appendix 9: Simple Z7 operating system", "Collected bibliography", "Index".

Konkrete eksempler på konkrete problemer med concurrency programmering.… (mais)