Transactional Read (ReadT)

• Once per object read in this transaction:

  • ensure we're on list of readers
  • kill any writers

• Read field of object

• If this is not FLAG, you're done!

Notes: