Re: Structure of the multitasking server

[Jean-Pierre Rosen <rosen@adalog.fr>]

Maciej Sobczak a �crit :
> On 19 Wrz, 15:34, Jean-Pierre Rosen <ro...@adalog.fr> wrote:
> 
>> Why not simply use a rendezvous?
> 
> This is something that I deliberately wanted to avoid.
> I don't like the idea of tasks interacting with each other directly
> and I prefer to have the communication part extracted away (Ravenscar
> got that right for a reason, I think?).
You said "I prefer", so this can be a matter of taste ;-)

Personnally, I view protected types as a great tool for simple, 
low-level communications, and rendezvous for higher level 
communications. I think rendezvous are closer to real-life, and thus 
easier to manage. YMMV of course.

The issue for Ravenscar is different: it is a matter of provability.
There are many examples of things that are simpler for the human being, 
but less easy for proofs systems...

-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr