Mr. Bunny's Big Cup O' Java

Name: Mr. Bunny's Big Cup O' Java
Availability: OutOfStock
ISBN: 9780201615630

ISBN-10: 0201615630

ISBN-13: 9780201615630

Edition: 1999

Authors: Carlt Egremont

List price: $14.95

30 day, 100% satisfaction guarantee!

Out of stock

We're sorry. This item is currently unavailable.

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Following on from the cult success of Mr. Bunny's Guide to ActiveX, this book takes a humorous look at the much-hyped Java technology.

Book details

List price: $14.95
Copyright year: 1999
Publisher: Addison Wesley Professional
Publication date: 4/12/1999
Binding: Paperback
Pages: 128
Size: 7.00" wide x 9.25" long x 0.25" tall
Weight: 0.550
Language: English



Preface


Acknowledgments



Introduction



Concurrent Programs



The Modeling Approach



Practice



Content Overview


Summary


Notes and Further Reading



Processes and Threads



Modeling Processes



Implementing Processes


Summary


Notes and Further Reading


Exercises



Concurrent Execution



Modeling Concurrency



Multi-Threaded Programs


Summary


Notes and Further Reading


Exercises



Shared Objects and Mutual Exclusion



Interference



Mutual Exclusion in Java



Modeling Mutual Exclusion


Summary


Notes and Further Reading


Exercises



Monitors and Condition Synchronization



Condition Synchronization



Semaphores



Bounded Buffers



Nested Monitors



Monitor Invariants


Summary


Notes and Further Reading


Exercises



Deadlock



Deadlock Analysis



Dining Philosophers Problem


Summary


Notes and Further Reading


Exercises



Safety and Liveness Properties



Safety



Single-Lane Bridge Problem



Liveness



Liveness of the Single-Lane Bridge



Readers-Writers Problem


Summary


Notes and Further Reading


Exercises



Model-Based Design



From Requirements to Models



From Models to Implementations


Summary


Notes and Further Reading


Exercises



Dynamic Systems



Golf Club Program



Golf Club Model



Fair Allocation



Revised Golf Ball Allocator



Bounded Overtaking



Master-Slave Program



Master-Slave Model


Summary


Notes and Further Reading


Exercises



Message Passing



Synchronous Message Passing



Asynchronous Message Passing



Rendezvous


Summary


Notes and Further Reading


Exercises



Concurrent Architectures



Filter Pipeline



Supervisor-Worker



Announcer-Listener


Summary


Notes and Further Reading


Exercises



Timed Systems



Modeling Timed Systems



Implementing Timed Systems



Parcel Router Problem



Space Invaders


Summary


Notes and Further Reading


Exercises



FSP Quick Reference



Processes



Composite Processes



Common Operators



Properties