Minimal Observability and Privacy Preserving Compensation for Transactional Services

Debmalya Biswas 1 Blaise Genest 2
2 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : For complex services composed of many (component) services, logging is an integral middleware aspect, especially for providing transactions and monitoring. In the event of a failure, the log allows us to deduce the cause of failure (diagnosis) and recover by compensating the executed services (atomicity). However, for heterogeneous services with parts of the functionality provided by multiple organizations, logging details of all executed services is often impracticable due to privacy/security constraints. Also, logging is expensive in terms of both time and space. Thus, we are interested in determining the minimal number of services that need to be logged, and which is still sufficient to know with certainty the actual sequence of executed services from any given log. Further to privacy issues, the complexity of determining a minimal set of such services to log is actually NP-Complete. To solve {\em both issues}, we resort to considering each component service as a grey box. Logs are recorded and kept local to each component, and a black-box view of the implementation details of each component is provided. In particular, a service which is reused as a component several times (often observed in real-life services) need not be re-computed each time. We show that this dramatically decreases the complexity up to 2 exponentials. For large monolithic component services that cannot be decomposed simply, we also provide heuristics to compute a small (but not necessarily minimal) number of services to log, and experimentally analyze their accuracy and performance.
Type de document :
Article dans une revue
Discrete Event Dynamic Systems, Springer Verlag, 2014, 24 (4), pp.611-646. 〈10.1007/s10626-013-0177-z〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00916645
Contributeur : Blaise Genest <>
Soumis le : mardi 10 décembre 2013 - 15:06:45
Dernière modification le : mercredi 16 mai 2018 - 11:24:06
Document(s) archivé(s) le : samedi 8 avril 2017 - 05:45:25

Fichier

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

Identifiants

Citation

Debmalya Biswas, Blaise Genest. Minimal Observability and Privacy Preserving Compensation for Transactional Services. Discrete Event Dynamic Systems, Springer Verlag, 2014, 24 (4), pp.611-646. 〈10.1007/s10626-013-0177-z〉. 〈hal-00916645〉

Partager

Métriques

Consultations de la notice

362

Téléchargements de fichiers

156