本页使用了标题或全文手工转换

并发性

维基百科,自由的百科全书
跳转至: 导航搜索

计算机科学中,並行性英语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. 

补充阅读[编辑]

  • 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. 

其他链接[编辑]