The Community for Technology Leaders
Parallel and Distributed Processing Symposium, International (2009)
Rome, Italy
May 23, 2009 to May 29, 2009
ISBN: 978-1-4244-3751-1
pp: 1-5
Yu Wang , INRIA, LIP, ENS Lyon, 46 avenue d'Italie, 69364 Cedex 07, France
Haiwu He , INRIA, LIP, ENS Lyon, 46 avenue d'Italie, 69364 Cedex 07, France
Zhijian Wang , College of Computer and Information Engineering, Hohai University, Nanjing 210098, China
ABSTRACT
Volunteer Computing is a form of distributed computing in which the general public offers processing power and storage to scientific research projects. A large variety of Volunteer Computing Systems (VCS) have been proposed in the literature which use different architectures from client/server to P2P. This paper aims to provide a formal abstraction of VCS. At first, we identify three key roles played by VCS computing resources. Then, a formal model and related methods concerning Volunteer Computing are introduced. Relationships among elements are also characterized, based on set theory and operational reduction rules. We apply this model to describe a part of the XtremWeb protocol. Our results can help to lay a substantial foundation for the research on formalisms of Volunteer Computing.
INDEX TERMS
CITATION

H. He, Y. Wang and Z. Wang, "Towards a formal model of volunteer computing systems," 2009 IEEE International Symposium on Parallel & Distributed Processing (IPDPS), Rome, 2009, pp. 1-5.
doi:10.1109/IPDPS.2009.5161137
88 ms
(Ver 3.3 (11022016))