Related Documents
A Study on a Statement of Comprehensive Income
In the last ten years both men and women have been putting on a lot of weight
Why Make Use Of Spy Cell Phone Software And How To Spy On A Cell Phone
A Body of Divinity by James Ussher in PDF Format - Instant Download
Get Online and Learn How to Spy On a Cell Phone
Ethics Sage Speaks Out on a Lack of Ethics in Business and Accounting
Rational Numbers On A Number Line
How to get a lot of views on youtube
Rational Numbers on a Number Line
HOW TO Get the Best Price on a Home
On a Method of Multiprogramming
Customer Reviews:
Interesting to the right audience
By Max Lybbert - August 10, 2011The book is very interesting, although I'm not entirely certain how useful it is. Feijen and Gasteren develop a set of rules to use when proving the correctness of multithreaded programs, and then prove several solutions to multithreaded problems. The issue is that their rules are based on very limited primitives (atomic set, atomic add, and "wait for condition variable," notably *NOT* "atomic add and return the old or new value"). Those primitives may be useful in lock free code, but they would need to be expanded for "normal" locking code.
However, the proofs for Dekker's algorithm, the non-blocking writer protocol (similar to what the Linux kernel calls seqlocks [...], and more general synchronization problems are worth what I paid for the book.
Additionally, if I ever wish to implement a message passing/CSP system [...] efficiently, I'll turn to the chapter on mutual inclusion. And "multi-programming" includes more than just multithreaded programming. It... read more
Fantastic example of applied simplicity
By S. van den Berg "Functional programmer" - September 13, 2001This book gives a methode for constructing multi-programs bij developing a proof for those programs. It follows the teachings of Dijksta to construct solid programs. The authors have a clear style and a great understanding of the subject.
Use coupon below to get discount at eCampus.com!
SHADES
$3 off textbook orders over $75
SUNBLOCK
$4 off textbook orders over $90
SUNSHINE
$5 off textbook orders over $100
Copy the coupon code before clicking the button!
| AVAILABILITY | |||
| Merchant | Format | Price | |
| Amazon US | Paperback | $9.90 - $109.00 | |
| BookByte | Paperback | $85.28 | |
| eCampus | Paperback | ||
Logic; Or, the Art of Reasoning Simplified. With Exercises on a Variety of Interesting Topics, to Guide…
$31.54 - $31.54The book may have numerous typos or missing text. It is not illustrated or indexed. However, purchasers can download a free scanned copy of the original rare book from the publisher's website. You ...
Building an ESL Collection for Young Adults: A Bibliography of Recommended Fiction and Nonfiction for…
$6.18 - $150.85This annotated bibliography of more than 500 recommended books meets the needs of teachers and librarians for reading materials for young adults for whom English is a second language. Laura ...
On a Slide of Light
$0.94 - $7.95A "glimpse of tomorrow" through the eyes of a "sensitive" in communication with an extra-terrestrial civilization monitoring the earth. Describes many events through the eyes of this ET group, and ...
An account of the arguments of counsel, and the directions of the court, on a plea of auterfois acquit,…
$10.63 - $18.75The 18th century was a wealth of knowledge, exploration and rapidly growing technology and expanding record-keeping made possible by advances in the printing press. In its determination to preserve ...
Letters to Lord Byron On a Question of Poetical Criticism: With Corrections, to Which Are ... Added…
$16.13 - $26.75This is a reproduction of a book published before 1923. This book may have occasional imperfections such as missing or blurred pages, poor pictures, errant marks, etc. that were either part of the ...
Curb, Snaffle, and Spur: A Method of Training Young Horses for the Cavalry Service and for General Use…
$12.91 - $20.75This is a reproduction of a book published before 1923. This book may have occasional imperfections such as missing or blurred pages, poor pictures, errant marks, etc. that were either part of the ...
Greek Readers' Digests?: Studies on a Selection of Subliterary Papyri (Mnemosyne, Bibliotheca Classica…
$89.10 - $206.00This volume discusses Greek subliterary papyri containing mythical catalogues, stories of the Mythographus Homericus and summaries of "Iliad", "Odyssey" tragedies, comedies and poems of Callimachus. ...
A Practical Handbook on the Pharmacovigilance of Antimalarial Medicines
$10.40 - $31.59The Handbook is a detailed manual giving a step by step approach to undertaking the pharmacovigilance of antimalarials. It is intended to be a source of practical advice for pharmacovigilance ...
Lifetime Spectroscopy: A Method of Defect Characterization in Silicon for Photovoltaic Applications…
$117.99 - $352.35Lifetime spectroscopy is one of the most sensitive diagnostic tools for the identification and analysis of impurities in semiconductors. Since it is based on the recombination process, it provides ...
