STM in Managed Runtimes: High-Level Language Semantics (MICRO 07 Tutorial) Dan Grossman University of Washington 2 December 2007 Dan Grossman, MICRO Tutorial (STM Semantics)…