Re: Why are Ada compilers difficult to write ?

["Dan'l Miller" <optikos@verizon.net>]

On Wednesday, June 27, 2018 at 11:26:56 AM UTC-5, Olivier Henley wrote:
> You literally bumped the previous comment over planned features. From now on, please save me of such
> technical diversions.
> 
> He is right, "you can’t compare Ada’s high level tasking to the thin veneer over threading that’s in C++". 
> 
> The key here, FYI, is "that's in C++" as in --> common sense "usable" <--, not "to come in C++".

Rust is close to surpassing Ada as the safe-systems language (unless Ada2020 adopts Rust-esque safe-pointers and safe-threading).  Go thinks that it is too, but I cannot see any clear features of Go that substantiates Go's claim.  C++ is close to surpassing Ada as the programming language with generous amounts of concurrency built •directly• into the language, not such rinkydink library wrappers as it was formerly.  Wake up.

The acquire-release fences of the memory model alone in C++11 (7 years ago for those keeping count) is a major concurrency language feature that is far beyond mere “thin veneer over threading”.   Extant in Clang 3.3 and onward.  Extant in GCC 4.8 and onward.  Ancient history nowadays, not vaporware as you claim. 

blog posts from 2016, not from 2021 as you claim:
http://www.modernescpp.com/index.php/category/multithreading-memory-model