并发性
 | 此條目可参照英語維基百科相應條目来扩充。 |
 | 此條目部分链接不符合格式手冊規範。跨語言链接及章節標題等處的链接可能需要清理。 (2015年12月11日) |
在计算机科学中，並行性（英語：Concurrency）是指在一個系统中，擁有多個計算，這些計算有同时执行的特性，而且他们之间有着潛在的互動。因此系統可進行的執行路徑會有相當多個，而且結果可能具有不確定性。并发计算可能会在具備多核心的同一个晶片中复合运行，以优先分时线程在同一個處理器中執行，或在不同的处理器执行。
一些数理模型已經為解決一般的並行計算問題而發展，包括Petri网、进程、PRAM模型和演员模型。
议题
因為在並行系統下運算可以在執行時彼此互動，系統可進行的執行路徑會有相當多個，產生的結果可能具有不確定性（Indeterminacy）。並行使用的分享資源可能變成一個不確定的資源並導致諸如死鎖和資源匱乏（Resource starvation）的問題。[1]
理论
模型
逻辑
實作
参考文献
- ^ Cleaveland, Rance; Scott Smolka. Strategic Directions in Concurrency Research. ACM Computing Surveys. December 1996, 28 (4): 607. doi:10.1145/242223.242252. [失效連結]
补充阅读
- 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.
- 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.