Re: JavaMemoryModel: PC language alert: catatonia action

From: Jeremy Manson (
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.

JavaMemoryModel mailing list -

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