🚀 go-pugleaf

In article <33C37193.167EB0E7@dcs.st-andrews.ac.uk>, "Martin N. Dunstan"
<mnd@dcs.st-andrews.ac.uk> writes

>   Also have a look at "Parallel Program Design"
>by Chandy and Misra (publ Addison-Wesley) which has
>a whole chapter on the dining philosophers problem.
>It also has a chapter on the more general problem
>known as the drinking philosophers problem (multiple
>shared resources rather than just a single one)
>which is particularly relevent in operating system
>design/implementation.


    This does sounds like a good book, doesn't it!  Can anyone else
recommend it or talk about it?


    I guess what I meant about "proving" my attempt works, is: is there
anywhere where I can find a handle on "reasoning" about parallel
algorithms.  Not the full blown calculii books full of greek letters!


    In other words, in the same way you unconciously reason about a
single "process".




Sandy

/*  Correct my address in any reply, or it'll be treated as spam: 
--                                                          
//     Alexander Anderson    <DELETE_THIS.sandy@almide.demon.co.uk>
//     Home Fone                               +44 (0) 171-794-4543
//     London, UK                    http://www.almide.demon.co.uk/ 
//     PGP print   C6 8C 55 F2 77 7B 99 9B  14 77 66 F5 B8 74 CF 12
*/