Store Buffer holds store operation before it is commited to Cache or Main Memory.
So only if the proper store buffer entry is drained, can we get the right data by a load operation. Am I right?
If yes, is it possible that we read a unexpected value after a write without a drain request(e.g. DMB)?