Re: Asynchronous channels in Ada

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 02/21/2016 03:57 PM, Hadrien Grasland wrote:
> 
> Let's put ourself in a typical usage scenario where you have a producer task
> and a consumer task, the former producing a stream of identically typed data
> that is read by the other. This producer/consumer pair may be part of a
> fairly large and complex data processing pipeline, such as a compiler
> frontend.
> 
> Now, something goes wrong on the producer side, for any reason, which
> prevents this task from correctly producing its next data packet. Yet the
> consumer is expecting said packet. One can then imagine a number of options
> for the producer :

Typically, such designs are used so the consumer doesn't need to know or care
about what happens with the producer, and so there's no need for anything
special about the queue or the data passed via it. Certainly this is the
assumption that most general-purpose solutions will take. If you have specific
needs that such solutions don't address, you will probably need to create a
specific solution.

That said, it would be very easy to add a Boolean value to the PragmARC blocking
protected queues that would cause an exception in a consumer when it next
attempts to get a value from the queue.

-- 
Jeff Carter
"Little blondes with long hair and short skirts and
boots and big chests and bright, witty, and perceptive."
Play It Again, Sam
128