JVM之线程实现的不同方式、以及协程、纤程(基于《深入理解Java虚拟机》之第12章Java内存模型与线程)(下)

aas 线程的引入,可以把一个进程的资源分配和执行调度分开,各个线程既可以共享进程资源(内存地址、文件I/O等),又可以独立调度。目前线程是Java里面进行处理器资源调度的最基本单位,不过如果日后Loom项目能成功为Java引入纤程(Fiber)的话,可能就会改变这一点。
asdsadasdasdasdsadasdasdasdsadassdasdsasdsadsdasdasdsadasdasdsadasdsadassadasdas————《Java虚拟机规范》


线程的实现方式有几种呢?
sadsa
sadsa实现线程主要有3种方式:
sadsa
sadasdasdsadsa①、内核线程实现(1:1) ②、用户线程实现(1:N)③、用户线程加轻量级进程混合实现(N:M)。
sadsa
内核线程实现:(Windows)
sadsa
sadsa使用内核线程实现的方式也被称为1:1实现。
sadsa
sadsa内核线程就是直接由操作系统内核支持的线程,这种线程由内核来完成线程切换,内核通过操纵调度器对线程进行调度,并负责将线程的任务映射到各个处理器上。每个内核线程可以视为内核的一个分身,这样操作系统就有能力同时处理多件事情,支持多线程的内核就称为多线程内核
sadsa
sadsa程序一般不会直接使用内核线程,而是使用内核线程的一种高级接口——轻量级进程(LWP),轻量级进程就是我们通常意义上所讲的线程,由于每个轻量级进程都由一个内核线程支持,因此只有先支持内核线程,才能有轻量级进程
sadsa
sadsa这种轻量级进程与内核线程之间1:1的关系称为一对一的线程模型。 如图:
在这里插入图片描述
sadsa优点: 由于内核线程(KLT)的支持,每个轻量级进程(LWT)都成为一个独立的调度单元,即使其中某一个轻量级进程在系统调用中被阻塞了,也不会影响整个进程继续工作。
sadsa缺点:
saddassa①、由于是基于内核线程实现的,所以各种线程操作,如创建、析构及同步,都需要进行系统调用。而系统调用的代价相对较高,需要在用户态和内核态中来回切换。
sasdadsa②、每个轻量级进程都需要有一个内核线程的支持,因此轻量级进程要消耗一定的内核资源(如内核线程的栈空间),因此一个系统支持轻量级进程的数量是有限的。
sadsa
用户线程实现:
sadsa
sadsa使用用户线程实现的方式被称为1:N实现。
sadsa
sadsa广义上来讲:一个线程只要不是内核线程,都可以认为是用户线程(User Thread,UT)的一种,因此从这个定义上看,轻量级进程也属于用户线程,但轻量级进程的实现始终是建立在内核之上的,许多操作都要进行系统调用,因此效率会受到限制,并不具备通常意义上的用户线程的优点
sadsa
sadsa狭义上来讲:用户线程指的是完全建立在用户空间的线程库上,系统内核不能感知到用户线程的存在及如何实现的。用户线程的建立、同步、销毁和调度完全在用户态中完成,不需要内核的帮助。如果程序实现得当,这种线程不需要切换到内核态,因此操作可以是非常快速且低消耗的,也能够支持规模更大的线程数量,部分高性能数据库中的多线程就是由用户线程实现的。
sadsa
sadsa进程与用户线程之间1:N的关系称为一对多的线程模型。如图:
在这里插入图片描述
sadsa优点: 用户线程不同于轻量级进程,前者不需要内核线程支援。
sadsa缺点:
saddassa①、 由于没有内核线程支持,所有的线程操作都需要由用户程序自己去处理。
saddassa②、而且由于操作系统只把处理器资源分配到进程,那诸如“阻塞如何处理”“多处理器系统中如何将线程映射到其他处理器上”这类问题解决起来将会异常困难,甚至有些是不可能实现的。
sadsa【注】:一般的应用程序都不倾向于使用用户线程。
sadsa
混合实现:(Unix)
sadsa
sadsa线程除了依赖内核线程实现和完全由用户程序自己实现之外,还有一种将内核线程与用户线程一起使用的实现方式,被称为N:M实现。

