操作系统计算题总结Word文件下载.docx
《操作系统计算题总结Word文件下载.docx》由会员分享,可在线阅读,更多相关《操作系统计算题总结Word文件下载.docx(28页珍藏版)》请在冰点文库上搜索。
构建算法基本步骤及逻辑结构
资源信号量申请先于互斥信号量申请
wait操作与signal操作配对出现
利用信号量实现互斥
主程序
子程序
Varmutex:
semaphore:
=1;
begin
parbegin
process1;
process2;
parend
end
process1
repeat
wait(mutex);
临界区
signal(mutex);
……
untilfalse
process2
signal(mutex)
1.互斥信号量初值为1
2.互斥信号量wait和signal肯定出现在同一进程中,并出现在需要互斥访问数据(临界资源)前后
利用信号量描述前趋关系
Vara,b,c,d,e,f,g,h:
=0,0,0,0,0,0,0,0;
beginS1;
signal(a);
signal(b);
beginwait(a);
S2;
signal(c);
signal(d);
beginwait(b);
S3;
signal(e);
beginwait(c);
S4;
signal(f);
beginwait(d);
S5;
signal(g);
beginwait(e);
S6;
signal(h);
beginwait(f);
wait(g);
wait(f);
S7;
首先应找出所有的前趋关系。
然后,对每一种前趋关系,如Si->
Sj,专门设置一初值为0的信号量,并在Si结束之后执行对该信号量的signal操作,而在Sj开始之前执行对该信号量的wait操作,这样便可保证程序段Si执行完后才执行程序段Sj。
生产者-消费者问题
主程序(n为常量)
Varbuffer:
array[0,…,n-1]ofitem;
in,out:
integer:
=0,0;
mutex,empty,full:
=1,n,0;
producer1;
…;
produceri;
producerM;
consumer1;
…consumerj;
consumerN;
生产者子程序
消费者子程序
produceri
Varnextp:
item;
Produceaniteminnextp;
wait(empty);
wait(mutex);
buffer[in]:
=nextp;
in=(in+1)modn;
signal(full);
consumerj
Varnextc:
wait(full);
nextc:
=buffer[out];
out:
=(out+1)modn;
signal(empty);
Consumetheiteminnextc;
生产者子程序(基于AND信号量)
消费者子程序(基于AND信号量)
Swait(empty,mutex);
buffer[in]=nextp;
in:
=(in+1)modn;
Signal(mutex,full);
Swait(full,mutex);
Ssignal(mutex,empty);
读者-写者问题(读者优先)
Varreadercount:
integer:
=0;
rcmutex,wmutex:
=1,1;
reader1;
readeri;
readerM;
writer1;
writerj;
writerN;
读者
readeri
wait(rcmutex);
ifreadercount=0thenwait(wmutex);
readercount:
=readercount+1;
signal(rcmutex);
Performreadoperation;
=readercount-1;
ifreadercount=0thensignal(wmutex);
写者
writerj
wait(wmutex);
Performwriteoperation;
signal(wmutex);
untilfalse;
readercount:
读者数
rcmutex:
读者进程中用于readercount变量的互斥访问
wmutex:
用于读者与写者、写者与写者之间的互斥访问
写者与第一个读者竞争wmutex。
一旦读者获得wmutex,那么直到所有读者执行结束由最后一个读者释放,而每个写者执行结束都释放,所以读者优先写者执行。
读者-写者问题(写者优先)
Varreadercount,writercount:
rcmutex,wcmutex,wmutex,S:
=1,1,1,1;
wait(S);
signal(S);
wait(wcmutex);
ifwritercount=0thenwait(S);
writercount:
=writercount+1;
signal(wcmutex);
=writercount-1;
ifwritercount=0thensignal(S);
wcmutex:
写者进程中用于writercount变量的互斥访问
用于读者与写者、写者与写者之间的互斥访问
读者与第一个写者竞争S信号量。
一旦读者获得S信号量,那么直到所有读者执行结束由最后一个写者释放,而每个读者执行结束都释放,所以写者优先读者执行。
读者-写者问题(限定读者数)
VarRN:
=10;
rmax,wmutex:
=RN,1;
Swait(rmax,1,1);
Swait(wmutex,1,0);
Ssignal(rmax,1);
Swait(wmutex,1,1,rmax,RN,0);
Performwriteoperation
Signal(wmutex);
RN:
限定最多同时读的读者数
rmax:
空位置的数目,即系统还允许执行读操作的读者数,超过这个数目后读者将等待
读者执行Swait(wmutex,1,0)保证无写者(wmutex值保持不改变)
写者执行Swait(wmutex,1,1,rmax,RN,0)保证既无写者在写又无读者在读(rmax值保持不变)
哲学家进餐问题
Varchopstick:
array[0,…,4]ofsemaphore:
=1,1,1,1,1;
philosopher0;
philosopheri;
philosopher4;
哲学家进餐问题子程序
基于AND信号量机制
philosopheri
Think;
Swait(chopstick[(i+1)mod5],chopstick[i]);
Eat;
Ssignal(chopstick[(i+1)mod5],chopstick[i]);
限制哲学家同时进餐人数
varpmax:
=4;
wait(pmax);
wait(chopstick[i]);
wait(chopstick[(i+1)mod5]);
signal(chopstick[(i+1)mod5]);
signal(chopstick[i]);
signal(pmax);
理发师问题描述如下:
理发店包含一间接待室和一间工作室,接待室内有n(n>
=1)把椅子,而工作室只有一把椅子。
如果没有顾客,理发师就去睡觉,如果顾客来时所有的椅子都有人,那么顾客离去;
如果理发师在忙且接待室有空闲的椅子,那么此顾客会坐在其中一把空闲的椅子上等待;
如果理发师在睡觉,则顾客会唤醒他。
请采用信号量机制解决该理发师问题(可采用伪代码描述)。
解:
要求描述理发师和顾客的行为,因为需要两类进程Barber()和Customer()分别描述理发师和顾客的行为。
理发师和顾客之间是同步的关系,理发师和椅子使临界资源,所以顾客之间是互斥的关系。
引入3个信号量和一个控制变量:
控制变量waiting也用于记录等候的顾客数,实际上是customers的一份拷贝。
之所以使用waiting是因为无法读取信号量的当前值,初值均为0。
信号量customers用来记录等候理发的顾客数(不包括正在理发的顾客),并用作阻塞理发师进程,初值为0。
信号量barbers用来记录正在等候顾客的理发师数(为0或1),并用作阻塞顾客进程,初值为0。
信号量mutex用于对waiting的访问进行互斥,初值为1。
进入理发店的顾客必须先看等候的顾客数,如果少于椅子数(n),他坐下来等,否则他就离开。
PV操作代码如下:
intwaiting=0;
//等候理发的顾客数(还没理发的),0~n
semaphorecustomers=0,barbers=0,mutex=1;
barber(){
while(TRUE)//理完一人,还有顾客吗?
{
P(customers);
//若无顾客,理发师睡眠
P(mutex);
//进程互斥
waiting:
=waiting-1;
//等候顾客数少一个
V(barbers);
//理发师去为一个顾客理发
V(mutex);
//开放临界区
cut-hair();
//正在理发(非临界区操作)
}
}
customer(){//顾客进入理发店
P(mutex);
//进程互斥
if(waiting<
n){//还有空位
=waiting+1;
//等候顾客数加1
V(customers);
//有顾客了,如果理发师在睡则唤醒
//开放临界区
P(barbers);
//无理发师,顾客坐着养神
get-haircut();
//一个顾客坐下等待理发
}else
//顾客已满,离开
应用类型知识要点二:
分页存储地址结构及地址变换
分页存储管理地址结构(由硬件机制决定)
3112110
页号
页内地址
逻辑地址与页号及页内偏移地址之间的换算
PageNo=INT[Addr/PageLength]
PageOffset=AddrmodPageLength
举例:
对于1KB页面,若给定逻辑地址2170B,则PageNo=2,PageOffset=122
地址变换任务
关键在于页号到物理块号之间的转变
地址映射
某虚拟存储器的用户编程空间共32个页面,每页1K,主存为16K。
假定某时刻用户页表中已调入主存的页面的虚页号和物理页号对照表如图所示,则当虚地址为十六进制0A5C时,对应的物理地址是多少?
虚页号
物理页号
4
1
10
2
3
7
虚拟地址(0A5C)
=(10*16
+5*16+12)
页号=INT[2652/1K]=2,其物理块号为4
页内偏移=2652mod1K=604
物理地址为4*1K+604=(4700)
=(125C)
应用类型知识要点三:
分页存储与数据访问时间
假定快表检索时间为20ns,内存访问时间为100ns,则若能在快表中找到CPU给出的页号,CPU存取一个数据将需要(100+20)=120ns,若不能在快表中找到CPU给出的页号,则为存取一个数据将需要(100+100+20)=220ns。
进一步说,若假定快表查找命中率为80%,则其有效访问时间为120*80%+220*(1-80%)=140ns。
应用类型知识要点四:
页面置换算法与缺页次数
最佳置换算法OPT(向前看页面引用序列)
基本思想:
选择永不使用或是在最长时间内不再被访问(即据现在最长时间才会被访问)的页面淘汰出内存
评价:
理想化算法,具有最好性能(对于固定分配方式,本法可保证获得较低的缺页率),但实际上却难于实现,故主要用于算法评价参照
某进程分配获得三个物理块
采用预调页策略(区别预调页策略与请求调页策略),前3个页面预先装入
第一行为页面访问(引用)序列
第二、三、四行为内存页面分布情况,前三列页面预先装入
缺页中断次数为6次,缺页率30%[缺页率=(发生缺页次数/页面序列长度)*100%]
先进先出置换算法FIFO(向回看页面分布情况)
选择最先进入内存即在内存中驻留时间最久的页面换出到外存。
进程已调入内存的页面按进入先后次序链接成一个队列,并设置替换指针以指向最老页面。
简单直观,但不符合进程实际运行规律,性能较差,故实际应用极少。
缺页中断次数为12次,缺页率68%[缺页率=(发生缺页次数/页面序列长度)*100%]
最近最久未使用置换算法LRU(向回看页面引用序列)(硬件支持)
以“最近的过去”作为“最近的将来”的近似,选择最近一段时间最长时间未被访问的页面淘汰出内存。
适用于各种类型的程序,性能较好,但需要较多的硬件支持。
缺页中断次数为9次,缺页率45%[缺页率=(发生缺页次数/页面序列长度)*100%]
简单CLOCK置换算法(NRU)(硬件支持)
改进型CLOCK置换算法(硬件支持)
与简单CLOCK算法相比,可减少磁盘的I/O操作次数,但淘汰页的选择可能经历多次扫描(最多3轮加1次),故实现算法自身的开销增大。
最少使用置换算法(硬件支持)
为内存各页设置一个以为寄存器用于记录对应被访问频率。
选择在最近时期使用最少的页面作为淘汰页。
鉴于仅用一位寄存器有限各位来记录页面使用会导致访问一次与访问多次的等效性,本算法并不能真实全面地反映页面适用情况。
应用类型知识要点五:
文件结构与记录检索次数
索引顺序文件组织方式
检索开销
分组大小
两级索引顺序文件组织方式
主文件分组大小
低级索引表分组大小
顺序文件(定长记录顺序文件/变长记录顺序文件)
1逻辑记录的排序(与关键字次序一致与否)
串结构与顺序结构
2顺序文件读写操作
读写指针RWptr<
=>
对应记录逻辑地址
定长记录RWptr+=recordLength
变长纪录RWptr+=currentRecordLength(无法实现随机存取)
3顺序文件评析
适于批量存取及磁带介质
交互应用场合单个记录操作低效
索引文件组织及检索机制(主要解决变长记录文件无法实现随机存取问题)
记录号本身的物理含义很弱,强调真正具有物理含义的关键字
索引表本身是定长记录顺序文件
索引顺序文件检索效率分析
对于拥有N条记录的主数据文件,若基于顺序查找法来检索具有指定关键字的记录,不同文件组织方式下的系统检索开销比较(假设不存在查找失败的情况)
1顺序文件组织方式(N+1)/2条(顺序查找)
2索引文件组织方式(N+1)/2条(顺序查找)
3索引顺序文件组织方式
+1(分组大小
记录,此时检索效率最高)
4举例说明(N=10000)
基于多级索引的索引顺序文件(分组大小
)
建立多级索引以进一步提高检索效率
举例说明(N=10
1索引顺序文件组织方式
检索开销1001条
分组大小1000条记录
2两级索引顺序文件组织方式
主文件分组大小100条记录
低级索引表分组大小