Email Record: Principles of transactional memory /