管程(Monitor)概念及Java的实现原理
互斥
互斥访问是并发编程要解决的核心问题之一。
有许多种方法可以满足临界区的互斥访问。大体上可以分为三种,
一种是软件方法,即由用户程序承担互斥访问的责任,而不需要依赖编程语言或操作系统,譬如Dekker算法、Peterson算法等,通常这种方式会有一定的性能开销和编程难度。
第二种是操作系统或编程语言对互斥的原生支持,譬如Linux中的mutex、Java语言的synchronized。
最后是硬件上的特殊指令,譬如著名的CAS。这种方式开销最少,但是很难成为一种通用的解决方案,通常操作系统或编程语言的互斥是基于此建立起来的。
管程-Monitor
管程属于编程语言级别的互斥解决方案,最早是Brinch Hanson和Hoare于1970s提出的概念,已在Pascal、Java、Python等语言中得到了实现。
“管程”一词翻译自英文Monitor Procedures
,字面理解就是管理一个或多个执行过程。(但是个人感觉“管程”这个翻译有点莫名其妙,看完更迷糊了,所以本文坚持用回原名Monitor。)
Monitor本质上是对通用同步工具
的一种抽象,它就像一个线程安全的盒子,用户程序把一个方法或过程(代码块)放进去,它就可以为他们提供一种保障:同一时刻只能有一个进程/线程执行该方法或过程,从而简化了并发应用的开发难度。
如果Monitor内没有线程正在执行,则线程可以进入Monitor执行方法,否则该线程被放入入口队列
(entry queue)并使其挂起。当有线程从Monitor中退出时,会唤醒entry queue中的一个线程。
为了处理并发线程,Monitor还需要一个更基础的同步工具,或者说需要一个机制,使得线程不仅被挂起,而且还能释放Monitor,以便其他线程可以进入。
Monitor使用条件变量
(Condition Variable)支持这种机制,这些条件变量(一个或多个)包含在Monitor中,并且只有在Monitor内才能被访问 (类似Java对象的private变量)。
对外开放两个方法以便用户程序操作条件变量
:
cwait(c)
:调用该方法的线程在条件c上阻塞,monitor现在可以被其他线程使用。
csignal(c)
:恢复在条件c上被阻塞的线程。若有多个这样的线程,选择其中一个。
(通常,为了保证cwait/csignal对条件变量的变更是原子性的,还需要借助CAS)
当线程等待资源时
当Monitor中正在执行的线程无法获取所需资源时,情况会变得更加复杂。
如果发生这种情况,等待资源的线程可以先把自己挂起,并且释放Monitor的使用权,使得其他线程得以进入Monitor。
那么问题来了,当第二个线程在执行期间,第一个线程所需的资源可用了,会发生什么?
立即唤醒第一个线程,还是第二个线程先执行完?
对此产生了多个对Monitor的定义。
Hoare版本
在Hoare的语义中,当资源可用时,ThreadA立即恢复执行,而ThreadB进入signal queue。
1.ThreadA 进入 monitor
2.ThreadA 等待资源 (进入wait queue)
3.ThreadB 进入monitor
4.ThreadB 资源可用 ,通知ThreadA恢复执行,并把自己转移到signal queue。
5.ThreadA 重新进入 monitor
6.ThreadA 离开monitor
7.ThreadB 重新进入 monitor
8.ThreadB 离开monitor
9.其他在entry queue中的线程通过竞争进入monitor
Mesa版本
在Mesa Monitor的实现中,第二个线程会先执行完。
ThreadA的资源可用时,把它从wait queue转移到entry queue。ThreadB继续执行至结束。
ThreadA最终也会从entry queue中得以执行。
1.ThreadA 进入 monitor
2.ThreadA 等待资源 (进入wait queue,并释放monitor)
3.ThreadB 进入monitor
4.ThreadB 资源可用,通知ThreadA。(ThreadA被转移到entey queue)
5.ThreadB 继续执行
6.ThreadB 离开monitor
7.ThreadA 获得执行机会,从entry queue出队列,恢复执行
8.ThreadA 离开monitor
9.其他在entry queue中的线程通过竞争进入monitor
由于ThreadA被转移到了entry queue,当ThreadB退出monitor后,ThreadA与其他线程平等竞争monitor的进入条件,所以并不能保证立即执行。
更不幸的是,等到ThreadA重入monitor后,资源可能再次不可用,重复以上过程。
Brinch Hanson版本
Brinch Hanson Monitor(以下简称BH Monitor)只允许线程从monitor退出时发出信号,此时被通知的线程进入monitor恢复执行。
1.ThreadA 进入 monitor
2.ThreadA 等待资源a
3.ThreadB 进入monitor
4.ThreadB 离开Monitor,并给通知等待资源a的线程,资源可用
5.ThreadA 重新进入 monitor
6.ThreadA 离开monitor
7.其他线程从entry queue中竞争进入monitor
三种语义对比
Hoare Monitor中,资源可用时,ThreadB调用csignal()后被阻塞,以便ThreadA立即恢复执行。
这时ThreadB应该被放到哪里?一种可能是转移到entry queue,这样它就必须与其他还未进入Montior的线程平等竞争获取重入机会。
但是由于在调用csignal()之前,ThreadB已经执行了一部分,因此使它优先于其他线程是有意义的,
为此,Hoare Monitor增加了signal queue用于存放阻塞在csignal()上的线程。
Hoare Monitor的一个明显缺点是,ThreadB在执行中途被中断,需要额外的两次线程切换才能恢复执行。
不同的是,Mesa Monitor和BH Monitor会保证ThreadB先执行完,因此不需要额外的signal queue。
Java版本的Monitor
Java在实现时对最初的Monitor定义做了一些合理的限制。首先,与以上三种都不一样的是,Java Montior只允许一个条件变量
,而不是多个。
不像BH monitor,signal可以出现在代码的任何地方。
也不像Hoare monitor,资源可以时,被通知的线程不会立即执行,而是从BLOCK状态变成RUNNABLE状态,被CPU再次调度到时才恢复执行。
与cwait(c)和csignal(c)对应的是wait()和notify()方法。
Java monitor机制通过synchronized
关键字暴露给用户,syncronized可以用户修饰方法或代码块,两者本质上都是一个执行过程。
Java monitor实现生产者/消费者
//简化版本,只允许一个生产者和一个消费者
class BoundedBuffer {
private int numSlots = 0;
private double[] buffer = null;
private int putIn = 0, takeOut = 0;
private int count = 0;
public BoundedBuffer(int numSlots) {
if (numSlots <= 0) throw new IllegalArgumentException("numSlots<=0");
this.numSlots = numSlots;
buffer = new double[numSlots];
System.out.println("BoundedBuffer alive, numSlots=" + numSlots);
}
public synchronized void deposit(double value) {
while (count == numSlots)
try {
wait();
} catch (InterruptedException e) {
System.err.println("interrupted out of wait");
}
buffer[putIn] = value;
putIn = (putIn + 1) % numSlots;
count++;
if (count == 1) notify(); //唤醒等待的consumer
}
public synchronized double fetch() {
double value;
while (count == 0)
try {
wait();
} catch (InterruptedException e) {
System.err.println("interrupted out of wait");
}
value = buffer[takeOut];
takeOut = (takeOut + 1) % numSlots;
count--; // wake up the producer
if (count == numSlots-1) notify(); // 唤醒等待的producer
return value;
}
}
1.Monitors and Condition Variables:https://cseweb.ucsd.edu/classes/sp17/cse120-a/applications/ln/lecture8.html
2.《操作系统精髓与设计原理》第五章
3.https://en.m.wikipedia.org/wiki/Monitor_(synchronization)
管程(Monitor)概念及Java的实现原理的更多相关文章
- 原码,补码,反码的概念及Java中使用那种存储方式
原码,补码,反码的概念及Java中使用那种存储方式: 原码:原码表示法是机器数的一种简单的表示法.其符号位用0表示正号,用:表示负号,数值一般用二进制形式表示 补码:机器数的补码可由原码得到.如果机器 ...
- 链表与哈希表基本概念及Java常用集合
-链表- 是一种物理存储单元上非连续.非顺序的存储结构,数据元素的逻辑顺序是通过链表中的指针链接次序实现的.链表由一系列结点(链表中每一个元素称为结点)组成,结点可以在运行时动态生成.每个结点包括两个 ...
- LVM逻辑卷基本概念及LVM的工作原理
这篇随笔将详细讲解Linux磁盘管理机制中的LVM逻辑卷的基本概念以及LVM的工作原理!!! 一.传统的磁盘管理 其实在Linux操作系统中,我们的磁盘管理机制和windows上的差不多,绝大多数都是 ...
- Linux磁盘管理:LVM逻辑卷基本概念及LVM的工作原理
一.传统的磁盘管理 其实在Linux操作系统中,我们的磁盘管理机制和windows上的差不多,绝大多数都是使用MBR(Master Boot Recorder)都是通过先对一个硬盘进行分区,然后再将该 ...
- GPRS DTU概念及DTU的工作原理(转)
源:http://blog.csdn.net/bichenggui/article/details/7889638 最近需要开发一个基于GRPS DTU数据传输的数据中心方案,于是找了一些资料.个人觉 ...
- CNA, FCoE, TOE, RDMA, iWARP, iSCSI等概念及 Chelsio T5 产品介绍 转载
CNA, FCoE, TOE, RDMA, iWARP, iSCSI等概念及 Chelsio T5 产品介绍 2016年09月01日 13:56:30 疯子19911109 阅读数:4823 标签: ...
- 转 RabbitMQ 基础概念及 Spring 的配置和使用 推荐好文 举例讲解
从不知道到了解—RabbitMQ 基础概念及 Spring 的配置和使用 原理同上 请求地址:http://localhost:8080/home?type=3&routing_key=myO ...
- Java并发编程原理与实战六:主线程等待子线程解决方案
本文将研究的是主线程等待所有子线程执行完成之后再继续往下执行的解决方案 public class TestThread extends Thread { public void run() { Sys ...
- 大牛聊Java并发编程原理之 线程的互斥与协作机制
可能在synchronized关键字的实现原理中,你已经知道了它的底层是使用Monitor的相关指令来实现的,但是还不清楚Monitor的具体细节.本文将让你彻底Monitor的底层实现原理. 管程 ...
随机推荐
- Course Selection System ZOJ - 3956 01背包+思维
Course Selection System ZOJ - 3956 这个题目居然是一个01背包,我觉得好难想啊,根本就没有想到. 这个题目把题目给的转化为 ans = a*a-a*b-b*b 这个 ...
- 如何理解三大运营商发布的《5G消息白皮书》?
如何理解三大运营商发布的<5G消息白皮书>? 2020年4月8日中国移动.中国电信.中国联通携手华为.小米.vivo.OPPO.中兴等11家终端厂商联合发布了<5G消息白皮书> ...
- band-pass filtering
from scipy import signal # 带通滤波器 # 信号,频率下限,频率上限, 采样率 def bandPass(signals, fre_low, fre_high, fs): b ...
- jquery判断邮箱及密码是否输入正确的表单提交
jquery我接触的也不是很多,基本就是照着案例然后查相关方法做出来的,基本用了大概半天的时间,手打加查资料实现.具体如下,首先下载一个jquery包,网址是https://jquery.com/do ...
- ocelot jwt 进行统一验证
前一个帖子发了有关jwt 验证api的内容,这一次将jwt集成到ocelot网关中. ocelot集成jwt有一个很不错的nuget包,ocelot.jwtauthorize ,但是这个包似乎支持n ...
- 容器技术之LXC
什么是容器?在生活中我们常见的容器有各种瓶瓶罐罐.各种能够容纳其它物料的东西叫容器:容器的特点就是有着很好的隔离作用,使得不同的物料互相隔离:除此之外容器还方便运输.方便储存:这是生活中所说的容器,以 ...
- 搞懂js中小数运算精度问题原因及解决办法
js小数运算会出现精度问题 js number类型 JS 数字类型只有number类型,number类型相当于其他强类型语言中的double类型(双精度浮点型),不区分浮点型和整数型. number类 ...
- layui菜单点击刷新,自适应
最近在项目上用layui框架后台iframe版,遇到的一些问题分享: 1.项目的左侧菜单点击对应的子菜单能自动刷新问题. 2.除了在左侧有菜单,还需要在右侧需要一个菜单(跳转到新页面),并且能够伸缩自 ...
- County Fair Events
先按照结束时间进行排序,取第一个节日的结束时间作为当前时间,然后从第二个节日开始搜索,如果下一个节日的开始时间大于当前的时间,那么就参加这个节日,并更新当前时间 #include <bits/s ...
- css概述四
八.文本格式化 2.文本属性 ①文本颜色 color:合法的颜色值 ②文本对齐方式 text-align: 取值 left/center/right/justify 注意 1.一个元素写了text- ...