并发性

本页使用了标题或全文手工转换,现处于不转换模式
求闻百科,共笔求闻

并行性(英语: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. 

其他链接