JUC并发编程-JMM

2024-08-25 16:52
文章标签 并发 编程 juc jmm

本文主要是介绍JUC并发编程-JMM,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

1. JMM简介

JMM(Java 内存模型)是一个在 Java 编程语言中非常重要的概念,特别是在并发编程领域。它定义了 Java 程序中的变量、线程如何与主存(main memory)以及工作内存(working memory)进行交互的规则。JMM 主要涉及到多线程环境下的共享变量可见性、指令重排等问题。

CPU 缓存模型。现代的 CPU 通常具有多层缓存,如 L1、L2、L3 Cache,这些缓存位于 CPU 和主内存之间。CPU 缓存的存在是为了解决 CPU 处理速度和内存处理速度不匹配的问题。当 CPU 需要读取或写入数据时,它会先操作缓存中的数据,然后再将数据同步回主内存。但是,这种机制可能导致内存缓存不一致性问题,即不同线程间对同一数据的读取可能得到不同的值。

JMM 通过制定一系列规则来解决这些问题,这些规则涉及到变量的可见性、指令的重排序等方面。在 Java 中,所有对象都存在于堆内存中,堆内存是所有线程共享的。而每个线程都有自己的栈内存,栈内存中的变量是线程私有的,不会在线程间共享。因此,JMM 主要关注的是堆内存中的共享变量。

2. JMM三大特性

  • 原子性(Atomicity): 原子性指的是一个操作在执行过程中不会被中断,要么全部执行,要么完全不执行。在JMM中,原子性保证了对基本数据类型的读取和写入操作是原子的,但对于复杂操作,如复合操作(比如多个变量的赋值),则需要通过同步(如synchronized关键字或者java.util.concurrent.atomic包下的原子类)来保证原子性。

  • 可见性(Visibility): 可见性指的是当一个线程修改了共享变量的值后,其他线程能够立即看到这个修改。在多线程环境下,为了保证共享变量的可见性,JMM规定了以下几种做法:

    • 使用volatile关键字声明变量,保证对变量的读写直接与主内存交互。
    • final关键字修饰的字段在构造器初始化完成之后对所有线程可见。
    • 通过synchronized块或者锁来保证可见性,因为解锁前必须将共享变量的最新值刷新到主内存中。
  • 有序性(Ordering): 有序性指的是程序执行的顺序按照代码的先后顺序执行。JMM保证了单个线程内程序的执行顺序(即程序顺序规则),但是在多线程环境中,由于指令重排序和缓存的存在,程序的执行顺序可能会发生变化。(即只要程序的最终结果与它顺序化执行的结果相等,那么指令执行的顺序可以不与代码顺序不一致,此过程称为指令的重排序)JMM通过以下方式保证有序性:

    • volatile关键字可以禁止特定类型的处理器重排序。
    • synchronized块内的代码可以保证代码块内部的指令执行顺序

3. happens-before(多线程之间的协作)

happens-before总原则:

  • 如果一个操作happens-before另一个操作,那么第一个操作的执行结果对第二个操作可见,且第一个操作的执行顺序排在第二个操作之前。
  • 两个操作之间存在happens-before关系,并不意味着一定要按照happens-before原则制定的顺序来执行。如果重排序之后的执行结果按照happens-before关系来执行的结果一致,那么这种重排序并不违法。

happens-before8条规则:

  • 次序规则:一个线程内,按照代码顺序,写在前面的操作先发生写在后面的操作;前一个操作结果可以被后续的操作获取
  • 锁定规则:一个unlock操作先行发生于后面对于同一个锁的lock操作
  • volatile变量规则:对于一个volatile变量的写操作先发生于后面对这个变量的读操作;前面的写对后面的读是可见的。
  • 传递规则:如果操作A先发生于操作B,而操作B先发生于操作C,则操作A先发生于操作C;
  • 线程启动规则:Thread对象的start()方法先行发生于此线程的每个动作
  • 线程中断规则:对线程interrupt()方法的调用先发生于被中断线程的代码检查到中断事件的发生;
  • 线程终止规则:线程中的所有操作都先发生于对此线程的终止检测,我们可以通过isAlive()手段检测线程是否已经被终止
  • 对象终结规则:一个对象的初始化完成(构造函数执行结束)先行发生它的finalize()方法的开始,对象没有完成初始化之前,是不能调用finalized()方法的

4. 示例代码:

private int count = 0;public synchronized void increment() {count++;
}public synchronized int getCount() {return count;
}

这篇关于JUC并发编程-JMM的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

Linux 网络编程 --- 应用层

