Internals# TM methods and method groups TM method life cycle Selecting the default method Nesting: flat vs. closed Locking conventions State-to-lock mapping Lock acquisition order Serial lock implementation Reentrancy Privatization safety Progress guarantees