操作系統第六次實驗報告——使用信號量解決哲學家進餐問題

来源:https://www.cnblogs.com/MilkoSilver/archive/2020/05/28/12977198.html
-Advertisement-
Play Games

0 個人信息 張櫻姿 201821121038 計算1812 1 實驗目的 通過編程進一步瞭解信號量。 2 實驗內容 在伺服器上用Vim編寫一個程式:使用信號量解決任一個經典PV問題,測試給出結果,並對運行結果進行解釋。 3 實驗報告 3.1 選擇哲學家進餐問題 五個哲學家共用一張圓桌,分別坐在周圍 ...


0 個人信息

  • 張櫻姿
  • 201821121038
  • 計算1812

1 實驗目的

  • 通過編程進一步瞭解信號量。

2 實驗內容

  • 在伺服器上用Vim編寫一個程式:使用信號量解決任一個經典PV問題,測試給出結果,並對運行結果進行解釋。

3 實驗報告

  3.1 選擇哲學家進餐問題

   五個哲學家共用一張圓桌,分別坐在周圍的五張椅子上,在圓桌上有五個碗和五隻筷子,他們的生活方式是交替地進行思考和進餐。平時,一個哲學家進行思考,饑餓時便試圖取用其左右最靠近他的筷子,只有在他拿到兩隻筷子時才能進餐。進餐畢,放下筷子繼續思考。

  3.2 偽代碼

    分析:放在圓桌上的筷子是臨界資源,在一段時間內只允許一位哲學家的使用。為了實現對筷子的互斥使用,使用一個信號量表示一隻筷子,由這五個信號量構成信號量數組:

semaphore chopstick[5]={1,1,1,1,1};

    所有信號量均被初始化為1,則第i位哲學家的活動可描述為:

do{
    /*當哲學家饑餓時,總是先拿起左邊的筷子,再拿起右邊的筷子*/
    wait(chopstick[i]);           //拿起左筷子
    wait(chopstick[(i+1)%5]);     //拿起右筷子
    eat();                        //進餐
    /*當哲學家進餐完成後,總是先放下左邊的筷子,再放下右邊的筷子*/
    signal(chopstick[i]);         //放下左筷子
    signal(chopstick[i+1]%5);     //放下右筷子
    think();                      //思考
    }while(true);

     但是在上述情況中,假如五位哲學家同時饑餓而各自拿起左邊的筷子時,就會使五個信號量chopstick均為0;而當他們再試圖去拿右邊的筷子時,都將因無筷子可拿造成無限的等待,產生死鎖。

      因此,需要對上述演算法進行改進,限制僅當哲學家左右的兩隻筷子都可用時,才允許他拿起筷子進餐。可以利用AND 型信號量機制實現,也可以利用信號量的保護機制實現。利用信號量的保護機制實現的思想是通過記錄型信號量mutex對取左側和右側筷子的操作進行保護,使之成為一個原子操作,這樣可以防止死鎖的出現。利用AND型信號量機制可獲得最簡潔的解法。

    ①使用記錄信號量實現:

semaphore mutex = 1; // 這個過程需要判斷兩根筷子是否可用,並保護起來
semaphore chopstick[5]={1,1,1,1,1};
void philosopher(int i)
{
    while(true)
    {
        /* 這個過程中可能只能由一個人在吃飯,效率低下,有五隻筷子,其實是可以達到兩個人同時吃飯 */
        think();                        //思考
        wait(mutex);                    //保護信號量
        wait(chopstick[(i+1)%5]);       //請求右邊的筷子
        wait(chopstick[i]);             //請求左邊的筷子
        signal(mutex);                  //釋放保護信號量
        eat();                 //進餐                
        signal(chopstick[(i+1)%5]);     //釋放右手邊的筷子
        signal(chopstick[i]);           //釋放左手邊的筷子
    }
}

      ②使用AND型信號量實現:

