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
> >
> > $
