transactional operation is properly @synchronized now