Transactional Write (WriteT)

• Once per object written in this transaction:

  • find writable version
  • create (by cloning) if necessary

• Analysis and rewriting can offer big wins

• Then, just write to the version.

Notes: