Rocksolid Light

Welcome to RetroBBS

mail  files  register  newsreader  groups  login

Message-ID:  

Klingon phaser attack from front!!!!! 100% Damage to life support!!!!


devel / comp.lang.ada / Ada 2022 in GNAT

SubjectAuthor
* Ada 2022 in GNATSimon Belmont
`* Re: Ada 2022 in GNATFabien Chouteau
 `* Re: Ada 2022 in GNATSimon Belmont
  `- Re: Ada 2022 in GNATFabien Chouteau

1
Ada 2022 in GNAT

<e68fe243-9a8f-40c7-a717-2f085ef49e54n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9094&group=comp.lang.ada#9094

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:620a:687:b0:6fe:d744:c83f with SMTP id f7-20020a05620a068700b006fed744c83fmr8727448qkh.175.1670542636010;
Thu, 08 Dec 2022 15:37:16 -0800 (PST)
X-Received: by 2002:a0c:f7c4:0:b0:4c6:fe57:5b97 with SMTP id
f4-20020a0cf7c4000000b004c6fe575b97mr43995371qvo.49.1670542635830; Thu, 08
Dec 2022 15:37:15 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 8 Dec 2022 15:37:15 -0800 (PST)
Injection-Info: google-groups.googlegroups.com; posting-host=159.250.202.227; posting-account=ShYTIAoAAABytvcS76ZrG9GdaV-nXYKy
NNTP-Posting-Host: 159.250.202.227
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e68fe243-9a8f-40c7-a717-2f085ef49e54n@googlegroups.com>
Subject: Ada 2022 in GNAT
From: sbelmont700@gmail.com (Simon Belmont)
Injection-Date: Thu, 08 Dec 2022 23:37:16 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1484
 by: Simon Belmont - Thu, 8 Dec 2022 23:37 UTC

Has anyone seen (or willing to type up...) any broad-strokes information about how GNAT (et al) actually plans to implement the parallelization features of Ada 2022? Take advantage of GPU's or just stick to CPU cores, or some kind of binding to OpenMP, etc, on Linux vs Windows vs Vworks, etc? I'm mostly just curious and haven't seen any of that in-the-weeds type information floating around, or at least anything that isn't a few years old.

-sb

Re: Ada 2022 in GNAT

<dda9cd2b-f9ac-41a1-b21a-37651a2217b4n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9096&group=comp.lang.ada#9096

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:ac8:48c4:0:b0:3a6:a88a:da4c with SMTP id l4-20020ac848c4000000b003a6a88ada4cmr18114006qtr.595.1670605670627;
Fri, 09 Dec 2022 09:07:50 -0800 (PST)
X-Received: by 2002:a0c:e743:0:b0:4bb:9658:d4d0 with SMTP id
g3-20020a0ce743000000b004bb9658d4d0mr68791907qvn.37.1670605670346; Fri, 09
Dec 2022 09:07:50 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border-2.nntp.ord.giganews.com!border-1.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 9 Dec 2022 09:07:50 -0800 (PST)
In-Reply-To: <e68fe243-9a8f-40c7-a717-2f085ef49e54n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=90.49.234.87; posting-account=L3mulQoAAADsXVjCD5rM6Ap3Xy0U3ckB
NNTP-Posting-Host: 90.49.234.87
References: <e68fe243-9a8f-40c7-a717-2f085ef49e54n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <dda9cd2b-f9ac-41a1-b21a-37651a2217b4n@googlegroups.com>
Subject: Re: Ada 2022 in GNAT
From: fabien.chouteau@gmail.com (Fabien Chouteau)
Injection-Date: Fri, 09 Dec 2022 17:07:50 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 25
 by: Fabien Chouteau - Fri, 9 Dec 2022 17:07 UTC

> In the past year or so, we have been working hard assessing and implementing most of these Ada 202x changes (called AIs: Ada Issues in ARG terms). The implementation work and feedback from first users allowed us to identify that a few of these features would need additional time and attention. This led us to make a difficult decision - in order to allow for more investigation and to avoid users to start to rely on constructs that may need to change or be replaced, we decided to put on hold the implementation of some of the changes in language. Of course, we’re currently engaged with the ARG to discuss these.
>
> The main set of features that AdaCore and GNAT are putting on hold are related to the support for parallel constructs. While the overall vision is an exciting and promising one, we realized when looking at the state of the art and gathering user requirements that there were a lot more aspects to consider on top of those currently addressed by the AIs. Some of these are related to GPGPU (General Purpose GPU) support as well as their future CPU counterparts, and include topics such as control of memory transfer, precise allocation of tasks and memory on the hardware layout, target-aware fine tuning options as well as various other parametrization needs. These capabilities happen to be fundamental to obtain actual performance benefits from parallel programming, and providing them may require profound changes in the language interface. Consequently, we’re putting all parallel AIs on hold, including support for the Global and Nonblocking aspects beyond the current support in SPARK.

See https://blog.adacore.com/ada-202x-support-in-gnat

Re: Ada 2022 in GNAT

<853dd7cf-8120-4c14-a6c6-b688b798a641n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9099&group=comp.lang.ada#9099

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:620a:26a4:b0:6fc:b1fd:c7e1 with SMTP id c36-20020a05620a26a400b006fcb1fdc7e1mr22466125qkp.627.1670702588703;
Sat, 10 Dec 2022 12:03:08 -0800 (PST)
X-Received: by 2002:a37:514:0:b0:6fe:b1e0:d025 with SMTP id
20-20020a370514000000b006feb1e0d025mr14987658qkf.742.1670702588417; Sat, 10
Dec 2022 12:03:08 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 10 Dec 2022 12:03:08 -0800 (PST)
In-Reply-To: <dda9cd2b-f9ac-41a1-b21a-37651a2217b4n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=159.250.202.227; posting-account=ShYTIAoAAABytvcS76ZrG9GdaV-nXYKy
NNTP-Posting-Host: 159.250.202.227
References: <e68fe243-9a8f-40c7-a717-2f085ef49e54n@googlegroups.com> <dda9cd2b-f9ac-41a1-b21a-37651a2217b4n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <853dd7cf-8120-4c14-a6c6-b688b798a641n@googlegroups.com>
Subject: Re: Ada 2022 in GNAT
From: sbelmont700@gmail.com (Simon Belmont)
Injection-Date: Sat, 10 Dec 2022 20:03:08 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1536
 by: Simon Belmont - Sat, 10 Dec 2022 20:03 UTC

On Friday, December 9, 2022 at 12:07:52 PM UTC-5, Fabien Chouteau wrote:
> See https://blog.adacore.com/ada-202x-support-in-gnat

That post is over two years old, surely that can't still be the state of things? I'm not sure what it says when the big, marquee item of the newest standard isn't even being actively being worked in the big, marquee compiler.

Re: Ada 2022 in GNAT

<06654ea5-526f-4d58-a9e4-fa74953ebd80n@googlegroups.com>

  copy mid

https://www.rocksolidbbs.com/devel/article-flat.php?id=9104&group=comp.lang.ada#9104

  copy link   Newsgroups: comp.lang.ada
X-Received: by 2002:a05:622a:1994:b0:3a6:68cb:cac1 with SMTP id u20-20020a05622a199400b003a668cbcac1mr56035588qtc.92.1670933444104;
Tue, 13 Dec 2022 04:10:44 -0800 (PST)
X-Received: by 2002:ac8:4441:0:b0:3a5:4f9b:215a with SMTP id
m1-20020ac84441000000b003a54f9b215amr89274498qtn.394.1670933443889; Tue, 13
Dec 2022 04:10:43 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 13 Dec 2022 04:10:43 -0800 (PST)
In-Reply-To: <853dd7cf-8120-4c14-a6c6-b688b798a641n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=90.49.234.87; posting-account=L3mulQoAAADsXVjCD5rM6Ap3Xy0U3ckB
NNTP-Posting-Host: 90.49.234.87
References: <e68fe243-9a8f-40c7-a717-2f085ef49e54n@googlegroups.com>
<dda9cd2b-f9ac-41a1-b21a-37651a2217b4n@googlegroups.com> <853dd7cf-8120-4c14-a6c6-b688b798a641n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <06654ea5-526f-4d58-a9e4-fa74953ebd80n@googlegroups.com>
Subject: Re: Ada 2022 in GNAT
From: fabien.chouteau@gmail.com (Fabien Chouteau)
Injection-Date: Tue, 13 Dec 2022 12:10:44 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1471
 by: Fabien Chouteau - Tue, 13 Dec 2022 12:10 UTC

On Saturday, December 10, 2022 at 9:03:09 PM UTC+1, Simon Belmont wrote:
> That post is over two years old, surely that can't still be the state of things?

There has been progress on the Ada2022 support, but no change on that part.


devel / comp.lang.ada / Ada 2022 in GNAT

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor