我正在努力掌握JCStress。为了确保我理解它，我决定为我知道必须正确的东西编写一些简单的测试:java.util.concurrent.locks.ReentrantReadWriteLock。我写了一些非常简单的测试来检查锁定模式的兼容性。不幸的是，其中两项压力测试失败了:X_S:true,true32,768FORBIDDENNodefaultcaseprovided,assumeFORBIDDENX_X:true,true32,767FORBIDDENNodefaultcaseprovided,assumeFORBIDDEN在我看来，一个线程不应该持有读锁，而另一个线程也持有