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
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.
-- Miles Sabin InterX Internet Systems Architect 27 Great West Road +44 (0)20 8817 4030 Middx, TW8 9AS, UK firstname.lastname@example.org 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