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: 103376,4e5770c49b971630
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!feeder.news-service.com!2a02:590:1:1::196.MISMATCH!news.teledata-fn.de!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: High-Integrity OO and controlled types
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <d8204576-14ff-41a4-b850-ace9c15872d4@v8g2000yqb.googlegroups.com>
 <679e3217-98dd-43c1-86f6-2038a029c3ea@b19g2000yqg.googlegroups.com>
 <94f3a272-d071-4a74-bfbd-8f2b4c2347cf@m10g2000yqd.googlegroups.com>
 <cba1e286-d160-4f75-aebc-74f82ce78f30@26g2000yqa.googlegroups.com>
 <beefc106-01b0-4dec-ae7b-2ef41b1c7c78@b19g2000yqg.googlegroups.com>
 <f6e72476-0dca-4ab8-bfdf-94a0ddf7a7dc@j26g2000yqa.googlegroups.com>
 <4dbfe6cc$0$7664$9b4e6d93@newsspool1.arcor-online.net>
 <1in9ypl17vu1t$.1shivr91x8zw6.dlg@40tude.net>
 <4dc01dca$0$6885$9b4e6d93@newsspool2.arcor-online.net>
 <1ds39akl3dbii$.mlyj7piip5o3.dlg@40tude.net>
 <4dc112cf$0$6772$9b4e6d93@newsspool3.arcor-online.net>
 <gbwm0iuo4ed4$.1e5m2ye4kvqqj$.dlg@40tude.net>
 <4dc166bd$0$6973$9b4e6d93@newsspool4.arcor-online.net>
 <1ligthpgu6ogv$.dquevy2bn4tw$.dlg@40tude.net>
 <4dc16ff7$0$6985$9b4e6d93@newsspool4.arcor-online.net>
Date: Wed, 4 May 2011 18:23:57 +0200
Message-ID: <1wtqj5ym270iw.11hopx6y7w1co$.dlg@40tude.net>
NNTP-Posting-Date: 04 May 2011 18:23:55 CEST
NNTP-Posting-Host: f487199a.newsspool1.arcor-online.net
X-Trace: 
 DXC=B[g>XYg^^f`FXUDVUnEXQmic==]BZ:afn4Fo<]lROoRa<`=YMgDjhgbBegFcK<>=`n[6LHn;2LCVn[<mhadbfdUklh<j>Um6fFnlCmajc`Qdei
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:20127
Date: 2011-05-04T18:23:55+02:00
List-Id: <comp.lang.ada>

On Wed, 04 May 2011 17:25:43 +0200, Georg Bauhaus wrote:

> On 04.05.11 17:01, Dmitry A. Kazakov wrote:
> 
>> This looks like the "checkpoint synchronization problem".
> 
> That's part of it.
> 
>>    http://rosettacode.org/wiki/Checkpoint_synchronization
> 
> Try adding pragma Profile (Ravenscar) there ;.)

I don't care much about Ravenscar, which is too limiting for almost
anything. There are limitations to make life easier for the readers and
ones for the compiler and prover. They are not same, some contradict to the
goals of each other. I always choose the former over the latter.

> Is there really little overhead when Restore is replaced
> with some objects?

[...]

Negligible since used upon an exception, which I hope is not to propagate
at 100ns rate.

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