From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada lacks lighterweight-than-task parallelism
Date: Fri, 29 Jun 2018 16:58:16 -0500
Organization: JSA Research & Innovation
Message-ID: <ph6a1q$3qo$1@franka.jacob-sparre.dk>
References: <e72534b1-17a7-40b5-92b9-01a4695e2743@googlegroups.com>
 <993f28de-6a64-480b-9c6e-d9714bcdef0d@googlegroups.com>
 <dbc90b0f-dc9b-4e5d-8009-7f02547055ca@googlegroups.com>
 <pgcuqh$7ij$1@gioia.aioe.org>
 <167bec10-2a52-4c79-958d-91faadad915b@googlegroups.com>
 <pgdhag$1aa2$1@gioia.aioe.org>
 <2d6a5ab7-812f-47a9-a958-44177a3cf203@googlegroups.com>
 <pgdlc0$1hnt$1@gioia.aioe.org>
 <64a526cb-e6d5-44a6-b446-5b652ebe60ca@googlegroups.com>
Injection-Date: Fri, 29 Jun 2018 21:58:19 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="3928"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader02.eternal-september.org comp.lang.ada:53456
Date: 2018-06-29T16:58:16-05:00
List-Id: <comp.lang.ada>

"Mehdi Saada" <00120260a@gmail.com> wrote in message 
news:64a526cb-e6d5-44a6-b446-5b652ebe60ca@googlegroups.com...
>Considering how complicate writing Ada compilers already is, and
>seeing that there is no standard interface between those and tools - as
>far as I get it - it would likely make the hypothetic compilers huge and
>considering GNAT is the only one implementing (most) of the 2012
>version, fusing tools and compilers might close for good the Ada
>compilers market.
>Haven't you been promoting free market ?
>Stop me if I made a mistake.

For what it's worth, I agree (somewhat) with Dmitry. Not so much about SPARK 
(the reliance on outside logic provers seems unnecessary for most work), but 
more like CodePeer. CodePeer is one of a variety of static analysis tools 
that are based on compiler optimization technology. It seems to me that that 
such technology should be an intergral part of an Ada compiler's optimizer 
(a lot of it exists anyway). In part because anything it can prove will also 
allow making smaller/faster code (for instance, proving that a check cannot 
fail also means that the compiler need not generate code for that check).

This does imply a need for Ada-specific optimization (which might be an 
issue in a GCC/LLVM environment - although I think it can be dealt with).

Anyone have a few extra million $$$ laying around so I can build this?? ;-)

                                     Randy.

P.S. The next Janus/Ada release, scheduled for late July, will have a small 
corner of that capability implemented. There'll be a blog entry on 
rrsoftware.com once the compiler details are settled.