Handbook of Truly Concurrent Process Algebra

Chapter 19: Process algebra based actor model of Map–Reduce

Abstract

This chapter introduces the Actor model of Map–Reduce based on process algebra.

Keywords

Actors; Process Algebra; Map–Reduce

In this chapter, we will use the process algebra based actor model to model and verify map–reduce. In Section 19.1, we introduce the requirements of map–reduce; we model the map–reduce by use of the new actor model in Section 19.2.

19.1 Requirements of Map–Reduce

Map–Reduce is a programming model and system aiming at a large-scale data set, which uses the thinking of functional programming language. It includes two programs: Map and Reduce, and also a framework to execute the program instances on a computer cluster. Map program reads the data set from the inputting ...