哲学家就餐问题python_哲学家就餐-同步问题解析-python
五個(gè)哲學(xué)家吃五盤(pán)通心粉,由于通心粉很滑,所以必須要拿起左右兩邊的叉子才能吃到。
叉子的擺放如圖所示。
那么問(wèn)題來(lái)了:能為每一個(gè)哲學(xué)家寫(xiě)一段描述其行為的程序,保證不會(huì)出現(xiàn)死鎖。
解法1:讓他等待能夠使用的時(shí)候,然后去叉子用餐
這種方法很顯然行不通,如果所有人都去拿左邊的叉子,就沒(méi)有人能夠拿到右邊的叉子
解法2:在拿到左叉的時(shí)候,然后檢查右邊的叉子是否可用,如果可用就拿起右叉,如果不行就放下左叉。
這種方法也是不行的,可能在某一個(gè)瞬間,可能在某一時(shí)刻哲學(xué)家一起拿起左叉然后看到右叉不可用,就都放下左叉,周而復(fù)始,進(jìn)入"饑餓狀態(tài)"。
解法3:我們忽略左右叉子的問(wèn)題,講每個(gè)哲學(xué)家的狀態(tài)記錄下來(lái),然后只有當(dāng)自己左右都為饑餓狀態(tài)的時(shí)候 才能拿到叉子吃飯,否則進(jìn)入阻塞狀態(tài)。
那么一開(kāi)始總有兩個(gè)人能拿到叉子吃飯,吃了一些,放下叉子,然后問(wèn)問(wèn)左右的哲學(xué)家是否想吃。
#!/usr/bin/env python
#coding:utf-8
import threading
import time
mutex = threading.RLock()
state = [0,0,0,0,0]
rlock0 = threading.RLock()
rlock1 = threading.RLock()
rlock2 = threading.RLock()
rlock3 = threading.RLock()
rlock4 = threading.RLock()
class Phd():
def __init__ (self,key,left,right,lock):
self.key = key
self.left = left
self.right = right
self.lock = lock
z1 = Phd(0,1,4,rlock0)
z2 = Phd(1,0,2,rlock1)
z3 = Phd(2,1,3,rlock2)
z4 = Phd(3,2,4,rlock3)
z5 = Phd(4,3,0,rlock4)
obj_Phd_list = [z1,z2,z3,z4,z5]
inter = 0
def take_forks(zname):
global inter
while 1:
inter += 1
key = zname.key
mutex.acquire()
state[key] = 1
res = test(zname)
mutex.release()
if res == 1:
print ("----",zname.key,"hava eating----")
print ("----" ,zname.key,"put forks")
put_forks(zname)
else:
print("----",zname.key,"no forks")
zname.lock.acquire()
if (inter >= 30):
break
def test(i):
print(i.key,"--in the test")
if (state[i.key] == 1 & state[i.left] !=2 & state[i.right] != 2):
state[i.key] = 2
try:
i.lock.release()
except:
pass
return 1
return 0
def put_forks(i):
mutex.acquire()
state[i.key] = 0
test(obj_Phd_list[i.right])
test(obj_Phd_list[i.left])
mutex.release()
for i in range(5):
s = threading.Thread(target=take_forks,args=(obj_Phd_list[i],))
s.start()
總結(jié)
以上是生活随笔為你收集整理的哲学家就餐问题python_哲学家就餐-同步问题解析-python的全部?jī)?nèi)容,希望文章能夠幫你解決所遇到的問(wèn)題。
- 上一篇: 2021曲靖高考成绩查询时间,2021年
- 下一篇: qq浏览器网页版_QQ邮箱回应部分用户登