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.
next prev parent 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