Name
Abstract | ||
|---|---|---|
Hadoop Distributed File System (HDFS) is a high fault-tolerant distributed file system, which provides a high throughput access to application data and is suitable for applications that have large data sets. Since HDFS is widely used, analysis on it in a formal framework is of great significance. In this paper, we use Communicating Sequential Processes (CSP) to model and analyze HDFS. We mainly focus on the dominant parts which include reading files and writing files in HDFS and formalize them in detail. Moreover, we use the model checker Process Analysis Toolkit (PAT) to simulate the model constructed and verify whether it caters for the specification and some important properties, including Deadlock-freeness, Minimal Distance Scheme, Mutual Exclusion, Write-Once Scheme and Robustness. |
Year | DOI | Venue |
|---|---|---|
2016 | 10.1109/COMPSAC.2016.158 | 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC) |
Keywords | Field | DocType |
HDFS,CSP,Hadoop Distributed File System,fault-tolerant distributed file system,communicating sequential processes,model checker,process analysis toolkit,PAT,specification,deadlock-freeness,minimal distance scheme,mutual exclusion,write-once scheme | Distributed File System,Data set,Model checking,Computer science,Communicating sequential processes,Robustness (computer science),Process analysis,Throughput,Mutual exclusion,Operating system,Distributed computing | Conference |
Volume | ISSN | ISBN |
1 | 0730-3157 | 978-1-4673-8846-7 |
Citations | PageRank | References |
1 | 0.37 | 11 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Wanling Xie | 1 | 4 | 6.88 |
| Huibiao Zhu | 2 | 583 | 86.68 |
| Xi Wu | 3 | 37 | 9.97 |
| Shuangqing Xiang | 4 | 1 | 2.06 |
| Jian Guo | 5 | 9 | 4.61 |