|
On Concurrent Programming (Graduate Texts in Computer Science)
 |
Author: Fred B. Schneider
List Price: $64.95
Our Price: Click to see the latest and low price
ISBN: 0387949429
Publisher: Springer Verlag (May, 1997)
Edition: Hardcover
Sales Rank: 289,555
Average Customer Rating: 5 out of 5
|
Customer ReviewsRating: 5 out of 5
Concurrent programming is very risky!
< One of the most insidious sources of programming problems in the RISKS archives involves concurrent programming. Synchronization, locking, message passing, and other tight-coupling mechanisms are extremely difficult to do properly. Programming languages and operating systems are not necessarily much help by themselves. Fred Schneider has put together a wonderful book on how to do concurrent programming correctly. Whereas the book is ideal for a one-semester course (and more), it is also very valuable as a reference work. It should be read by everyone deeply involved in writing critical programs. Although its focus is strongly on formal methods, I have long claimed that formal methods can be enormously helpful if you are really concerned about correctness in concurrency, for which most unproved algorithms tend to have flaws (and a few ``proved'' ones may also). Furthermore, the implementations of such algorithms are always in question, and formal methods can help significantly there as well. [From the Risks Forum, vol 19 no 51]
|
