Skip to Main content Skip to Navigation

The Omniscient Garbage Collector: a Resource Analysis Framework

Aurélien Deharbe 1 Frédéric Peschanski 1 
1 APR - Algorithmes, Programmes et Résolution
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : 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.
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Frédéric Peschanski Connect in order to contact the contributor
Submitted on : Tuesday, October 31, 2017 - 11:56:41 AM
Last modification on : Sunday, June 26, 2022 - 10:00:46 AM
Long-term archiving on: : Thursday, February 1, 2018 - 12:59:56 PM


Files produced by the author(s)


  • HAL Id : hal-01626770, version 1


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⟩



Record views


Files downloads