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 metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01626770
Contributor : Frédéric Peschanski <>
Submitted on : Tuesday, October 31, 2017 - 11:56:41 AM
Last modification on : Thursday, March 21, 2019 - 1:09:33 PM
Long-term archiving on : Thursday, February 1, 2018 - 12:59:56 PM

File

ogc-tecs.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01626770, version 1

Citation

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⟩

Share

Metrics

Record views

67

Files downloads

80