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: a07f3367d7,90f102dfe8637c27 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!postnews.google.com!j21g2000yqe.googlegroups.com!not-for-mail From: Ludovic Brenta Newsgroups: comp.lang.ada Subject: Re: Switching tasking implementation? Date: Wed, 26 Aug 2009 10:38:28 -0700 (PDT) Organization: http://groups.google.com Message-ID: <23698bbf-97c8-493d-a4ce-c515406652d3@j21g2000yqe.googlegroups.com> References: <87r5uyix68.fsf@jspa-nykredit.sparre-andersen.dk> NNTP-Posting-Host: 153.98.68.197 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1251308310 2848 127.0.0.1 (26 Aug 2009 17:38:30 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Wed, 26 Aug 2009 17:38:30 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: j21g2000yqe.googlegroups.com; posting-host=153.98.68.197; posting-account=pcLQNgkAAAD9TrXkhkIgiY6-MDtJjIlC User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.9.1.2) Gecko/20090729 Firefox/3.5.2,gzip(gfe),gzip(gfe) Xref: g2news2.google.com comp.lang.ada:7999 Date: 2009-08-26T10:38:28-07:00 List-Id: Jacob Sparre Andersen wrote on comp.lang.ada: > If I remember correctly, the version of GNAT distributed with Debian > supports more than one tasking implementation. > > Do I remember correctly? =A0How do I select which implementation to use? No, the two run-time libraries shipped in Debian allow you to choose either zero-cost or setjump/longjump exception handling mechanisms. The tasking model always uses the 1:1 model where each Ada task corresponds to a kernel thread. I vaguely remember there used to be a n:1 model where all Ada tasks would run in the same kernel thread, doing scheduling in userspace. I'm not sure whether this model is still available or not nowadays. Could you please look this up in the GCC installation manual? This was a configure option IIRC. -- Ludovic Brenta.