Concurrent Programming: Principles and Practice
Benjamin/Cummings Publishing Company, 1991 - 637 sider
Concurrent programming is critical to a variety of applications, including parallel computation, workstation window systems, multi-user database systems, and network file servers. Andrews provides an in-depth overview of underlying principles as well as practical techniques that can be used to desi
Hvad folk siger - Skriv en anmeldelse
Vi har ikke fundet nogen anmeldelser de normale steder.
Historical Notes and References
20 andre sektioner vises ikke
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 concurrent programming languages condition synchronization condition variables contains database deadlock delayed processes deposit descriptor develop dining philosophers problem disk 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 language lock logic loop invariant module monitor invariant multiple multiprocessor MUTEX mutual exclusion neighbors node notation operation output statement parallel parallel prefix computation postcondition predicate primitives process executes processor proof outline queue ready list receive region statements rendezvous request resource result scheduling semaphores sequential shared variables shown in Figure signal simulate specify stable marriage problem synchronous message passing terminates token topology true wait worker write