实时操作系统同步、互斥与通信.pptVIP

读者和写者问题Procedurewriter；beginP（wrt）；writingisperforming；V（wrt）；end；Procedurereader；beginP（mutex）；Readcount＝readcount+1；ifreadcount＝1thenP(wrt);V（mutex）；readingisperfoming；P（mutex）；Readcount＝readcount-1；ifreadcount＝0thenV(wrt);V（mutex）；简单理发店问题理发室椅子入口出口等候室简单理发店问题一个理发店由一个有几张椅子的等候室、一个放有一张理发椅的理发室和一个理发师组成。若没有要理发的顾客，则理发师就去睡觉；若一顾客走进理发店且所有的椅子都被占用了，则该顾客就离开理发店；若理发师正在为人理发，则该顾客就找一张空椅子坐下等待;若理发师在睡觉，则顾客就唤醒他。理发室椅子入口出口等候室简单理发店问题理发室分析只有当顾客坐上理发椅，理发师才开始理发—同步当正在理发的顾客理好发，等待的顾客才能理发—同步同一时刻只有一个顾客能理发——互斥同一时刻只有有限的顾客能在等待室等待——互斥资源与信号量对于理发师：坐上理发椅的顾客，信号量barber＝0对于理完发的顾客：是否有顾客等待，信号量wait＝0对于进入的顾客：是否有人在理发，及等候室是否已满，变量count＝0保证对共享变量count的互斥访问的信号量：entry＝1椅子入口出口等候室简单理发店问题//共享数据结构：

varbarber,wait:semaphore;(初始值=0)

entry:semaphore; (初始值=1)

couter:integer; (初始值=0)//关于理发师的代码段：

whiletruedo{

P(barber);

“Shave”

}理发室椅子入口出口等候室简单理发店问题//关于顾客的代码段：P(entry);

ifcount=nthen

{V(entry);exit;

} count:=count+1;

ifcount1then{V(entry);

P(wait);}elseV(entry);V(barber);

“Shave”

P(entry);

count:=count–1;

ifcount0thenV(wait);

V(entry);理发室椅子入口出口等候室barber信号量队列wait信号量队列entry信号量队列理发师理发师P（barber）PP（entry）P（entry）count=0=1v（entry）唤醒count=1v（entry）Count=2P（wait）V（barber）理发师barber信号量队列wait信号量队列entry信号量队列P（entry）count=5V（entry）P（entry）count=5count=4V（entry）V（wait）V（barber）信号量机制的主要数据结构SCB1SCB2…………信号量控制块count信号量名字或IDTask1Task2……任务等待列表信号量机制的主要数据结构信号量控制块：管理所有创建的信号量，内核在系统运行时动态分配和回收信号量控制块互斥和二值信号量控制块结构:Binary_Semaphore_Control_Blockwait_queue 任务等待队列attributes 信号量属性 lock_nesting_behavior试图嵌套获得时的规则wait_discipline 任务等待信号量的方式 priority_ceiling 优先级天花板值lock 是否被占有holder 拥有者nest_count 嵌套层数1计数信号量控制结构Counting_Semaphore_Control_Block