特定类型锁定中的提交/中止问题| IEEE会议出版物| IEEE Xplore