並行性

並行性（英語：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. 引文使用過時參數coauthors (幫助)^{[失效連結]}

補充閱讀

• Lynch, Nancy A. Distributed Algorithms. Morgan Kauffman. 1996. ISBN 1558603484.
• Tanenbaum, Andrew S.; Van Steen, Maarten. Distributed Systems: Principles and Paradigms. Prentice Hall. 2002. ISBN 0-13-088893-1. 引文使用過時參數coauthors (幫助)
• Kurki-Suonio, Reino. A Practical Theory of Reactive Systems. Springer. 2005. ISBN 3-540-23342-3.
• Garg, Vijay K. Elements of Distributed Computing. Wiley-IEEE Press. 2002. ISBN 0-471-03600-5.
• Magee, Jeff;, Kramer, Jeff. Concurrency: State Models and Java Programming. Wiley. 2006. ISBN 0-470-09355-2.

其他連結

• Concurrent Systems at The WWW Virtual Library （頁面存檔備份，存於互聯網檔案館）