无关并发进程

一组并发进程分别在不同的变量集合上操作,一个进程的执行与其他并发进程的进展无关。这种并发进程称为「无关并发进程」。

并发进程的无关性是进程的执行与时间无关的一个充分条件,又称为Bernstein 条件

充分发挥硬件的并行性,提高系统效率

与时间有关的错误

对于一组交往的并发进程,执行的相对速度无法相互控制,各种与时间有关的错误就有可能出现。

与时间有关的错误有两种表现形式

  • 结果不唯一
  • 永远等待