This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Any tips for debugging a GNAT tasking implementation problem?
- From: Laurent GUERBY <laurent at guerby dot net>
- To: Dave Korn <dave dot korn dot cygwin at googlemail dot com>
- Cc: "gcc at gcc dot gnu dot org" <gcc at gcc dot gnu dot org>
- Date: Fri, 25 Sep 2009 17:48:31 +0200
- Subject: Re: Any tips for debugging a GNAT tasking implementation problem?
- References: <4ABC2F40.7020905@gmail.com>
Hi,
I'd say from the symptoms tasking doesn't work at all, could you try
with a simpler testcase:
-- begin tt.adb
with Ada.Text_IO; use Ada.Text_IO;
procedure TT is
task T;
task body T is
begin
Put_Line ("task");
end;
begin
Put_Line ("main");
end;
-- end tt.adb
To my knowledge once "created" an Ada task will immediately start
executing user program code with magic synchronization lock.
Sincerely,
Laurent
On Fri, 2009-09-25 at 03:47 +0100, Dave Korn wrote:
> Hi all,
>
> Over on the cygwin-improvements branch(*) I've got a fairly nifty fully
> POSIX-based port of Ada, but there's one FAIL on the gnat testsuite that I'm
> trying to debug. It could be a bug in the port, or the testcase might have
> stressed an underlying bug in Cygwin's pthread functions. I'm hoping to get
> some pointers to help me understand the architecture of the tasking control in
> GNAT.
>
> The failing case is gnat.dg/task_stack_align.adb, which fails like so:
>
> > $ ./task_stack_align.exe
> >
> > raised TASKING_ERROR : Failure during activation
> >
> > $