From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Asynchronous channels in Ada
Date: Fri, 19 Feb 2016 14:51:32 -0700
Date: 2016-02-19T14:51:32-07:00 [thread overview]
Message-ID: <na82jj$8vh$2@dont-email.me> (raw)
In-Reply-To: <dd09d409-78ef-4cf5-9557-e38b7042e3ab@googlegroups.com>
On 02/19/2016 02:02 PM, Hadrien Grasland wrote:
>
> On the other hand, asynchronous "buffered" channels are really a neat
> abstraction for producer-consumer problems, and I regularly end up facing a
> problem where I wish I had some in Ada. I'm pretty convinced that one could
> quite easily build a library-based Ada abstraction which offers similar
> functionality, but better. Before trying it myself, though, I'd like to check
> out here if you know of an open-source Ada project which has already
> implemented something similar.
>
> Anyone is aware of something like this that would already exist in the wild?
For Ada 12, there are synchronous queues (ARM A.18.27-29).
http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-A-18-27.html
If you use a language supported by more than one compiler vendor, the PragmARCs
(both for ISO/IEC 8652:1995 and ISO/IEC 8652:2007) have protected queues, both
bounded and unbounded:
https:/pragmada.x10hosting.com/
https://github.com/jrcarter/PragmARC
--
Jeff Carter
"You empty-headed animal-food-trough wiper."
Monty Python & the Holy Grail
04
next prev parent reply other threads:[~2016-02-19 21:51 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-02-19 21:02 Asynchronous channels in Ada Hadrien Grasland
2016-02-19 21:45 ` Simon Wright
2016-02-19 23:31 ` Robert A Duff
2016-02-19 21:51 ` Jeffrey R. Carter [this message]
2016-02-19 23:53 ` Brad Moore
2016-02-20 9:54 ` Dmitry A. Kazakov
2016-02-21 22:57 ` Hadrien Grasland
2016-02-22 2:30 ` Jeffrey R. Carter
2016-02-22 8:48 ` Dmitry A. Kazakov
2016-02-22 9:28 ` Georg Bauhaus
2016-02-25 7:55 ` Hadrien Grasland
2016-03-24 2:37 ` rieachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox