Semantics of transactional memory and automatic mutual exclusion

Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming, but the semantics of these features can be delicate and problema...