Document Open Access Logo

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

Authors John Toman, Dan Grossman

PDF

Artifact Description

Thumbnail PDF
PDF
DARTS.4.3.2.pdf
  • Filesize: 261 kB
  • 2 pages

Document Identifiers

Subject Classification

Keywords
  • Static Analysis
  • Dynamic Configuration Updates

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

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.

Cite As Get BibTex

John Toman and Dan Grossman. Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact). In Special Issue of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018). Dagstuhl Artifacts Series (DARTS), Volume 4, Issue 3, pp. 2:1-2:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018) https://doi.org/10.4230/DARTS.4.3.2

Author Details

John Toman
Dan Grossman

Artifact

  MD5 Sum: 618a2a99707f1b283b2dd01abe0b68d8 (Get MD5 Sum)

Related Article

  • John Toman and Dan Grossman, "Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates", in 32nd European Conference on Object-Oriented Programming (ECOOP 2018), LIPIcs, Vol. 109, pp. 24:1-24:32, 2018. https://doi.org/10.4230/LIPIcs.ECOOP.2018.24
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact