Concurrent programming: fundamental techniques for real time and parallel software design
Tom Axford · CERN Document Server (European Organization for Nuclear Research) · 1989
Basic hardware mechanisms low-level mutual exclusion algorithms synchronization in the UNIX kernel semaphores buffering techniques readers and writers synchronization in Modula 2 rendevous in ADA MASCOT real-time design parallel processing of sets of data reliability verification.