Structured Concurrent Programming with Operating Systems Applications
Addison-Wesley Publishing Company, 1978 - Computers - 262 pages
Concurrent programming and operating systems. Concurrency problems and language features. A sequential programming language: SP/k; A concurrent programming language CSP/k. Examples of concurrent programs. Design of an operating system: input and output spoolers. Design of an operating system: the executive; Implementing a Kernel. Appendices.
What people are saying - Write a review
We haven't found any reviews in the usual places.
CONCURRENT PROGRAMMING AND OPERATING SYSTEMS
CONCURRENCY PROBLEMS AND LANGUAGE FEATURES
7 other sections not shown
Other editions - View all
active address space algorithm allocated allow array blocked buffer built-in function BUSY statement busy waiting called chapter character string circular buffer computer system Concurrent Pascal concurrent programming condition variable core status table critical data critical section CSP/k program deadlock declared device digits dining philosophers problem DO_IO drum ENTER envelope process example expression FETCH PUSH FIFO forks format item hardware implementation IN_USE indefinite postponement input spooler input/output Insert instruction interface interrupts Istatement kernel logical logical condition manager monitor entry multiple CPU multiprogramming MUTEXBEGIN mutexbegin/end MUTEXEND operating system output spooler page fault page table parameters philosopher PL/I printed printer priority queue priority value problem process descriptor process executes processes waiting programming language PUT SKIP ready queue requests resource semaphores SIGNAL statement simulated single CPU SP/k specified stack status of running STORE PUSH structure synchronization trap user job user memory waiting process writer zero