(j3.2006) Public Comment J32034

Van Snyder Van.Snyder
Tue Jul 15 20:34:06 EDT 2008

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.

More information about the J3 mailing list