混合线程模型(M:N)实现

Question

有3个是在线程调度的实现通常由操作系统内核进行使用的线程模型.其中之一是hybrid(M:N)模型,其中一些N应用程序线程映射到M内核线程,以便它们可以使用最多的M 处理器.这种模式有利有弊.其中一个优点是基于此模型的语言将引入语言级调度程序实现,该实现负责管理和调度应用程序级线程.

• 我想知道是否有人知道任何努力或已经完成的工作,以便语言或图书馆可以利用它？
• 例如,考虑到内核2.6.23+使用一种称为CFS的算法进行调度这一事实,您是否认为这种混合模型完全是一种明智的投资方式？

Answer 1

首先阅读:http://www.kegel.com/c10k.html#1:1

Linux使用从内核2.6(NPTL Native Posix线程库)开始的1:1线程模型,而今天几乎所有操作系统都转移到此模型:

• 如果我没弄错的话,FreeBSD从7.0开始.
• 某些版本的Solaris也开始转移到1:1 - 我不记得是哪一个.

一旦Linux有M:N模型(这是在2.4 NGPT),但1:1通常是优越的.

M:N模型的最大问题是:

1. 难以实施
2. 当使用阻塞系统调用时,实际上需要通知某个内核只阻塞一个用户空间线程而不是内核一个
3. 在多核时代,您希望拥有尽可能多的内核线程.

其中之一是混合(M:N)模型,其中应用程序的一些N个线程映射到某些M个可用处理器.

小修正 - N个应用程序线程映射到M个内核线程,因此它们可以使用多达 M个处理器.