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.
Experiments presented in this paper were carried out using the Paris 13 experimental testbed.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Kondo, D.: Preface to the special issue on volunteer computing and desktop grids. J. Grid Comput. 7, 417–418 (2009)
University of California: SETI@Home (October 2011), http://setiathome.berkeley.edu/
University of California: BOINC (October 2011), http://boinc.berkeley.edu/
Univa: United Devices (October 2011), http://www.unicluster.org/
DistributedNet: Distributed.Net (October 2011), http://www.distributed.net/
Univa: XtremWeb (October 2011), http://www.xtremweb.net/
Abbes, H., Cérin, C., Jemni, M.: Bonjourgrid as a decentralised job scheduler. In: APSCC, pp. 89–94. IEEE (2008)
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)
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)
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
Eugster, P.T., Felber, P., Guerraoui, R., Kermarrec, A.-M.: The many faces of publish/subscribe. ACM Comput. Surv. 35, 114–131 (2003)
Cheshire, S., Steinberg, D.H.: Zero configuration networking - the definitive guide: things that just work: covers Apple’s Bonjour APIs. O’Reilly (2005)
Zanolin, L., Ghezzi, C., Baresi, L.: An approach to model and validate publish/subscribe architectures (2003)
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)
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)
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
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)
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)
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)
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)
Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems, 1st edn., July 1. Springer, Heidelberg (2009)
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)
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)
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)
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)
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)
Jacobsen, H.A., Wang, Y., Hung, P. (eds.): IEEE International Conference on Services Computing, SCC 2011, Washington, DC, USA, July 4-9. IEEE (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abidi, L., Cérin, C., Klai, K. (2012). Design, Verification and Prototyping the Next Generation of Desktop Grid Middleware. In: Li, R., Cao, J., Bourgeois, J. (eds) Advances in Grid and Pervasive Computing. GPC 2012. Lecture Notes in Computer Science, vol 7296. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30767-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-30767-6_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30766-9
Online ISBN: 978-3-642-30767-6
eBook Packages: Computer ScienceComputer Science (R0)