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,1ce6fddc56263182 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!news2.google.com!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!oleane.net!oleane!hunter.axlog.fr!nobody From: Jean-Pierre Rosen Newsgroups: comp.lang.ada Subject: Re: Ravenscar and run-time program parameters Date: Wed, 29 Aug 2007 10:41:26 +0200 Organization: Adalog Message-ID: References: <1188373703.936484.105650@w3g2000hsg.googlegroups.com> NNTP-Posting-Host: mailhost.axlog.fr Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-2; format=flowed Content-Transfer-Encoding: 8bit X-Trace: s1.news.oleane.net 1188378062 9882 195.25.228.57 (29 Aug 2007 09:01:02 GMT) X-Complaints-To: abuse@oleane.net NNTP-Posting-Date: Wed, 29 Aug 2007 09:01:02 +0000 (UTC) User-Agent: Thunderbird 2.0.0.6 (Windows/20070728) In-Reply-To: <1188373703.936484.105650@w3g2000hsg.googlegroups.com> Xref: g2news2.google.com comp.lang.ada:1584 Date: 2007-08-29T10:41:26+02:00 List-Id: Maciej Sobczak a �crit : > As I understand, the Ravenscar profile forbids dynamically created > tasks - all tasks have to be created at the library level. > [...] > One obvious way to pass the requested number of tasks is to use > program parameters. > > I don't see how this can be implemented within the constraint that all > tasks have to be created at the library level. Just declare a (global) array of tasks, whose size is computed from the parameters. The issue with Ravenscar is not that the tasks must be library level, it is that the number of tasks must be statically known. One goal of Ravenscar is to be able to predict memory usage, and that would be clearly impossible if the number of tasks is not statically known. Yes, there is a lot of pretty nice things that you can't do under Ravenscar constraints. That's the price for safety. -- --------------------------------------------------------- J-P. Rosen (rosen@adalog.fr) Visit Adalog's web site at http://www.adalog.fr