Re: Query about monitor (passive) task optimization

[ddciiny!jls@uunet.uu.net (Jonathan Schilling)]

In article <23corr$a8g@schonberg.cs.nyu.edu> dewar@cs.nyu.edu (Robert Dewar) wr
ites:
>Mike assumes that automatic recognition of passive tasks is a good thing.
>He is apparently unaware that this is by no means obvious, and indeed most
>of the Ada folks in realtime areas that I have talked to do not AT ALL like
>the idea of such automatic recognition, and much prefer explicit control
>over thread structure.

I've heard of these objections before, but I don't fully understand them. 
Assuming the optimization is transparent to the programmer, and does not 
in any way change the semantics of the program, what "control" is being
lost?  From within the program, using only standard Ada, one wouldn't
even be able to detect whether the optimization had happened or not 
(this might be doable with CIFO-type interfaces, depending on the
runtime system implementation).  The only difference is that the program
runs faster.

-- 
Jonathan Schilling
DDC-I, Inc.
uunet!ddciiny!jls