An effective hybrid transactional memory system with strong isolation guarantees