《死锁》实验指导书.pdfVIP

《死锁》实验指导书 哲学家就餐问题 【实验目的】 1. 理解死锁的概念和原理； 2. 继续加深理解WINDOWS下进程/线程的互斥和同步的实现机制； 【实验要求】 1. 在WINDOWS系统中实现哲学家就餐问题的死锁和不死锁两种解法。 【实验内容】 1. 编写一个 WIN32 MFC 应用程序，模拟实现哲学家就餐问题的死锁和不死 锁两种解法。 【实验背景】 1. 哲学家就餐问题的描述 有五个哲学家围坐在一圆桌旁，桌中央有一盘通心粉，每人面前有一只空盘 子，每两人之间放一只筷子。每个哲学家的行为是思考，感到饥饿，然后吃 通心粉。为了吃通心粉，每个哲学家必须拿到两只筷子，并且每个人只能直 接从自己的左边或右边去取筷子。 2. WINDOWS下进程的同步和互斥有关函数 2.1 互斥对象(Mutex) 就是互斥信号量，在一个时刻只能被一个线程使用。相关 API 包括： CreateMutex、OpenMutex和ReleaseMutex。 CreateMutex创建互斥对象， 返回对象句柄；OpenMutex 打开并返回一个已存在的互斥对象句柄，用于 后续访问；ReleaseMutex释放对互斥对象的占用，使之成为可用。 2.2 信号量对象（Semaphore） 就是资源信号量，初始值的取值范围在0到指定最大值之间，用于限制并 发访问的线程数。相关 API 包括：CreateSemaphore、OpenSemaphore 和 ReleaseSemaphore。CreateSemaphore 创建一个信号量对象，在输入参数 中指定初值和最大值，返回对象句柄。OpenSemaphore 打开并返回一个已 存在的信号量对象句柄，用于后续访问。ReleaseSemaphore释放对信号量 对象的占用，使之成为可用。 2.3事件对象（Event） 用于通知一个或多个线程某事件的出现。相关 API 包括：CreateEvent、 OpenEvent、SetEvent、ResetEvent和PulseEvent。 2.4等待操作 WaitForSingleObjec和WaitForMultipleObjects 3．哲学家就餐的不会导致死锁的解法 仅当一个哲学家左右两边的筷子都可用时，才允许他拿筷子。这样要么一次 占有两只筷子（所有线程需要的资源）进行下一步的吃通心粉，然后释放所有的 资源；要么不占用资源，这样就不可能产生死锁了。 4．哲学家就餐的可能导致死锁的解法 当筷子（资源）可用时，先分配左边的筷子，等待一会后再分配右边的筷子， 由于这个过程中，左边的筷子一直没有释放，就有可能产生死锁。 【实验内容】 1． 尝试自行使用 VC++6.0 创建一个 WIN32 MFC 应用程序，使用 WINDOWS 进程/ 线程相关函数实现哲学家就餐问题的死锁解法和不死锁解法。要求程序开始运行 的时候能够让用户选择“按不产生死锁的方式运行”或“按产生死锁的方式运行”。 选择前者的话，程序按 【实验背景】第 4 小节介绍的方式实现相应的 P－V 操 作；选择后者的话，程序按 【实验背景】第3小节介绍的方式实现相应的 P－ V操作。 2．研究参考代码的实现，写出其实现思路和流程。 参考程序运行过程中会弹出一个消息框提示操作者操作： 1．第一个对话框用于选择运行模式 a．选择 yes 表示采用的是运行的防止死锁的方式，这样的话整个程序 可以一直运行下去，不会产生死锁。 b．选择no 表示运行产生死锁的方式，此后系统还会接着弹出第二个对 话框。 2．第二个对话框用于选择运行时，线程运行的时间 a. 选择 yes 线程时间比较短，很快就可以死锁 b．选择no 线程时间跟选择yes 时候的时间差不多，产生死锁的时间稍 微长一点。 【参考