并发性

並行性(英語:Concurrency)是在计算机科学中,同一個系统擁有多個計算處理程序,這些處理程序有同时执行與的潛在互動特性,因此系統會有相當多個執行路徑且結果可能具有不確定性。并发计算可能会在具備多核心的同一个晶片中交錯运行,以优先分时线程在同一個處理器中執行,或在不同的处理器执行。

一些数理模型已經為解決一般的並行計算問題而發展,包括Petri网进程PRAM模型演员模型

议题

哲學家就餐問題是一個關於並行性和分享資源的典型問題。

因為在並行系統下運算可以在執行時彼此互動,系統可進行的執行路徑會有相當多個,產生的結果可能具有不確定性。並行使用的分享資源可能變成一個不確定的資源並導致諸如死鎖資源匱乏的問題。[1]


理论

模型

逻辑

實作

参考文献

  1. ^ Cleaveland, Rance; Scott Smolka. Strategic Directions in Concurrency Research. ACM Computing Surveys. December 1996, 28 (4): 607. doi:10.1145/242223.242252.  [失效連結]

补充阅读

其他链接