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?
-------------------------------
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