Re: High-Integrity OO and controlled types

[Maciej Sobczak <see.my.homepage@gmail.com>]

On May 2, 12:01 pm, Cyrille <co...@eu.adacore.com> wrote:

> not that useful in very critical part of a system. The most common use
> of controlled types is for dynamic memory management.

[...]

(this is in line with other responses)

Thank you, this explains it a bit. Note, however, that controlled
types can be also useful for more general resource management,
including I/O resources. It is not clear to me how much of it can be
expected in a typical (is there such a thing?) HI system, but
controlled types can add to the overall safety by ensuring proper
resource management, especially in the presence of exceptions - which
are inherent part of Ada, unless SPARK is involved.

Excluding controlled types altogether sounded like throwing baby out
with the water, but now the motivations are a bit more clear to me.

> Note that
> Ravenscar is just a restriction of the tasking model. So many
> different profiles can claim to be "Ravenscar" compliant. For some of
> our ports we provide 2 different ones: one less restricted than the
> other.

Now I understand.

--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com