Re: JavaMemoryModel: PC language alert: catatonia action

From: Jeremy Manson (jmanson@cs.umd.edu)
Date: Sun May 16 2004 - 11:22:10 EDT


> This concept is very well understood and is called divergence. A silent
> action is an *action*. It does something, namely allow the process to
> progress internally, in a way that is not observable by the environment.
> A process that engages in an infinite set of such actions, thereby not
> giving the environment any opportunity to influence its behavior, is
> said to be divergent.

I thought divergence affected the whole process, and was pretty
catastrophic. The catatonia action only affects the single thread in
which it occurred. Or am I misremembering it? It has been a few years
since I looked at CSP.

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



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