Concurrency: state models & Java programs
Concurrency provides a thoroughly updated approach to the basic concepts and techniques behind concurrent programming. Concurrent programming is complex and demands a much more formal approach than sequential programming. In order to develop a thorough understanding of the topic Magee and Kramer present concepts, techniques and problems through a variety of forms: informal descriptions, illustrative examples, abstract models and concrete Java examples. These combine to provide problem patterns and associated solution techniques which enable students to recognise problems and arrive at solutions.
New features include:
Čo hovoria ostatní - Napísať recenziu
Na obvyklých miestach sme nenašli žiadne recenzie.
Processes and Threads
Shared Objects and Mutual Exclusion
15 zvyšných častí nezobrazených
Iné vydania - Zobraziť všetky
acquireRead action labels allocator alphabet analysis applet architecture assert behavior blocked blue cars bounded buffer car park Chapter class diagram clearSpeed client composite process compute concurrent programs const consumer cruise control system deadlock defined depicted in Figure described Dining Philosophers problem display ensure example execution filter fluent golf balls implementation increment interaction interface Labeled Transition System linear temporal logic listed in Program liveness properties LTSA machine message-passing mutex mutual exclusion node notify notifyAll object occur operating system output parallel composition parcel players priority private int problem producer progress properties public synchronized public void run reader Readers-Writers problem receive red cars relabeling resource rotate Runnable safety property semaphore sequential server shared Space Invaders specified speed sprite STOP switch synchronized method synchronized void terminal set thread throws InterruptedException tick ticket timeout trace transition tuple space TupleSpace update variable wait worker write