36、基于进程代数的分布式系统与云资源管理模型解析

基于进程代数的分布式系统与云资源管理模型解析

1. 谷歌文件系统的新参与者模型

1.1 系统概述

谷歌文件系统（GFS）的参与者系统可分为三种类型的参与者：客户端参与者（CA）、块服务器参与者（CSAs）和主参与者（Mas）。各参与者协同工作，实现文件的请求、处理和传输。

1.2 各参与者的典型流程

1.2.1 客户端参与者（CA）

• 接收请求 ：通过名为 CA 的邮箱接收外部请求 DICA（包含请求文件的元信息），对应读取动作 rCA(DICA)。
• 本地计算 ：混合一些原子动作进行本地计算，计算逻辑包括 ·、+、≬ 和保护条件，所有本地计算用 ICA 表示。
• 发送消息 ：生成包含请求文件元信息和客户端地址的输出消息 DIMas，并发送到主参与者名为 Mas 的邮箱，对应发送动作 sMas(DIMas)。
• 接收块数据 ：从 n 个块服务器 CSAi（1 ≤ i ≤ n）接收块数据，对应读取动作 rCA(DOCSA1) ∥··· ∥rCA(DOCSAn)。
• 组合块数据 ：再次进行本地计算组合块数据，计算逻辑同上，仍用 ICA 表示。
• 输出结果 ：生成包含文件的输出消息 DOCA 并发送到外部，对应发送动作 sO(DOCA)，然后递归处理下一个外部消息。