Creative Commons Attribution 3.0 Germany license (CC BY 3.0 DE)when quoting this document, please refer to the following
DOI: 10.4230/DARTS.4.3.2
URN: urn:nbn:de:0030-drops-92342
URL: https://drops.dagstuhl.de/opus/volltexte/2018/9234/
Toman, John ; Grossman, Dan
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact)
| pdf-format: |
|
|
| artifact-format: |
|
Abstract
This artifact supports Legato, an at-most-once analysis. An at-most-once analysis ensures that an application never observes inconsistent versions of its environment by checking that every value depends on at most one access of every external resource used by the application. We have applied this general analysis to the problem of finding errors in applications that support dynamic configuration updates (DCU), i.e., configuration updates that are applied immediately without program restart. When configurations may change at any point during execution, the enforcing the at-most-once condition for each configuration option guarantees that the program never observes inconsistent versions of configuration options. This artifact recreates our experiments, which applied Legato to 10 applications that support DCU and found several bugs across 9 of the 10 programs.
BibTeX - Entry
@Article{toman_et_al:DARTS:2018:9234,
author = {John Toman and Dan Grossman},
title = {{Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact)}},
pages = {2:1--2:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2018},
volume = {4},
number = {3},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9234},
doi = {10.4230/DARTS.4.3.2},
annote = {Keywords: Static Analysis, Dynamic Configuration Updates}
}
| Keywords: | Static Analysis, Dynamic Configuration Updates | |
| Seminar: | DARTS, Volume 4, Issue 3 | |
| Related Scholarly Article: | https://dx.doi.org/10.4230/LIPIcs.ECOOP.2018.24 | |
| Issue date: | 2018 | |
| Date of publication: | 05.07.2018 |
