并发编程三要素
原子性:原子,即一个不可再被分割的颗粒。原子性指的是一个或多个操作要么全部执行成功要么全部执行失败。
可见性:一个线程对共享变量的修改,另一个线程能够立刻看到。(synchronized,volatile)
有序性:程序执行的顺序按照代码的先后顺序执行。(处理器可能会对指令进行重排序)
出现线程安全问题的原因:
线程切换带来的原子性问题。
缓存导致的可见性问题。
编译优化带来的有序性问题。
解决办法:
JDK Atomic开头的原子类、synchronized、LOCK,可以解决原子性问题
synchronized、volatile、LOCK,可以解决可见性问题
Happens-Before 规则可以解决有序性问题
怎么合理使用Happens-Before
Happens-Before规则是Java中用于定义多线程并发执行顺序的规则。以下是一些合理使用Happens-Before规则的建议:
-
在使用共享资源时,必须使用同步机制(如synchronized、Lock等)进行保护,以确保线程之间的正确顺序。
-
在使用volatile修饰的变量时,需要注意Happens-Before规则。如果一个线程写入了一个volatile变量,那么所有读取这个变量的线程都将看到这个变量的最新值。
-
在使用Thread.join()方法时,必须使用Happens-Before规则来确保子线程的结果已经被主线程看到。
-
在使用ExecutorService时,必须使用Happens-Before规则来确保线程池中的任务已经被执行完成。
-
在使用Atomic类时,需要注意Happens-Before规则。如果一个线程更新了一个Atomic变量,那么其他线程将看到这个变量的最新值。
总之,使用Happens-Before规则可以确保多线程程序的正确性。在编写多线程程序时,需要仔细考虑Happens-Before规则,并遵循相关规则,以确保程序的正确性。