Page 27 - 《软件学报》2021年第10期

乔嘉林 等:基于着色 Petri 网的 HDFS 数据一致性建模与分析 2999

Namenode Namenode
Client create file Client
File1 File1 File1 File1
B1 B2 B3 B1 B2 B3
block id &
locations

Datanode1 Datanode2 Datanode3 Datanode4 Datanode1 Datanode2 Datanode3 Datanode4

Namenode Namenode
Client Client
File1 File1 File1 File1
B1 B2 B3 B1 B2 B3

send block
ACK
Datanode1 Datanode2 Datanode3 Datanode4 Datanode1 Datanode2 Datanode3 Datanode4
B1 B1 B1 B1 B1 B1

Namenode Namenode
Client Client
close file
File1 File1 File1 File1
B1 B2 B3 BL1 B1 B2 B3 BL1 BL2 BL3
block received

Datanode1 Datanode2 Datanode3 Datanode4 Datanode1 Datanode2 Datanode3 Datanode4
B1 B1 B1 B1 B2 B1 B2 B1 B3 B2 B3
B3

Fig.3 Writing process of HDFS
图 3 HDFS 写文件流程示意图
3.2 写流程建模
3.2.1 写流程模型概述
写流程的着色 Petri 网模型框架如图 4 所示,主要包括两个子流程:(1) 名字节点处理流程 NamenodeWrite;
(2) 数据节点处理流程 DatanodeWrite.

Fig.4 Writing process model
图 4 写文件模型