从硬件角度理解进程与线程

进程与线程是现代计算机系统的重要概念,下面摘录两者的定义:

进程:是执行中一段程序,即一旦程序被载入到内存中并准备执行,它就是一个进程。进程是表示资源分配的的基本概念,又是调度运行的基本单位,是系统中的并发执行的单位。

线程:单个进程中执行中每个任务就是一个线程。线程是进程中执行运算的最小单位。

对于两个的定义相比大家已经耳熟能详,然而能讲出两个两者的定义,就真的已经深入理解了进程(线程)是如何工作的吗?本文从硬件、操作系统两个角度来深入理解一下进程(线程),进程(线程)究竟是什么东西?他们究竟是怎么被操作系统调度的,需要哪些软硬件的协同工作?

CPU顺序运行

为了能够理解线程,我们先来看看程序是如何在CPU上执行的。CPU内部主要包含三个部分:

  • 控制单元(Control Unit),主要给指令译码,并发出执行指令的操作。比如指令是一条加法,那么控制器发送指令给ALU完成加法操作,如果是一条load指令,那么会发送信号给DMP(data memory pipeline)模块将memory中的数据load到CPU中寄存器。
  • 算数逻辑单元(ALU),负责计算类指令执行,比如两个数相加、相减等。
  • 寄存器组,比如PC寄存器,PC寄存器存储当前CPU执行指令的地址,CPU处理完当前指令后PC值指向下一条指令,地址加4。其他寄存器也有一些特别的作用,不再赘述。
cpu.png

按照冯诺依曼架构系统设计,程序应该按照一定的顺序串行执行。CPU就是通过PC指针不断累加,实现程序的串行执行。正常情况下PC指针的值每个cycle会自动加4,由于每个指令占4个字节,那么CPU在执行完当前指令后,就会自动执行下一个指令。

打破CPU顺序运行

正常情况下从给系统加电, PC就不断累加,CPU按照串行顺序一致执行下去。有两个情况PC的值会发生“突变”:

  • 程序主动跳转,比如汇编goto指令,c语言的longjmp函数等。本质上就是主动去修改PC的值,直接跳转到需要执行的指令,而不是位置临近的“下一条指令”。
  • 系统发生中断,比如CPU的某一条引脚的电瓶为高表示发生了“突变”,系统比如对这个中断做出反应。中断发出者除了发送高电平到CPU相关引脚,还需要提供一个中断向量号,通知CPU发生了什么类型的中断。CPU根据中断向量号,找到相应的中断处理程序并处理中断。


    中断.png

CPU多线程执行

既然CPU默认是按照程序串行执行,那么怎么去实现多线程并发执行呢?核心思想是:只要保存下当前程序执行现场,包括PC值、各寄存器值,那么不管CPU现在执行其他什么程序,都能恢复到上次程序执行的现场,并按照之前的执行顺序继续执行,就当什么事情也没有发送过一样。

需要做到单核CPU并发,需要涉及到几点:

  • 线程执行状态的保存,简单理解就是CPU中各寄存器值的保存,比如保存PC值我们可以知道这个线程执行到哪个指令了
  • 多线程之间的切换,保存下当前线程的状态,恢复之前暂停的线程的状态并继续执行
  • 需要有一个调度者决定恢复执行哪个线程,可以根据线程的优先级,也可以随机选择,不同操作系统实现算法不一
threads.png

我们可以定义个数组pTable,把每个线程的执行状态存在里面,就有办法从保存的信息中恢复上次执行的状态,并继续串行执行。说白了,线程也是一个对象结构,里面包含的就是这个线程的唯一标示、当前线程的执行状态等内容。线程间的切换,就是线程上下文的保存与恢复。保存下当前线程的状态,恢复之前暂停的线程的状态并继续执行。调度程序负责恢复执行哪个线程,并一直循环下去。

那么问题来了,加入当前CPU已经在执行某一个线程,如何能够定期切换到调度程序scheduler呢?这时候就需要硬件的支持了,通过硬件的定时器与中断功能,需要实现一个定时中断程序。比如每隔1ms触发一个硬件中断,强迫CPU回到调度程序中去。中断的本质,就是打破PC寄存器累加的节奏,直接让CPU去处理中断相应程序,而不是一直按照既定顺序一致串行执行下去。

我们可以在中断处理程序中,让当前线程主动让出(yeild)CPU控制权,让CPU恢复执行scheduler调度程序。当然当前线程让出CPU控制权,也是一个上下文切换,需要保存当前线程执行状态,并回复scheduler线程状态。从这个角度上讲,操作系统的调度程序其实就是一个普通的线程罢了。当然实现调度程序定时切换的方式有很多中,这里为了便于理解,采用了一种比较简单的方案。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 216,163评论 6 498
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,301评论 3 392
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 162,089评论 0 352
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,093评论 1 292
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,110评论 6 388
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,079评论 1 295
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,005评论 3 417
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,840评论 0 273
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,278评论 1 310
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,497评论 2 332
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,667评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,394评论 5 343
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,980评论 3 325
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,628评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,796评论 1 268
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,649评论 2 368
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,548评论 2 352

推荐阅读更多精彩内容

  • 1.内存的页面置换算法 (1)最佳置换算法(OPT)(理想置换算法):从主存中移出永远不再需要的页面;如无这样的...
    杰伦哎呦哎呦阅读 3,247评论 1 9
  • 又来到了一个老生常谈的问题,应用层软件开发的程序员要不要了解和深入学习操作系统呢? 今天就这个问题开始,来谈谈操...
    tangsl阅读 4,121评论 0 23
  • 文/tangsl(简书作者) 原文链接:http://www.jianshu.com/p/2b993a4b913e...
    西葫芦炒胖子阅读 3,759评论 0 5
  • 1. 简介 用户打开浏览器,其实就是打开了浏览器应用程序。那么什么是程序呢?我们常说浏览器是多线程的,JS 是单线...
    love丁酥酥阅读 3,518评论 0 6
  • 此款防洒乳是新推产品,专为容易敏感的肌肤所设计的配方,可用于面部,身体,使用后肌肤表面形成一层透明的保护层,防水,...
    iooii阅读 315评论 0 0