多线程OS中进程的属性.ppt

2.4.2硬件同步机制 利用TS实现进程互斥 3、Swap指令实现进程互斥 利用Swap指令实现互斥算法 每个临界资源设置一个公共布尔变量lock，初值为FALSE。每个进程设置一个私有布尔变量key 硬件方法的优缺点 N个进程P1,P2……PN要共享某一资源时，首先找出N个进程各自的临界区，对每个进程都用PV操作来实现进入和退出临界区，进程PI互斥的一般形式为： S＝1 …….. PROCESS PI ……… Wait（S） 临界区 signal (S) …….. S的含义： S=1 为资源数目为1，无进程在临界区执行； S＝0 无资源可用，已有一个进程在临界区执行； S=-1 等待该资源的进程数，有进程等待使用临界区 例2：独木桥的问题： 桥东 桥西 Wait (s) Wait (S) 过桥 过桥 signal (S) signal (s) 例3：3个进程和两个打印机： Semaphore S=2 P1 p2 p3 Wait (s) Wait s) Wait (s) 使用打印机； 使用打印机； 使用打印机； signal (S) signal (S) signal (S) 1、试从物理概念上说明记录型信号量wait和signal。 2、设p1,p2,p3,p4,p5为一组合作进程，其前趋图如图所示，试用记录型信号量机制实现其同步。 3、在生产者—消费者问题中，如果缺少了signal(full)或signal(empty)，对执行结果将会有何影响？ 4、 在生产者—消费者问题中，如果将两个wait操作即wait(full)和wait(mutex)互换位置，或者将signal(mutex)和signal(full)互换位置，结果会如何？ 5、试利用记录型信号量写出一个不会出现死锁的哲学家进餐问题的算法。 6、在测量控制系统中的数据采集任务时，把所采集的数据送往一单缓冲区；计算任务从该单缓冲区中取出数据进行计算。试写出利用信号量机制实现两任务共享单缓冲区的同步算法。 4. 客户机/服务器系统 套接字：数据结构（通信目的地址、端口、协议等） 远程过程调用和远程方法调用 2）消息的格式 在某些OS中，消息是采用比较短的定长消息格式，这减少了对消息的处理和存储开销。这种方式可用于办公自动化系统中，为用户提供快速的便笺式通信；但这对要发送较长消息的用户是不方便的。 在有的OS中，采用另一种变长的消息格式。系统在处理和存储变长消息时，须付出更多的开销，但方便了用户。 3） 进程同步方式 发送进程阻塞、 接收进程阻塞。 (2) 发送进程不阻塞、 接收进程阻塞。 (3) 发送进程和接收进程均不阻塞。 2. 信箱通信方式 （间接通信） (1) 信箱结构：信箱头（信箱的拥有者、信箱的空格数等）、信箱体。 … 信件2 信件1 … 已有信件数 可存信件数 信箱头 信箱体 2. 信箱通信方式 （间接通信） (2)信箱通信原语： 信箱的创建和撤销原语 消息的发送和接收原语。 Send(mailbox, message)：将一个消息发送到指定信箱； Receive(mailbox, message)：从指定信箱中接收一个消息； Send (B,M) ：把信件M送入信箱B中。 过程：查指定信箱： 未满：则存信； 空：则存信，查有无“等信件“进程，在则释放它； 满：把当前进程置为“等信箱“进程。 Receive(B,X) ：从信箱B中取出一封信存放到指定的地址X中。 过程：查指定信箱B： 有信：取出一封信在指定地址X； 满：取信，如果有进程在等信箱，则释放它； 无信：进程置为“等信件“状态。 信箱的类型： 1) 私用信箱：用户进程创建，作为该进程的一部分 