Structured Concurrent Programming With Operating Systems Applications

Structured Concurrent Programming with Operating Systems Applications

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.

Ada

Distributed Computer Systems

Distributed Computer Systems: Theory and Practice is a collection of papers dealing with the design and implementation of operating systems, including distributed systems, such as the amoeba system, argus, Andrew, and grapevine. One paper discusses the concepts and notations for concurrent programming, particularly language notation used in computer programming, synchronization methods, and also compares three classes of languages. Another paper explains load balancing or load redistribution to improve system performance, namely, static balancing and adaptive load balancing. For program efficiency, the user can choose from various debugging approaches to locate or fix errors without significantly disturbing the program behavior. Examples of debuggers pertain to the ada language and the occam programming language. Another paper describes the architecture of a real-time distributed database system used for computer network management, monitoring integration, as well as administration and control of both local area or wide area communications networks. The book can prove helpful to programmers, computer engineers, computer technicians, and computer instructors dealing with many aspects of computers, such as programming, hardware interface, networking, engineering or design.