Re: ada paper critic

[Dmitry A.Kazakov <mailbox@dmitry-kazakov.de>]

Darren New wrote:

> "Dmitry A.Kazakov" wrote:
>> I do not know Java good enough to judge. But the problems as I see them
>> are mostly with MD and MI. Java has no MD. Ada has neigher. But if it
>> had, how to call on an entry point that belongs to two protected objects,
>> or else tasks?
> 
> If I understand what you're saying, this isn't a problem in Java because
> Java uses distinguished-receiver notation.
> 
> A.do_it(b) or B.do_it(a).

There cannot be a distinguished receiver with MD. If both arguments are 
dispatching which one is distinguished? Then if an entry belongs to TWO 
tasks, it means that rendezvous happens with BOTH of them. As I said I do 
not know Java, but I am pretty sure that it does not have such a thing.

>> What about freezing rules with MD? May I override barriers? How to
>> override the body an entry point of a task? How to inherit an entry
>> point? How to add a new entry point?
> 
> None of these are problems, because Java doesn't work it the same way that
> Ada does.

That is what I meant. Other languages simply did not attemted to integrate 
tasks and protected objects as deep and consistently as Ada does. So they 
have no problems like that. Which only means that it is a poor programmer, 
who shall solve them.

-- 
Regards,
Dmitry Kazakov
www.dmitry-kazakov.de