java并发编程

简介:

java并发编程

常用的java并发编程技术。 具体的代码参照 示例项目 https://github.com/qihaiyan/springcamp/tree/master/spring-currency

一、概述
传统的java并发能力依靠的是多线程,相比于现代的方法是Reactive编程,本文介绍多线程的实现,Reactive编程方法的介绍可参见Reactive编程。

多线程并发编程有2个核心概念,原子性和可见性。原子性的介绍随处可见,简单来说就是一组操作要么全部成功,要么全部失败,不存在中间状态。

可见性是指一个线程中数据的变化是否能被其它线程感知。

多线程编程中要一直注意的一个问题点就是check-then-act的处理,我们的程序中存着大量的 条件判断->执行 的处理,这种简单的处理在单线程中不会存在什么问题,但是在多线程环境中却是极易出错。需要综合考虑原子性和可见性。“竞态条件”表述的就是这个问题。

本文主要介绍的内容:竞态条件、java内存模型(happens-before)、synchronized、原子类、锁、ThreadLocal变量、CountDownLatch、CompletableFuture。

二、竞态条件
当多个线程对共享资源进行处理的时候,可能由于不同的执行顺序导致产生不同的结果。比较典型的是check-then-act操作,如以下代码:

class Race {
private Long value;
Long get(){

if( value == null ){
  value = initialize();
}
return value;

}
}
当这个类的同一个对象在多个线程中执行get方法时,由于get方法不是原子操作,initialize方法可能会执行多次。解决这个问题可以通过将get方法改为synchronized方法或者是将value改为原子类。

再来看另外一种竞态条件。

class Waiter implements Runnable {

private boolean shouldFinish;

void finish() {
    shouldFinish = true;
}

public void run() {
    long iteration = 0;
    while (!shouldFinish) {
        iteration++;
    }

    System.out.println("Finished after: " + iteration);
}

}
public class DataRace {

public static void main(String[] args) throws InterruptedException {
    Waiter waiter = new Waiter();
    Thread waiterThread = new Thread(waiter);
    waiterThread.start();  // 在另一个的线程中执行waiter的run方法,该方法通过判断shouldFinish变量的值确定是否退出循环
    waiter.finish(); // 在主线程中修改shouldFinish变量的值
    waiterThread.join();
}

}
正常情况下在执行完waiter的finish方法后,run方法中的循环会退出,但是也有可能run方法会进入死循环。我们可以通过延迟waiter.finish()的执行来模拟这种情况。将main方法做一下修改:

public class DataRace {

public static void main(String[] args) throws InterruptedException {
    Waiter waiter = new Waiter();
    Thread waiterThread = new Thread(waiter);
    waiterThread.start();
    Thread.sleep(10L);  // 延迟10毫秒后再调用finish方法,会发现程序会一直运行不退出,在run方法中shouldFinish一直是false
    waiter.finish();
    waiterThread.join();
}

}
再次执行这个程序,会发现run方法进入了死循环,即使waiter.finish()已经将shouldFinish设置成true,循环仍然没有退出。产生这个问题的原因就是在另一个的线程中读到的shouldFinish变量的值是脏数据。

可以通过将 shouldFinish 变量声明为 volatile 来解决这个问题。

这种现象是源于java内存模型的happens-before规则,一个线程对变量的写入操作的结果只有符合happens-before规则情况下才会被其它线程读取到。 synchronized和volatile结构,以及Thread.start()和Thread.join()方法均可构成happens-before关系。该规则的描述如下(原文):

