Re: High-Integrity OO and controlled types

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Sun, 01 May 2011 17:29:10 -0400, Robert A Duff wrote:

> Maciej Sobczak <see.my.homepage@gmail.com> writes:
> 
>> "Controlled types are not supported since they require extensive run-
>> time support."

A prejudice

>> This is surprising to me. I don't see anything in controlled types
>> that would require "extensive run-time support".
> 
> Most of the "extensive run-time support" comes from heap-allocated
> objects containing controlled parts.
> 
> If you say (for example, perhaps in a nested scope):
> 
>     type A is access T'Class;
>     type T2 is new T with ...;
>     X : A := new T2'(...);
[...]
> Finalization also needs to deal with partially-initialized objects,
> and finalize exactly those subcomponents that were successfully
> initialized.
>
> That's all "extensive run-time support".

No, that is an extensive run-time support of dynamically allocated
controlled objects. Any dynamically allocated object requires run-time
support (e.g. heap), which can be considered extensive.

Regarding Finalization, that is not "support", it is a part of the type's
semantics. In this sense the ADD instruction is a run-time support of
Integer type, and thus the whole program's code is "support" of itself. 

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