实验二进程(线程)同步及死锁-2011150127-徐君.doc

深 圳 大 学 实 验 报 告 课程名称： 操作系统 实验项目名称： 实验二 进程（线程）同步及死锁 学院： 计算机与软件学院 专业： 计算机科学与技术 指导教师： 朱泽轩 报告人： 徐君 学号： 2011150127 班级： 2 实验时间： 2013/10/24 实验报告提交时间： 2013/11/23 教务处制 实验目的与要求： 实验目的： 在多进程（线程）运行环境中，进程（线程）之间并发执行，如果对进程（线程）访问临界资源（如公共变量）的操作不加限制，就会产生“与时间有关”的错误。为防止这类错误，必须用同步机构控制进程（线程）对临界资源（公共变量）的访问。 在一个进程（线程）需要两个或两个以上的临界资源时，如果申请和推进顺序不当，会造成死锁，即多个进程（线程）因竞争临界资源而造成的一种僵局，若无外力作用，这些进程（线程）都将永远不能再向前执行。 本实验利用Windows系统提供的同步机制，来协调线程（Thread）间的并发执行，并比较各种预防死锁的措施，以加深对同步机制和死锁的理解，并学会在并发程序中引用同步机构，并预防死锁的编程方法。 实验要求： 熟悉Windows操作系统及VC++程序设计方法 方法、步骤： 1.打开任务管理器。 6.摒弃‘环路等待’条件，使至少有一位哲学家拿筷子的顺序与其它哲学家不同。运行结果如图所示： 7. 摒弃‘不剥夺’条件的关键代码： Wait(Mutex); if (ChopstickUsed[R2]) { Signal(Mutex); goto ReleaseChopstick; } Signal(Mutex); 8. 摒弃‘请求和保持’条件的关键代码： Wait(Mutex); if ((ChopstickUsed[R1]) || (ChopstickUsed[R2])) { Signal(Mutex); goto LoopAgain; } Signal(Mutex); 9. 摒弃‘环路等待’条件的关键代码： if (ThreadID == 0) { R1 = (ThreadID+1) % 6; R2 = ThreadID; } 实验过程及内容： 实验内容： 设计解决哲学家就餐问题的并发线程。 假定有6个哲学家，围着圆桌交替地进行思考和进餐；每次进餐时，必须同时拿到左右两边的两只筷子才能进餐；进餐后，再放下筷子继续思考。 这是一个典型的同时需要两个资源的例子，如果申请资源顺序不当，可能会引起死锁 。 本实验设计6个哲学家共享一个相同的线程Philosopher，既完成线程同步，又预防死锁发生。实验中采用了3种预防死锁的方法（摒弃‘环路等待’条件，摒弃‘请求和保持’条件，摒弃‘不剥夺’条件），要预防死锁，只采用其中的任何一种方法即可。 实验数据分析： 形成死锁的必要条件：1. 互斥条件 2. 请求和保持条件 3. 不剥夺条件 4. 环路等待条件 预防死锁的方法就是破坏必要条件中的一个或几个，由于互斥条件是由设备固有特性决定的，所以预防死锁的方法为： 1. 摒弃‘请求和保持’条件 2. 摒弃‘不剥夺’条件 3. 摒弃‘环路等待’条件 实验中充分利用这三个预防死锁的方法，解决哲学家进餐问题。 实验结论： 实验中，利用预防死锁的三个方法，破坏了产生死锁必要条件中的一个，使得系统不用进入死锁状态，从而成功解决了哲学家进餐有可能产生死锁的问题。实验比较成功，让我对产生死锁的条件和如何解决死锁问题有了更加深刻的了解。 指导教