哲學家晚餐問題-系統程式.pptVIP

同步的經典問題 牽涉到了大型並行控制的領域。 經常拿來測試新的同步機制的正確性。 這些問題的解法當中都使用了號誌作為同步的工具。 以臨界區域實作 : 生產者-消費者 有限緩衝區問題 用號誌來實作可簡單解決許多問題。 假設緩衝區中有 n 個欄位，每個欄位可以存放一個項目。 使用 mutex 號誌確保存取緩衝區時的互斥條件成立，並初始化為 1。 empty 和 full 兩個號誌則分別用來計算緩衝區中空的與使用過的欄位數目。 empty 號誌初始化為 n。 full 號誌初始化為 0。 有限緩衝區問題 (續) 生產者和消耗者的程式碼如下： 讀取者與寫入者問題 一個系統中經常會有數個行程共同分享同一份資料物件 只讀取這份分享資料的行程稱為讀取者。 只更新分享資料的行程稱為寫入者。 如果一個讀取者和一個寫入者同時存取所共享的資料，可能會發生錯誤。 這種同步的問題稱為讀取者與寫入者問題。 以整數 readcount 記錄正在讀取資料的讀取者數目，初始值為 0。 利用初始化為 1 的 mutex 和 wrt 兩個號誌形成兩種臨界區。 以號誌解決讀取者與寫入者問題 讀取者和寫入者問題的解法如下： 哲學家晚餐問題 (1) 哲學家們圍坐在一張圓桌一起共進晚餐。 桌上筷子數目與哲學家相等，每兩個哲學家之間共用一支筷子。 哲學家們會坐在餐桌上思考哲學問題。 當哲學家們想吃東西時會拿起左右各一支筷子進餐，拿齊兩支筷子的哲學家們可同時進餐，但不能搶奪別人手上的筷子。 當食物吃完後，哲學家會將兩支筷子都放下，並繼續思考哲學問題，其他哲學家可繼續用放下的筷子。 哲學家晚餐問題示意圖 以號誌解決哲學家晚餐問題 第 i 位哲學家的程式可寫成： 哲學家晚餐問題 上述作法可能會導致死結的發生。 假如每位哲學家都拿起了一支筷子而等待另一支筷子，則不會有任何一位哲學家可以拿到兩支筷子，所有的哲學家將會進入死結狀態。 下列作法可以避免哲學家晚餐問題發生死結： 在圓桌上放置 n+1 支筷子或限制最多只有 n-1 位哲學家可以同時進餐。 規定哲學家們必須要同時拿起左右兩支筷子。 規定奇數座位的哲學家要先拿起左方的筷子再拿起右方的筷子；而偶數座位的哲學家則先拿起右方的筷子再拿起左方的筷子。 以監督程式實作 – 哲學家晚餐問題 臨界區域 (Critical Region) 一種同步的方法 ** * 作者 : 陳鍾誠 單位 : 金門技術學院資管系 Email: ccc@.tw URL : .tw Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. region buffer when (count n) { pool[in] = nextp; in = (in + 1) % n; count ++; } region buffer when (count 0) { nextc = pool[out]; out = (out + 1) % n; count --; } Producer Consumer Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. do { … 產生一個新的項目放在 nextp … wait(empty); wait(mutex); … 將 nextp 加入到緩衝區中 … signal(mutex); signal(full); } while(1); do { wait(full); wait(mutex); … 將一個項目由緩衝區中 移到 nextc … signal(mutex); signal(empty); … 消耗放在 nextc 中的項目 … } while(1); 生 產 者 消 耗 者 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty