[bcatanzaro]

Are there any performance benchmarks to show when this kind of approach is useful over less exotic solutions?

[bonzini]

We used transactional memory in QEMU to emulate load-locked/store-conditional instructions, and it had much better performance than instrumenting each store manually (20%, I think).