Re: JavaMemoryModel: PC language alert: catatonia action

From: Bill Pugh (pugh@cs.umd.edu)
Date: Mon May 17 2004 - 08:54:32 EDT


On May 16, 2004, at 4:30 PM, Jerry Schwarz wrote:

> At 06:14 PM 5/15/2004, Jeremy Manson wrote:
>> > I do think that both "catatonia" and "reclusive" sound rather
>> unpleasant.
>> >
>> > I may be missing something, but isn't the term "silent action" or
>> "tau
>> > action" commonly used for this? See e.g. the literature on the
>> pi-calculus.
>>
>> I believe that "silent actions" and "tau actions", like SKIP in CSP,
>> don't
>> do anything. A catatonia action requires that the thread perform
>> nothing
>> but catatonia actions thereafter.
>>
>> My own thoughts are along the lines of "sleep", or "suspend". I think
>> "sisyphean action" has a nice ring to it, but people don't like
>> semantics
>> to have a nice ring to them.
>
> In general it's undecidable whether a thread will ever issue any more
> (non catatonic) actions.

No, the way we are using it, once a thread performs a catatonia, it is
guaranteed to perform an
infinite sequence of catatonia actions, and no other actions.

Bill

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