标签: jcstress

我正试图掌握JCStress.为了确保我理解它,我决定为我知道必须正确的东西写一些简单的测试:java.util.concurrent.locks.ReentrantReadWriteLock.

我写了一些非常简单的测试来检查锁模式兼容性.不幸的是,有两项压力测试失败了:

1. X_S:

   true, true        32,768     FORBIDDEN  No default case provided, assume FORBIDDEN
   

   Run Code Online (Sandbox Code Playgroud)

2. X_X:

   true, true        32,767     FORBIDDEN  No default case provided, assume FORBIDDEN
   

   Run Code Online (Sandbox Code Playgroud)

在我看来,一个线程不应该能够保持读锁定,而另一个线程也保持写锁定.同样,两个线程不可能同时保持写锁定.

我意识到这个问题很可能没有ReentrantReadWriteLock.我想我可能在jcstress测试中犯了一些关于JMM和读取锁状态的愚蠢错误.

不幸的是,我无法发现问题.有人可以帮我理解我所犯的(愚蠢？)错误吗？

import org.openjdk.jcstress.annotations.*;
import org.openjdk.jcstress.infra.results.ZZ_Result;

import java.util.concurrent.locks.ReentrantReadWriteLock;

/*
 * |-----------------|
 * |  COMPATIBILITY  |
 * |-----------------|
 * |     | S   | X   |
 * |-----------------|
 * | S   | YES | NO  |
 * | X   | NO  | NO  |
 * |-----------------|
 */
public class ReentrantReadWriteLockBooleanCompatibilityTest { …

我是 JCStress 的新手，我正在尝试为 JCStress 运行“hello world”，但面临一些问题。我认为我缺少一些明显的东西。

我正在按照此链接进行学习。我正在尝试的示例在这里。

我从以下公共 Maven 原型创建的模板项目开始：

mvn archetype:generate "-DinteractiveMode=false" "-DarchetypeGroupId=org.openjdk.jcstress" "-DarchetypeArtifactId=jcstress-java-test-archetype" "-DarchetypeVersion=0.4" "-DgroupId=org.sample" "-DartifactId=test" "-Dversion=1.0"

我做了一个mvn clean install并得到了.\target\jcstress.jar. 我添加了MyConcurrencyTest包中包含以下代码org.sample

package org.sample;

import org.openjdk.jcstress.annotations.*;
import org.openjdk.jcstress.infra.results.I_Result;


@JCStressTest
@Outcome(id = "1", expect = Expect.ACCEPTABLE_INTERESTING, desc = "One update lost: atomicity failure.")
@Outcome(id = "2", expect = Expect.ACCEPTABLE, desc = "Actors updated independently.")
@State
public class MyConcurrencyTest {

    int v;

    @Actor
    public void actor1() {
        v++;
    }

    @Actor …