Re: JavaMemoryModel: october JMM spec seems to break java's threading model

From: Jerry Schwarz (jerry.schwarz@oracle.com)
Date: Fri Nov 07 2003 - 15:00:41 EST


At 11:13 AM 11/6/2003, Joe Hendrix wrote:
>Doug Lea wrote:
> > The best you can say is "over sufficiently long
> > observation periods, unblocked threads will progress"
>
>Will all unblocked threads make progress? A common fairness guarantee
>in model checking literature would be that if a thread can infinitely
>often make progress (e.g it is unblocked and perhaps has the highest
>priority), then it will infinitely often make progress or terminate.
>
>There isn't any guarantee in timing, just that eventually each
>unblocked thread will make progress.
>
>Do existing JVMs provide this guarantee?

No. At least one JVM I'm aware of is totally non-preemptive. If one thread
starts executing

     while (true) ;

No other thread ever runs.

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

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



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