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!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Ada lacks lighterweight-than-task parallelism Date: Wed, 20 Jun 2018 14:29:05 +0200 Organization: Aioe.org NNTP Server Message-ID: References: <993f28de-6a64-480b-9c6e-d9714bcdef0d@googlegroups.com> <167bec10-2a52-4c79-958d-91faadad915b@googlegroups.com> NNTP-Posting-Host: MyFhHs417jM9AgzRpXn7yg.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0 Content-Language: en-US X-Notice: Filtered by postfilter v. 0.8.3 Xref: reader02.eternal-september.org comp.lang.ada:53199 Date: 2018-06-20T14:29:05+02:00 List-Id: 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