环记忆化标记，不可达也能判断