|
|||||||||||||||||||||||||||||||||||
|
1 Review
|
Average Customer Review
Share your thoughts with other customers
Create your own review
|
|
Most Helpful First | Newest First
|
|
8 of 11 people found the following review helpful:
5.0 out of 5 stars
Concurrent programming is very risky!,
By
This review is from: On Concurrent Programming (Texts in Computer Science) (Hardcover)
< 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]
|
|
Most Helpful First | Newest First
|
|
On Concurrent Programming (Texts in Computer Science) by Fred B. Schneider (Hardcover - May 6, 1997)
$89.95 $85.48
In Stock | |
 
| ||
