all memory is allocated statically in this use case and invalid memory accesses are very unlikely to happen

Reply to this note

Please Login to reply.

Discussion

Is there parallel or concurrent execution?

Concurrent.

Rust is still safer by default when concurrency is involved. There are C/C++ techniques to narrow the gap (MISRA) as well as formal verification systems (Frama-C). You can also liberally define critical sections by disabling interrupts