Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?

Abstract : High-level concurrency constructs and abstractions have several well-known software engineering advantages when it comes to programming concurrency protocols among threads in multicore applications. To also explore their complementary performance advantages, in ongoing work, we are developing compilation technology for a high-level coordination language, Reo, based on this language’s formal automaton semantics. By now, as shown in our previous work, our tools are capable of generating code that can compete with carefully hand-crafted code, at least for some protocols. An important prerequisite to further advance this promising technology, now, is to gain a better understanding of how the significantly different compilation approaches that we developed so far, which vary in the amount of parallelism in their generated code, compare against each other. For instance, to better and more reliably tune our compilers, we must learn under which circumstances parallel protocol code, with high throughput but also high latency, outperforms sequential protocol code, with low latency but also low throughput.In this paper, we report on an extensive performance comparison between these approaches for a substantial number of protocols, expressed in Reo. Because we have always formulated our compilation technology in terms of a general kind of communicating automaton (i.e., constraint automata), our findings apply not only to Reo but, in principle, to any language whose semantics can be defined in terms of such automata.
Type de document :
Communication dans un congrès
Mehdi Dastani; Marjan Sirjani. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. Springer, Lecture Notes in Computer Science, LNCS-9392, pp.238-258, 2015, Fundamentals of Software Engineering. 〈10.1007/978-3-319-24644-4_17〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01446603
Contributeur : Hal Ifip <>
Soumis le : jeudi 26 janvier 2017 - 10:43:36
Dernière modification le : mercredi 20 décembre 2017 - 17:42:01
Document(s) archivé(s) le : jeudi 27 avril 2017 - 14:37:38

Fichier

978-3-319-24644-4_17_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Sung-Shik Jongmans, Farhad Arbab. Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code?. Mehdi Dastani; Marjan Sirjani. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. Springer, Lecture Notes in Computer Science, LNCS-9392, pp.238-258, 2015, Fundamentals of Software Engineering. 〈10.1007/978-3-319-24644-4_17〉. 〈hal-01446603〉

Partager

Métriques

Consultations de la notice

50

Téléchargements de fichiers

3