【Java基础】线程的原子性、可见性、有序性及线程安全知识整理

简介: 一个操作或者多个操作,要么全部执行,并且执行的过程不会被打断, 要么就全部不执行(一个操作是不可被分割的)。

要想保证线程安全,必须同时满足原子性、可见性、有序性。

一、定义

1.1 原子性

一个操作或者多个操作,要么全部执行,并且执行的过程不会被打断, 要么就全部不执行(一个操作是不可被分割的)。

Java中实现线程原子性主要有两种方式:

1、互斥锁:在同一时刻只允许一个线程对共享资源进行访问和操作,而其他线程则需要等待锁的释放才能继续执行。如:synchronized和ReentrantLock等机制来实现锁的获取、释放和等待。

2、原子变量类:Java提供了一些基本类型的原子变量类(如 AtomicInteger、AtomicBoolean 等),这些变量类保证了读取和修改操作的原子性,从而避免了线程安全问题。

我们来看下几个例子:

a = 0 是原子操作 
a++ (a = a + 1) 则不是。因为有两步操作。

我们看一段Java原子性测试代码,使用AtomicInteger类实现对一个共享变量的递增操作。AtomicInteger类提供了compareAndSet方法,可以在多线程并发操作时保证对共享变量的修改都是原子性的

import java.util.concurrent.atomic.AtomicInteger;

public class AtomicTest implements Runnable {
   

    private AtomicInteger count = new AtomicInteger(0);

    public void run() {
   
        for (int i = 0; i < 10000; i++) {
   
            // 原子性自增
            count.incrementAndGet(); 
        }
    }
    //创建了两个线程,并在每个线程中执行10000次count.incrementAndGet()方法,
    //即对共享变量count进行原子性自增操作。最后在主线程中输出count的值
    public static void main(String[] args) throws InterruptedException {
   
        AtomicTest test = new AtomicTest();

        Thread thread1 = new Thread(test);
        Thread thread2 = new Thread(test);

        thread1.start();
        thread2.start();

        thread1.join();
        thread2.join();

        System.out.println("count=" + test.count.get());
    }
}

1.2 可见性

是指线程之间的可见性,一个线程修改的状态,对另一个线程是可见的。(也就是一个线程修改的结果,另一个线程能立马知道)。

在多线程并发编程中,由于每个线程都有自己线程栈和本地内存,因此存在一个问题:一个线程修改了共享变量的值,但是由于各种原因(比如缓存、处理器优化等),其他线程可能不会立即知道这个共享变量的最新值,这就导致了访问线程之间的数据不一致。

在java 中 synchronized、 final、 volatile实现可见性。

比如:使用volatile 修饰的变量,就具有可见性, volatile不允许线程内进行缓存和重排序,直接修改内存,所以对其他线程是可见的。

volatile虽然具有可见性,但不具有原子性:

eg:
我们定义一个变量,并进行 +1操作
volatile int i = 0;
i++;

此时i 具有可见性,但不具有原子性,如果多个线程同时对同一个volatile变量进行写操作,由于没有互斥机制,仍然会存在竞态条件问题。

1.3 有序性

程序执行时顺序按照代码但先后顺序执行。
在这里插入图片描述
比如下面这个,语句 1、2的顺序就可以调换, 3、4的则不行。

int a = 10;    //语句1
int r = 2;    //语句2
a = a + 3;    //语句3
r = a*a;     //语句4

二、线程安全

2.1、什么是线程安全

线程安全指内存的安全。这和操作系统有关,
在每个进程的内存空间中都会有一块特殊的公共区域,通常称为堆(内存)。
进程内的所有线程都可以访问到该区域,这就是造成问题的潜在原因。

所以线程安全指的是,在堆内存中的数据由于可以被任何线程访问到,
在没有限制的情况下存在被意外修改的风险。
即堆内存空间在没有保护机制的情况下,对多线程来说是不安全的地方,
因为你放进去的数据,可能被别的线程“破坏”。

2.2、为什么多线程不安全

进程中,有很多数据是多线程之间共享的,这些共享的数据很可能被其他线程修改了,那么线程之间共享了哪些进程资源呢?我们接着往下看,线程间数据的操作过程如下:

线程在执行时,先从主存中读取数据,然后复制一份到高速缓存中,
计算完后,再刷新到主存中。
 ____________      _______________
|cpu  高速缓存|   |  缓存一致性协议|
. -----------     |              |
|cpu  高速缓存|   |       or     |      主存
. -----------     |              |
|cpu  高速缓存|   |   总线锁机制   |
. -----------     |______________|

