Concurrent Program StructuresThis book deals with the construction of concurrent programs. A concurrent program is defined as a program that contains parts that are designed to be executed in parallel. The reasons to use concurrency in developing a program for a given problem are in general two: i) the solution of the problem may require to perform operations that proceed in parallel, ii) the hardware of the computer on which the program will run supports parallel executions of operations which may enable the overall execution time of the program to be reduced. Examples of programs which are inherently concurrent are in real-time systems, operating systems, simulation modeling. As regards concurrency allowed by computers, it may be small scale, namely at program statement and expression level, and large scale, namely at the level of processes. This is the one primarily addressed in the book. |
Contents
THE EXECUTION OF CONCURRENT PROGRAMS | 13 |
THE DESIGN OF CONCURRENT PROGRAMS | 24 |
THE REPRESENTATION OF CONCURRENT PROGRAMS | 44 |
Copyright | |
12 other sections not shown
Common terms and phrases
activity allocation array arrival assumes const begin initially behavior bell BellRequests Boolean C.A.R. Hoare Chapter character checkout Clock.Hold command Concurrent Euclid Concurrent Pascal concurrent program condition queue conditional critical Count critical region data item DataPresent deadlock defined device discrete event simulation disk display module end end entity processes Entry envelope environment event example exponential distribution facilities False end Figure function identifier implemented increment Index Integer interaction interface item buffer ItemType Library Where const lineprinters main memory Modula-2 module Music monitor instance monitor module normal distribution operating system output parcel Pascal Perform Priority Limit PriorityAcquire PriorityRange process execution process module ProcessLimit processor programming language Pseudotime pump stand reactivated real-time Receive record Release ResourceLimit ResourcePool ResourceSet ResourceSize returns semaphore sensor sequential SetGiven Signal simulation model simulation program sort SpaceFree sublists suspended synchronization temperature TemperatureSensor transfer TryToAcquire user program variable Writeln