程序的顺序性规则:一个线程中,按照程序的顺序,前面的操作happens-before后续的任何操作。
volatile规则:对一个volatile变量的写操作,happens-before后续对这个变量的读操作。
锁规则:对一个锁的解锁操作,happens-before后续对这个锁的加锁操作。
线程start()规则:主线程A启动线程B,线程B中可以看到主线程启动B之前的操作。也就是start() happens before 线程B中的操作。
线程join()规则:主线程A等待子线程B完成,当子线程B执行完毕后,主线程A可以看到线程B的所有操作。也就是说,子线程B中的任意操作,happens-before join()的返回。
传递性规则:如果A happens-before B,B happens-before C,那么A happens-before C。
所以将 shouldFinish 变量声明为 volatile后,符合规则3,执行finish方法后对shouldFinish的修改会被读线程读取到修改后的结果。如果没有加volatile关键字,就没有符合happens-before规则。

三、synchronized
synchronized 提供了一种悲观锁机制,synchronized声明的代码块具有排他性,同一时间只有一个线程能够获得锁,通过这种方式确保原子性和可见性。synchronized可以用在方法上,也可以用在一段代码块上。当synchronized可以用在static方法上时,用的是类锁,否则是对象锁。

对代码块枷锁:

class SynchronizedBlock {

private int counter0;

void increment() {
    synchronized (this) {
        counter0++;
    }
}

}
对方法枷锁:

class SynchronizedMethod {

private int counter0;

synchronized void increment() {
    counter0++;
}

}
四、ThreadLocal
虽然通过synchronized可以实现原子性,但是由于使用的是悲观锁机制,对性能会有影响。如果多个线程之间的变量不需要共享,可以采用ThreadLocal变量,避免多个线程同时修改同一个变量导致出现并发问题。

class ThreadLocalDemo {

private final ThreadLocal<Transaction> currentTransaction = ThreadLocal.withInitial(NullTransaction::new);

Transaction currentTransaction() {
    Transaction current = currentTransaction.get();
    if (current.isNull()) {
        current = new TransactionImpl();
        currentTransaction.set(current);
    }
    return current;
}

}

interface Transaction {

boolean isNull();

}

class NullTransaction implements Transaction {

public boolean isNull() {
    return true;
}

}

class TransactionImpl implements Transaction {

public boolean isNull() {
    return false;
}

}
五、Atomics
另外一种简化并发编程的方式是采用原子数据结构,这种数据结构本身保证了原子性和可见性,可以方便的使用,能够避免多线程环境下check-then-act的问题。

public class Atomic {

public static void main(String[] args) {
    AtomicRun atomicRun = new AtomicRun();
    Thread waiterThread1 = new Thread(atomicRun);
    Thread waiterThread2 = new Thread(atomicRun);
    waiterThread1.start();
    waiterThread2.start();
}

}

class AtomicRun implements Runnable {

private final AtomicBoolean shouldFinish = new AtomicBoolean(false);

public void run() {
    if (shouldFinish.compareAndSet(false, true)) {
        System.out.println("initialized only once");
    }
}

}
由于shouldFinish是一个原子对象,shouldFinish.compareAndSet是一个原子操作,因此不会出现读取到脏数据的问题。

六、Locks
java.util.concurrent.locks包提供了与synchronized相同的功能,在此基础上又进行了扩展,例如可以获取锁的状态,可以中断锁。对于读多写少的情况,还可以通过ReadWriteLock来提升性能。

class LockDemo {

private final Lock lock = new ReentrantLock();
private int counter0;

public static void main(String[] args) {
    LockDemo lockDemo = new LockDemo();
    lockDemo.increment();
    System.out.println("count is: " + lockDemo.getCounter0());
}

public int getCounter0() {
    return counter0;
}

void increment() {
    lock.lock();
    try {
        counter0++;
    } finally {
        lock.unlock();
    }

}

}

class ReadWriteLockDemo {

private final ReadWriteLock lock = new ReentrantReadWriteLock();
private int counter1;

void increment() {
    lock.writeLock().lock();
    try {
        counter1++;
    } finally {
        lock.writeLock().unlock();
    }
}

int current() {
    lock.readLock().lock();
    try {
        return counter1;
    } finally {
        lock.readLock().unlock();
    }
}

}
在使用locks时,要注意一定要在finally方法中执行unlock操作,因为程序出现异常后,不会自动释放锁,如果不在finally方法中执行unlock,会导致程序进入死锁状态。

