From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ada lacks lighterweight-than-task parallelism
Date: Wed, 20 Jun 2018 14:29:05 +0200
Date: 2018-06-20T14:29:05+02:00 [thread overview]
Message-ID: <pgdhag$1aa2$1@gioia.aioe.org> (raw)
In-Reply-To: 167bec10-2a52-4c79-958d-91faadad915b@googlegroups.com
On 2018-06-20 14:03, Dan'l Miller wrote:
> On Wednesday, June 20, 2018 at 2:13:24 AM UTC-5, Dmitry A. Kazakov wrote:
>> On 2018-06-20 03:41, Dan'l Miller wrote:
>> It better be handled in the form of hints for the compiler
>> to deploy a certain form of optimization.
>
> So, does Ada now or in Ada2020 have those hints?
No.
But I think if Ada integrated SPARK then with things like loop
invariants and provable purity of certain pieces of code, the compiler
should be able decide of the loop body can be ran concurrently. It would
be a better approach than to burden the programmer with low-level stuff,
IMO.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2018-06-20 12:29 UTC|newest]
Thread overview: 39+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-06-19 22:14 Ada lacks lighterweight-than-task parallelism Dan'l Miller
2018-06-19 22:23 ` Dan'l Miller
2018-06-20 0:03 ` Dan'l Miller
2018-06-20 0:41 ` Lucretia
2018-06-20 1:36 ` Dan'l Miller
2018-06-20 13:39 ` Luke A. Guest
2018-06-20 1:12 ` Shark8
2018-06-20 1:41 ` Dan'l Miller
2018-06-20 7:13 ` Dmitry A. Kazakov
2018-06-20 12:03 ` Dan'l Miller
2018-06-20 12:29 ` Dmitry A. Kazakov [this message]
2018-06-20 13:14 ` Mehdi Saada
2018-06-20 13:38 ` Dmitry A. Kazakov
2018-06-20 14:01 ` Mehdi Saada
2018-06-20 14:32 ` Dmitry A. Kazakov
2018-06-29 22:01 ` Randy Brukardt
2018-06-29 22:15 ` Dmitry A. Kazakov
2018-06-29 22:47 ` Randy Brukardt
2018-06-30 8:41 ` Dmitry A. Kazakov
2018-06-30 15:43 ` Brad Moore
2018-07-01 9:46 ` Dmitry A. Kazakov
2018-07-02 13:13 ` Marius Amado-Alves
2018-07-02 15:05 ` Dmitry A. Kazakov
2018-07-02 16:01 ` Marius Amado-Alves
2018-07-02 16:48 ` Dmitry A. Kazakov
2018-06-20 15:58 ` Niklas Holsti
2018-06-29 21:58 ` Randy Brukardt
2018-06-21 0:19 ` Shark8
2018-06-21 9:09 ` Dmitry A. Kazakov
2018-06-21 14:42 ` Shark8
2018-06-21 15:55 ` Dan'l Miller
2018-06-27 11:49 ` Marius Amado-Alves
2018-06-21 16:06 ` Dmitry A. Kazakov
2018-06-22 17:06 ` Shark8
2018-06-22 18:53 ` Dmitry A. Kazakov
2018-06-21 0:17 ` Shark8
2018-06-20 12:28 ` Brian Drummond
2018-06-21 1:51 ` Dan'l Miller
2018-06-21 10:22 ` Brian Drummond
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox