I want to talk about pragmatic approaches to defining transactional memory semantics in the short to medium term, specifically for unsafe languages such as C and C++.  Specific topics will include how supposedly-simple specifications such as Single Lock Atomicity address semantics of features not already included in the underlying language (such as explicit abort), progress properties, memory models, exceptions, etc.