This book provides a hands-on introduction to concurrent programming principles and techniques. Pascal FC (Functionally Concurrent), a teaching version of the Pascal language available from the authors, is used to illustrate the main techniques used in the concurrency models. Once programmers have grasped the concepts, a smooth transition is made to more advanced theoretical material.
66 pages matching Hence in this book
Results 1-3 of 66
What people are saying - Write a review
We haven't found any reviews in the usual places.
Process Representation and Lifecycle
8 other sections not shown
abstraction active algorithm allocated array begin cobegin begin repeat behaviour boolean buffer BUFFSIZE busy waiting busy-waiting calling process channel chapter chopstick client cobegin/coend coend end communication concurrent programming concurrent programming languages condition synchronization condition variables consider consumer COUNT critical regions critical section data structure deadlock declared Dining Philosophers problem embedded systems end end entry example execution export fair scheduler false end forever end free objects guarded procedure hardware Hence implementation input instructions integer inter-process communication language model livelock logical processors loop message passing MutEx mutual exclusion null open2 operations output P-code parameters Pascal Pascal-FC passengers primitives priority problem process type producer programming languages queue reader real-time remote invocation rendezvous request requeue resource resume select statement selective waiting semaphore sequential shared variable signal simulation solution terminate alternative timeout trainboarding trainstopping true end tuple space turnstile1 unblocked uniprocessor write