Runtime checking of serializability in software transactional memory