From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: Tasking troubles, unexpected termination.
Date: Tue, 30 Oct 2012 18:05:58 -0700 (PDT)
Date: 2012-10-30T18:05:58-07:00 [thread overview]
Message-ID: <70f69b68-49cc-428a-a93a-46d3d0599c4d@googlegroups.com> (raw)
In-Reply-To: <66a5aec1-454d-404e-81ef-e43eb3eaba44@googlegroups.com>
On Tuesday, October 30, 2012 4:01:11 PM UTC-7, Adam Beneschan wrote:
> On Tuesday, October 30, 2012 3:03:45 PM UTC-7, Shark8 wrote: > Also, if there is some tasking-exceptions interaction, how do I force them to display [and/or handle them] instead of falling off a cliff? Have you looked into Ada.Task_Termination? (RM C.7.3) That's just the first thought off the top of my head; I haven't looked at your code closely. -- Adam
Using Ada.Task_Termination to monitor the tasks in this program, I got the following results showing task K terminated due unhandled exception PROGRAM_ERROR.
C:\Ada_2005\gps_gpr\Aspect_Programming\scheduling
New Length: 2
New Length: 3
New Length: 4
New Length: 5
New Length: 6
New Length: 7
New Length: 8
New Length: 9
New Length: 10
Message: DD 10
Task k_003F5838 ran for 0 and 0.000000000 seconds
Task k_003F5838 is terminated due to UNHANDLED_EXCEPTION termination
Exception name: PROGRAM_ERROR
Message: attempt to tamper with cursors (vector is busy)
Task main_task_003F5008 ran for 0 and 0.109375000 seconds
Task main_task_003F5008 is terminated due to NORMAL termination
[2012-10-30 18:00:35] process terminated successfully (elapsed time: 20.60s)
next prev parent reply other threads:[~2012-10-31 1:05 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-10-30 22:03 Tasking troubles, unexpected termination Shark8
2012-10-30 23:01 ` Adam Beneschan
2012-10-31 1:05 ` Anh Vo [this message]
2012-10-31 2:17 ` Shark8
2012-10-31 2:59 ` Shark8
2012-11-02 16:02 ` Anh Vo
2012-11-01 9:39 ` AdaMagica
2012-11-02 1:18 ` Shark8
2012-11-02 16:43 ` Adam Beneschan
2012-11-02 16:51 ` Shark8
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox