第2章 2-2进程控制与同步

进程控制的基本过程:

                进程的创建

                进程的终止

                进程的阻塞与唤醒

                进程的挂起和激活

关于进程的亲属关系

        系统中运行的进程并不都是孤立的,有的进程运行后,会调用其他进程来执行,这样就组成了进程间的父子关系。

        可用 “进程图”描述一个进程的家族关系,该图实际就是一种有向树。


* 感受进程及进程树

1.“运行”——输入“cmd”,启动命令行控制台

2.在cmd窗口输入“notepad”启动记事本。

3.现在进程“cmd.exe”和进程“notepad.exe”就组成了一个进程树,后者为子进程,前者为父进程。

4.用“任务管理器”在“进程”页,右击cmd.exe选择“结束进程树”。则记事本子进程也会结束。

        一些木马服务端程序运行后会同时生成两个木马进程,这两个进程互相监控、互相保护。对此类木马,我们就可以分别对两个木马进程尝试使用“结束进程树”命令。


*还可用ProcessExplorerNt查看进程的父子关系

进程间的父子关系关系着资源的继承。创建和撤销进程时,其父、子进程要相应的被影响。

1.进程的创建

1)一个进程创建另一进程的事件(原因)

                用户登录:分时情况下用户的请求

                作业调度:批处理中

                提供服务:运行中的用户程序提出功能请求,要创建服务进程(如打印服务)

                应用请求:应用程序自己创建进程,完成特定功能的新进程。(木马程序)

2)创建过程(重点)

                (1) 申请空白PCB

                (2) 为新进程分配资源

                            主要是内存资源的处理

                (3) 初始化进程控制块

                            标识符(包括父进程的)、程序计数器指向程序入口地址,就绪态、优先级等信息的填写。

                (4) 将新进程插入就绪队列

上述过程很关键,不能被打断!!!

原语是由若干指令构成的原子操作过程,作为整体实现功能,不可被打断。

                OS通过调用进程创建原语Creat()创建新进程。

                其他各控制工作也都是由OS内核以“原语”的方式实现,以保证不被打断。

2.进程的终止

1)引起进程终止的事件

            正常结束

            异常结束

                    内存越界错误

                    保护错(权限错,如修改只读文件等)

                    非法指令(不存在的指令,程序异常转向而把数据当指令)

                    特权指令错(用户态程序试图执行只有OS可执行的指令)

                    运行超时、运算错、i/o故障等

            外界干预

                    操作员或操作系统干预(死锁时,可人为结束)

                    父进程请求终止子进程

                    父进程终止,子孙进程也跟着终止

2)终止过程

对上述事件,OS调用内核终止原语,执行下列过程:

                (1) 根据进程标示符,检索出该进程PCB,读其状态。

                            *IF 执行态,立即终止该进程,置调度标志为真,指示重新进行调度。

                            *IF 有子孙进程,亦应予以终止,以防成为不可控进程。

                (2) 归还全部资源至其父进程或系统。

                (3) 将该进程PCB从所在队列或链表中移出。

3.进程的阻塞与唤醒

1)引起进程阻塞和唤醒的事件

                请求系统服务的满足情况

                启动某种需等待(I/O)操作

                合作需要的新数据尚未到达

                执行某功能的进程暂时无新工作可做(如发送数据进程)

2)阻塞和唤醒过程

由进程调用阻塞原语阻塞自己,是主动行为:

                (1)将PCB中的状态改为阻塞

                (2)该PCB加入到阻塞队列中

                (3)转进程调度,将处理机分配给另一进程

                (4)进行进程切换,即根据两切换进程的PCB,保护与重新设置处理机状态。

阻塞与唤醒原语作用相反,成对使用

            阻塞进程等待的事件发生时,有关进程(如放弃该资源的进程)调用唤醒原语把等待该事件的进程唤醒。

                        (1)把阻塞进程从等待该事件的阻塞队列中移出

                        (2)将其PCB中的现行状态改为就绪

                        (3)将PCB插入到就绪队列中。

4.进程的挂起与激活

挂起原语将指定进程或阻塞进程挂起。

                (1)检查被挂起进程的状态,活动就绪则改为静止就绪,活动阻塞则改为静止阻塞

                (2)将该PCB复制到内存(方便检查)/外存(对换)指定区域

                (3)*若挂起的进程是执行态,则需重新进行进程调度。

注意:进程只能挂起自己或其子孙进程。

        激活原语的执行过程

                            若挂起进程在外存上,将其调入内存

                            检查进程状态,若处于静止就绪,则改为活动就绪,若处于静止阻塞,则改为活动阻塞

* 关于调度

                进程控制中,状态转换和调度密切相关。

                运行态进程的改变必然产生调度行为

                只要产生新就绪态进程,就需考虑调度策略

                            只要是采用抢占式调度,要检查新就绪进程是否可抢占CPU,引起新的调度。


进程间有什么相互影响?

两种制约关系:

                1.间接相互制约关系:主要源于资源共享,表现为

                            进程A---打印机资源---进程B(互斥)

                2.直接相互制约关系:主要源于进程合作,表现为

                            进程A写缓冲---进程B读缓冲(有序)

1.进程同步的基本概念

1)进程同步的主要任务:

                使并发执行的诸进程之间能有效地共享资源和相互合作,从而使程序的执行具有可再现性。

2)临界资源

一次仅允许一个进程使用的资源。

                例1:两个进程A、B,它们共享一个变量x,他们共同使x值增长。







                所以对生产者和消费者而言,counter应作为临界资源,应对其互斥访问

                若是一群生产者和消费者

        生产者之间共同要影响的变量in要互斥;消费者间的out也一样;

理解同步


3)临界区

每个进程中访问临界资源的那段代码叫临界区。

为了正确同步,对临界区的代码要增加控制

进入区:对欲访问的临界资源进行检。若此刻未被访问,设正在访问的标志

临界区:访问临界资源的代码。

退出区:将正在访问的标志恢复为未被访问的标志

剩余区:其余部分


4)同步机制应遵循的规则

实现互斥的方法应符合如下每条原则

                空闲让进:资源使用最基本原则

                忙则等待:保证互斥

                有限等待:合适时被唤醒防止死等

                让权等待:能主动释放CPU防止忙等

同步控制的关键

主要涉及”判断”和”修改标志”操作

                不应被打断(原语,OS核心态运行)

硬件同步机制

                许多计算机提供一些特殊的硬件指令,允许对一个字中的内容进行检测和修正,或对两个字的内容进行交换。利用这些特殊指令解决临界区问题。

                进入临界区往往跟其标志有关,可将标志看做一个锁,“锁开”进入并关锁,“锁关”必须等待,初始时锁是打开的。

①关中断

            进入锁测试前关闭中断,直到完成锁测试并上锁后才能打开中断。进程在临界区执行期间,系统不响应中断,从而不引发调度。

缺点

                滥用风险

                关中断时间过长会影响效率,限制CPU交叉执行能力

                不适用于多CPU系统

②Test-and-Set指令


③利用Swap指令实现进程互斥


                完全利用软件方法,有很大局限性,也不适于多进程,现在已很少采用。

                硬件指令机械操作可保证锁开、关操作不被打断;适用于任意数目的进程。但等待要耗费CPU时间,不能实现“让权等待”,从等待进程中随机选择一个进入临界区,有的进程可能一直选不上,难以实现较为复杂的进程同步问题。

2.信号量机制

荷兰科学家Dijkstra(狄克斯特拉)提出的一种卓有成效的进程同步机制。


Edsger Wybe Dijkstra (1930.5~2002.8)

1) 整型信号量

最初的信号量机制,两个原子操作对一个共享整型量进行操作。

                信号量定义为一个整型量;

                根据初始情况赋相应的值;

                仅能通过两个原子操作来访问。


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

推荐阅读更多精彩内容