我们都知道进程是操作系统进行资源分配和调度的基本单位,线程thread是操作系统能够进行运算调度的最小单位,所以在某个进程里面,进程的所有资源对于这个进程里的所有线程来说是共享的,既然是共享的,所以在并发操作里,我们的数据就很有可能不安全,比如我们同时用两个线程对count1分别相加,等到的结果是不确定的。

2.2.1 哪些资源是线程私有的?

我们找到独属于线程的资源,其他的资源都是共享的,我们可以这么理解,线程运行的本质就是函数的执行,函数运行时的信息保存在栈帧中,栈帧中保存了函数的返回值、调用其它函数的参数、该函数使用的局部变量以及该函数使用的寄存器信息。

因此每个线程都有自己独立的、私有的栈区,
以上这些信息有一个统一的名字,就是线程上下文,thread context。

除此之外,剩下的都是线程间共享资源。
借用一张网络图片,如下
在这里插入图片描述

2.3 如何解决线程安全问题?

1、私有化
2、ThreadLocal
3、(互斥)锁
4、cas操作
等等

相关文章
|
5月前
|
JSON 网络协议 安全
【Java】(10)进程与线程的关系、Tread类;讲解基本线程安全、网络编程内容;JSON序列化与反序列化
几乎所有的操作系统都支持进程的概念,进程是处于运行过程中的程序,并且具有一定的独立功能,进程是系统进行资源分配和调度的一个独立单位一般而言,进程包含如下三个特征。独立性动态性并发性。
270 1
|
5月前
|
JSON 网络协议 安全
【Java基础】(1)进程与线程的关系、Tread类;讲解基本线程安全、网络编程内容;JSON序列化与反序列化
几乎所有的操作系统都支持进程的概念,进程是处于运行过程中的程序,并且具有一定的独立功能,进程是系统进行资源分配和调度的一个独立单位一般而言,进程包含如下三个特征。独立性动态性并发性。
289 1
|
6月前
|
数据采集 存储 弹性计算
高并发Java爬虫的瓶颈分析与动态线程优化方案
高并发Java爬虫的瓶颈分析与动态线程优化方案
|
5月前
|
Java
如何在Java中进行多线程编程
Java多线程编程常用方式包括:继承Thread类、实现Runnable接口、Callable接口(可返回结果)及使用线程池。推荐线程池以提升性能,避免频繁创建线程。结合同步与通信机制,可有效管理并发任务。
240 6
|
8月前
|
Java API 微服务
为什么虚拟线程将改变Java并发编程?
为什么虚拟线程将改变Java并发编程?
394 83
|
10月前
|
机器学习/深度学习 消息中间件 存储
【高薪程序员必看】万字长文拆解Java并发编程!(9-2):并发工具-线程池
🌟 ​大家好,我是摘星!​ 🌟今天为大家带来的是并发编程中的强力并发工具-线程池,废话不多说让我们直接开始。
378 0
|
5月前
|
Java 调度 数据库
Python threading模块:多线程编程的实战指南
本文深入讲解Python多线程编程,涵盖threading模块的核心用法:线程创建、生命周期、同步机制(锁、信号量、条件变量)、线程通信(队列)、守护线程与线程池应用。结合实战案例,如多线程下载器,帮助开发者提升程序并发性能,适用于I/O密集型任务处理。
487 0
|
6月前
|
算法 Java
Java多线程编程:实现线程间数据共享机制
以上就是Java中几种主要处理多线程序列化资源以及协调各自独立运行但需相互配合以完成任务threads 的技术手段与策略。正确应用上述技术将大大增强你程序稳定性与效率同时也降低bug出现率因此深刻理解每项技术背后理论至关重要.
441 16
|
Linux
Linux编程: 在业务线程中注册和处理Linux信号
通过本文,您可以了解如何在业务线程中注册和处理Linux信号。正确处理信号可以提高程序的健壮性和稳定性。希望这些内容能帮助您更好地理解和应用Linux信号处理机制。
247 26
|
Linux
Linux编程: 在业务线程中注册和处理Linux信号
本文详细介绍了如何在Linux中通过在业务线程中注册和处理信号。我们讨论了信号的基本概念,并通过完整的代码示例展示了在业务线程中注册和处理信号的方法。通过正确地使用信号处理机制,可以提高程序的健壮性和响应能力。希望本文能帮助您更好地理解和应用Linux信号处理,提高开发效率和代码质量。
275 17