From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: About task-safeness
Date: Wed, 02 Feb 2011 23:38:21 +0100
Date: 2011-02-02T23:38:21+01:00 [thread overview]
Message-ID: <iicmcn$o73$1@news.eternal-september.org> (raw)
In-Reply-To: <06ecb5ab-a9e5-4a5d-9370-6bbe137d3693@glegroupsg2000goo.googlegroups.com>
Le 02/02/2011 21:51, mockturtle a �crit :
> Of course, one could do a review of all the packages to check for
> this type of problems, but since an Ada compiler has the good habit
> of protecting you from yourself, I searched for a way to have the
> compiler to check the task-safety of the packages used by tasks.
Or you can use AdaControl, have a look at rule Global_References.
This can check all global variables accessed from more than one task
(and it does so by following the call graph).
--
---------------------------------------------------------
J-P. Rosen (rosen@adalog.fr)
Adalog a d�m�nag� / Adalog has moved:
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
next prev parent reply other threads:[~2011-02-02 22:38 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-02-02 20:51 About task-safeness mockturtle
2011-02-02 21:01 ` Vinzent Hoefler
2011-02-02 21:14 ` mockturtle
2011-02-02 22:16 ` Maciej Sobczak
2011-02-02 22:28 ` Shark8
2011-02-02 22:40 ` Peter C. Chapin
2011-02-03 8:33 ` Dmitry A. Kazakov
2011-02-03 17:59 ` Vinzent Hoefler
2011-02-02 22:38 ` J-P. Rosen [this message]
2011-02-03 2:44 ` Randy Brukardt
2011-02-03 8:53 ` Niklas Holsti
2011-02-03 11:07 ` Georg Bauhaus
2011-02-03 11:22 ` AdaMagica
2011-02-03 18:13 ` Jeffrey Carter
2011-02-04 0:33 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox