【JAVA】:万字长篇带你了解JAVA并发编程-线程安全【四】

2023-11-07 01:52

本文主要是介绍【JAVA】:万字长篇带你了解JAVA并发编程-线程安全【四】,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

目录

  • 【JAVA】:万字长篇带你了解JAVA并发编程-线程安全【四】
    • 🍀线程安全的基本概念
      • 线程安全意义
      • 线程安全考虑的时机?
      • 引起线程安全的情况
      • 线程安全性的分类
        • 不可变
        • 线程安全
        • 有条件的线程安全类
        • 线程兼容
        • 线程对立
      • 多线程编程中的三个核心概念
    • 🍀线程安全的实现方法
      • 互斥同步
        • synchronized
        • ReentrantLock
      • 非阻塞同步
        • CAS
        • Atomiclnteger
      • CAS存在的ABA问题
      • 无同步方案
        • 栈封闭
        • 线程本地存储(Thread Local Storage)
    • 🍀线程安全的类与方法

个人主页: 【⭐️个人主页】
需要您的【💖 点赞+关注】支持 💯


【JAVA】:万字长篇带你了解JAVA并发编程-线程安全【四】

🍀线程安全的基本概念

线程安全是多线程编程时的计算机程序代码中的一个概念。在拥有共享数据的多条线程并行执行的程序中,线程安全的代码会通过同步机制保证各个线程都可以正常且正确的执行,不会出现数据污染等意外情况。

所以线程安全的定义如下:在多线程环境下,每次运行结果和单线程运行的结果是一样的,其他变量也和预期的是一样的

线程安全意义

线程安全, 是指变量或方法( 这些变量或方法是多线程共享的) 可以在多线程的环境下被安全有效的访问。这说明了两方面的问题:
(1) 可以从多个线程中调用, 无需调用方有任何操作;
(2) 可以同时被多个线程调用, 无需线程之不必要的交互。

线程安全考虑的时机?

多个线程访问同一个对象时,如果不用考虑这些线程在运行时环境下的调度和交替执行,也不需要进行额外的同步,或者在调用方进行任何其他操作,调用这个对象的行为都可以获得正确的结果,那么这个对象就是线程安全的。

或者说:一个类或者程序所提供的接口对于线程来说是原子操作或者多个线程之间的切换不会导致该接口的执行结果存在二义性,也就是说我们不用考虑同步的问题。

引起线程安全的情况

线程安全问题大多是由全局变量静态变量引起的,局部变量逃逸也可能导致线程安全问题。

线程安全性的分类

根据共享数据的安全程度的强弱顺序 线程安全性的分类方法包括:

  1. 不可变
  2. 线程安全
  3. 有条件线程安全
  4. 线程兼容
  5. 线程对立。

这种分类系统的核心调用者是否可以或者必须用外部同步包围操作(或者一系列操作)。下面几节分别描述了线程安全性的这五种类别。

不可变

一个不可变的对象只要构建正确, 其外部可见状态永远不会改变, 永远也不会看到它处于不一致的状态。Java 类库中大多数基本数值类如Integer、String 和BigInteger 都是原子性的, 是不可变的, 但Long 和Double 就不能保证其操作的原子性, 可在声明变量的时候用volatile 关键字。不可变对象上没有副作用, 并且缓存不可变对象的引用总是安全的。一个不可变的对象的一个引用可以自由共享,而不用担心被引用的对象要被修改

线程安全

线程安全性类的对象操作序列( 读或写其公有字段以及调用其公有方法) 都不会使该对象处于无效状态, 即任何操作都不会违反该类的任何不可变量、前置条件或者后置条件
不管运行时环境如何,调用者都不需要任何额外的同步措施

有条件的线程安全类

有条件的线程安全类对于单独的操作可以是线程安全的, 但是某些操作序列可能需要外部同步。为了保证其它线程不会在遍历的时候改变集合, 进行迭代的线程应该确保它是独占性地访问集合以实现遍历的完整性。通常, 独占性的访问是由对锁的同步机制保证的
Java中的大部分线程安全类都是相对线程安全的

线程兼容

线程兼容类不是线程安全的, 但可以通过正确使用同步从而在并发环境中安全地使用。或用一个synchronized 块包含每一个方法调用
Java API中的大部分都是,比如ArrayList和HashMap这些.

线程对立

线程对立类是那些不管是否调用了外部同步都不能在并发使用时保证其安全的类。线程对立类很少见, 当类修改静态数据,而静态数据会影响在其它线程中执行的其它类的行为时, 通常会出现线程对立

多线程编程中的三个核心概念

  • 原子性

这一点,跟数据库事务的原子性概念差不多,即一个操作(有可能包含有多个子操作)要么全部执行(生效),要么全部都不执行(都不生效

  • 可见性

可见性是指,当多个线程并发访问共享变量时,一个线程对共享变量的修改,其它线程能够立即看到。可见性问题是好多人忽略
或者理解错误的一点。

  • 顺序性

顺序性指的是,程序执行的顺序按照代码的先后顺序执行。

🍀线程安全的实现方法

互斥同步

Java提供了两种锁机制来控制多个线程对共享资源的访问

  • JVM的synchronized
  • JDK实现的ReentrantLock
    这两种锁机制可以保证操作中的原子性和可见性问题.

synchronized

public void func() {synchronized (this) {// ...}
}public class SynchronizedExample {public void func1() {synchronized (this) {for (int i = 0; i < 10; i++) {System.out.print(i + " ");}}}
}public void func() {synchronized (SynchronizedExample.class) {// ...}
}
public synchronized static void fun() {// ...
}
ReentrantLock
public class LockExe {private Lock lock = new ReentrantLock();public void func() {lock.lock();try {doSomeThing();} finally {// 确保释放锁,从而避免发生死锁。lock.unlock(); }}
}

非阻塞同步

互斥同步的方法百分百的保证了线程安全问题,可是并不高效,因为它频繁的线程切换会导致大量的性能开销,所以被称为阻塞同步。这是一种悲观的并发策略,每次不管有没有线程与其竞争,都会上锁。

CAS

随着硬件指令集的发展,我们可以使用基于冲突检测乐观并发策略: 先进行操作,如果没有其它线程争用共享数据,那操作就成功了,否则采取补偿措施(不断地重试,直到成功为止)。
这种乐观的并发策略的许多实现都不需要将线程阻塞,因此这种同步操作称为非阻塞同步
乐观锁需要操作冲突检测这两个步骤具备原子性,这里就不能再使用互斥同步来保证了只能靠硬件来完成。硬件支持的原子性操作最典型的是: 比较并交换(Compare-and-Swap,CAS)。
CAS 指令需要有 3 个操作数,分别是内存地址 V旧的预期值 A 新值 B。当执行操作时,只有当 V 的值等于 A,才将V 的值更新为 B。

Atomiclnteger

J.U.C 包里面的整数原子类 Atomiclnteger,其中的 compareAndSet0getAndIncrementl等方法都使用了 Unsafe 类的 CAS 操作。

CAS存在的ABA问题

如果一个变量初次读取的时候是 A 值,它的值被改成了 B,后来又被改回为 A,那 CAS 操作就会误认为它从来没有被改变过。
J.U.C 包提供了一个带有标记的原子引用类 AtomicStampedReference 来解决这个问题,它可以通过控制变量值的版本来保证 CAS 的正确性。大部分情况下 ABA 问题不会影响程序并发的正确性,如果需要解决 ABA 问题,改用传统的互斥同步可能会比原子类更高效

无同步方案

要保证线程安全,并不是一定就要进行同步。如果一个方法本来就不涉及共享数据,那它自然就无须任何同步措施去保证正确性。

栈封闭

多个线程访问同一个方法的局部变量时,不会出现线程安全问题,因为局部变量存储在虚拟机栈中,属于线程私有的。

线程本地存储(Thread Local Storage)

如果一段代码中所需要的数据必须与其他代码共享,那就看看这些共享数据的代码是否能保证在同一个线程中执行。如果能保证,我们就可以把共享数据的可见范围限制在同一个线程之内,这样,无须同步也能保证线程之间不出现数据争用的问题。


🍀线程安全的类与方法

  1. 通过synchronized 关键字给方法加上内置锁来实现线程安全

TimerTimerTaskVectorStackHashTableStringBuffer

  1. 原子类Atomicxxx—包装类的线程安全类

AtomicLongAtomicInteger等等
Atomicxxx 是通过Unsafe 类的native方法实现线程安全的

  1. BlockingQueue 和BlockingDeque

BlockingDeque接口继承了BlockingQueue接口,
BlockingQueue 接口的实现类有ArrayBlockingQueueLinkedBlockingQueuePriorityBlockingQueueBlockingDeque接口的实现类有LinkedBlockingDeque
BlockingQueueBlockingDeque 都是通过使用定义为final的ReentrantLock作为类属性显式加锁实现同步的

  1. CopyOnWriteArrayList和 CopyOnWriteArraySet

CopyOnWriteArraySet的内部实现是在其类内部声明一个final的CopyOnWriteArrayList属性,并在调用其构造函数时实例化该CopyOnWriteArrayList,CopyOnWriteArrayList采用的是显式地加上ReentrantLock实现同步,而CopyOnWriteArrayList容器的线程安全性在于在每次修改时都会创建并重新发布一个新的容器副本,从而实现可变性。

  1. Concurrentxxx

最常用的就是ConcurrentHashMap,当然还有ConcurrentSkipListSetConcurrentSkipListMap等等。
ConcurrentHashMap使用了一种完全不同的加锁策略来提供更高的并发性和伸缩性。ConcurrentHashMap并不是将每个方法都在同一个锁上同步并使得每次只能有一个线程访问容器,而是使用一种粒度更细的加锁机制——segment分段锁来实现更大程度的共享

在这种机制中,任意数量的读取线程可以并发访问Map,执行读取操作的线程和执行写入操作的线程可以并发地访问Map,并且一定数量的写入线程可以并发地修改Map,这使得在并发环境下吞吐量更高,而在单线程环境中只损失非常小的性能

  1. ThreadPoolExecutor

ThreadPoolExecutor也是使用了ReentrantLock显式加锁同步

  1. Collections中的synchronizedCollection(Collection c)方法可将一个集合变为线程安全,其内部通过synchronized关键字加锁同步

这篇关于【JAVA】:万字长篇带你了解JAVA并发编程-线程安全【四】的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/360465

相关文章

Java中的String.valueOf()和toString()方法区别小结

《Java中的String.valueOf()和toString()方法区别小结》字符串操作是开发者日常编程任务中不可或缺的一部分,转换为字符串是一种常见需求,其中最常见的就是String.value... 目录String.valueOf()方法方法定义方法实现使用示例使用场景toString()方法方法

Java中List的contains()方法的使用小结

《Java中List的contains()方法的使用小结》List的contains()方法用于检查列表中是否包含指定的元素,借助equals()方法进行判断,下面就来介绍Java中List的c... 目录详细展开1. 方法签名2. 工作原理3. 使用示例4. 注意事项总结结论:List 的 contain

Java实现文件图片的预览和下载功能

《Java实现文件图片的预览和下载功能》这篇文章主要为大家详细介绍了如何使用Java实现文件图片的预览和下载功能,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... Java实现文件(图片)的预览和下载 @ApiOperation("访问文件") @GetMapping("

Spring Boot + MyBatis Plus 高效开发实战从入门到进阶优化(推荐)

《SpringBoot+MyBatisPlus高效开发实战从入门到进阶优化(推荐)》本文将详细介绍SpringBoot+MyBatisPlus的完整开发流程,并深入剖析分页查询、批量操作、动... 目录Spring Boot + MyBATis Plus 高效开发实战:从入门到进阶优化1. MyBatis

SpringCloud动态配置注解@RefreshScope与@Component的深度解析

《SpringCloud动态配置注解@RefreshScope与@Component的深度解析》在现代微服务架构中,动态配置管理是一个关键需求,本文将为大家介绍SpringCloud中相关的注解@Re... 目录引言1. @RefreshScope 的作用与原理1.1 什么是 @RefreshScope1.

Java并发编程必备之Synchronized关键字深入解析

《Java并发编程必备之Synchronized关键字深入解析》本文我们深入探索了Java中的Synchronized关键字,包括其互斥性和可重入性的特性,文章详细介绍了Synchronized的三种... 目录一、前言二、Synchronized关键字2.1 Synchronized的特性1. 互斥2.

Spring Boot 配置文件之类型、加载顺序与最佳实践记录

《SpringBoot配置文件之类型、加载顺序与最佳实践记录》SpringBoot的配置文件是灵活且强大的工具,通过合理的配置管理,可以让应用开发和部署更加高效,无论是简单的属性配置,还是复杂... 目录Spring Boot 配置文件详解一、Spring Boot 配置文件类型1.1 applicatio

Java中StopWatch的使用示例详解

《Java中StopWatch的使用示例详解》stopWatch是org.springframework.util包下的一个工具类,使用它可直观的输出代码执行耗时,以及执行时间百分比,这篇文章主要介绍... 目录stopWatch 是org.springframework.util 包下的一个工具类,使用它

Java进行文件格式校验的方案详解

《Java进行文件格式校验的方案详解》这篇文章主要为大家详细介绍了Java中进行文件格式校验的相关方案,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录一、背景异常现象原因排查用户的无心之过二、解决方案Magandroidic Number判断主流检测库对比Tika的使用区分zip

Java实现时间与字符串互相转换详解

《Java实现时间与字符串互相转换详解》这篇文章主要为大家详细介绍了Java中实现时间与字符串互相转换的相关方法,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录一、日期格式化为字符串(一)使用预定义格式(二)自定义格式二、字符串解析为日期(一)解析ISO格式字符串(二)解析自定义