comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: meaningfully/compellingly "advertising" Ada on StackOverflow
Date: Fri, 18 May 2018 15:49:15 -0500
Date: 2018-05-18T15:49:15-05:00	[thread overview]
Message-ID: <pdne8b$32o$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: 12f81e06-6fb0-49c9-9c6a-ed2615e96d32@googlegroups.com

"John Perry" <john.perry@usm.edu> wrote in message 
news:12f81e06-6fb0-49c9-9c6a-ed2615e96d32@googlegroups.com...
...
>2) The instruction have the -gnatp option, which I think disables
>some checks. I used that at one point to see if it would speed up
> the code, and I thought it did, but I think it actually didn't in the
>end. So that could be removed; I actually tried experimenting with
>various pragmas to improve timing, without success.

If checks are suppressed (including "container_check" for GNAT), I'd expect 
the containers be roughly the same performance as a hand-written list or 
tree. But you'd have to try it to be sure.

                      Randy.



  reply	other threads:[~2018-05-18 20:49 UTC|newest]

Thread overview: 28+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-05-16 14:27 meaningfully/compellingly “advertising” Ada on StackOverflow Dan'l Miller
2018-05-16 14:35 ` Lucretia
2018-05-16 15:06   ` Dan'l Miller
2018-05-16 22:48     ` Mehdi Saada
2018-05-17  2:46 ` John Perry
2018-05-17  2:49   ` John Perry
2018-05-17 21:25     ` meaningfully/compellingly "advertising" " Randy Brukardt
2018-05-17 23:27       ` Luke A. Guest
2018-05-18  1:22         ` Paul Rubin
2018-05-18  2:28           ` Dan'l Miller
2018-05-18  2:59             ` Lucretia
2018-05-18  2:57           ` Lucretia
2018-05-18  4:25             ` John Perry
2018-05-18  4:38               ` Paul Rubin
2018-05-18 15:39                 ` John Perry
2018-05-18 15:48                   ` John Perry
2018-05-18 20:49                     ` Randy Brukardt [this message]
2018-05-18 20:47                   ` Randy Brukardt
2018-05-18  4:37             ` Paul Rubin
2018-05-18 10:44               ` Lucretia
2018-05-20  7:54                 ` Paul Rubin
2018-05-18 11:17               ` Ben Bacarisse
2018-05-18 20:42         ` Randy Brukardt
2018-05-18  4:22       ` John Perry
2018-05-18 20:52         ` Randy Brukardt
2018-05-18 11:10       ` Simon Wright
2018-05-18 15:43 ` meaningfully/compellingly “advertising” " John Perry
2018-05-18 16:40   ` Dan'l Miller
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox