(j3.2006) Public Comment J32034

[Van Snyder]

On Tue, 2008-07-15 at 16:56 -0700, Aleksandar Donev wrote:
> On Tuesday 15 July 2008 16:53, Jim Giles wrote:
> > And I don't see how the current CRITICAL
> > construct guarantees that the declarations of a procedure are
> > inside the critical section.
> Can you explain what you are asking for here---what procedure are we talking 
> about. An example would be great.

I think James is asking for MONITOR procedures, to be spelled with the
CRITICAL keyword.

A monitor procedure is one that is a critical section from beginning to
end, including elaboration of its specification part and any
finalizations that happen automatically, as opposed to a CRITICAL
construct within a procedure, which might not include its specification
part, and certainly can't include its dummy arguments or finalizations.

-- 
Van Snyder                    |  What fraction of Americans believe 
Van.Snyder at jpl.nasa.gov       |  Wrestling is real and NASA is fake?
Any alleged opinions are my own and have not been approved or
disapproved by JPL, CalTech, NASA, the President, or anybody else.