多线程-哲学家进餐的3种写法

5 个沉默寡言的哲学家围坐在圆桌前,每人面前一盘意面。叉子放在哲学家之间的桌面上。(5 个哲学家,5 根叉子)

所有的哲学家都只会在思考和进餐两种行为间交替。哲学家只有同时拿到左边和右边的叉子才能吃到面,而同一根叉子在同一时间只能被一个哲学家使用。每个哲学家吃完面后都需要把叉子放回桌面以供其他哲学家吃面。只要条件允许,哲学家可以拿起左边或者右边的叉子,但在没有同时拿到左右叉子时不能进食。

假设面的数量没有限制,哲学家也能随便吃,不需要考虑吃不吃得下。

设计一个进餐规则(并行算法)使得每个哲学家都不会挨饿;也就是说,在没有人知道别人什么时候想吃东西或思考的情况下,每个哲学家都可以在吃饭和思考之间一直交替下去。

哲学家从 0 到 4 按 顺时针 编号。请实现函数 void wantsToEat(philosopher, pickLeftFork, pickRightFork, eat, putLeftFork, putRightFork):

philosopher 哲学家的编号。
pickLeftFork 和 pickRightFork 表示拿起左边或右边的叉子。
eat 表示吃面。
putLeftFork 和 pickRightFork 表示放下左边或右边的叉子。
由于哲学家不是在吃面就是在想着啥时候吃面,所以思考这个方法没有对应的回调。
给你 5 个线程,每个都代表一个哲学家,请你使用类的同一个对象来模拟这个过程。在最后一次调用结束之前,可能会为同一个哲学家多次调用该函数。

 
示例:

输入:n = 1
输出:[[4,2,1],[4,1,1],[0,1,1],[2,2,1],[2,1,1],[2,0,3],[2,1,2],[2,2,2],[4,0,3],[4,1,2],[0,2,1],[4,2,2],[3,2,1],[3,1,1],[0,0,3],[0,1,2],[0,2,2],[1,2,1],[1,1,1],[3,0,3],[3,1,2],[3,2,2],[1,0,3],[1,1,2],[1,2,2]]
解释:
n 表示每个哲学家需要进餐的次数。
输出数组描述了叉子的控制和进餐的调用,它的格式如下:
output[i] = [a, b, c] (3个整数)
- a 哲学家编号。
- b 指定叉子:{1 : 左边, 2 : 右边}.
- c 指定行为:{1 : 拿起, 2 : 放下, 3 : 吃面}。
如 [4,2,1] 表示 4 号哲学家拿起了右边的叉子。

这道题本质上其实是想考察如何避免死锁。
因为当 5 个哲学家都拿着其左边(或右边)的叉子时,会进入死锁。

死锁的 4 个必要条件:

互斥条件:一个资源每次只能被一个进程使用,即在一段时间内某 资源仅为一个进程所占有。此时若有其他进程请求该资源,则请求进程只能等待。
请求与保持条件:进程已经保持了至少一个资源,但又提出了新的资源请求,而该资源 已被其他进程占有,此时请求进程被阻塞,但对自己已获得的资源保持不放。
不可剥夺条件:进程所获得的资源在未使用完毕之前,不能被其他进程强行夺走,即只能 由获得该资源的进程自己来释放(只能是主动释放)。
循环等待条件: 若干进程间形成首尾相接循环等待资源的关系。
故最多只允许 4个哲学家去持有叉子,可保证至少有 1个哲学家能吃上意大利面(即获得到 2 个叉子)。
因为最差情况下是:44 个哲学家都各自持有1个叉子,此时还 剩余 11 个叉子 可供使用,这 4个哲学家中必然有1人能获取到这个 剩余的 1个叉子,从而手持 2 个叉子,可以吃意大利面。
即:4 个人中,1个人有 2 个叉子,3 个人各持 1个叉子,共计 5 个叉子。

既然最多只允许4个哲学家去持有叉子,那么如果只允许3个哲学家去持有叉子是否可行呢?
当然可行,3个哲学家可以先都各自持有1把叉子,此时还剩余2把叉子;接下来,这3个哲学家中必有2人能获取到这剩余的2把叉子,从而手持2把叉子,可以吃意大利面。而必然剩余1人只能持有1把叉子。
即:3个人中,2个人各自持有 2个叉子,1 个人持有 1个叉子,共计 5 个叉子。

因此,如果只允许4个哲学家去持有叉子,在头1轮中只能有1人能吃上意大利面;如果只允许3个哲学家去持有叉子,在头一轮中能有2个人能吃上意大利面。直觉上来讲,一轮能有2个人完成吃面 在时间上 显然优于 一轮只有1个人吃面。

用Semaphore去实现上述的限制:Semaphore eatLimit = new Semaphore(4);
一共有5个叉子,视为5个ReentrantLock,并将它们全放入1个数组中。

给叉子编号 0, 1, 2, 3, 4(对应数组下标)。

写法1:

class DiningPhilosophers {

    public DiningPhilosophers() {
        
    }

    Semaphore eatLimit = new Semaphore(4);//限制最多只有4个哲学家去持有叉子
    
