From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: High-Integrity OO and controlled types
Date: Wed, 4 May 2011 18:23:57 +0200
Date: 2011-05-04T18:23:55+02:00 [thread overview]
Message-ID: <1wtqj5ym270iw.11hopx6y7w1co$.dlg@40tude.net> (raw)
In-Reply-To: 4dc16ff7$0$6985$9b4e6d93@newsspool4.arcor-online.net
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
next prev parent reply other threads:[~2011-05-04 16:23 UTC|newest]
Thread overview: 32+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-05-01 20:38 High-Integrity OO and controlled types Maciej Sobczak
2011-05-01 21:29 ` Robert A Duff
2011-05-01 22:44 ` Simon Wright
2011-05-02 7:59 ` Dmitry A. Kazakov
2011-05-02 16:32 ` Robert A Duff
2011-05-02 19:39 ` Dmitry A. Kazakov
2011-05-03 0:08 ` Robert A Duff
2011-05-03 7:30 ` Dmitry A. Kazakov
2011-05-03 16:51 ` Robert A Duff
2011-05-02 9:50 ` Cyrille
2011-05-02 10:01 ` Cyrille
2011-05-02 19:25 ` Maciej Sobczak
2011-05-03 9:32 ` Cyrille
2011-05-03 9:59 ` Maciej Sobczak
2011-05-03 10:24 ` Dmitry A. Kazakov
2011-05-03 16:53 ` Robert A Duff
2011-05-03 17:37 ` Dmitry A. Kazakov
2011-05-03 11:28 ` Georg Bauhaus
2011-05-03 12:27 ` Dmitry A. Kazakov
2011-05-03 15:22 ` Georg Bauhaus
2011-05-03 16:28 ` Dmitry A. Kazakov
2011-05-04 8:48 ` Georg Bauhaus
2011-05-04 9:28 ` Dmitry A. Kazakov
2011-05-04 14:46 ` Georg Bauhaus
2011-05-04 15:01 ` Dmitry A. Kazakov
2011-05-04 15:25 ` Georg Bauhaus
2011-05-04 16:23 ` Dmitry A. Kazakov [this message]
2011-05-04 17:06 ` Georg Bauhaus
2011-05-04 20:16 ` Dmitry A. Kazakov
2011-05-05 7:13 ` Maciej Sobczak
2011-05-05 10:58 ` Cyrille
2011-05-05 12:35 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox