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!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: GNAT and Tasklets
Date: Thu, 11 Dec 2014 17:09:58 -0600
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <m6d887$c23$1@loke.gir.dk>
References: <455d0987-734a-4505-bb39-37bfd1a2cc6b@googlegroups.com>
 <87oaray05e.fsf@adaheads.sparre-andersen.dk>
NNTP-Posting-Host: rrsoftware.com
X-Trace: loke.gir.dk 1418339400 12355 24.196.82.226 (11 Dec 2014 23:10:00 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 11 Dec 2014 23:10:00 +0000 (UTC)
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.6157
Xref: news.eternal-september.org comp.lang.ada:23971
Date: 2014-12-11T17:09:58-06:00
List-Id: <comp.lang.ada>

"Jacob Sparre Andersen" <jacob@jacob-sparre.dk> wrote in message 
news:87oaray05e.fsf@adaheads.sparre-andersen.dk...
...
> Ada 202X is likely to include slightly more implicit parallel processing
> than tasks.  The Gang of Four is busy(?) working out a proposal for how
> to do it.

The parallel subgroup includes Tucker Taft, Brad Moore, and Stephen Michell. 
I've forgotten who the fourth person is, and since there are no authors 
listed on the HILT paper that Tucker sent the ARG, I'm not going to guess.

In any case, the rough proposals look useful. That's especially true as the 
support is partitioned into groups of features, many of which would be 
useful even to programs that never use the parallel features. (For instance, 
additional kinds of contracts will help with correctness and static analysis 
of all programs.)

But the problems with these sorts of proposals only show up when the details 
are worked out, and there aren't many of those to date. That is, don't 
expect this stuff to show up in your favorite compiler in the near future.

                                      Randy.