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

并发性

维基百科,自由的百科全书
跳到导航 跳到搜索

计算机科学中,并发性(英语: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.  [失效链接]

补充阅读[编辑]

其他链接[编辑]