多线程安全的三大特性通常指原子性、可见性和有序性,理解如下:
一、原子性
-
定义
- 原子性是指一个操作或者一系列操作要么全部执行成功,要么全部不执行,不会出现部分执行的情况。在多线程环境下,这意味着一个原子操作不会被其他线程中断。
-
举例
- 例如,对基本数据类型的赋值操作通常是原子性的。比如
int i = 10;
,这个操作在执行过程中不会被其他线程干扰,要么成功地将i
赋值为 10,要么不进行任何操作。 - 但像
i++;
这样的操作就不是原子性的,它实际上包含了读取i
的值、将值加一、再将结果写回i
这三个步骤。在多线程环境下,如果两个线程同时执行i++;
,可能会出现结果小于预期的情况,因为一个线程可能在另一个线程执行到一半的时候进行了干扰。
- 例如,对基本数据类型的赋值操作通常是原子性的。比如
-
确保原子性的方法
- 使用同步机制,如
synchronized
关键字或者java.util.concurrent.atomic
包中的原子类(如AtomicInteger
)。这些机制可以确保一组操作在执行过程中不会被其他线程中断,从而保证原子性。
- 使用同步机制,如
二、可见性
-
定义
- 可见性是指当一个线程修改了一个共享变量的值时,其他线程能够立即看到这个修改。在多线程环境下,由于编译器优化、处理器缓存等原因,一个线程对变量的修改可能不会立即被其他线程感知。
-
举例
- 考虑以下代码:
class VisibilityExample { private boolean flag = false; public void setFlag() { flag = true; } public void checkFlag() { while (!flag) { // 等待 flag 被设置为 true } } }
在这个例子中,如果没有适当的同步机制,即使一个线程调用了
setFlag()
方法将flag
设置为true
,另一个线程在执行checkFlag()
方法时可能仍然看不到这个修改,从而导致无限循环。 -
确保可见性的方法
- 使用
volatile
关键字修饰变量。当一个变量被声明为volatile
时,JVM 会确保对这个变量的写操作立即刷新到主内存,并且对这个变量的读操作会强制从主内存中读取最新的值。 - 使用同步机制,如
synchronized
关键字。当一个线程进入synchronized
代码块时,它会从主内存中读取共享变量的值,当它退出synchronized
代码块时,它会将修改后的变量值刷新到主内存中,从而保证其他线程能够看到最新的值。
- 使用
三、有序性
-
定义
- 有序性是指程序中代码的执行顺序按照代码的书写顺序执行。在多线程环境下,由于指令重排序等原因,代码的执行顺序可能与书写顺序不一致。
-
举例
- 例如,有以下代码:
int x = 0; int y = 1; int z = x + y;
在没有同步机制的情况下,编译器或处理器可能会对这些指令进行重排序,比如先执行
int y = 1;
和int z = x + y;
,然后再执行int x = 0;
。在单线程环境下,这种重排序不会影响程序的结果,但在多线程环境下,可能会导致错误的结果。 -
确保有序性的方法
- 使用
volatile
关键字。volatile
关键字不仅可以保证可见性,还可以禁止指令重排序,从而确保变量的读写操作按照程序的书写顺序执行。 - 使用同步机制,如
synchronized
关键字。synchronized
关键字可以确保在同一时刻只有一个线程执行被synchronized
修饰的代码块,从而保证代码的执行顺序按照程序的预期进行。
- 使用