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=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,d495ab2e69ad1962 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news2.google.com!news.glorb.com!newscon02.news.prodigy.net!prodigy.net!newsfeed-00.mathworks.com!nntp.TheWorld.com!not-for-mail From: Robert A Duff Newsgroups: comp.lang.ada Subject: Re: Ravenscar-compliant bounded buffer Date: Thu, 06 Sep 2007 22:36:59 -0400 Organization: The World Public Access UNIX, Brookline, MA Message-ID: References: <1188914005.607732.277400@57g2000hsv.googlegroups.com> <1188977891.197536.21660@r29g2000hsg.googlegroups.com> NNTP-Posting-Host: shell01.theworld.com Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: pcls4.std.com 1189132619 21145 192.74.137.71 (7 Sep 2007 02:36:59 GMT) X-Complaints-To: abuse@TheWorld.com NNTP-Posting-Date: Fri, 7 Sep 2007 02:36:59 +0000 (UTC) User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix) Cancel-Lock: sha1:umoag2EBtS5nso0WPAf1MGqKVX4= Xref: g2news2.google.com comp.lang.ada:1797 Date: 2007-09-06T22:36:59-04:00 List-Id: "Dmitry A. Kazakov" writes: > On Thu, 06 Sep 2007 10:06:51 -0400, Robert A Duff wrote: > >> I suppose we could argue about >> whether the exact set of restrictions is appropriate, but the whole >> point is to be restrictive, so the run-time system can be simplified (as >> compared to a run-time system that supports full Ada). > > Aha, to ease your life. Others might have thought it was for us, poor > users... (:-)) Yeah, I see the smiley. But seriously, simpler run-time system means easier to verify that it does what's intended. I suppose that's good for users of it, unless they need reimplement all of Ada "by hand" on top of the supposedly simpler run-time system. > No, seriously, the point about abstraction inversion stands. Agreed. As I said, it's a choice. If you really need to put multiple tasks on entry queues, then you probably don't want Ravenscar. If you can easily live with the limitations of Ravenscar, you might benefit from the simplicity. >...And other > posts about tasks classification into periodic, sporadic etc only support > it. So the question is whether these are hard limits or just the current > state of the art. - Bob