sadsa在这种混合实现下,既存在 用户线程,也存在轻量级进程。用户线程还是完全建立在用户空间中,因此用户线程的创建、切换、析构等操作依然廉价,并且可以支持大规模的用户线程并发。而 操作系统支持的轻量级进程则作为用户线程和内核线程之间的桥梁,这样可以使用内核提供的线程调度功能及处理器映射,并且用户线程的系统调用要通过轻量级进程来完成,这大大降低了整个进程被完全阻塞的风险
sadsa
sadsa在这种混合模式中,用户线程与轻量级进程的数量比是不定的,是N:M的关系(许多UNIX系列的操作系统都有实现)。
在这里插入图片描述
sadsa
总结:
sadsa
sadsa操作系统支持怎样的线程模型,在很大程度上会影响上面的Java虚拟机的线程是怎样映射的,这一点在不同的平台上很难达成一致,因此《Java虚拟机规范》中才不去限定Java线程需要使用哪种线程模型来实现。线程模型只对线程的并发规模和操作成本产生影响。
sadsa【注】:以HotSpot为例,它的每一个Java线程都是直接映射到一个操作系统原生线程来实现的,而且中间没有额外的间接结构,所以HotSpot自己是不会去干涉线程调度的(可以设置线程优先级给操作系统提供调度建议),全权交给底下的操作系统去处理,所以何时冻结或唤醒线程、该给线程分配多少处理器执行时间、该把线程安排给哪个处理器核心去执行等,都是由操作系统完成的,也都是由操作系统全权决定的。(Windows)


Java线程调度问题:
sadsa
sadsa调度主要方式有两种:①、协同式线程调度 ②、抢占式线程调度
sadsa
协同式线程调度:
sadssa
sadssa线程的执行时间由线程本身来控制。
sadssa线程把自己的工作执行完了之后,要主动通知系统切换到另外一个线程上去
sadssa好处:
saddsads ssa①、实现简单。
saddsads ssa②、由于线程要把自己的事情干完后才会进行线程切换,切换操作对线程自己是可知的,所以一般没有什么线程同步的问题.
sadssa缺点: :线程执行时间不可控制,甚至如果一个线程的代码编写有问题,一直不告知系统进行线程切换,那么程序就会一直阻塞在那里。
sadsa
抢占式调度:
sadssa
sadssa线程的切换不由线程本身来决定,且线程的执行时间是系统可控的,也不会有一个线程导致整个进程甚至整个系统阻塞的问题。
sadssa【注】:Java使用的线程调度方式就是抢占式调度.
sadsa
Java线程调度是系统自动完成,那我们是否还能"干预"其执行的时间长短呢?
sadssa
sadssa可以,我们可以通过设置线程优先级来“建议”操作系统给某些线程多分配一点执行时间,另外的一些线程则可以少分配一点。
sadssa【注】:Java语言一共设置了10个级别的线程优先级,默认为5.
sadsa
线程优先级是一种稳定的调节手段吗?(不是)
sadssa
sadssa①、因为主流虚拟机上的Java线程是被映射到系统的原生线程上(KLT)来实现的,所以线程调度最终还是由操作系统说了算 尽管现代的操作系统基本都提供线程优先级的概念,但是并不见得能与Java线程的优先级一一对应。如果操作系统的优先级比Java线程优先级更多,那问题还比较好处理,中间留出一点空位就是了,但对于比Java线程优先级少的系统,就不得不出现几个线程优先级对应到同一个操作系统优先级的情况了。
sadssa【注】:Windows线程优先级就比Java语言的优先级个数少,所以存在多对一的情况。

sadssa②、优先级可能会被系统自行改变,例如在Windows系统中存在一个叫“优先级推进器”的功能(当然它可以被关掉),大致作用是 当系统发现一个线程被执行得特别频繁时,可能会越过线程优先级去为它分配执行时间,从而减少因为线程频繁切换而带来的性能损耗。因此,我们并不能在程序中通过优先级来完全准确判断一组状态都为Ready的线程将会先执行哪一个
sadsa
线程的状态转换不详细展开了,在高并发模块已经有写:新建(New)、运行(Runnable)、无限期等待、限期等待、阻塞、结束。


