From: CarlR-junk@houston.rr.com (Carl Franklin)
Subject: Finding library call information (GNAT-Linux)
Date: Mon, 30 Aug 2004 20:21:57 GMT
Date: 2004-08-30T20:21:57+00:00 [thread overview]
Message-ID: <CarlR-junk-3008041521580001@192.168.1.101> (raw)
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)
***********---------------************-----------------************
next reply other threads:[~2004-08-30 20:21 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-08-30 20:21 Carl Franklin [this message]
2004-08-30 21:29 ` Finding library call information (GNAT-Linux) David C. Hoos
2004-08-30 22:04 ` Carl Franklin
2004-08-31 12:56 ` Georg Bauhaus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox