Java多线程困惑：同步和阻塞问题实例

原创青旅半醒 2024-09-26 17:30 77阅读 0赞

在Java多线程编程中，同步和阻塞是两个关键概念。下面通过一个具体的例子来理解和区分它们。

假设我们有一个需求：创建两个线程，一个负责计算斐波那契数列的第n项，另一个负责检查结果是否正确。

首先编写两个线程类：

```java
class FibonacciThread implements Runnable {
    private int n;
    private boolean correct;

public FibonacciThread(int n) {
        this.n = n;
        this.correct = false; // 默认结果不正确
    }

@Override
    public void run() {
        long fibNth = fibonacci(n);
        this.correct = isCorrect(fibNth, n));
        System.out.println("Thread " + Thread.currentThread().getName() + ": Result correct? " + this.correct);
    }

private long fibonacci(int n) {
        if (n <= 1) return n; // 斐波那契递归
        double prev = 0.0, curr = 1.0;
        for (int i = 2; i <= n; i++) {
            double temp = curr - prev;
            prev = curr;
            curr = temp;
        }
        return (long) curr; // 确保结果为长整型
    }

private boolean isCorrect(long fibNth, int n) {
        if (n == 1) return fibNth == 1; // 当n=1时，验证结果是否为1
        if (n == 2) return fibNth == 1 && fibNth - 1 == 0; // 当n=2时，同时检查前两个数是否正确
        return fibNth >= 0 && fibNth - fibNth / 2.0 <= n - 2; // 对于任意大于等于2的n值，验证结果是否在斐波那契序列范围内
    }
}
```

在这个例子中：

1. **同步**：线程间通过共享变量或锁机制进行协调。在`isCorrect`方法中，我们使用了锁来确保同时只有一个线程访问和更新结果。

2. **阻塞**：当一个线程等待某个条件满足（如获取锁）时，它会进入阻塞状态。在上述例子中，没有明显的阻塞行为。但是，如果一个线程在`isCorrect`方法的某个循环内无法继续，就可能会变成阻塞状态。

总结来说，在这个斐波那契计算的例子中，我们通过线程同步来保证计算结果的正确性，而不是单纯的阻塞。