    private ReentrantLock[] lockList = {
        new ReentrantLock(),
         new ReentrantLock(),
          new ReentrantLock(),
           new ReentrantLock(),
            new ReentrantLock()
    };  //1个Fork视为1个ReentrantLock,5个叉子即5个ReentrantLock,将其都放入数组中

    // call the run() method of any runnable to execute its code
    public void wantsToEat(int philosopher,
                           Runnable pickLeftFork,
                           Runnable pickRightFork,
                           Runnable eat,
                           Runnable putLeftFork,
                           Runnable putRightFork) throws InterruptedException {

        //如果哲学家编号为0 ,则左边叉子编号为1,右边为0
        int leftFork = (philosopher + 1) % 5; //左边叉子编号
        int rightFork = philosopher;//右边叉子编号
        eatLimit.acquire();
        lockList[leftFork].lock();//拿起左边叉子,锁定
        lockList[rightFork].lock(); //拿起右边叉子,锁定
        pickLeftFork.run();
        pickRightFork.run();
        //开始吃
        eat.run();
        putLeftFork.run();//放下左边叉子
        putRightFork.run();//放下右边叉子
        lockList[leftFork].unlock();//释放锁
        lockList[rightFork].unlock();
        eatLimit.release();

        
    }
}

写法2:设置 11 个临界区以实现 11 个哲学家 “同时”拿起左右 22 把叉子的效果。
即进入临界区之后,保证成功获取到左右 22 把叉子 并 执行相关代码后,才退出临界区。

class DiningPhilosophers {

    public DiningPhilosophers() {
        
    }
    
    private ReentrantLock[] lockList = {
        new ReentrantLock(),
         new ReentrantLock(),
          new ReentrantLock(),
           new ReentrantLock(),
            new ReentrantLock()
    };  //1个Fork视为1个ReentrantLock,5个叉子即5个ReentrantLock,将其都放入数组中

    ReentrantLock pickFork = new ReentrantLock();//设置一个临界区,可以让 1个哲学家 “同时”拿起2个叉子

    // call the run() method of any runnable to execute its code
    public void wantsToEat(int philosopher,
                           Runnable pickLeftFork,
                           Runnable pickRightFork,
                           Runnable eat,
                           Runnable putLeftFork,
                           Runnable putRightFork) throws InterruptedException {

        //如果哲学家编号为0 ,则左边叉子编号为1,右边为0
        int leftFork = (philosopher + 1) % 5; //左边叉子编号
        int rightFork = philosopher;//右边叉子编号
        pickFork.lock();
        lockList[leftFork].lock();//拿起左边叉子,锁定
        lockList[rightFork].lock(); //拿起右边叉子,锁定
        pickLeftFork.run();
        pickRightFork.run();
        pickFork.unlock();
        //开始吃
        eat.run();
        putLeftFork.run();//放下左边叉子
        putRightFork.run();//放下右边叉子
        lockList[leftFork].unlock();//释放锁
        lockList[rightFork].unlock();
        
    }
}

写法3:而当5个哲学家都左手持有其左边的叉子 或 当5个哲学家都右手持有其右边的叉子时,会发生死锁。
故只需设计1个避免发生上述情况发生的策略即可。
即可以让一部分哲学家优先去获取其左边的叉子,再去获取其右边的叉子;再让剩余哲学家优先去获取其右边的叉子,再去获取其左边的叉子。

class DiningPhilosophers {

    public DiningPhilosophers() {
        
    }   
    
    private ReentrantLock[] lockList = {
        new ReentrantLock(),
         new ReentrantLock(),
          new ReentrantLock(),
           new ReentrantLock(),
            new ReentrantLock()
    };  //1个Fork视为1个ReentrantLock,5个叉子即5个ReentrantLock,将其都放入数组中

   

    // call the run() method of any runnable to execute its code
    public void wantsToEat(int philosopher,
                           Runnable pickLeftFork,
                           Runnable pickRightFork,
                           Runnable eat,
                           Runnable putLeftFork,
                           Runnable putRightFork) throws InterruptedException {

        //如果哲学家编号为0 ,则左边叉子编号为1,右边为0
        int leftFork = (philosopher + 1) % 5; //左边叉子编号
        int rightFork = philosopher;//右边叉子编号
        if(philosopher % 2 == 0){
            lockList[leftFork].lock();//拿起左边叉子,锁定
            lockList[rightFork].lock(); //拿起右边叉子,锁定
        } else {
             lockList[rightFork].lock();//拿起右边叉子,锁定
             lockList[leftFork].lock(); //拿起左边叉子,锁定
        }
     
        pickLeftFork.run();
        pickRightFork.run();
        //开始吃
        eat.run();
        putLeftFork.run();//放下左边叉子
        putRightFork.run();//放下右边叉子
        lockList[leftFork].unlock();//释放锁
        lockList[rightFork].unlock();
        
    }
}

个人座右铭:主动 行动 思考 反省 总结

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 216,470评论 6 501
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,393评论 3 392
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 162,577评论 0 353
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,176评论 1 292
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,189评论 6 388
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,155评论 1 299
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,041评论 3 418
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,903评论 0 274
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,319评论 1 310
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,539评论 2 332
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,703评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,417评论 5 343
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,013评论 3 325
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,664评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,818评论 1 269
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,711评论 2 368
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,601评论 2 353

推荐阅读更多精彩内容