一、自定义协议和序列化反序列化 代码: 序列化反序列化实现网络版本计算器 二、HTTP协议 1、谈两个简单的预备知识 https://www.baidu.com/ --- 域名 --- 域名解析 --- IP地址 http的端口号为80端口,https的端口号为443 url为统一资源定位符。CSDNhttps://mp.csdn.net/mp_blog/creation/editor

【Python编程】Linux创建虚拟环境并配置与notebook相连接

1.创建 使用 venv 创建虚拟环境。例如,在当前目录下创建一个名为 myenv 的虚拟环境: python3 -m venv myenv 2.激活 激活虚拟环境使其成为当前终端会话的活动环境。运行: source myenv/bin/activate 3.与notebook连接 在虚拟环境中,使用 pip 安装 Jupyter 和 ipykernel: pip instal

高并发环境中保持幂等性

在高并发环境中保持幂等性是一项重要的挑战。幂等性指的是无论操作执行多少次,其效果都是相同的。确保操作的幂等性可以避免重复执行带来的副作用。以下是一些保持幂等性的常用方法: 唯一标识符: 请求唯一标识:在每次请求中引入唯一标识符(如 UUID 或者生成的唯一 ID),在处理请求时,系统可以检查这个标识符是否已经处理过,如果是,则忽略重复请求。幂等键(Idempotency Key):客户端在每次

【编程底层思考】垃圾收集机制,GC算法,垃圾收集器类型概述

Java的垃圾收集(Garbage Collection,GC)机制是Java语言的一大特色,它负责自动管理内存的回收,释放不再使用的对象所占用的内存。以下是对Java垃圾收集机制的详细介绍: 一、垃圾收集机制概述: 对象存活判断:垃圾收集器定期检查堆内存中的对象,判断哪些对象是“垃圾”,即不再被任何引用链直接或间接引用的对象。内存回收:将判断为垃圾的对象占用的内存进行回收,以便重新使用。

Go Playground 在线编程环境

For all examples in this and the next chapter, we will use Go Playground. Go Playground represents a web service that can run programs written in Go. It can be opened in a web browser using the follow

深入理解RxJava:响应式编程的现代方式

在当今的软件开发世界中,异步编程和事件驱动的架构变得越来越重要。RxJava,作为响应式编程(Reactive Programming)的一个流行库,为Java和Android开发者提供了一种强大的方式来处理异步任务和事件流。本文将深入探讨RxJava的核心概念、优势以及如何在实际项目中应用它。 文章目录 💯 什么是RxJava?💯 响应式编程的优势💯 RxJava的核心概念

函数式编程思想

我们经常会用到各种各样的编程思想,例如面向过程、面向对象。不过笔者在该博客简单介绍一下函数式编程思想. 如果对函数式编程思想进行概括,就是f(x) = na(x) , y=uf(x)…至于其他的编程思想,可能是y=a(x)+b(x)+c(x)…,也有可能是y=f(x)=f(x)/a + f(x)/b+f(x)/c… 面向过程的指令式编程 面向过程,简单理解就是y=a(x)+b(x)+c(x)

Java并发编程之——BlockingQueue(队列)

一、什么是BlockingQueue BlockingQueue即阻塞队列,从阻塞这个词可以看出,在某些情况下对阻塞队列的访问可能会造成阻塞。被阻塞的情况主要有如下两种: 1. 当队列满了的时候进行入队列操作2. 当队列空了的时候进行出队列操作123 因此,当一个线程试图对一个已经满了的队列进行入队列操作时,它将会被阻塞,除非有另一个线程做了出队列操作;同样,当一个线程试图对一个空

生信代码入门:从零开始掌握生物信息学编程技能

少走弯路,高效分析;了解生信云,访问 【生信圆桌x生信专用云服务器】 : www.tebteb.cc 介绍 生物信息学是一个高度跨学科的领域,结合了生物学、计算机科学和统计学。随着高通量测序技术的发展,海量的生物数据需要通过编程来进行处理和分析。因此,掌握生信编程技能,成为每一个生物信息学研究者的必备能力。 生信代码入门,旨在帮助初学者从零开始学习生物信息学中的编程基础。通过学习常用

rtmp流媒体编程相关整理2013(crtmpserver,rtmpdump,x264,faac)

转自:http://blog.163.com/zhujiatc@126/blog/static/1834638201392335213119/ 相关资料在线版(不定时更新,其实也不会很多,也许一两个月也不会改) http://www.zhujiatc.esy.es/crtmpserver/index.htm 去年在这进行rtmp相关整理,其实内容早有了,只是整理一下看着方