comp.lang.ada
 help / color / mirror / Atom feed
From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: What is your opinion on Global Objects?
Date: Wed, 19 Nov 2014 11:22:59 +0100
Date: 2014-11-19T11:22:59+01:00	[thread overview]
Message-ID: <m4hr1n$f5a$1@dont-email.me> (raw)
In-Reply-To: <QaZaw.72298$Ft2.63224@fx27.iad>

Le 19/11/2014 10:13, Hubert a écrit :
> Ok this is still an access of the global object directly from a
> subprogram. The subprogram then accesses the variable with the data
> ijnternally which is the same as accessing a global object. The data
> object itself is not passed through the parameters of the subprogram
> that uses it.
<Plug>
Note that AdaControl (rule Directly_Accessed_Globals) can enforce that
this pattern is used safely. From the User's Guide:

"this rule enforces that all global variables are accessed by dedicated
access subprograms, and that only those subprograms access the variables
directly. If given with the keyword “protected” and/or “accept”, it
enforces that global variables are accessed only by dedicated protected
subprograms or tasks, ensuring that no race condition is possible"
</Plug>

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr

  reply	other threads:[~2014-11-19 10:22 UTC|newest]

Thread overview: 27+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-11-18  1:36 What is your opinion on Global Objects? Hubert
2014-11-18  2:52 ` Jeffrey Carter
2014-11-18  3:08   ` Hubert
2014-11-18  3:16     ` Shark8
2014-11-18  5:09     ` Jeffrey Carter
2014-11-18 11:23     ` Brian Drummond
2014-11-19  2:50       ` Hubert
2014-11-19  3:03         ` Jeffrey Carter
2014-11-19  9:13           ` Hubert
2014-11-19 10:22             ` J-P. Rosen [this message]
2014-11-19 17:37             ` Jeffrey Carter
2014-11-20 16:34         ` Stephen Leake
2014-11-20 21:11           ` Adam Beneschan
2014-11-21 15:25             ` Stephen Leake
2014-11-21 21:53             ` Randy Brukardt
2014-11-21  1:25           ` Hubert
2014-11-21  3:00           ` Brad Moore
2014-11-19 10:11   ` Jacob Sparre Andersen
2014-11-20  6:21     ` Hubert
2014-11-18  8:54 ` Dmitry A. Kazakov
2014-11-20 20:33 ` sbelmont700
2014-11-20 21:35   ` J-P. Rosen
2014-11-21  1:02     ` sbelmont700
2014-11-21  1:31       ` Hubert
2014-11-21  9:01     ` Dmitry A. Kazakov
2014-11-22  7:46       ` J-P. Rosen
2014-11-22  9:02         ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox