Chapter 20: Process algebra based actor model of the Google File System
Abstract
This chapter introduces the Actor model of the Google File System based on process algebra.
Keywords
Actors; Process Algebra; GFS
In this chapter, we will use the process algebra based actor model to model and verify the Google File System. In Section 20.1, we introduce the requirements of the Google File System; we model the Google File System by use of the new actor model in Section 20.2.
20.1 Requirements of the Google File System
The Google File System (GFS) is a distributed file system used to deal with large-scale data-density applications. GFS has some design goals that are the same as the other traditional distributed file systems, such as performance, scalability, ...
Get Handbook of Truly Concurrent Process Algebra now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
