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,2a5f6199c3cc0e8b X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.68.221.4 with SMTP id qa4mr15946988pbc.7.1330446518753; Tue, 28 Feb 2012 08:28:38 -0800 (PST) Path: h9ni19526pbe.0!nntp.google.com!news1.google.com!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail From: Matt Grochowalski Newsgroups: comp.lang.ada Subject: Re: Calling Ada from C (linux/gnat 4.3.2) Date: Tue, 28 Feb 2012 08:28:38 -0800 (PST) Organization: http://groups.google.com Message-ID: <29997634.331.1330446518435.JavaMail.geo-discussion-forums@ynca15> References: <8ba649f0-7ca1-4f05-a158-74b074e401ee@o19g2000vbk.googlegroups.com> NNTP-Posting-Host: 69.174.58.116 Mime-Version: 1.0 X-Trace: posting.google.com 1330446518 6522 127.0.0.1 (28 Feb 2012 16:28:38 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Tue, 28 Feb 2012 16:28:38 +0000 (UTC) In-Reply-To: <8ba649f0-7ca1-4f05-a158-74b074e401ee@o19g2000vbk.googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=69.174.58.116; posting-account=-y_NMAoAAAC0BNmbYoHmhLxxGm6pSzeQ User-Agent: G2/1.0 X-Google-Web-Client: true Content-Type: text/plain; charset=ISO-8859-1 Date: 2012-02-28T08:28:38-08:00 List-Id: On Tuesday, November 1, 2011 2:46:07 PM UTC-4, awdorrin wrote: > I am trying to port a program originally written on VxWork to Linux. > The main program is written in C and spawns new threads and in the new > threads calls are made to Ada procedures. > > In the original program, written with GreenHills AdaMulti, it appears > that there was a call being made that I am assuming was initializing > the Ada Runtime's task stack/control block (rts_init_task()) - however > this is just a guess. > > In the version of the program I am migrating, I was seeing things that > made me believe that the Ada thread's did not have their stacks setup > properly, so I added the -fstack-check flag to the build. > > Now, the C program creates the new thread, which calls the ada > procedure - and the moment the thread has an opportunity to run - the > application exits with 'raised STORAGE_ERROR : stack overflow > detected' > > I cannot get gdb to provide me a backtrace, since the program exits. > If I try to break on the ada procedure name, I get a break, but trying > to 'step' or 'next' keeps me in the main thread until a 'sleep' call > lets the other thread run - at which point it raises the exception. > > I am assuming that the ada runtime is initializing and the > STORAGE_ERROR is raised before it gets to execute any of the code in > my Ada procedure. > > I have been trying to search to find what the proper way would be to > call an Ada procedure from a C pthread, but have had zero luck. I also > have been unable to determine what the equivalent of the > 'rts_init_task' would be with Gnat. > > Any have any ideas? I have a simillar question using GCC 4.5.0 (the vanilla GNU distribution rather than AdaCore's). There doesn't seem to be any issues calling Ada procedures from threads created using pthread_create in C, but GDB shows system__secondary_stack__ss_mark returning the same value in all threads. Could this create race conditions?