七、CountDownLatch
CountDownLatch一般用于同步多个线程的执行进度,例如有一个线程需要等其它三个线程执行完成后,再继续往下执行,可以用CountDownLatch来处理。

CountDownLatch类似于一个计数器,当一个线程调用CountDownLatch的await方法时会进入阻塞状态,其它线程调用countDown方法对计数器减一,当计数器减为0时,被await方法阻塞的操作才会解除阻塞状态继续执行。

public class CountDownLatchDemo {

public static void main(String[] args) throws InterruptedException {
    ExecutorService executorService = Executors.newFixedThreadPool(2);

    CountDownLatch latch = new CountDownLatch(1);
    Receiver receiver = new Receiver(latch);
    executorService.submit(receiver);
    latch.await();
    System.out.println("latch done");
    executorService.shutdown();
}

}

class Receiver implements Runnable {

private CountDownLatch latch;

public Receiver(CountDownLatch latch) {
    this.latch = latch;
}

public void run() {
    latch.countDown();
}

}
八、CompletableFuture
CompletableFuture是一种java8提供的常用的多线程并发编程方法,虽然parallelStream也提供了多线程并发能力,但是在选择上要遵循一个原则:有IO操作的用CompletableFuture,没有IO操作纯计算的用parallelStream。

原因在于parallelStream使用的是jvm的默认ForkJoinPool线程池,该线程池一般只会分配很少的线程数(默认是CPU的核数),不能指定其它线程池。当有IO操作或者类似的延迟较高的操作时,很容易把线程池占满。而CompletableFuture允许指定线程池,可以为不同的处理指定不同的线程池,能够分业务进行线程池的隔离。

首先我们模拟一个延迟IO方法,用于后续的演示:

public static Long getPrice(String prod) {

    delay();  //模拟服务响应的延迟
    Long price = ThreadLocalRandom.current().nextLong(0, 1000);
    System.out.println("Executing in " + Thread.currentThread().getName() + ", get price for " + prod + " is " + price);
    return price;
}

private static void delay() {
    try {
        Thread.sleep(1000);
    } catch (InterruptedException e) {
        e.printStackTrace();
    }
}

supplyAsync:该方法用于创建一个异步任务
ExecutorService executor = Executors.newFixedThreadPool(10);

CompletableFuture future = CompletableFuture.supplyAsync(() -> getPrice("accept"), executor);
supplyAsync是一个工厂方法,该方法会返回一个CompletableFuture对象,入参是 Supplier 或者 Runnable 的实现类,可以用Lambda表达式来表示。同时指定了executor作为执行用的线程池。

thenAcceptAsync:该方法接收CompletableFuture的执行结果,将结果作为输入执行指定的方法
future.thenAccept(p -> {

        System.out.println("Executing in " + Thread.currentThread().getName() + ", async price is: " + p);
    }, executor);

将第一步中的返回结果(getPrice的返回值)作为输入执行操作。

thenApply:该方法接收CompletableFuture的执行结果进行计算,返回一个新的CompletableFuture,类似于stream的map操作。
CompletableFuture result = future.thenApply(p -> p + "1");
该步操作将第一步中的CompletableFuture 转换为了 CompletableFuture。

thenCompose:用于组合2个CompletableFuture,第一个的计算结果作为第二个的输入。
CompletableFuture future1 = CompletableFuture

            .supplyAsync(() -> getPrice("compose"));

CompletableFuture result = future1.thenCompose(

i -> CompletableFuture.supplyAsync(() -> {
    Thread.sleep(2000);
    return i + "World";
})

);
thenCombine: 将两个CompletableFuture的计算结果做进一步的计算
CompletableFuture future1 = CompletableFuture.supplyAsync(() -> getPrice("combine1"));
CompletableFuture future2 = CompletableFuture.supplyAsync(() -> getPrice("combine2"));
CompletableFuture result = future1.thenCombine(future2, (f1, f2) -> f1 + f2);
这段代码会在future1和future2都计算完成后,把两个future的计算结果进行相加,返回新的CompletableFuture。

