Scheduling of Compute-Intensive Code Generated from Event-B Models: An Empirical Efficiency Study

Abstract : Event-B is a tool-supported specification language that can be used e.g. for modelling of concurrent programs. This calls for code generation and a means of executing the resulting code. One approach is to preserve the original event-based nature of the model and use a run-time scheduler and message passing to execute the translated events on different computational nodes. In this paper, we consider the efficiency of such a solution when applied to a compute-intensive model. In order to mitigate overhead, we also use a method allowing computational nodes to repeat event execution without the involvement of the scheduler. To find out under what circumstances the approach performs most efficiently, we perform an empirical study with different parameters.
Type de document :
Communication dans un congrès
Karl Michael Göschka; Seif Haridi. 12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7272, pp.177-184, 2012, Distributed Applications and Interoperable Systems. 〈10.1007/978-3-642-30823-9_15〉
Liste complète des métadonnées

Littérature citée [9 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01527642
Contributeur : Hal Ifip <>
Soumis le : mercredi 24 mai 2017 - 17:22:59
Dernière modification le : mercredi 24 mai 2017 - 17:24:55
Document(s) archivé(s) le : lundi 28 août 2017 - 00:50:07

Fichier

978-3-642-30823-9_15_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Fredrik Degerlund. Scheduling of Compute-Intensive Code Generated from Event-B Models: An Empirical Efficiency Study. Karl Michael Göschka; Seif Haridi. 12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7272, pp.177-184, 2012, Distributed Applications and Interoperable Systems. 〈10.1007/978-3-642-30823-9_15〉. 〈hal-01527642〉

Partager

Métriques

Consultations de la notice

41

Téléchargements de fichiers

23