Re: Robert Dewar's great article about the Strengths of Ada over other langauges in multiprocessing!

[Florian Weimer <fw@deneb.enyo.de>]

* ME:

> As many of may have already noticed, there has been a tremendous furor
> over the lack of multicore support in the common languages like C and
> C++.   I have been reading these articles in EE Times and elsewhere
> discussing this disaster with all the teeth gnashing and handwringing
> acting as though Ada never existed. Robert Dewar ,our hero, has
> written an absolutely excellent article with a clever intro.
> http://www.eetimes.com/news/design/showArticle.jhtml?articleID=206900265 

GNAT indirectly inherits most C/C++ ambiguities regarding concurrency
because Ada code is compiled to GIMPLE, an intermediate language which
is heavily influenced by C/C++ requirements and which lacks a rigorously
specified memory model (among other things).

In fact, for most C/C++ concurrency surprises (for instance, a
conditional write turned into an unconditional one by GCC), Ada test
cases could be produced which showed the same problem.  For Ada, these
are defects in the toolchain.  For C/C++, they are mere
quality-of-implementation issues.  Is this a major difference?  Probably
not, because you may still have to convince your Ada vendor that their
reading of the standard is incorrect, and the concurrency anomaly you're
observing is actually an implementation defect.