关于并发的形式语义 并发性是指一个系统内部发生的两个事件之间不存在因果关系。 口因果关系不等同于先后关系，有因果必有先后，但反之则未必 0 在一个存在并发性行为的系统中没有统一的时钟 ▣用“不存在因果关系”来描述计算机网络的并发性是最合适的 对并发性的另外一种理解： 口并发性是指一个系统内部发生的两个事件之间的先后次序不确定 即，如果有多个进程在活动，那么这些进程中全体事件的集合一定可 以按照执行时间的先后排成一个全序 口Milner认为这样做在数学处理上比较简单 ▣基于这种观点描述的语义称为交叠式语义(interleaving semantics; CCS和CSP等进程代数的演算系统就是基于interleaving模型描述并发 口基于上一个观点描述的语义成为真并发语义。 Tian Zhang Nanjing University 5Tian Zhang @ Nanjing University 5 关于并发的形式语义 „ 并发性是指一个系统内部发生的两个事件之间不存在因果关系。 ‰ 因果关系不等同于先后关系，有因果必有先后，但反之则未必 ‰ 在一个存在并发性行为的系统中没有统一的时钟 ‰ 用“不存在因果关系”来描述计算机网络的并发性是最合适的 „ 对并发性的另外一种理解： ‰ 并发性是指一个系统内部发生的两个事件之间的先后次序 不确定 – 即，如果有多个进程在活动，那么这些进程中全体事件的集合一定可 以按照执行时间的先后排成一个全序 ‰ Milner认为这样做在数学处理上比较简单 ‰ 基于这种观点描述的语义称为交叠式语义 (interleaving semantics); – CCS和CSP等进程代数的演算系统就是基于interleaving模型描述并发 ‰ 基于上一个观点描述的语义成为真并发语义