Re: file locking in Ada

[dewar@merv.cs.nyu.edu (Robert Dewar)]

Robert Duff said

<<Where does the RM allow implementations to not bother with parallel
protected function calls?  I know that the intent of the language
designers was to allow both -- one function locks out another, or one
function allows another to run in parallel.  But I don't see where the
RM says so.  It seems possible to write code that detects the difference
-- it might deadlock if a function grabs read/write access, when it
would not deadlock if it only grabs read-only access.  What am I
missing?>>

One more thing Bob, remember ceiling locking when you try to construct
your test program, this ensures that a higher priority task cannot
preempt a lower priority task in the middle of a protected object.