Bugs Found

• Memory management

  • reference counting, object recycling

• Read caching

  • check freshness of copies in local variables

• “Big” bug

  • missing abort of readers during a non-transactional write (field copy back)

Notes: