Modeling MapReduce with CSP

Wen Su,Fan Yang,Huibiao Zhu,Qin Li
DOI: https://doi.org/10.1109/TASE.2009.28
2009-01-01
Abstract:As a programming model, MapReduce is implied for easier processing and generating large cluster of distributed data sets. We use CSP framework to model MapReduce system through which the parallelization of the computation and the distribution of data across multiple machines can be reflected. Some properties of MapReduce can be verified based on the achieved model.
What problem does this paper attempt to address?