从不同步方法进行呼叫时发出 [已关闭]

Question

编辑问题，以包括预期行为、特定问题或错误以及重现问题所需的最短代码。这将有助于其他人回答问题。

为什么以下代码不能保证多个线程之间total_home数量的唯一性，即使逻辑位于同步块中也是如此。

class Country {
    private static int home = 0;
    int total_home;

    private static synchronized int counter() {
        return ++home ;
    }

    public void getTotal() {
        total_home = counter(); System.out.println(total_home);

    }
}

public class T1 extends Thread {

private Country c;

public T1(Country c) {
    this.c = c;
}

@Override
public void run() {
    for (int i = 0; i <= 10; i++)
        c.getTotal();
}

}

public class T2 extends Thread {

private Country c;

public T2(Country c) {
    this.c = c;
}

@Override
public void run() {
    for (int i = 0; i <= 10; i++)
        c.getTotal();
}

}

public class MainClass {
public static void main(String[] args) {
    Country c = new Country();
    T1 ok = new T1(c);
    T2 ok1 = new T2(c);
    ok.start();
    ok1.start();
}

}

这是一个程序示例。试着运行5-10次，你会发现total_home的值每次都不唯一。

Answer 1

您的代码具有：

Country c = new Country();
   T1 ok = new T1(c);
   T2 ok1 = new T2(c);
   ok.start();
   ok1.start();

这应该是显而易见的：计算新国家/地区在代码中执行的次数。它。。一次。

因此，一般来说，只有一个国家对象可用。你的第一个和第二个线程都在引用它。(这类似于:他们都有一个唯一的地址簿。但是这两本书的地址是一样的。java中的所有对象变量都是引用)。

您的同步代码不是问题，这工作正常 - 每次调用 counter（） 都会返回一个唯一的值。

但是，您有 2 个线程都在调用您创建的完全相同的单个国家/地区对象上的 getTotal（）。

ok.c 和 ok2.c 是相同的（它们指的是同一个对象）。因此，它们当然具有相同的total_home值 - 系统中只有一个total_home，并且您每次都会覆盖它。

此代码中还有更多内容表明您需要对java的工作原理进行更多审查。例如，类 T1 和类 T2 是完全相同的 - 那么为什么你有这些呢？

我想，这是你打算写的东西：

public static void main(String[] args) throws Exception {
  Country c1 = new Country();
  Country c2 = new Country();
  T1 ok1 = new T1(c1);
  T1 ok2 = new T1(c2);
  ok1.start();
  ok2.start();
  System.out.println("These are guaranteed different: " + c1.total_home + " " + t2.total_home);
}

注意：目前有一个投票赞成的评论，表明你的静态int home变量“可能”被缓存，你应该添加不稳定的变量。这是不正确的 - 同步足以消除所有争用条件。然而，AtomicInteger在这里是一个更好的选择 - 同步是一个相当“昂贵”的措施，AtomicInteger为您提供了一个有保证的唯一计数器，使用显着“更快”的原语（它不使用锁，它使用CPU的比较和设置（CAS）基础架构，这是快几个数量级）。