Examining ARM vs. x86 Memory Models with Rust

Re:Examining ARM vs. x86 Memory Models with Rust by zozbot234 on Saturday June 27, 2020 @07:09AM (#23661045)

> Or Intel may start to allow developers to relax memory correctness guarantees on a process by process granularity

If Intel can allow developers/OS's to relax guarantees, why can't ARM allow OS's to strengthen them as necessary, while still keeping a relaxed memory model most of the time?

[ Parent | on HN ]

Re:Examining ARM vs. x86 Memory Models with Rust by reitzensteinm on Saturday June 27, 2020 @07:17AM (#23661077)

Sure, although you'd probably be better off with strong by default with opt in weakness.

The amount of testing and verification in making sure something like Postgres runs well on a different memory order more is substantial. Adding the flag at the end is trivial.

This way around, software is correct by default unless it explicitly asks to be unsafe.

[ Parent | on HN ]