并发编程之第三篇(synchronized)
3. 自旋优化
重量级锁竞争的时候,还可以使用自旋来进行优化,如果当前线程自旋成功(即这时候持锁线程已经退出了同步块,释放了锁),这时当前线程就可以避免阻塞。
自旋重试成功的情况
自旋重试失败的情况
- 在Java6之后自旋锁是自适应的,比如对象刚刚的一次自旋操作成功过,那么认为这次自旋成功的可能性会高,就多自旋几次;反之,就少自旋甚至不自旋,总之,比较智能。
- 自旋会占用CPU时间,单核CPU自旋就是浪费,多核CPU自旋才能发挥优势。
- Java7之后不能控制是否开启自旋功能
4. 偏向锁
轻量级锁在没有竞争时(就自己这个线程),每次重入任然需要执行CAS操作。
Java6中引入了偏向锁来做进一步优化 :只有第一次使用CAS将线程ID设置到对象的Mark Word头,之后发现这个线程ID是自己的就表示没有竞争,不用重新CAS。以后只要不发生竞争,这个对象就归该线程所有
例如 :
偏向状态
回忆一下对象头格式
一个对象创建时 :
- 如果开启了偏向锁(默认开启),那么对象创建后,markword值为0x05即最后3位为101,这时它的thread、epoch、age都为0
- 偏向锁是默认是延迟的,不会在程序启动时立即生效,如果想避免延迟,可以加VM参数 -XX:BiasedLockingStartupDelay=0来禁用延迟
- 如果没有开启偏向锁,那么对象创建后,markwork值为0x01即最后3位为001,这时它的hashcode、age都为0,第一次用到hashcode时才会赋值
1)测试延迟特性
2)测试偏向锁
class Dog{}
利用jol第三方工具来查看对象头信息(注意这里我扩展了jol让它输出更为简洁)
输出
注意
处于偏向锁的对象解锁后,线程id任存储于对象头中
3)测试禁用
在上面测试代码运行时在添加VM参数 -xx: -UseBiasedLocking禁用偏向锁
输出
4)测试hashcode
调用hashcode以后,会禁用偏向锁,因为对象头中没有地方存储偏向锁的线程id了。(hashcode为31位,thread为54位)
调用了对象的hashCode,但偏向锁的对象MarkWord中存储的是线程id,如果调用hashCode会导致偏向锁被撤销 - 轻量级锁会在锁记录中记录hashCode
- 重量级锁会在Monitor中记录hashCode
在调用hashCode后使用偏向锁,记得去掉 -xx: -UseBiasedLocking
输出
撤销-其它线程使用对象
当有其它线程使用偏向锁对象时,会将偏向锁升级为轻量级锁
撤销-调用wait/notify
批量重偏向
如果对象虽然被多个线程访问,但没有竞争,这时偏向了线程T1的对象仍有机会重新偏向T2,重新偏向重置对象的Thread ID
当撤销偏向锁阈值超过20次后,jvm会这样觉得,我是不是偏向错了,于是会在给这些对象加锁时重新偏向至加锁线程
批量撤销
当撤销偏向锁阀值超过40次后,jvm会这样觉得,自己确实偏向错了,根本就不该偏向。于是整个类的所有对象都会变为不可偏向的,新建的对象也是不可偏向的
5. 锁消除
锁消除
4.7 wait/notify
- Owner线程发生条件不满足,调用wait方法,即可进入WaitSet变为WAITING状态
- BLOCKED和WAITING的线程都处于阻塞状态,不占用CPU时间片
- BLOCKED线程会在Owner线程释放锁时唤醒
- WAITING线程会在Owner线程调用notify或notifyAll时唤醒,但唤醒后并不意味着立刻获得锁,任需进入EntryList重新竞争
API介绍
- obj.wait()让进入object监视器的线程到waitSet等待
- obj.notify()在object上正在waitSet等待的线程中挑一个唤醒
- obj。notifyAll()让object上正在waitSet等待的线程全部唤醒
它们都是线程之间进行协作的手段,都属于Object对象的方法。必须获得此对象的锁,才能调用这几个方法
4.8 wait notify的正确姿势
sleep(long n)和wait(long n)的区别
1)sleep是Thread方法,而wait是Object的方法
2)sleep不需要强制和synchronized配合使用,但wait需要和synchronized一起用
3)sleep在睡眠的同时,不会释放对象锁的,但wait在等待的时候会释放对象锁
4)它们状态都是TIMED_WAITING
wait和notify正确使用姿势
同步模式之保护性暂停
即Guarded Suspension,用在一个线程待得另一个线程的执行结果
要点
- 有一个结果需要从一个线程传递到另一个线程,让他们关联同一个GuardedObject
- 如果有结果不断从一个线程到另一个线程那么可以使用消息队列(见生产者/消费者)
- JDK中,join的实现、Future的实现,采用的就是此模式
- 因为要等待另一方的结果,因此归类到同步模式
异步模式之生产者/消费者
要点
- 与前面的保护性暂停中的GuardObject不同,不需要产生结果和消费结果的线程一一对应
- 消费队列可以用来平衡生产和消费的线程资源
- 生产者仅负责生产结果数据,不关心数据该如何处理,而消费者专心处理结果数据
- 消息队列是有容量限制的,满时不会再加入数据空时不会再消耗数据
- JDK中各种阻塞队列,采用的就是这种模式
package com.example.demo;
import lombok.extern.slf4j.Slf4j;
import java.util.LinkedList;
@Slf4j()
public class Test1 {
public static void main(String[] args) {
MessageQueue messageQueue = new MessageQueue(2);
for (int i = 0; i < 3; i++) {
int id = i;
new Thread(() -> {
messageQueue.put(new Message(id, "值" + id));
}, "生产者" + i).start();
}
new Thread(() -> {
while (true) {
try {
Thread.sleep(1000);
} catch (InterruptedException e) {
e.printStackTrace();
}
Message take = messageQueue.take();
}
}, "消费者").start();
}
}
/**
* 消息队列类,java线程之间通信
*/
@Slf4j(topic = "cn.Message")
class MessageQueue {
/**
* 消息的队列集合
*/
private LinkedList<Message> linkedList = new LinkedList<>();
/**
* 队列容量
*/
private int capcity;
public MessageQueue(int capcity) {
this.capcity = capcity;
}
/**
* 获取消息
*/
public Message take() {
// 检查对象是否为空
synchronized (linkedList) {
while (linkedList.isEmpty()) {
try {
log.info("队列为空,消费者线程等待");
linkedList.wait();
} catch (InterruptedException e) {
e.printStackTrace();
}
}
// 从队列头部获取消息并返回
Message message = linkedList.removeFirst();
log.info("已消费消息 : {}", message);
linkedList.notifyAll();
return message;
}
}
/**
* 存入消息
*/
public void put(Message message) {
synchronized (linkedList) {
// 检查对象是否已满
while (linkedList.size() == capcity) {
try {
log.info("队列已满,生产者线程等待");
linkedList.wait();
} catch (InterruptedException e) {
e.printStackTrace();
}
}
// 将消息添加到队列的尾部
linkedList.addLast(message);
log.info("已生产消息 : {}", message);
linkedList.notifyAll();
}
}
}
class Message {
private int id;
private Object value;
public Message(int id, Object value) {
this.id = id;
this.value = value;
}
public int getId() {
return id;
}
public Object getValue() {
return value;
}
@Override
public String toString() {
return "Message{" +
"id=" + id +
", value=" + value +
'}';
}
}
4.9 Park & Unpark
基本使用
它们是LockSupport类中的方法
先看park再unpark
输出
特点
与Object的wait¬ify相比
- wait,notify和notifyAll必须配合Object Monitor一起使用,而unpark不必
- park & unpark是以线程为单位来【阻塞】和【唤醒】线程,而notify只能随机唤醒一个等待线程,notifyAll是唤醒所有等待线程,就不那么【精确】
- park & unpark可以先unpark,而wait & notify不能先notify
原理之park & unpark
每个线程都有自己的一个Parker对象,由三部分组成_counter,_cond和_mutex打个比喻
- 线程就像一个旅人,Parker就像他随身携带的背包,条件变量就好比被告中的帐篷。_counter就好比背包中的备用干粮(0位耗尽,1位充足)
- 调用park就是要看需不需要停下来歇息
- 如果备用干粮耗尽,那么钻进帐篷歇息
- 如果备用干粮充足,那么不需停留,继续前进
- 调用unpark,就好比令干粮充足
- 如果这时线程还在帐篷,就唤醒让他继续前进
- 如果这时线程还在运行,那么下次他调用park时,仅是消耗掉备用干粮,不需停留继续前进
- 因为背包空间有限,多次调用unpark仅会补充一份备用干粮
- 因为背包空间有限,多次调用unpark仅会补充一份备用干粮
当前线程调用Unsafe.park()方法
检查_counter,本情况为0,这时,获得_mutex互斥锁
线程进入_cond条件变量阻塞
设置_counter = 0
- 调用Unsafe.unpark(Thread_0)方法,设置_counter为1
- 唤醒_cond条件变量中的Thread_0
- Thread_0恢复运行
- 设置_counter为0
1.调用Unsafe.unpark(Thread_0)方法,设置_counter为1
2.当前线程调用Unsafe.park()方法
3.检查_counter,本情况为1,这时线程无需阻塞,继续运行
4.设置_counter为0
4.10 重新理解线程状态转换
假设有线程Thread t
情况1 New --》RUNNABLE
- 当调用 t.start()方法时,由NEW --》RUNNABLE
情况2 RUNNABLE < – > WAITING
t 线程用synchronized(obj)获取了对象锁后
- 调用obj.wait()方法时,t线程从RUNNABLE --》WAITING
- 调用obj.notify(),obj.notifyAll(),t.interrupt()时
- 竞争锁成功,t线程从WAITING --> RUNNABLE
- 竞争锁失败,t线程从WAITING --> BLOCKED
情况3 RUNNABLE < – > WAITING
- 当前线程调用t.join()方法时,当前线程从RUNNABLE --> WAITING
- 注意是当前线程在t线程对象的监视器上等待
- t线程运行结束,或调用了当前线程的interrupt()时,当前线程从WAITING
– > RUNNABLE
情况4 RUNNABLE < – > WAITING
- 当前线程调用LockSupport.park()方法会让当前线程从RUNNABLE --> WAITING
- 调用LockSupport.unpark(目标线程)或调用了线程的interrupt(),会让目标线程从WAITING --> RUNNABLE
情况5 RUNNABLE < – > TIMED_WAITING
t线程用synchronized(obj)获取了对象锁后
- 调用obj.wait(long n)方法时,t线程从RUNNABLE --> TIMED_WAITING
- 竞争锁成功,t线程从TIMED_WAITING --> RUNNABLE
- 竞争锁失败,t线程从TIMED_WAITING–> BLOCKED
情况6 RUNNABLE < – > TIMED_WAITING
- 当前线程调用t.join(long n)方法时,当前线程从RUNNABLE --> TIMED_WAITING
- 注意是当前线程在t线程对象的监视器上等待
- 当前线程等待时间超过了n毫秒,或t线程运行结束,或调用了当前线程的interrupt()时,当前线程从TIMED_WAITING --> RUNNABLE
情况7 RUNABLE < – > TIMED_WAITING
- 当前线程调用Thread.sleep(long n),当前线程从RUNNABLE --> TIMED_WAITING
- 当前线程等待时间超过了n毫秒,当前线程从TIMED_WAITING --> RUNNABLE
情况8 RUNNABLE < – > TIMED_WAITING
- 当前线程调用LockSupport.parkNanos(long nanos)或LockSupport.parkUntil(long millis)时,当前线程从RUNNABLE – > TIMED_WAITING
- 调用LockSupport.unpark(目标线程)或调用了线程的interrupt(),或是等待超时,会让目标线程从TIMED_WAITING --> RUNNABLE
情况9 RUNNABLE <–>BLOCKED
- t线程用synchronized(obj)获取对象锁时如果竞争失败,从RUNNABLE --> BLOCKED
- 持有obj锁线程的同步代码块执行完毕,会唤醒该对象上所有BLOCKED的线程重新竞争,如果其他t线程竞争成功,从BLOCKED --> RUNNABLE,其它失败的线程仍然BLOCKED
情况10 RUNNABLE < – > TERMINATED
当前线程所有代码运行完毕,进入TERMINATED
并发编程之第三篇(synchronized)的更多相关文章
- 【Java并发基础】并发编程领域的三个问题:分工、同步和互斥
前言 可以将Java并发编程抽象为三个核心问题:分工.同步和互斥. 这三个问题的产生源自对性能的需求.最初时,为提高计算机的效率,当IO在等待时不让CPU空闲,于是就出现了分时操作系统也就出现了并发. ...
- Scala进阶之路-并发编程模型Akka入门篇
Scala进阶之路-并发编程模型Akka入门篇 作者:尹正杰 版权声明:原创作品,谢绝转载!否则将追究法律责任. 一.Akka Actor介绍 1>.Akka介绍 写并发程序很难.程序员不得不处 ...
- java并发编程笔记(三)——线程安全性
java并发编程笔记(三)--线程安全性 线程安全性: 当多个线程访问某个类时,不管运行时环境采用何种调度方式或者这些进程将如何交替执行,并且在主调代码中不需要任何额外的同步或协同,这个类都能表现 ...
- [书籍翻译] 《JavaScript并发编程》第三章 使用Promises实现同步
本文是我翻译<JavaScript Concurrency>书籍的第三章 使用Promises实现同步,该书主要以Promises.Generator.Web workers等技术来讲解J ...
- 并发编程的锁机制:synchronized和lock
1. 锁的种类 锁的种类有很多,包括:自旋锁.自旋锁的其他种类.阻塞锁.可重入锁.读写锁.互斥锁.悲观锁.乐观锁.公平锁.可重入锁等等,其余就不列出了.我们重点看如下几种:可重入锁.读写锁.可中断锁. ...
- Python3 与 C# 并发编程之~ 进程篇
上次说了很多Linux下进程相关知识,这边不再复述,下面来说说Python的并发编程,如有错误欢迎提出- 如果遇到听不懂的可以看上一次的文章:https://www.cnblogs.com/dot ...
- 转:【Java并发编程】之七:使用synchronized获取互斥锁的几点说明
转载请注明出处:http://blog.csdn.net/ns_code/article/details/17199201 在并发编程中,多线程同时并发访问的资源叫做临界资源,当多个线程同时访 ...
- Python3 与 C# 并发编程之~ 线程篇
2.线程篇¶ 在线预览:https://github.lesschina.com/python/base/concurrency/3.并发编程-线程篇.html 示例代码:https://gith ...
- 【Java并发编程】之七:使用synchronized获取互斥锁的几点说明
在并发编程中,多线程同时并发访问的资源叫做临界资源,当多个线程同时访问对象并要求操作相同资源时,分割了原子操作就有可能出现数据的不一致或数据不完整的情况,为避免这种情况的发生,我们会采取同步机制,以确 ...
随机推荐
- Linux06——安装JDK、Tomcat、Eclipse
一.安装JDK(具体解压命令在Linux02中) ①将JDK解压到opt目录下(opt就是文件夹) ②配置环境变量 vim /etc/profile JAVA_HOME=/opt/jdk1.8.0 ...
- Subroutine 子程序 Perl 第四章
子程序的定义是全局的,不需要事先声明.若重复定义子程序,后面的覆盖前面的. sub marine { $n +=1; print " Hello ,sailor number $_ ! &q ...
- JS高级---实例对象使用属性和方法层层的搜索 (实例对象-->原型对象-->报错)
实例对象使用属性和方法层层的搜索: 实例对象使用的属性或者方法, 先在实例中查找, 找到了则直接使用: 找不到则, 再去实例对象的__proto__指向的原型对象prototype中找, 找到了则 ...
- SQL Server不同服务器不同数据库间的操作
什么是跨服务器操作? 跨服务器操作就是可以在本地连接到远程服务器上的数据库,可以在对方的数据库上进行相关的数据库操作,比如增删改查. 为什么要进行跨服务器操作 随着数据量的增多,业务量的扩张,需要在不 ...
- Kmp算法浅谈
Kmp算法浅谈 一.Kmp算法思想 在主串和模式串进行匹配时,利用next数组不改变主串的匹配指针而是改变模式串的匹配指针,减少大量的重复匹配时间.在Kmp算法中,next数组的构建是整个Kmp算法的 ...
- STM32开发记录
一.使用keil时经常遇到的问题 1.没有下载固件包 2.下载器没选择对 3.没安装下载器的驱动 二.关于数据手册和开发手册 1.如何下载这些手册 在官网下载,官网永远是一手资源 意法半导体官网:ww ...
- 分布式一致性协议 --- Paxos
问题 Paxos 到底解决什么样的问题,动机是什么 Paxos 流程是怎么样的? Paxos 算法的缺陷是什么 概述 Paxos 是分布式一致性算法,根据少数服从多数的原则多个节点确定某个数值.通过学 ...
- Codeforces Round #597 (Div. 2)D(最小生成树)
/*每个点自己建立一座发电站相当于向超级源点连一条长度为c[i]的边,连电线即为(k[i]+k[j])*两点间曼哈顿距离,跑最小生成树(prim适用于稠密图,kruscal适用于稀疏图)*/ #def ...
- Java数字和字符的对照关系表
/* 数字和字符的对照关系表(编码表): ASCII码表:American Standard Code for Information Interchange,美国信息交换标准代码. Unicode码 ...
- 我来给你讲清楚Pythony广播
初学python广播搞的人头大,今天老师上课讲了一下,茅塞顿开,zt老师nb 首先说一下后向纬度(这个后向纬度书里边称作低维),举例:(3,4,5)后向纬度是:3*4*5或4*5或5 向量广播的条件有 ...