From: Simon Wright <simon@pushface.org>
Subject: Re: Asynchronous channels in Ada
Date: Fri, 19 Feb 2016 21:45:21 +0000
Date: 2016-02-19T21:45:21+00:00 [thread overview]
Message-ID: <lyegc8ml1q.fsf@pushface.org> (raw)
In-Reply-To: dd09d409-78ef-4cf5-9557-e38b7042e3ab@googlegroups.com
What about Ada.Containers.Bounded_Synchronized_Queues? (ARM A.18.29)
(the ARM doesn't say what happens if the queue is full ... but I'm sure
it does the right thing)
(the AARM says "Since this type has a bounded capacity, Enqueue might
block if the queue is full", so I think we're OK!)
next prev parent reply other threads:[~2016-02-19 21:45 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 [this message]
2016-02-19 23:31 ` Robert A Duff
2016-02-19 21:51 ` Jeffrey R. Carter
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