Design, verification and prototyping the next generation of desktop grid middleware

  • Authors:

  • Leila Abidi;Christophe Cérin;Kais Klai

  • Affiliations:

  • Université de Paris 13, LIPN UMR CNRS 7030, Villetaneuse, France,Université de Tunis, LaTICE ESSTT, Tunis, Tunisie;Université de Paris 13, LIPN UMR CNRS 7030, Villetaneuse, France;Université de Paris 13, LIPN UMR CNRS 7030, Villetaneuse, France

  • Venue:
  • GPC'12 Proceedings of the 7th international conference on Advances in Grid and Pervasive Computing
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

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.