Concurrent ProgrammingThis 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. |
Common terms and phrases
accept action active algorithm allocated allow alternative application approach array attempt becomes begin begin repeat blocked boolean buffer busy waiting channel chapter client cobegin coend communication complete concurrent programming condition consider construct consumer COUNT data structure deadlock defined delay described entry event example execution export expression false forever end FREE further given guarded guarded procedure Hence illustrate implementation important initial input instruction integer introduced language loop monitor mutual exclusion Note objects operations output parameters Pascal-FC passengers passing passive philosophers possible presented primitives priority problem procedure process type processor producer queue reader receiver remote rendezvous represented request requeue resource result resume scheduler semaphore shared signal simple single solution statement structure synchronization terminate true variable waiting write