Supporting Time-Based QoS Requirements in Software Transactional Memory

Walther Maldonado 1 Patrick Marlier 1 Pascal Felber 1 Julia Lawall 2 Gilles Muller 2 Etienne Rivière 1
1 IIUN - Institut d'Informatique [Neuchâtel]
2 Whisper - Well Honed Infrastructure Software for Programming Environments and Runtimes
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
Abstract : Software Transactional Memory (STM) is an optimistic concurrency control mechanism that simplifies parallel programming. Still, there has been little interest in its applicability for reactive applications in which there is a required response time for certain operations. We propose supporting such applications by allowing programmers to associate time with atomic blocks in the forms of deadlines and QoS requirements. Based on statistics of past executions, we adjust the execution mode of transactions by decreasing the level of optimism as the deadline approaches. In the presence of concurrent deadlines, we propose different conflict resolution policies. Execution mode switching mechanisms allow meeting multiple deadlines in a consistent manner, with potential QoS degradations being split fairly among several threads as contention increases, and avoiding starvation. Our implementation consists of extensions to a STM runtime that allow gathering statistics and switching execution modes. We also propose novel contention managers adapted to transactional workloads subject to deadlines. The experimental evaluation shows that our approaches significantly improve the likelihood of a transaction meeting its deadline and QoS requirement, even in cases where progress is hampered by conflicts and other concurrent transactions with deadlines.
Keywords : Categories and Subject Descriptors: D13 [Programming Techniques]: Concurrent Programming—Parallel Programming General Terms: Performance Reliability Additional Key Words and Phrases: Contention Management Fairness Quality of Service Scheduling Transactional Memory
Type de document :
Article dans une revue
ACM Transactions on Parallel Computing, Association for Computing Machinery, 2015, 2 (2), pp.27. 〈10.1145/2779621〉
Liste complète des métadonnées

Littérature citée [31 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01240225
Contributeur : Julia Lawall <>
Soumis le : mardi 8 décembre 2015 - 19:18:32
Dernière modification le : vendredi 31 août 2018 - 09:25:54
Document(s) archivé(s) le : samedi 29 avril 2017 - 09:55:19

Fichier

Maldonado_et_al_TOPC.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

UPMC | LIP6 | INRIA | INRIA-ROCQ

Citation

Walther Maldonado, Patrick Marlier, Pascal Felber, Julia Lawall, Gilles Muller, et al.. Supporting Time-Based QoS Requirements in Software Transactional Memory. ACM Transactions on Parallel Computing, Association for Computing Machinery, 2015, 2 (2), pp.27. 〈10.1145/2779621〉. 〈hal-01240225〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

471

Téléchargements de fichiers

145

Contact


archive-ouverte@inria.fr