TY - GEN
T1 - Formalizing mapreduce with CSP
AU - Yang, Fan
AU - Su, Wen
AU - Zhu, Huibiao
AU - Li, Qin
PY - 2010
Y1 - 2010
N2 - As a programming model, MapReduce is popularly and widely used in processing and generating large cluster of data sets distributed on large amount of machines. With its widespread use, its validity and other major properties need to be analyzed in a formal framework. In this paper, a formal model is presented using CSP method. We focus on the dominant parts of MapReduce and formalize them in detail. Through this formal model, the processing and function of each component can be clearly reflected. Moreover, we illustrate this formal model by an example computation. The result reflects the validity of MapReduce in some appropriate applications.
AB - As a programming model, MapReduce is popularly and widely used in processing and generating large cluster of data sets distributed on large amount of machines. With its widespread use, its validity and other major properties need to be analyzed in a formal framework. In this paper, a formal model is presented using CSP method. We focus on the dominant parts of MapReduce and formalize them in detail. Through this formal model, the processing and function of each component can be clearly reflected. Moreover, we illustrate this formal model by an example computation. The result reflects the validity of MapReduce in some appropriate applications.
UR - https://www.scopus.com/pages/publications/77953209591
U2 - 10.1109/ECBS.2010.50
DO - 10.1109/ECBS.2010.50
M3 - 会议稿件
AN - SCOPUS:77953209591
SN - 9780769540054
T3 - 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010
SP - 358
EP - 367
BT - 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010
T2 - 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010
Y2 - 22 March 2010 through 26 March 2010
ER -