Re: Read-write mutex sometimes fails on deadlock

[Robert Eachus <rieachus@comcast.net>]

On Monday, November 6, 2017 at 1:31:07 PM UTC-5, Simon Wright wrote:
> Robert Eachus <rieachus@comcast.net> writes:
> 
> >    entry Write (D: in Data) is
> >    begin
> >       The_Data := D;
> >       Some_Data := True;
> >       Print(D);
> >       delay 0.1;
> >    end Write;
> 
> Is this not illegal? or at the very least wrong?

Don't get wrapped around the axle by random names in partial examples.  Print might be a (non-blocking) routine that eventually calls an I/O routine like Ada.Text_IO.Put.

Having said that, the delay 0.1 is very naughty, but on most hardware it will be implemented as a counting loop.  (Make it delay 0.0001 if that makes you happier. ;-)   It is not illegal, and is only erroneous if it results in a scheduling action.