From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: multiple delay alternative
Date: Tue, 6 Mar 2018 16:17:11 +0100
Date: 2018-03-06T16:17:11+01:00 [thread overview]
Message-ID: <p7mbdm$qms$1@gioia.aioe.org> (raw)
In-Reply-To: 212bf1a1-1bcc-4474-b1f6-b98c1461ff07@googlegroups.com
On 06/03/2018 14:43, Mehdi Saada wrote:
>> The difference is that execution of the body of a protected function/procedure/entry is logically instant. Therefore a protected function or
> procedure logically never waits = never blocked.
>> Functions are like procedures except that logically allowed to run parallel to each other. Ok, but aren't calls on protected procedures blocked when other tasks is executing them ?
> And, hum, I don't understand of "logically" stuff, I would like to stick with practical cases for the moment...
Logically = in the sense of program logic.
A practical case is when you looping in a protected body when other
tasks try to insert or read something into/from a shared container
object, totally unrelated to the said body.
If the implementation of exclusion is based on taking a process-wide
spin lock, the body would block all container operations, while the
program logic would view these container operations non-blocking.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2018-03-06 15:17 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-03-04 18:22 multiple delay alternative Mehdi Saada
2018-03-05 0:21 ` Mehdi Saada
2018-03-05 4:08 ` Bojan Bozovic
2018-03-05 10:17 ` Robert Eachus
2018-03-05 8:15 ` Dmitry A. Kazakov
2018-03-05 9:23 ` AdaMagica
2018-03-05 10:32 ` Bojan Bozovic
2018-03-05 13:50 ` Mehdi Saada
2018-03-05 14:35 ` Dmitry A. Kazakov
2018-03-05 15:09 ` Mehdi Saada
2018-03-06 11:05 ` Dmitry A. Kazakov
2018-03-05 17:37 ` Jeffrey R. Carter
2018-03-05 23:28 ` Simon Wright
2018-03-06 0:11 ` Anh Vo
2018-03-06 1:50 ` Mehdi Saada
2018-03-06 6:00 ` Robert Eachus
2018-03-06 6:03 ` J-P. Rosen
2018-03-06 16:36 ` Jeffrey R. Carter
2018-03-06 10:31 ` Mehdi Saada
2018-03-06 11:18 ` Dmitry A. Kazakov
2018-03-06 13:43 ` Mehdi Saada
2018-03-06 15:17 ` Dmitry A. Kazakov [this message]
2018-03-06 20:06 ` 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