用CSP形式化MapReduce

2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems Pub Date : 2010-03-22 DOI:10.1109/ECBS.2010.50

F. Yang, Wen Su, Huibiao Zhu, Qin Li

{"title":"用CSP形式化MapReduce","authors":"F. Yang, Wen Su, Huibiao Zhu, Qin Li","doi":"10.1109/ECBS.2010.50","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":356361,"journal":{"name":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","volume":"19 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"21","resultStr":"{\"title\":\"Formalizing MapReduce with CSP\",\"authors\":\"F. Yang, Wen Su, Huibiao Zhu, Qin Li\",\"doi\":\"10.1109/ECBS.2010.50\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":356361,\"journal\":{\"name\":\"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems\",\"volume\":\"19 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-03-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"21\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ECBS.2010.50\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ECBS.2010.50","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 21

摘要

MapReduce作为一种编程模型，被广泛应用于处理和生成分布在大量机器上的大型数据集集群。随着它的广泛使用，需要在一个正式的框架中分析它的有效性和其他主要性质。本文利用CSP方法建立了一个形式化模型。我们专注于MapReduce的主要部分，并详细形式化它们。通过这个形式化的模型，可以清楚地反映出各个部件的加工过程和功能。并通过算例对该模型进行了说明。结果反映了MapReduce在一些适当应用中的有效性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Formalizing MapReduce with CSP

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems

自引率

0.00%

发文量