java并发编程实战《二》java内存模型
Java解决可见性和有序性问题:Java内存模型
什么是 Java 内存模型?
Java 内存模型是个很复杂的规范,可以从不同的视角来解读,站在我们这些程序员的视角,本质上可以理解为,
Java 内存模型规范了 JVM 如何提供按需禁用缓存和编译优化的方法。具体来说,这些方法包括 volatile、synchronized 和 final 三个关键字,以及六项 Happens-Before 规则。
Happens-Before 规则:前一个操作的结果对后续操作可见。
- 程序的顺序性规则程序的顺序性规则程序的顺序性规则程序的顺序性规则
程序的顺序性规则
- 在一个线程中,按照程序顺序,对前部分代码的操作对后面的操作是可见的
- volatile规则
- 对volatile变量的写相对于volatile变量的读可见
- 传递性规则
- a对b可见,b对c可见,则a对c可见
- 管程中锁的规则
- 对一个锁的解锁对后续对这个锁的加锁可见
- 线程 start() 规则
- 指主线程 A 启动子线程 B 后,子线程 B 能够看到主线程在启动子线程 B 前的操作。
-
1 package com.jeek_time.java并发编程实战.二.happensbefore;
2
3 /**
4 * 测试happens-before中的start规则
5 * 主线程中start子线程B,在start B线程时可看到主线程对共享变量的操作, 0 -> 1
6 */
7 class TestStart{
8 static int i=0;
9 public static void main(String[] args) {
10 i=1;
11 final Thread subThreadB = new Thread(() ->{
12 System.out.println(TestStart.i);
13 });
14 subThreadB.setName("子线程B");
15 subThreadB.start();
16 }
17 }
- 线程 join() 规则
- 指主线程 A 等待子线程 B 完成(主线程 A 通过调用子线程 B 的 join() 方法实现),当子线程 B 完成后(主线程 A 中 join() 方法返回),主线程能够看到子线程的操作(共享变量)
- 下面这段代码的结果:先0后1,刚好可印证结论,很有趣。
1 package com.jeek_time.java并发编程实战.二.happensbefore;
2
3 import lombok.SneakyThrows;
4
5 /**
6 * 测试happens-before中的join规则
7 * 指主线程等待子线程 B 完成(主线程通过调用子线程 B 的 join() 方法实现),
8 * 当子线程 B 完成后(主线程中 join() 方法返回),主线程能够看到子线程B的操作(共享变量)
9 */
10 public class TestJoin{
11 static int i = 0;
12 @SneakyThrows
13 public static void main(String[] args) {
14 final Thread subThreadB = new Thread(() ->{
15 TestJoin.i = 1;
16 try {
17 Thread.sleep(1000);
18 } catch (InterruptedException e) {
19 e.printStackTrace();
20 }
21 });
22 subThreadB.setName("子线程B");
23 subThreadB.start();
24
25 System.out.println("返回前:" + TestJoin.i);
26 subThreadB.join();
27 System.out.println("返回后:" + TestJoin.i);
28 }
29
30 }
2 final int x;
3 // 错误的构造函数
4 public FinalFieldExample() {
5 x = 3;
6 y = 4;
7 // 此处就是讲this逸出,
8 global.obj = this;
9 }
- 声明共享变量abc,并使用volatile关键字修饰abc
- 声明共享变量abc,在synchronized关键字对abc的赋值代码块加锁,由于Happen-before管程锁的规则,可以使得后续的线程可以看到abc的值。
- A线程启动后,使用A.JOIN()方法来完成运行,后续线程再启动,则一定可以看到abc==3
摘自极客时间王宝令老师的课程
java并发编程实战《二》java内存模型的更多相关文章
- java并发编程(9)内存模型
JAVA内存模型 在多线程这一系列中,不去探究内存模型的底层 一.什么是内存模型,为什么需要它 在现代多核处理器中,每个处理器都有自己的缓存,定期的与主内存进行协调: 想要确保每个处理器在任意时刻知道 ...
- JAVA并发编程的艺术 JMM内存模型
锁的升级和对比 java1.6为了减少获得锁和释放锁带来的性能消耗,引入了"偏向锁"和"轻量级锁". 偏向锁 偏向锁为了解决大部分情况下只有一个线程持有锁的情况 ...
- java并发编程实战(java concurrency in practice)
第一章 线程共享进程范围内的资源,但每个线程都有各自的程序计数器.栈以及局部变量等. 多个线程可以同时调度到多个CPU上运行. 线程的优势? 在服务应用程序中,可以提升资源利用率以及系统吞吐率 ...
- 【Java并发编程实战】----- AQS(二):获取锁、释放锁
上篇博客稍微介绍了一下AQS,下面我们来关注下AQS的所获取和锁释放. AQS锁获取 AQS包含如下几个方法: acquire(int arg):以独占模式获取对象,忽略中断. acquireInte ...
- Java并发编程实战——读后感
未完待续. 阅读帮助 本文运用<如何阅读一本书>的学习方法进行学习. P15 表示对于书的第15页. Java并发编程实战简称为并发书或者该书之类的. 熟能生巧,不断地去理解,就像欣赏一部 ...
- 【Java并发编程实战】-----“J.U.C”:ReentrantLock之一简介
注:由于要介绍ReentrantLock的东西太多了,免得各位客官看累,所以分三篇博客来阐述.本篇博客介绍ReentrantLock基本内容,后两篇博客从源码级别分别阐述ReentrantLock的l ...
- java并发编程实战学习(3)--基础构建模块
转自:java并发编程实战 5.3阻塞队列和生产者-消费者模式 BlockingQueue阻塞队列提供可阻塞的put和take方法,以及支持定时的offer和poll方法.如果队列已经满了,那么put ...
- 《java并发编程实战》笔记
<java并发编程实战>这本书配合并发编程网中的并发系列文章一起看,效果会好很多. 并发系列的文章链接为: Java并发性和多线程介绍目录 建议: <java并发编程实战>第 ...
- 《Java并发编程实战》文摘
更新时间:2017-06-03 <Java并发编程实战>文摘,有兴趣的朋友可以买本纸质书仔细研究下. 一 线程安全性 1.1 什么是线程安全性 当多个线程访问某个类时,不管运行时环境采用何 ...
随机推荐
- c# 表达式树(一)
前言 打算整理c# 代码简化史系列,所以相关的整理一下,简单的引出一下概念. 什么是表达式树呢? 表达式树以树形数据结构表示代码,其中每一个节点都是一种表达式,比如方法调用和 x < y 这样的 ...
- rabbitmq(一)-基础入门
原文地址:https://www.jianshu.com/p/e186a7fce8cc 在学东西之前,我们先有一个方法论,知道如何学习.学习一个东西一般都遵循以下几个环节: xxx是什么,诞生的原因, ...
- 如何将别人Google云端硬盘中的数据进行保存
查了好久终于知道! 如何将别人Google云端硬盘中的数据进行copy,而不是右键发现只有添加快捷方式 只要shift+z就可以保存了! 之后等我弄清楚怎么将别人家的云盘中的数据集导到colab再来详 ...
- c#导入文件以后查看制定值
//Console.ReadKey(); ceshi("3.ini", "用户名"); ceshi("3.ini", "IP地址& ...
- [MIT6.006] 1. Algorithmic Thinking, Peak Finding 算法思维,峰值寻找
[MIT6.006] 系列笔记将记录我观看<MIT6.006 Introduction to Algorithms, Fall 2011>的课程内容和一些自己补充扩展的知识点.该课程主要介 ...
- 企业网络拓扑MSTP功能实例(二)
组网图形 MSTP简介 以太网交换网络中为了进行链路备份,提高网络可靠性,通常会使用冗余链路.但是使用冗余链路会在交换网络上产生环路,引发广播风暴以及MAC地址表不稳定等故障现象,从而导致用户通信质量 ...
- TCP特点
1.基于字节流:面向连接:可靠传输:缓冲传输:全双工:流量控制.TCP如何保证可靠性:差错:校验和丢包:超时重传+确认失序:seq(序号)重复:seq(序号)1.数据被分割成TCP认为最合适发送的数据 ...
- python之路《五》字符串的操作
python的里的字符串的操作是可以说是最常见也是最实用的 我们通常使用双引号来表示字符串" "创建字符串很简单,定义一个变量就可以了 1 name = 'my name \t i ...
- 查询Ceph的OSD占用内存
前言 之前写过一篇关于查询OSD的运行的CPU的情况的分享,本篇是讲的获取内存占用的,代码包括两种输出,一种是直接的表格,一种是可以方便解析的json 代码 直接上代码,python才用不久,所以可能 ...
- 转载 数据库优化 - SQL优化
判断问题SQL判断SQL是否有问题时可以通过两个表象进行判断: 系统级别表象CPU消耗严重IO等待严重页面响应时间过长应用的日志出现超时等错误可以使用sar命令,top命令查看当前系统状态. 也可以通 ...