GOAL: Supporting General and Dynamic Adaptation in Computing SystemsVirtual
Adaptive computing systems automatically monitor their behavior and dynamically adjust their own configuration parameters—or knobs—to ensure that user goals are met despite unpredictable external disturbances to the system. A major limitation of prior adaptation frameworks is that their internal adaptation logic is implemented for a specific, narrow set of goals and knobs, which impedes the development of complex adaptive systems that must meet different goals using different sets of knobs for different deployments, or even change goals during one deployment.
To overcome this limitation we propose GOAL, an adaptation framework distinguished by its virtualized adaptation logic implemented independently of any specific goals or knobs. GOAL supports this logic with a programming interface allowing users to define and manipulate a wide range of goals and knobs within a running program. We demonstrate GOAL’s benefits by using it re-implement seven different adaptive systems from the literature, each of which has a different set of goals and knobs. We show GOAL’s general approach meets goals as well as prior approaches designed for specific goals and knobs. In dynamic scenarios where the goals and knobs are modified at runtime, GOAL achieves 93.7% of optimal (oracle) performance while providing a 1.69\times× performance advantage over existing frameworks that cannot perform such dynamic modification.
Fri 9 DecDisplayed time zone: Auckland, Wellington change
15:30 - 17:00 | Program Synthesis, Testing and AdaptationOnward! Papers at Seminar Room G100 Chair(s): Stefan Marr University of Kent | ||
15:30 30mTalk | Derivations with Holes for Concept-Based Program SynthesisIncludes Demo Onward! Papers João Costa Seco NOVA-LINCS; Nova University of Lisbon, Jonathan Aldrich Carnegie Mellon University, Luís Carvalho NOVA-LINCS; Nova University of Lisbon, Bernardo Toninho NOVA-LINCS; Nova University of Lisbon, Carla Ferreira NOVA-LINCS; Nova University of Lisbon DOI | ||
16:00 30mTalk | Intramorphic Testing: A New Approach to the Test Oracle Problem Onward! Papers DOI | ||
16:30 30mTalk | GOAL: Supporting General and Dynamic Adaptation in Computing SystemsVirtual Onward! Papers Ahsan Pervaiz University of Chicago, Yao Hsiang Yang Rice University, Adam Duracz Rice University, Ferenc Bartha Rice University, Ryuichi Sai Rice University, Connor Imes University of Chicago, Robert Cartwright Rice University, Krishna Palem Rice University, Shan Lu University of Chicago, Henry Hoffmann University of Chicago DOI |