Conclusions

• Transactional/non-transactional cooperation is really a lot like STM/HTM cooperation

  • same mechanism can be used!

• The Large Object Problem can be solved!

  • Good news for object-based transactions
  • Compiler and analysis benefits to reap

• Writing correct transaction protocols is hard

  • Model checking can help

Notes: