Re: Container reqs

["Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org>]

Well, it can. The thing is you have to ask "What do you mean by task
safety?" For relatively simple subprograms and data, you might get by with
reentrancy and atomic access to global data. For more complex data
structures, you have to protect updates more thoroughly within protected
types. You have to understand the issues surrounding the particular data you
are accessing and the algorithms you are using to access the data. You
either have, or can create mechanisms for handling it - but you need to
understand tasks and protected types.

I am afraid I don't know what the RAII idiom is all about so I don't know if
there is a direct parallel in Ada. But I don't know of any C++ construct
that does a) Tasking and/or b) Protected types so I imagine if you want true
thread safety, you've got to implement some kind of semaphore or locking
mechanism - which can become butt-ugly and lead to some interesting mutex
bugs.

Can you elaborate?

MDC
--
Marin David Condic
Senior Software Engineer
Pace Micro Technology Americas    www.pacemicro.com
Enabling the digital revolution
e-Mail:    marin.condic@pacemicro.com
Web:      http://www.mcondic.com/


"Barry Kelly" <dynagen@eircom.net> wrote in message
news:m7jsttod28l58b9betgcm8n6q5lue6oo5o@4ax.com...
> In article <9qi2c8$gpb$1@nh.pace.co.uk>
> "Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org>
> wrote:
>
> > If you wish to keep the realtime/embedded crowd happy, you need to have
> > task-safe versions.
>
> C++ can implement task safety using the RAII (resource aquisition is
> initialization) idiom, which eliminates the need for creating a whole
> new type for task-safe access to structures.
>
> Why can't Ada do this?
>
> -- Barry