Clever Castle
535 words
3 minutes
i++ 的线程安全性
2018-10-09

使用volatile修饰仍不是线程安全的原因#

i++分为以下3步:

  1. 从内存中读取到count
  2. count+1
  3. 将结果写回内存

这3步每一步之间都是可以被中断的,加volatile只是保证从内存中读取到的count值是最新的值,但是存在在别的线程中的count还未写回主存的可能

例如:

  1. 线程A读取到count为10,此时线程中断
  2. 线程B读取到count也为10,线程B进行++操作,结果为11写回主存,
  3. 此时线程A恢复,由于它已经从内存中读到count了,所以它仍会从10开始加,得到11写回主存。
  4. 我们可以发现,10++在线程A,B各自进行了一次

线程安全的写法#

加锁#

public class ThreadTest implements Runnable {
    int count = 0;

    @Override
    public void run() {
        synchronized (this) {
            for (int i = 0; i < 100000; i++) {
                count++;
            }
        }
    }

    public static void main(String[] args) throws ExecutionException, InterruptedException {
        Runnable runnable = new ThreadTest();
        ExecutorService executorService = Executors.newFixedThreadPool(3);
        Future f1, f2;
        f1 = executorService.submit(runnable);
        f2 = executorService.submit(runnable);
        f1.get();
        f2.get();
        System.out.println(((ThreadTest) runnable).count);
        executorService.shutdown();
    }
}

使用原子类#

原子类可以的单一操作都是原子性的。它的实现并不是依赖于加锁而是使用CAS。

CAS的基本原理如下:

从内存位置V中读取值A,并根据A计算值B,然后再将值B写回V。 但是写回V之前,会检查内存位置V的值是否等于A,如果不等于,就不会将值写回V。而是重新进行一次上述操作。

public class ThreadTest2 implements Runnable {
    AtomicInteger count = new AtomicInteger();

    @Override
    public void run() {
        for (int i = 0; i < 100000; i++) {
            count.getAndIncrement();
        }
    }

    public static void main(String[] args) throws ExecutionException, InterruptedException {
        Runnable runnable = new ThreadTest2();
        ExecutorService executorService = Executors.newFixedThreadPool(3);
        Future f1, f2;
        f1 = executorService.submit(runnable);
        f2 = executorService.submit(runnable);
        f1.get();
        f2.get();
        System.out.println(((ThreadTest2) runnable).count.get());
        executorService.shutdown();
    }
}

性能问题#

加锁当然会一定程度上影响性能,但是正确性优于性能。

使用java.util.concurrent.atomic中的原子类在很多情况下都有着优于锁的性能,但是在本例中并不是如此。我认为是因为compare比较错误次数太多,重复次数太多导致的。

i++ 的线程安全性
https://blog.ivyxjc.com/posts/java-thread-safe-of-count/
Author
ivyxjc
Published at
2018-10-09