From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-return-156829-listarch-gcc=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 16246 invoked by alias); 25 Sep 2009 15:48:40 -0000
Received: (qmail 16238 invoked by uid 22791); 25 Sep 2009 15:48:40 -0000
X-SWARE-Spam-Status: No, hits=-2.0 required=5.0 	tests=AWL,BAYES_00,J_CHICKENPOX_23
X-Spam-Check-By: sourceware.org
Received: from smtp23.services.sfr.fr (HELO smtp23.services.sfr.fr) (93.17.128.22)     by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Fri, 25 Sep 2009 15:48:35 +0000
Received: from filter.sfr.fr (localhost [127.0.0.1]) 	by msfrf2317.sfr.fr (SMTP Server) with ESMTP id 3E0557000096; 	Fri, 25 Sep 2009 17:48:33 +0200 (CEST)
Received: from [192.168.1.101] (228.156.90-79.rev.gaoland.net [79.90.156.228]) 	by msfrf2317.sfr.fr (SMTP Server) with ESMTP id E43F37000092; 	Fri, 25 Sep 2009 17:48:32 +0200 (CEST)
X-SFR-UUID: 20090925154832935.E43F37000092@msfrf2317.sfr.fr
Subject: Re: Any tips for debugging a GNAT tasking implementation problem?
From: Laurent GUERBY <laurent@guerby.net>
To: Dave Korn <dave.korn.cygwin@googlemail.com>
Cc: "gcc@gcc.gnu.org" <gcc@gcc.gnu.org>
In-Reply-To: <4ABC2F40.7020905@gmail.com>
References: <4ABC2F40.7020905@gmail.com>
Content-Type: text/plain
Date: Fri, 25 Sep 2009 16:05:00 -0000
Message-Id: <1253893711.18435.200.camel@localhost>
Mime-Version: 1.0
Content-Transfer-Encoding: 7bit
X-IsSubscribed: yes
Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <http://gcc.gnu.org/ml/>
Sender: gcc-owner@gcc.gnu.org
X-SW-Source: 2009-09/txt/msg00538.txt.bz2

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