semaphore chopstick[5]={1,1,1,1,1};
do{
    think();        //思考
    Swait(chopstick[(i+1)%5],chopstick[i]);   //請求筷子
    eat();           //進餐
    Ssignal(chopstick[(i+1)%5],chopstick[i]); //釋放筷子
}while(true);

  3.3 完整代碼

  1 #include <stdio.h>
  2 #include <stdlib.h>
  3 #include <string.h>
  4 #include <stdint.h>
  5 #include <stdbool.h>
  6 #include <errno.h>
  7 #include <unistd.h>
  8 #include <sys/types.h>
  9 #include <sys/stat.h>
 10 #include <sys/ipc.h>
 11 #include <sys/sem.h>
 12 #include <sys/wait.h>
 13  
 14  
 15 union semun
 16 {
 17     int val;
 18     struct semid_ds *buf;
 19     unsigned short *array;
 20     struct seminfo *__buf;
 21 };
 22  
 23 #define ERR_EXIT(m) \
 24     do { \
 25         perror(m); \
 26         exit(EXIT_FAILURE); \
 27     } while(0)
 28      
 29 //申請一個資源
 30 int    wait_1chop(int no,int semid)
 31 {    
 32     //資源減1
 33     struct sembuf sb = {no,-1,0};
 34     int ret;
 35     ret = semop(semid,&sb,1);
 36     if(ret < 0) {
 37         ERR_EXIT("semop");
 38     }
 39     return ret;
 40 }
 41  
 42 // 釋放一個資源
 43 int free_1chop(int no,int semid)
 44 {
 45     //資源加1
 46     struct sembuf sb = {no,1,0};
 47     int ret;
 48     ret = semop(semid,&sb,1);
 49     if(ret < 0) {
 50         ERR_EXIT("semop");
 51     }
 52     return ret;
 53 }
 54  
 55 //筷子是一個臨界資源
 56 #define DELAY (rand() % 5 + 1)
 57  
 58 //相當於P操作
 59 //第一個參數是筷子編號
 60 //第二個參數是信號量編號
 61 void wait_for_2chop(int no,int semid)
 62 {
 63     //哲學家左邊的筷子編號和哲學家編號是一樣的
 64     int left = no;
 65     //右邊的筷子
 66     int right = (no + 1) % 5;
 67  
 68     //筷子值是兩個
 69     //操作的是兩個信號量,即兩種資源都滿足,才進行操作
 70     struct sembuf buf[2] = {
 71         {left,-1,0},
 72         {right,-1,0}
 73     };
 74     //信號集中有5個信號量,只是對其中的資源sembuf進行操作
 75     semop(semid,buf,2);
 76 }
 77  
 78 //相當於V操作  ,釋放筷子
 79 void free_2chop(int no,int semid)
 80 {
 81     int left = no;
 82     int right = (no + 1) % 5;
 83     struct sembuf buf[2] = {
 84         {left,1,0},
 85         {right,1,0}
 86     };
 87     semop(semid,buf,2);
 88 }
 89  
 90  
 91 //哲學家要做的事
 92 void philosophere(int no,int semid)
 93 {
 94     srand(getpid());
 95     for(;;) 
 96     {
 97     #if 1
 98         //當兩隻筷子都可用的時候,哲學家才能進餐
 99         printf("%d is thinking\n",no);  //思考中
100         sleep(DELAY);
101         printf("%d is hungry\n",no);    //饑餓
102         wait_for_2chop(no,semid); //拿到兩隻筷子才能吃飯
103         printf("%d is eating\n",no);    //進餐
104         sleep(DELAY);
105         free_2chop(no,semid); //釋放兩隻筷子
106     #else
107         //可能會造成死鎖
108         int left = no;
109         int right = (no + 1) % 5;
110         printf("%d is thinking\n",no);  //思考中
111         sleep(DELAY); 
112         printf("%d is hungry\n",no);    //饑餓
113         wait_1chop(left,semid);         //拿起左筷子(只要有一個資源就申請)
114         sleep(DELAY);            
115         wait_1chop(right,semid);        //拿起右筷子
116         printf("%d is eating\n",no);    //進餐
117         sleep(DELAY);
118         free_1chop(left,semid);         //釋放左筷子
119         free_1chop(right,semid);          //釋放右筷子
120     #endif
121     }
122 }
123  
124  
125 int main(int argc,char *argv[])
126 {
127     int semid;
128     //創建信號量集,其中有5個信號量
129     semid = semget(IPC_PRIVATE,5,IPC_CREAT | 0666); 
130     if(semid < 0) {
131         ERR_EXIT("semid");
132     }
133     union semun su;
134     su.val = 1;
135     int i;
136     for(i = 0;i < 5; ++i) {
137         //第二個參數也是索引
138         semctl(semid,i,SETVAL,su);
139     }
140     //創建4個子進程
141     int num = 0;
142     pid_t pid;
143     for(i = 1;i < 5;++i) 
144     {
145        pid = fork(); 
146        if(pid < 0) 
147         {
148            ERR_EXIT("fork");
149         }
150         if(0 == pid)  //子進程
151         {
152             num = i;
153             break;
154         }
155     }
156     //哲學家要做的事情
157    philosophere(num,semid);
158     return 0;
159 }

  3.4 運行結果

  3.5 解釋運行結果

      一開始,五個哲學家都在思考,一段時間後,3號哲學家饑餓,申請兩隻筷子滿足後可以開始進餐,此時2號、4號和1號哲學家也餓了,但由於2號、4號與3號哲學家相鄰,因此,他們需要等待3號進餐完畢放下筷子後,才可以進餐。而此時1號哲學家是可以進餐的。接著,0號哲學家饑餓,但由於筷子還在1號哲學家上,因此需要等待。然後3號哲學家進餐完畢,開始思考,4號哲學家可以進餐。1號哲學家進餐完畢,開始思考,2號哲學家可以進餐。3號哲學家饑餓,4號哲學家進餐完畢,開始思考,0號哲學家可以進餐。等2號哲學家進餐完畢,開始思考,3號哲學家可以開始進餐……

    註意到當相鄰的哲學家需要等到左右的筷子都可以使用時才可以進餐,因此如果哲學家是五位時,最多能有兩位不相鄰哲學家可以同時就餐。

