From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: "J-P. Rosen" <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: What is your opinion on Global Objects?
Date: Wed, 19 Nov 2014 11:22:59 +0100
Organization: A noiseless patient Spider
Message-ID: <m4hr1n$f5a$1@dont-email.me>
References: <Joxaw.777571$yK.135556@fx14.iad>
 <m4ec9k$n7r$2@dont-email.me>	<jKyaw.452871$_r4.180027@fx25.iad>
 <m4fa86$ccf$1@dont-email.me> <OzTaw.281638$lO7.189293@fx26.iad>
 <m4h19j$l1v$1@dont-email.me> <QaZaw.72298$Ft2.63224@fx27.iad>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 19 Nov 2014 10:22:47 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="23dab0694e4174fdc880833ec67fa650";
	logging-data="15530"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18eAfh7/3bKSTxo0Qaire9Y"
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64;
 rv:31.0) Gecko/20100101 Thunderbird/31.2.0
In-Reply-To: <QaZaw.72298$Ft2.63224@fx27.iad>
Cancel-Lock: sha1:w639t1JqXaz9QQiY6UgxlXd3X+k=
Xref: news.eternal-september.org comp.lang.ada:23546
Date: 2014-11-19T11:22:59+01:00
List-Id: <comp.lang.ada>

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