A small discrepancy between the behavior of the SDE and the behavior of a real (Skylake) processor with regards to RTM emulation (with -rtm-mode full). For access violations such as writing to read-only memory during a transaction, the SDE will allow the transaction to continue and not cause an abort until the transaction attempts to commit; whereas in a real processor, the access violation causes an immediate abort.
Not a major issue but thought I'd document it here.
You are correct.
There is a discrepancy between SDE and HW.
SDE will attempt to write to the memory only on commit of the transaction.
We will look into this issue and will solve it.