RE: JavaMemoryModel: Fairness Guarantees in the Memory Model?

From: Miles Sabin (msabin@interx.com)
Date: Mon Oct 22 2001 - 17:23:07 EDT

Jerry Schwarz wrote,
> Bill Pugh wrote,
> > Essentially, the rule is that if a thread is given an infinite
> > number of opportunities to make progress, it must make progress.
>
> Since there are no scheduling events in the body of thread 2's loop,
> in Oracle's VM there are no opportunities for Thread 1 to make
> progress.

I'm more than a bit skeptical of there being any such rule. But even
if there were, it would do no harm ... no thread is going to be given
an infinite number of opportunities to make progress, so the
antecedent of Bills conditional is always false, hence the progress
requirement will always be satisfied.

Cheers,

Miles 

-- 
Miles Sabin                                     InterX
Internet Systems Architect                      27 Great West Road
+44 (0)20 8817 4030                             Middx, TW8 9AS, UK
msabin@interx.com                               http://www.interx.com/

-------------------------------
JavaMemoryModel mailing list - http://www.cs.umd.edu/~pugh/java/memoryModel

This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:36 EDT