References:
References: Memory Consistency Models: A Tutorial Memory Consistency: the problem of defining how parallel threads can observe their shared memory state. A memory consistency model is a contract between the hardware and software. The hardware promises to only reorder operations in ways allowed by the model, and in return, the software acknowledges that all such reorderings are possible and that it needs to account for them. Sequential Consistency Sequential consistency (SC): single main memory + program order.
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?