让我们来看看这段代码：问题来了，这段代码输出的结果是什么呢？它究竟能输出什么结果，上面的程序即使在崩溃的JVM上，仍然允许打印输出什么结果呢？让我们来看看这个程序做了什么：。接下来，我们需要构造一些测试用例来检查这些行为。我们可以很容易地将我们的test case写成JCStress可以识别的形式。事实上, 它已经为我们准备好了多种可能情况下的接口。我们需要一个例子，在这个例子中，2个线程并发地执行，执行的结果表示为2个布尔值。我们使用一个Actor2_Arbiter1_Test接口, 它将为我们的2个线程提供一些方法块和一个转换方法，这个转换方法将表示BitSet状态的结果转换成一对布尔值。这可以很容易地通过增加同步块相关设定值来实现。
暂无评论