4 References

 


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • file命令 功能說明:查看文件內容類型 用法:file [FILE]…… 示例1:查看/etc/issue的文件類型 [root@node1 ~]# file /etc/issue /etc/issue: ASCII text #是一個文本文件 示例2:查看/usr/bin的類型 [root@no ...
  • stat命令 功能說明:顯示文件或目錄的inode信息 用法:stat FILE... 每個文件有兩類數據 元數據:metadata 數據: data 以一本書為例,書的前面都有索引,索引並不是書的正常內容,它只是幫助我們快速檢索的,這些索引本身也得占用幾頁紙,它也需要占用空間,對於一本書來講,這些 ...
  • ls命令 功能說明:列出指定目錄下的文件列表(包括子目錄),但不能顯示文件內容 用法:ls [OPTION]... [FILE]... 選項 作用 -a 顯示所有文件,包括隱藏文件 -A 顯示除.和..之外的所有文件 -l 顯示文件的詳細屬性信息 -h 對文件大小做單位換算,以人類可讀的方式顯示,換 ...
  • 時光飛逝,距離上一個版本(v2.2)發佈已有半年了,這一次痞子衡為大家帶來了全新版本v2.3,新版本除了一些常規新i.MXRT型號支持以及bugfix之外,痞子衡特別花了大功夫徹底解決了NOR Flash支持問題,以後不管是什麼Flash統統一網打盡。痞子衡是怎麼做到的?且往下看 ...
  • [導讀] 前文總結了vim如何進入,如何保存退出,如何進入編輯模式。本文來總結一些稍微進階的內容,在normal模式下如何高效的瀏覽代碼。 模式回顧 在normal模式下主要用於瀏覽代碼,那麼有哪些方式可以達成移動游標呢,這裡總結了從最簡易的hjkl鍵對應單字元移動,到更為高效的移動方式。 Norm ...
  • 大家好,我是良許。 我們在平時工作的時候,為了測試產品的一些功能,我們會寫一系列的腳本,並且把它們放在同一個目錄下。在做測試的時候,我們通常會依次執行這些腳本,然後記錄測試結果。 這樣做的弊端是顯而易見的,那就是效率太低。如果腳本數不多,你的「時間管理」能力又很強的話,那麼問題不大。但如果腳本數很多 ...
  • Ubuntu系統安裝軟體時報以下錯誤: E: Sub-process /usr/bin/dpkg returned an error code (1) 解決: mv /var/lib/dpkg/info /var/lib/dpkg/info_old mkdir /var/lib/dpkg/info ...
  • Win10企業版遠程桌面結合frp實現公網遠程 前言 由於經常下班後還要處理問題,但是又沒有運維那麼頻繁,就不想天天背著電腦來回跑,剛開始用的teamviewer,後來被商業勸退了(就是不讓用了,讓買序列號),剛開始想到的替代品是RealVNC,以前見運維提供winServer伺服器遠程桌面的時候用 ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...