万维百科

并发性

计算机科学中,并发性(英语: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.

其他链接


本页面最后更新于2021-06-30 14:57,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器