Re: C++0x and Threads - a poor relation to Ada's tasking model?

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 12 Sie, 07:29, stefan-lu...@see-the.signature wrote:

> This is easy, since "%s\n" is a constant.

Of course. And *static* analysis of keyword-based multitasking usage
patterns is also easy *only* if these patterns are in some way
constant (static).

Nothing prevents me from screwing up an instance of
Ada.Containers.Vectors.Vector, Ada.Text_IO.File_Type, or just about
anything else if I use it from multiple tasks without wrapping it in
the protected object.
(that's what I have done recently)

It is *exactly* the same problem - you can always make the analysis
difficult by moving from static to dynamic.
What does it prove?

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com

Database Access Library for Ada: www.inspirel.com/soci-ada