Design, verification and prototyping the next generation of desktop grid middleware
Pages 74 - 88
Abstract
This paper proposes a formal framework for the design and verification of a new Desktop Grid (DG) prototype which is currently developed with Web 2.0 technologies and only with this technology. The paper is an approach for developing a new generation of Desktop grid middleware, in our case based on Redis, a key-value no-SQL Web 2.0 tool with capability for managing the Publish-Subscribe asynchronous paradigm. We propose to revisit the Desktop Grid paradigm based only on concepts from Web 2.0 tools. It is different from previous approaches that have required to build software layers before the layer of the DG middleware. We demonstrate that this corresponds to a progress in freeing time for modeling and verification, that is, to build safe middleware. This work proposes (1) a modeling and a verification of a DG protocol based on the Publish-Subscribe paradigm (2) a prototype of a new generation of DG middleware that we are developing, concurrently with the modeling. A simulation, according to a prototype is conducted on a local cluster and demonstrate that our system is operational, light in terms of coding lines and used resources. Thus, it offers remarkable properties in order to implement DGs on tablets and Smartphones, we mean on resource constrained systems.
References
[1]
Kondo, D.: Preface to the special issue on volunteer computing and desktop grids. J. Grid Comput. 7, 417-418 (2009)
[2]
University of California: SETI@Home (October 2011), http://setiathome.berkeley.edu/
[3]
University of California: BOINC (October 2011), http://boinc.berkeley.edu/
[4]
Univa: United Devices (October 2011), http://www.unicluster.org/
[5]
DistributedNet: Distributed. Net (October 2011), http://www.distributed.net/
[6]
Univa: XtremWeb (October 2011), http://www.xtremweb.net/
[7]
Abbes, H., Cérin, C., Jemni, M.: Bonjourgrid as a decentralised job scheduler. In: APSCC, pp. 89-94. IEEE (2008)
[8]
Abbes, H., Cérin, C., Jemni, M.: Bonjourgrid: Orchestration of multi-instances of grid middlewares on institutional desktop grids. In: IPDPS, pp. 1-8. IEEE (2009)
[9]
Abbes, H., Cérin, C., Jemni, M.: A decentralized and fault-tolerant desktop grid system for distributed applications. Concurrency and Computation: Practice and Experience 22, 261-277 (2010)
[10]
Smets-Solanes, J. P., Cérin, C., Courteaud, R.: Slapos: A multi-purpose distributed cloud operating system based on an erp billing model. {27}, 765-766
[11]
Eugster, P. T., Felber, P., Guerraoui, R., Kermarrec, A.-M.: The many faces of publish/subscribe. ACM Comput. Surv. 35, 114-131 (2003)
[12]
Cheshire, S., Steinberg, D. H.: Zero configuration networking - the definitive guide: things that just work: covers Apple's Bonjour APIs. O'Reilly (2005)
[13]
Zanolin, L., Ghezzi, C., Baresi, L.: An approach to model and validate publish/ subscribe architectures (2003)
[14]
Harrison, M. D., Kray, C., Sun, Z., Zhang, H.: Factoring user Experience into the Design of Ambient and Mobile Systems. In: Gulliksen, J., Harning, M. B., van der Veer, G.C., Wesson, J. (eds.) EIS 2007. LNCS, vol. 4940, pp. 243-259. Springer, Heidelberg (2008)
[15]
Garlan, D., Khersonsky, S., Kim, I.: Model Checking Publish-Subscribe Systems. In: Ball, T., Rajamani, S. K. (eds.) SPIN 2003. LNCS, vol. 2648, pp. 166-180. Springer, Heidelberg (2003)
[16]
Abidi, L., Cérin, C., Evangelista, S.: A petri-net model for the publish-subscribe paradigm and its application for the verification of the bonjourgrid middleware. {27}, 496-503
[17]
Kacem, N. H., Kacem, A. H., Jmaiel, M., Drira, K.: Towards modelling and analysis of a coordination protocol for dynamic software adaptation. In: Chbeir, R., Badr, Y., Abraham, A., Laurent, D., Köppen, M., Ferri, F., Zadeh, L. A., Ohsawa, Y. (eds.) CSTST, pp. 499-507. ACM (2008)
[18]
Kacem, N. H., Kacem, A. H., Drira, K.: A formal model of a multi-step coordination protocol for self-adaptive software using coloured petri nets. International Journal of Computing and Information Sciences (2009)
[19]
Silva, L. D. D., Perkusich, A.: Formal verification of component-based software systems. In: Isaías, P. T., Sedes, F., Augusto, J.C., Ultes-Nitsche, U. (eds.) NDDL/VVEIS, pp. 113-124. ICEIS Press (2003)
[20]
Wells, L.: Performance analysis using cpn tools. In: Lenzini, L., Cruz, R. L. (eds.) VALUETOOLS. ACM International Conference Proceeding Series, vol. 180, p. 59. ACM (2006)
[21]
Jensen, K., Kristensen, L. M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems, 1st edn., July 1. Springer, Heidelberg (2009)
[22]
McClatchey, R., Estrella, F., Le Goff, J. M., Kovacs, Z., Baker, N.: Object databases in a distributed scientific workflow application. In: Proceedings of the 3rd Basque International Workshop on Information Technology (BIWIT 1997), p. 11. IEEE Computer Society, Washington, DC (1997)
[23]
Qin, J., Fahringer, T.: Advanced data flow support for scientific grid workflow applications. In: Proceedings of the 2007 ACM/IEEE Conference on Supercomputing, SC 2007, pp. 42:1-42:12. ACM, New York (2007)
[24]
Schüller, F., Qin, J., Nadeem, F., Prodan, R., Fahringer, T., Mayr, G.: Performance, scalability and quality of the meteorological grid workflow meteoag. In: Proceedings of the 2nd Austrian Grid Symp., Univ. Innsbruck (2006)
[25]
Silva, L., Granato, G. L., Bressan, A., Lacey, C. G., Baugh, C. M., Cole, S., Frenk, C. S.: Modeling dust on galactic sed: Application to semi-analytical galaxy formation models (1999)
[26]
Zhao, Y., Wilde, M., Foster, I., Voeckler, J., Jordan, T., Quigg, E., Dobson, J.: Grid middleware services for virtual data discovery, composition, and integration. In: 2nd Workshop on Middleware for Grid Computing, p. 57. ACM Press (2004)
[27]
Jacobsen, H. A., Wang, Y., Hung, P. (eds.): IEEE International Conference on Services Computing, SCC 2011, Washington, DC, USA, July 4-9. IEEE (2011)
- Design, verification and prototyping the next generation of desktop grid middleware
Recommendations
A publication-subscription interaction schema for desktop grid computing
SAC '13: Proceedings of the 28th Annual ACM Symposium on Applied ComputingThis paper proposes a Publish-Subscribe framework for the design of Desktop Grid (DG) middleware. This work focuses on a modeling and a verification of a DG protocol based on the Publish-Subscribe paradigm and introduces a prototype that we are ...
A Petri-Net Model for the Publish-Subscribe Paradigm and Its Application for the Verification of the BonjourGrid Middleware
SCC '11: Proceedings of the 2011 IEEE International Conference on Services ComputingIn this article we focus on the modelization of the Bonjour Grid protocol which is based on the Publish-Subscribe (Pub-Sub) paradigm, a paradigm for asynchronous communication that is useful for implementing some approaches in distributed programming. ...
A distributed workflow management model for grid middleware
Best Papers from the GCC 2006 ConferenceWorkflow management enables grid service composition and user collaboration in grid middleware, it includes the workflow of grid service invoking and data exchanging among services. Because of the large requirements of grid service composition, it's ...
Comments
Information & Contributors
Information
Published In
Sponsors
- The Hong Kong Polytechnic: The Hong Kong Polytechnic University
- Huazhong University of Science and Technology
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 11 May 2012
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 23 Jan 2025