From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: Asynchronous channels in Ada Date: Fri, 19 Feb 2016 21:45:21 +0000 Organization: A noiseless patient Spider Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain Injection-Info: mx02.eternal-september.org; posting-host="03d977edd803a9f1bf346d48fa393156"; logging-data="7955"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/Co2pRCOegNp3VY9bxI+oAcCp99XAsIww=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (darwin) Cancel-Lock: sha1:WcALpNE/MMLFbP4lZwCNy/7tPC4= sha1:Wc0Gi99D0z4T06bEHCa4+nKrPqU= Xref: news.eternal-september.org comp.lang.ada:29561 Date: 2016-02-19T21:45:21+00:00 List-Id: 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!)