From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Lock-Free stack in Ada SPARK
Date: Sun, 12 Feb 2017 09:30:15 +0100
Date: 2017-02-12T09:30:15+01:00 [thread overview]
Message-ID: <o7p6eu$r9b$1@gioia.aioe.org> (raw)
In-Reply-To: 5b707d82-ecab-4d7f-bf04-099412e16913@googlegroups.com
On 2017-02-12 00:02, stevenselectronicmail@gmail.com wrote:
> I don't use normal protected objects. I use the special Lock_Free
> pragma which allows to generate lock-free code for certain very
> restricted protected objects.
If that works... So far GNAT has difficulties already with pragma Atomic
which fails on 64-bit objects for 32-bit targets. I would guess that
Lock_Free will fails even quicker.
P.S. I am using GCC built-ins where Atomic fails.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2017-02-12 8:30 UTC|newest]
Thread overview: 21+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-02-11 3:07 Lock-Free stack in Ada SPARK stevenselectronicmail
2017-02-11 9:57 ` Hadrien Grasland
2017-02-11 10:07 ` Hadrien Grasland
2017-02-11 10:08 ` Hadrien Grasland
2017-02-11 10:14 ` Hadrien Grasland
2017-02-11 17:34 ` stevenselectronicmail
2017-02-11 19:36 ` Jeffrey R. Carter
2017-02-11 20:42 ` stevenselectronicmail
2017-02-11 22:40 ` Dmitry A. Kazakov
2017-02-11 23:02 ` stevenselectronicmail
2017-02-12 8:30 ` Dmitry A. Kazakov [this message]
2017-02-12 12:26 ` Hadrien Grasland
2017-02-12 12:49 ` Dmitry A. Kazakov
2017-02-12 13:19 ` Hadrien Grasland
2017-02-12 14:57 ` Dmitry A. Kazakov
2017-02-12 13:04 ` Hadrien Grasland
2017-02-12 22:25 ` Robert Eachus
2017-02-13 8:22 ` Dmitry A. Kazakov
2017-02-13 20:04 ` stevenselectronicmail
2017-02-21 1:51 ` Robert Eachus
2017-02-21 8:44 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox