Non-transactional Write (WriteNT)

• If value-to-write is not FLAG:

  • LL(readers)
  • check that it's empty
  • SC(field)

• If unsuccessful

  • kill readers and writers
  • repeat

Notes: