Brinch Hansen's frustration

[oyvind.teig@xxxxxxx]

Sirs

   Is it correct to say that ONE of Brinch Hansen's
   frustrations (in "Java's Insecure Parallelism",
   ACM SIGPLAN Notices 34, 4 (April 1999), pp38-45)
   is the fact that a process may be scheduled in
   vain? I seem to doubt this, his

     while (full == max) await(e);
     ..
     cause(e)

   scheme seems to cause the process to be awoken
   in vain if, perhaps, full was not max. However:

   is this "await" a "Hoare's conditional critical region
   that is delayed until a shared data structure satisfies
   a Boolean critical region"?

   Please!

\ Øyvind /
/ Oyvind Teig - oyvind.teig@xxxxxxx
\ Kongsberg Maritime Ship Systems, Ship Control (KMSS-SC)
/ 7005 Trondheim Norway
\ 47 73581268 - http://www.kongsberg.com/eng/KM/
/ http://home.no.net/oyvteig/ - Home page