0、相关文章:
Java中如何保证线程安全性(1.8w阅读量,12赞)
5、并发编程的3个概念:原子性、可见性、有序性(5k阅读量,4赞)
1、线程安全在三个方面体现
1.1、原子性:
提供互斥访问,同一时刻只能有一个线程对数据进行操作(atomic [əˈtɑːmɪk] 、synchronized);
1.2、可见性:
一个线程对主内存的修改可以及时地被其他线程看到(synchronized、volatile);
1.3、.有序性:
一个线程观察其他线程中的指令执行顺序,由于指令重排序,该观察结果一般杂乱无序,(happens-before原则)。
2、原子性
原子性的实现有两种方式:atomic类和synchronized。
2.1、JDK里面提供了很多atomic类,AtomicInteger,AtomicLong,AtomicBoolean等等,它们是通过CAS完成原子性。
2.2、synchronized是一种同步锁,通过锁实现原子操作。
JDK提供锁分两种:一种是synchronized,依赖JVM实现锁,因此在这个关键字作用对象的作用范围内是同一时刻只能有一个线程进行操作;另一种是LOCK,是JDK提供的代码层面的锁,依赖CPU指令,代表性的是ReentrantLock。
synchronized修饰的对象有四种:
- (1)修饰代码块,作用于调用的对象;
- (2)修饰方法,作用于调用的对象;
- (3)修饰静态方法,作用于所有对象;
- (4)修饰类,作用于所有对象。
3、可见性
对于可见性,JVM提供了synchronized和volatile。
4、有序性
有序性是指,在JVM中,允许编译器和处理器对指令进行重排序,但是重排序过程不会影响到单线程程序的执行,却会影响到多线程并发执行的正确性。
可以通过volatile、synchronized、lock保证有序性。