We cannot enforce sequential consistency if we have write buffers because our writes are not guaranteed to complete before the next instruction is executed. This is why we need to come up with a new, more complex invariant to enforce like TSO.
Please log in to leave a comment.
We cannot enforce sequential consistency if we have write buffers because our writes are not guaranteed to complete before the next instruction is executed. This is why we need to come up with a new, more complex invariant to enforce like TSO.