I think Haskell's Software Transactional Memory has used this novel write-snapshot isolation level for close to two decades.