计算理论第八章分布式计算模型

VIP免费

2025-01-13 3 0 1.08MB 50 页 5.9玖币

侵权投诉

计算理论

第八章分布式计算模型

nCSP

：

Communicating Sequential Processes

nCCS

：

Communication and Concurrent

System

p演算

nAmbient

演算

8.1 CSP

nCSP : (Communicating Sequential Processes)

1978年Hoare给出的一种描述并发与分布式

计算的研究模型。

n多进程间的并发通信

n显式消息

n卫式命令响应消息

主要内容

nDijkstra的卫式命令

nHoare的CSP（顺序通信进程）

理论

nCSP应用实例

卫式命令

n用于描述程序的不确定性，主要由命令集Com和布尔

表达式集BExp组成。

n语法：cÎCom语言命令集

c ::= skip | abort

| A | c;c

| b ®gc | gc ▯gc | gc*

其中AÎAcom(原子命令)，bÎBExp，符号“▯”称

为选择构造符，*表示循环构造符。

n例：

b1®P▯b2®Q▯b3®R

(i > 0 ®fact := fact

i; i:=i-1)*

格局

:(Com, STATE)

状态

STATE

对偶（变量名，变量值）的序列称为状态，一般用

STATE

表示。

形式地可定义为：

STATE = (VAR

VAL )*

或

STATE = (VAR → VAL)

对变量

在当前状态s中的值为s

(x)

定义

2卫式命令的一步执行“®”

用格局<gc, s>表示在当前状态s中执行卫式命令gc，执

行一步后形成新的格局或新的状态或者是特殊fail。

n例：

<a, s> ®n

n卫式命令c的执行规则：

n<skip;c, s> ®<c,s>

n<c0, s> ®< c0’, s’>

< c0;c1, s> ®< c0’;c1, s’>

n<abort, s> ®abortion

n<b, s> ®true

<b®c, s> ®<c, s>

n<b, s> ®false

<b®c;c’, s> ®<c’, s>

n<c0, s> ®r

<c0▯c1, s> ®r

n<c1, s> ®r

<c0▯c1, s> ®r

n<c, s> ®<c’, s’>

<c* , s> ®<c’;c*, s’>

文档加载中……请稍候！
如果长时间未打开，您也可以点击刷新试试。

下载文档到电脑，查找使用更方便

5.9 玖币 0人已下载

立即下载 VIP免费下载

摘要：

计算理论第八章分布式计算模型nCSP：CommunicatingSequentialProcessesnCCS：CommunicationandConcurrentSystemnp演算nAmbient演算8.1CSPnCSP:(CommunicatingSequentialProcesses)1978年Hoare给出的一种描述并发与分布式计算的研究模型。n多进程间的并发通信n显式消息n卫式命令响应消息主要内容nDijkstra的卫式命令nHoare的CSP（顺序通信进程）理论nCSP应用实例§1卫式命令n用于描述程序的不确定性，主要由命令集Com和布尔表达式集BExp组成。n语法：cÎCom语...

展开>> 收起<<

计算理论第八章分布式计算模型.pdf

共50页,预览10页

还剩页未读，继续阅读

声明：本站为文档C2C交易模式，即用户上传的文档直接被用户下载，本站只是中间服务平台，本站所有文档下载所得的收益归上传人(含作者)所有。玖贝云文库仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私，请立即通知玖贝云文库，我们立即给予删除！

计算理论第八章分布式计算模型

相关推荐

开通VIP享超值会员特权

作者详情

相关内容

热门标签

举报选择: