并发性(英语:Concurrency)是在计算机科学中,同一个系统拥有多个计算进程,这些进程有同时执行与的潜在交互特性,因此系统会有相当多个执行路径且结果可能具有不确定性。并发计算可能会在具备多核心的同一个芯片中交错运行,以优先分时线程在同一个处理器中执行,或在不同的处理器执行。

一些数理模型已经为解决一般的并发计算问题而发展,包括Petri网进程PRAM模型演员模型

议题 编辑

 
哲学家就餐问题是一个关于并发性和分享资源的典型问题。

因为在并发系统下运算可以在执行时彼此交互,系统可进行的执行路径会有相当多个,产生的结果可能具有不确定性。并发使用的分享资源可能变成一个不确定的资源并导致诸如死锁资源匮乏的问题。[1]


理论 编辑

模型 编辑

逻辑 编辑

实现 编辑

参考文献 编辑

  1. ^ Cleaveland, Rance; Scott Smolka. Strategic Directions in Concurrency Research. ACM Computing Surveys. December 1996, 28 (4): 607. doi:10.1145/242223.242252.  [失效链接]

补充阅读 编辑

其他链接 编辑