Let's think about the case that a master issues a exclusive write transaction to a slave.
On the AXI Specifiaction document, it says that if the slave doesn't support "Exclusive Accesss", then it will always update the target.
But what about the response?
If the slave respond with "OKAY", the master may think that target is not updated. ("OKAY" is error response for the exclusive write transaction)
But, as slave doesn't support "Exclusive Access", it can not respond with "EXOKAY".
How can slave handle this case?
I'm just wondering why this document cares about the case that master send an Exclusive write to the slave which does not support Exclusive access.
As you said if exclusvice read always precedes exclusive write, this will never happen.