Skip to Main content Skip to Navigation
Conference papers

SEALS: A framework for building Self-Adaptive Virtual Machines

Abstract : Over recent years, self-adaptation has become a major concern for software systems that evolve in changing environments. While expert developers may choose a manual implementation when self-adaptation is the primary concern, selfadaptation should be abstracted for non-expert developers or when it is a secondary concern. We present SEALS, a framework for building self-adaptive virtual machines for domainspecific languages. This framework provides first-class entities for the language engineer to promote domain-specific feedback loops in the definition of the DSL operational semantics. In particular, the framework supports the definition of (i) the abstract syntax and the semantics of the language as well as the correctness envelope defining the acceptable semantics for a domain concept, (ii) the feedback loop and associated trade-off reasoning, and (iii) the adaptations and the predictive model of their impact on the trade-off. We use this framework to build three languages with self-adaptive virtual machines and discuss the relevance of the abstractions, effectiveness of correctness envelopes, and compare their code size and performance results to their manually implemented counterparts. We show that the framework provides suitable abstractions for the implementation of self-adaptive operational semantics while introducing little performance overhead compared to a manual implementation.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-03355253
Contributor : Gwendal Jouneaux Connect in order to contact the contributor
Submitted on : Monday, September 27, 2021 - 11:42:08 AM
Last modification on : Friday, August 5, 2022 - 2:54:52 PM
Long-term archiving on: : Tuesday, December 28, 2021 - 6:26:28 PM

File

SEALS-HAL.pdf
Files produced by the author(s)

Identifiers

Citation

Gwendal Jouneaux, Olivier Barais, Benoit Combemale, Gunter Mussbacher. SEALS: A framework for building Self-Adaptive Virtual Machines. SLE 2021 - 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, United States. pp.1-14, ⟨10.1145/3486608.3486912⟩. ⟨hal-03355253⟩

Share

Metrics

Record views

149

Files downloads

134