exceptionally: 异常处理
exceptionally是CompletableFuture最简便的一种异常处理方法。该方法会在异常发生后返回一个默认值。

CompletableFuture future1 = CompletableFuture.supplyAsync(() -> getPrice("exception1"));

CompletableFuture future2 = CompletableFuture

            .supplyAsync(() -> (1L / 0) ) //模拟抛出一个异常
            // 出现异常时返回默认值,如果此处没有exceptionally处理,异常会在后续的join中抛出
            .exceptionally((ex) -> {
                System.out.println("Executing in " + Thread.currentThread().getName() + ", get excetion " + ex);
                return 0L;
            });

CompletableFuture result = future1.thenCombine(future2, (f1, f2) -> f1 + f2);

try {

        System.out.println("Executing in " + Thread.currentThread().getName() + " ,combine price is: " + result.join());

} catch (CompletionException ex) {

        System.out.println("Executing in " + Thread.currentThread().getName() + " ,combine price error: " + ex);

}
并行执行CompletableFuture
假设我们有一个数组,数组中的每一项都需要调用getPrice方法获取价格,可以采用stream和CompletableFuture组合使用的方式。

List prices = Stream.of("1", "2", "3", "4", "5", "6", "7", "8", "9", "10", "11", "12")

            .map(p -> CompletableFuture.supplyAsync(() -> getPrice("exception1"), executor)) //通过stream的map操作,为数组中的每一个元素都启动一个CompletableFuture
            .collect(Collectors.toList())
            .stream()
            .map(CompletableFuture::join) //等待所有的CompletableFuture都完成计算
            .collect(Collectors.toList());

注意这儿要有两段collect处理,不能简化为以下写法:

ist prices2 = Stream.of("1", "2", "3")

            .map(p -> CompletableFuture.supplyAsync(() -> getPrice("exception1")))
            .map(CompletableFuture::join)
            .collect(Collectors.toList());

这样写看上去更简洁,但是存在严重的问题。因为对于每一个元素,在第一个map生成CompletableFuture后,会立即执行join阻塞操作,相当于变成了串行。

原文地址https://my.oschina.net/hiease/blog/4227185

