Concurrent Programming: Principles and PracticeBenjamin/Cummings Publishing Company, 1991 - 637 sider This book provides an in-depth overview of underlying principles as well as practical techniques that can be used to design concurrent programs. Anyone interested in sequential and concurrent computing will find this book to be an essential reference and innovative work. Andrews shows how to approach key decisions, discusses the tradeoffs between how processes should be used, and explains how those processes should interact. 0805300864B04062001 |
Indhold
Basic Concepts | 1 |
Sequential Programming | 7 |
Historical Notes and References | 47 |
Copyright | |
20 andre sektioner vises ikke
Almindelige termer og sætninger
algorithm array assertions assignment assume atomic actions auxiliary variables await statements awakened axioms barrier blocked boolean busy waiting busy-waiting CCRs channel client coarse-grained solution communication statements computation concurrent programming condition synchronization condition variables contains database deadlock delayed processes deposit descriptor develop dining philosophers problem disk distributed elements empty ensure entry protocol example false Fetch-and-Add fork global invariant hence implement inference rule initial input statement integer interrupt handler invocation iteration kernel lock logic loop loop invariant machine module monitor invariant multiple multiprocessor MUTEX mutual exclusion neighbors node Occam operating systems output statement parallel parallel prefix computation postcondition predicate primitives process executes processor proof outline queue ready list receive region statements rendezvous request resource scheduling semaphores sequential shared variables shown in Figure signal simulate specify stable marriage problem synchronous message passing terminates token topology true wait worker write