comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: About protected objects: entries with barriers depending on external data = bad practice ?
Date: Sun, 12 Nov 2017 08:32:11 +0100
Date: 2017-11-12T08:32:11+01:00	[thread overview]
Message-ID: <ou8tds$1hgo$1@gioia.aioe.org> (raw)
In-Reply-To: eba98c11-5a28-476d-b508-96e73469a256@googlegroups.com

On 2017-11-12 06:23, reinert wrote:

> Assume a protected entry with a barrier depending on external data -
> and it is waiting for its barrier to become true. It must be 
> laborious to check the barrier depending on something "far-far away"?
> How is this checking done in practice? The entry waits for other
> entries, procedures or functions and when they arrive, it may start
> before them? Or  something more efficient?

Barrier is evaluated only when required to. E.g. in the case of a 
protected object after you leave an object's procedure or entry. Updates 
from outside are most likely ignored.

> Letting barriers depend on external data = asking for trouble?

Well, most of the time.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

  reply	other threads:[~2017-11-12  7:32 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-11-12  5:23 About protected objects: entries with barriers depending on external data = bad practice ? reinert
2017-11-12  7:32 ` Dmitry A. Kazakov [this message]
2017-11-12  8:15   ` Simon Wright
2017-11-12 10:02 ` Jeffrey R. Carter
2017-11-16  1:03 ` 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