Previous | Next --- Slide 42 of 75
Back to Lecture Thumbnails

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.