4 ms·

Interesting what the authors say about how complicated and inconsistent x86_64 semantics are. That specs of semantics written by humans contain errors. I can

Interesting what the authors say about how complicated and inconsistent x86_64 semantics are. That specs of semantics written by humans contain errors. I can only hope that ARM has learned from Intel's mistakes and the situation is better with their CPUs. How can we hope for bug-free software when even ISA semantics aren't clear?

als0 4y ago
> I can only hope that ARM has learned from Intel's mistakes and the situation is better with their CPUs. How can we hope for bug-free software when even ISA semantics aren't clear? ARM's research division has spent a great deal of time on this topic. This is a good introduction and describes where they were at in 2018: https://alastairreid.github.io/talks/formalizing-arm-specs-ACSD-2018-06-15.pdf https://alastairreid.github.io/talks/formalizing-arm-specs-A...