The Omniscient Garbage Collector: a Resource Analysis Framework - Archive ouverte HAL
Rapport (Rapport Technique) Année : 2014

The Omniscient Garbage Collector: a Resource Analysis Framework

Aurélien Deharbe
  • Fonction : Auteur
  • PersonId : 954864

Résumé

In this technical report, we develop a framework for the analysis of resource usage in concurrent systems. We propose an oracle - the omniscient garbage collector (OGC) - that decides precisely the minimal resource consumption of a process: its resource index. The underlying theory is developed as a nominal automata framework, and applied to the specific problem of tracking resource usage. The framework is put into practice to track resource usage and consumption in pi-calculus processes. Two complementary abstractions are proposed: the first is based on the labelled transitions, while the second relies on a variant calculus - slice-pi - that enrich reductions with observations about the resource events. The two abstractions are tested experimentally on classical pi-calculus examples using a prototype analysis tool. In all the examples the resource index can be computed very quickly although in theory it is an NP-complete problem.
Fichier principal
Vignette du fichier
ogc-tecs.pdf (455.52 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01626770 , version 1 (31-10-2017)

Identifiants

  • HAL Id : hal-01626770 , version 1

Citer

Aurélien Deharbe, Frédéric Peschanski. The Omniscient Garbage Collector: a Resource Analysis Framework. [Technical Report] LIP6 UMR 7606 UPMC Sorbonne Universités, France. 2014. ⟨hal-01626770⟩
91 Consultations
78 Téléchargements

Partager

More