[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Ada-mode-users] Performance of ada_mode_wisi_lr1_parse.exe vs. abor
From: |
Piotr Trojanek |
Subject: |
Re: [Ada-mode-users] Performance of ada_mode_wisi_lr1_parse.exe vs. abort statements |
Date: |
Mon, 17 Dec 2018 22:53:39 +0100 |
On Mon, Dec 17, 2018 at 6:44 PM Ludovic Brenta
<address@hidden> wrote:
> Here are the configuration pragmas I applied; they come from
> lengthy research to optimize the performance of our main
> application:
You can also try this, which we use to build GNATprove:
-- Dependency on Ada.Real_Time forces the use of GNAT tasking runtime,
-- which adds extra checks for each memory allocation and deallocation.
pragma Restrictions (No_Dependence => Ada.Real_Time);
We also have:
pragma Restrictions (No_Tasking);
but I never measured if it makes any difference.
--
Piotr Trojanek