License: 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
Go back to Dagstuhl Artifacts Series

Toman, John ; Grossman, Dan

Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact)

DARTS-4-3-2.pdf (0.3 MB)


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

  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 =		{},
  doi =		{10.4230/DARTS.4.3.2},
  annote =	{Keywords: Static Analysis, Dynamic Configuration Updates}

Keywords: Static Analysis, Dynamic Configuration Updates
Collection: DARTS, Volume 4, Issue 3
Related Scholarly Article:
Issue Date: 2018
Date of publication: 05.07.2018

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI