使用 Fray 检测 JVM 语言中的并发问题

<plugin>    <groupId>org.pastalab.fray.maven</groupId>    <artifactId>fray-plugins-maven</artifactId>    <version>0.6.9</version>    <executions>        <execution>            <id>prepare-fray</id>            <goals>                <goal>prepare-fray</goal>            </goals>        </execution>    </executions></plugin><dependency>    <groupId>org.pastalab.fray</groupId>    <artifactId>fray-junit</artifactId>    <version>0.6.9</version>    <scope>test</scope></dependency>

plugins {    id("org.pastalab.fray.gradle") version "0.6.9"}

./gradlew frayTest

@ExtendWith(FrayTestExtension.class)public class MyFirstTest {    @ConcurrencyTest    public void myTest() {        …    }}

public class BankAccount {    public BankAccount(double balance) {        this.balance = balance;    }    private double balance;    public void transfer(double amount, BankAccount toAccount) {        synchronized (this) {            synchronized (toAccount) {                this.balance -= amount;                toAccount.balance += amount;            }        }    }}

@ExtendWith(FrayTestExtension.class)public class BankAccountTest {    public void myBankAccountTest() throws InterruptedException {        BankAccount bankAccount1 = new BankAccount(5000);        BankAccount bankAccount2 = new BankAccount(6000);        Thread thread1 = new Thread(() -> {            bankAccount1.transfer(100, bankAccount2);        });        Thread thread2 = new Thread(() -> {            bankAccount2.transfer(50, bankAccount1);        });        thread1.start();        thread2.start();        thread1.join();        thread2.join();    }    @ConcurrencyTest(iterations = 10)    public void runMyBankAccountTestUsingFray() throws InterruptedException {        myBankAccountTest();    }}

public void myTest() {    FrayInTestLauncher.INSTANCE.launchFrayTest(() -> { … });}

@ConcurrencyTest(        replay = "[path to report]/recording")

Error: org.pastalab.fray.runtime.DeadlockException

@ConcurrencyTest(    scheduler = ReplayScheduler.class,    replay = "[path to report]/recording")