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