Java与协程(这一部分可以不看,有兴趣的可以看,扩展知识面)
sadssa
内核线程的局限:
sadssa
sadssa场景:如今对Web应用的服务要求,不论是在请求数量上还是在复杂度上都非与过去有了很大的提升。现代B/S系统中一次对外部业务请求的响应,往往需要分布在不同机器上的大量服务共同协作来实现,这种服务细分的架构在减少单个服务复杂度、增加复用性的同时,也不可避免地增加了服务的数量,缩短了留给每个服务的响应时间。这样对服务器的要求:
sadssasdasda① 、每一个服务都必须在极短的时间内完成计算,这样组合多个服务的总耗时才不会太长
sadssasdasda② 、要求每一个服务提供者都要能同时处理数量更庞大的请求,这样才不会出现请求由于某个服务被阻塞而出现等待
sadssa而Java目前的并发编程机制就与上述架构趋势产生了一些矛盾,1:1的内核线程模型是如今Java虚拟机线程实现的主流选择,但是这种映射到操作系统上的线程天然的缺陷是切换、调度成本高昂,系统能容纳的线程数量也很有限。 放在过去或许无伤大雅,但现在的每个请求的时间变得很短,而数量很多得前提下,用户线程切换的开销甚至可能会接近用于计算本身的开销,这就会造成严重的浪费。
sadssa【为什么内核线程调度切换起来成本就要更高?】:内核线程的调度成本主要来自于用户态与核心态之间的状态转换,而这两种状态转换的开销主要来自于响应中断、保护和恢复执行现场的成本。
sadssa
内核线程调度切换成本高,那如果换成用户线程呢?:
sadssa
sadssa同样不能,但是我们可以把保护和恢复执行现场及调度的工作从操作系统交到程序员手上。而靠人的智慧,我们可以通过一些方法来缩减这些开销:栈纠缠(Stack Twine)
sadssa
栈纠缠是什么意思?
sadssa
sadssa由用户自己模拟多线程、自己保护恢复现场的工作模式。其大致的原理是通过在内存里划出一片额外空间来模拟调用栈,只要其他“线程”中方法压栈、退栈时遵守规则,不破坏这片空间即可,这样多段代码执行时就会像相互缠绕着一样,非常形象
sadssa
协程的由来?
sadssa
sadssa随着操作系统开始提供多线程的支持,靠应用自己模拟多线程的做法(栈纠缠)就慢慢演化为了用户线程,而那时候多数用户线程用的调度方式是协同式调度,所以我们称其为"协程"。
sadssa
协程的优缺点?
sadssa
sadssa协程的主要优势: 轻量,无论是有栈协程还是无栈协程,都要比传统内核线程要轻量得多。

sadssa【注】:由于这时候的协程会完整地做调用栈的保护、恢复工作,所以今天也被称为“有栈协程”,起这样的名字是为了便于跟后来的“无栈协程”区分开。

sadssa协程的局限性

sadssssa①、需要在应用层面实现的内容(调用栈、调度器这些) 特别多。

sadssssa②、顾名思义,"协同调度"的缺点。
sadssa
有栈协程的替代:
sadssa
sadssa对于有栈协程,有一种特例实现名为纤程(Fiber)。最早微软提出来的。

sadssa【注】:后来微软还推出过系统层面的纤程包来方便应用做现场保存、恢复和纤程调度。OpenJDK在2018年创建了Loom项目,这是Java用来应对一些场景(内核线程的局限性所提到的场景)的官方解决方案,根据目前公开的信息,如无意外,日后该项目为Java语言引入的、与现在线程模型平行的新并发编程机制中应该也会采用“纤程”这个名字。
sadssa
Loom项目的意图:
sadssa
sadssa重新提供对用户线程的支持,但与过去的绿色线程(应该就是指的用户线程,这是书中没有具体的解释)不同,这些新功能不是为了取代当前基于操作系统的线程实现,而是会有两个并发编程模型在Java虚拟机中并存,可以在程序中同时使用。

系统调度 (
在这里插入图片描述

💖 感谢 三连暴击,谢谢啦~💖

  • 3
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 2
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值