1.4.3 检测数据争用和死锁的使用模型

如果要同时检测数据争用和死锁，请按照1.4.1 检测数据争用的使用模型中的三个步骤来检测数据争用，但要使用带有 -r race,deadlock 标志的 collect 命令来运行应用程序。实验将同时包含争用检测数据和死锁检测数据。