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=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Thread: 103376,1d4af234350192fd X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news2.google.com!proxad.net!freenix!enst.fr!melchior!cuivre.fr.eu.org!melchior.frmug.org!not-for-mail From: "David C. Hoos" Newsgroups: comp.lang.ada Subject: Re: Finding library call information (GNAT-Linux) Date: Mon, 30 Aug 2004 16:29:52 -0500 Organization: Cuivre, Argent, Or Message-ID: References: NNTP-Posting-Host: lovelace.ada-france.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Trace: melchior.cuivre.fr.eu.org 1093901420 8308 212.85.156.195 (30 Aug 2004 21:30:20 GMT) X-Complaints-To: usenet@melchior.cuivre.fr.eu.org NNTP-Posting-Date: Mon, 30 Aug 2004 21:30:20 +0000 (UTC) To: "comp.lang.ada@ada.eu.org" Return-Path: X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1437 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1441 X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at ada-france.org X-BeenThere: comp.lang.ada@ada-france.org X-Mailman-Version: 2.1.4 Precedence: list List-Id: "Gateway to the comp.lang.ada Usenet newsgroup" List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Xref: g2news1.google.com comp.lang.ada:3188 Date: 2004-08-30T16:29:52-05:00 It is really difficult to answer questions like this which do not identify the hardware platform, OS version, and compiler version, but since we're talking about _some_ version of gnat, we can determine the following: The names with double underscores represent the link names of Ada subprograms as indicated by the many examples in the Gnat User Guide. The gnat source code for the subprograms in question documents in code and in comments what the subprograms do. For the name with only single underscores, a grep of the files in the adainclude directory reveals that it is the link name of a gnat subprogram exported so it can be called from C code. Here, again, what the subprogram does is documented in the source code. Hope this helps ----- Original Message ----- From: "Carl Franklin" Newsgroups: comp.lang.ada To: Sent: Monday, August 30, 2004 3:21 PM Subject: Finding library call information (GNAT-Linux) > We are chasing some problems... that are rather interesting... > > The environment - is a Simulation... > > containing a Robot arm, etc... > > We are on a multi-processor system (2 Pentium IIIs) > > Now, when a particular version of the arm was delivered - constraint > errors - typically having to do with double precision floating point > started occuring... (very intermittently)... and when they occur... they > occur in *flurries*... > > The personnel *instrumented* the code - and the results are very squirelly... > > Constaint Errors being returned for zero (a valid value) - other > times... constraint errors on a number (0 <- zero and by this I mean > 0.0)... multiplied by another number - returning some really interesting > values... > > The suspicion is that a driver might be stomping on a register - > however, that doesn't seem all that reasonable... > > Then, we created a little Double Precision test - and ran this as a > seperate process - runs for forever... or seemingly so... with no > problems... > > Then, we ran this little DP process while the Real-Time simulation was > active... and low & behold... intermittent errors (constraint problems)... > > Trying to delve deeper - I was given the assembly source for the program > - and am trying to instrument at a *somewhat lower* level (smile)... than > we can do from ADA code... > > Getting the assembly listing - there are several *calls*... that appear > to be ada/system libraries. The *system* is not Linux system - as the > text strings are not found going through Linux source repository *free > text* searches (or identifier searches)... So, perhaps they are *Ada > System* interfaces... > > I am wondering where to find information about the calls and the results > I should expect... (what the heck they are doing)... > > specifically the following calls are of interests... > system__arith_64__multiply_with_ovflo_check > _gnat_stack_check > system__secondary_stack__ss_allocate > > and several others... > > I'm wondering - where I can find the *source* or documentation on this > *called* routines... So, I'll be able to completely understand the flow > within the assembly code... > > Thank You for Any assistance!, > Carl R. Franklin > > -- > Just me, > Carl R. Franklin > ***********---------------************-----------------************ > There is never a need to outrun anything you can outwit - Garfield (the cat) > ***********---------------************-----------------************ > _______________________________________________ > comp.lang.ada mailing list > comp.lang.ada@ada-france.org > http://www.ada-france.org/mailman/listinfo/comp.lang.ada >