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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,385c146dd3112519
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news1.google.com!volia.net!news2.volia.net!feed-A.news.volia.net!news.musoftware.de!wum.musoftware.de!weretis.net!feeder2.news.weretis.net!news.teledata-fn.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Private or public task ?
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: 
 <a35584dd-8693-484d-918d-758940dccfe8@d37g2000yqa.googlegroups.com>
  <hki3p7$bas$1@tornado.tornevall.net>
 <38a0a3f9-b4a0-48f3-98c9-63b03fe03aca@q4g2000yqm.googlegroups.com>
  <e714f043-9fed-4e2b-b3d2-180b0364f0cf@d27g2000yqn.googlegroups.com>
 <f7048897-bce0-4e1d-8f49-85fe274d7292@v25g2000yqk.googlegroups.com>
 <narrkh.9g.ln@hunter.axlog.fr>
Date: Sat, 13 Feb 2010 12:09:48 +0100
Message-ID: <1qzbw9e846dvm.yazvlye24qxy$.dlg@40tude.net>
NNTP-Posting-Date: 13 Feb 2010 12:09:41 CET
NNTP-Posting-Host: ac900ae3.newsspool3.arcor-online.net
X-Trace: 
 DXC=[B?9Bna45ZB@k=MdN::NBIMcF=Q^Z^V3H4Fo<]lROoRA8kF<OcfhCOK;DQc\P1U9?N[6LHn;2LCVN[<mhadbfdUK64DZK9YO=9LU4Gf19@__MJ
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:9194
Date: 2010-02-13T12:09:41+01:00
List-Id: <comp.lang.ada>

On Tue, 09 Feb 2010 15:26:30 +0100, Jean-Pierre Rosen wrote:

> Hibou57 (Yannick Duch�ne) a �crit :
>> [...]
>> Sure a procedure of a protected type or object should be short and
>> quick to execute, but it seems to still remains potentially blocking.
> 
> There are two kinds of blockings: bounded and unbounded. The idea is
> that when computing a time budget, you can account for bounded
> blockings, but not unbounded ones.

I use another idiom: "instant" and "delayed". "Delayed" can be bounded, so
"delay D" being not unbounded is still not instant. "Instant" means that
whatever delay is caused by the call that does not change the program
semantics, as defined and to be respected by the programmer. Which is a
more or less formal definition for "short and quick".

On the caller's side protected procedures and functions are instant =
non-blocking. Protected entries are delayed = potentially blocking.

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