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=0.7 required=5.0 tests=BAYES_00,MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,b5a423f2d50e9a6 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2000-11-20 18:00:10 PST Path: supernews.google.com!sn-xit-02!supernews.com!sienna.impulse.net!newsxfer.interpacket.net!newsfeed.mathworks.com!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail From: Robert Dewar Newsgroups: comp.lang.ada Subject: Re: Where is the Ada for LINUX Team site? Date: Tue, 21 Nov 2000 01:52:32 GMT Organization: Deja.com - Before you buy. Message-ID: <8vckgu$eui$1@nnrp1.deja.com> References: <8v9klo$rgl$1@neptunium.btinternet.com> <8v9vgk$v8j$06$1@news.t-online.com> <8va26k$bqb$1@nnrp1.deja.com> <9t5j1ts2m031nfi5g9lkj1837ttv6lhvm9@4ax.com> NNTP-Posting-Host: 205.232.38.240 X-Article-Creation-Date: Tue Nov 21 01:52:32 2000 GMT X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; I) X-Http-Proxy: 1.0 x71.deja.com:80 (Squid/1.1.22) for client 205.232.38.240 X-MyDeja-Info: XMYDJUIDrobert_dewar Xref: supernews.google.com comp.lang.ada:2307 Date: 2000-11-21T01:52:32+00:00 List-Id: In article <9t5j1ts2m031nfi5g9lkj1837ttv6lhvm9@4ax.com>, David Gressett wrote: > For problem 2), how simple is simple?, i.e., what kind of > stuff breaks when run with Linux threads? All we can say is that GNAT is strictly conforming with Annex D of the RM when FSU threads are used, and the semantics in this case can be determined from the RM. If Linux threads are used, you get standard Linux threads dispatching behavior, and you should consult the relevant Linux documentation to understand exactly what that means. For sure, the Linux threads are NOT Annex D compliant, but we do not attempt to exactly characterize the disparity. We do not expect this situation to change for the 3.14 release, so if you need exact RM compliance, you must use FSU threads. Sent via Deja.com http://www.deja.com/ Before you buy.