并发性

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

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

议题编辑

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

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


理论编辑

模型编辑

逻辑编辑

實作编辑

参考文献编辑

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

补充阅读编辑

其他链接编辑