相关文章
|
2月前
|
Java 开发者
Java多线程编程中的常见误区与最佳实践####
本文深入剖析了Java多线程编程中开发者常遇到的几个典型误区,如对`start()`与`run()`方法的混淆使用、忽视线程安全问题、错误处理未同步的共享变量等,并针对这些问题提出了具体的解决方案和最佳实践。通过实例代码对比,直观展示了正确与错误的实现方式,旨在帮助读者构建更加健壮、高效的多线程应用程序。 ####
|
1月前
|
安全 Java 程序员
深入理解Java内存模型与并发编程####
本文旨在探讨Java内存模型(JMM)的复杂性及其对并发编程的影响,不同于传统的摘要形式,本文将以一个实际案例为引子,逐步揭示JMM的核心概念,包括原子性、可见性、有序性,以及这些特性在多线程环境下的具体表现。通过对比分析不同并发工具类的应用,如synchronized、volatile关键字、Lock接口及其实现等,本文将展示如何在实践中有效利用JMM来设计高效且安全的并发程序。最后,还将简要介绍Java 8及更高版本中引入的新特性,如StampedLock,以及它们如何进一步优化多线程编程模型。 ####
31 0
|
1月前
|
Java 程序员
Java编程中的异常处理:从基础到高级
在Java的世界中,异常处理是代码健壮性的守护神。本文将带你从异常的基本概念出发,逐步深入到高级用法,探索如何优雅地处理程序中的错误和异常情况。通过实际案例,我们将一起学习如何编写更可靠、更易于维护的Java代码。准备好了吗?让我们一起踏上这段旅程,解锁Java异常处理的秘密!
|
13天前
|
存储 缓存 Java
Java 并发编程——volatile 关键字解析
本文介绍了Java线程中的`volatile`关键字及其与`synchronized`锁的区别。`volatile`保证了变量的可见性和一定的有序性,但不能保证原子性。它通过内存屏障实现,避免指令重排序,确保线程间数据一致。相比`synchronized`,`volatile`性能更优,适用于简单状态标记和某些特定场景,如单例模式中的双重检查锁定。文中还解释了Java内存模型的基本概念,包括主内存、工作内存及并发编程中的原子性、可见性和有序性。
Java 并发编程——volatile 关键字解析
|
17天前
|
算法 Java 调度
java并发编程中Monitor里的waitSet和EntryList都是做什么的
在Java并发编程中,Monitor内部包含两个重要队列:等待集(Wait Set)和入口列表(Entry List)。Wait Set用于线程的条件等待和协作,线程调用`wait()`后进入此集合,通过`notify()`或`notifyAll()`唤醒。Entry List则管理锁的竞争,未能获取锁的线程在此排队,等待锁释放后重新竞争。理解两者区别有助于设计高效的多线程程序。 - **Wait Set**:线程调用`wait()`后进入,等待条件满足被唤醒,需重新竞争锁。 - **Entry List**:多个线程竞争锁时,未获锁的线程在此排队,等待锁释放后获取锁继续执行。
50 12
|
14天前
|
存储 安全 Java
Java多线程编程秘籍:各种方案一网打尽,不要错过!
Java 中实现多线程的方式主要有四种:继承 Thread 类、实现 Runnable 接口、实现 Callable 接口和使用线程池。每种方式各有优缺点,适用于不同的场景。继承 Thread 类最简单,实现 Runnable 接口更灵活,Callable 接口支持返回结果,线程池则便于管理和复用线程。实际应用中可根据需求选择合适的方式。此外,还介绍了多线程相关的常见面试问题及答案,涵盖线程概念、线程安全、线程池等知识点。
96 2
|
2月前
|
设计模式 Java 开发者
Java多线程编程的陷阱与解决方案####
本文深入探讨了Java多线程编程中常见的问题及其解决策略。通过分析竞态条件、死锁、活锁等典型场景,并结合代码示例和实用技巧,帮助开发者有效避免这些陷阱,提升并发程序的稳定性和性能。 ####
|
2月前
|
缓存 Java 开发者
Java多线程编程的陷阱与最佳实践####
本文深入探讨了Java多线程编程中常见的陷阱,如竞态条件、死锁和内存一致性错误,并提供了实用的避免策略。通过分析典型错误案例,本文旨在帮助开发者更好地理解和掌握多线程环境下的编程技巧,从而提升并发程序的稳定性和性能。 ####
|
30天前
|
安全 算法 Java
Java多线程编程中的陷阱与最佳实践####
本文探讨了Java多线程编程中常见的陷阱,并介绍了如何通过最佳实践来避免这些问题。我们将从基础概念入手,逐步深入到具体的代码示例,帮助开发者更好地理解和应用多线程技术。无论是初学者还是有经验的开发者,都能从中获得有价值的见解和建议。 ####
|
30天前
|
Java 调度
Java中的多线程编程与并发控制
本文深入探讨了Java编程语言中多线程编程的基础知识和并发控制机制。文章首先介绍了多线程的基本概念,包括线程的定义、生命周期以及在Java中创建和管理线程的方法。接着,详细讲解了Java提供的同步机制,如synchronized关键字、wait()和notify()方法等,以及如何通过这些机制实现线程间的协调与通信。最后,本文还讨论了一些常见的并发问题,例如死锁、竞态条件等,并提供了相应的解决策略。
51 3