On 3/25/26 10:55 AM, Kevin Chadwick via Dng wrote:
>
>
> -------- Original Message --------
>
>> I did not argue about this. I mentioned that there is an overhead..
>
> There is but C punts this to the OS mitigations like ASLR which in
> Linux/Windows/BSDs case is even more of a performance hit than the targetted
> runtime checks.

ASLR by itself should have minimal to no performance impact on
architectures with RIP-relative addressing. This excludes 32-bit x86 but
x86-64 suffers no impact.

> Ada SPARK can have far more safety than Rust and have no performance hit at all.
> I wonder how much faster it would be with the OS mitigations removed.

What makes SPARK "far more" safe than Rust? As I understand both
languages have some features that the other lack, but otherwise both are
able to achieve full memory safety/defined behavior (and have an "escape
hatch" for situations that warrant it).

> -- 
> All the best,
>               Kevin Chadwick

David