On the automatic evolution of an OS kernel using temporal logic and AOP
On the automatic evolution of an OS kernel using temporal logic and AOP
复制标题
使用时态逻辑和 AOP 的操作系统内核自动演化
DOI：
--
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
A. L. Meur
中科院分区：
文献类型：
--
作者：
Rickard A. Åberg;J. Lawall;Mario Südholt;Gilles Muller;A. L. Meur
自动化软件演化需要精确识别受影响的程序点并在每个点选择适当的修改。当考虑大型程序时，即使修改看起来是系统性的，这项任务也特别复杂。我们在不断发展 Linux 内核以支持 Bossa 的背景下说明这种情况，Bossa 是一种用于进程调度程序开发的基于事件的框架。为了支持 Bossa，必须在整个内核中分散的点添加事件。在每种情况下，事件的选择取决于一个或一系列指令的属性。为了精确描述事件的选择，我们建议通过使用一组规则来指导事件插入，相当于描述每个事件应在其中生成的控制流上下文的方面。在本文中，我们介绍了我们的方法并描述了允许正确插入事件的规则集。这些规则使用时间逻辑来描述需要插入事件的指令序列。我们还概述了我们开发的用于自动执行此演变的实现。
Automating software evolution requires both identifying precisely the affected program points and selecting the appropriate modification at each point. This task is particularly complicated when considering a large program, even when the modifications appear to be systematic. We illustrate this situation in the context of evolving the Linux kernel to support Bossa, an event-based framework for process-scheduler development. To support Bossa, events must be added at points scattered throughout the kernel. In each case, the choice of event depends on properties of one or a sequence of instructions. To describe precisely the choice of event, we propose to guide the event insertion by using a set of rules, amounting to an aspect that describes the control-flow contexts in which each event should be generated. In this paper, we present our approach and describe the set of rules that allows proper event insertion. These rules use temporal logic to describe sequences of instructions that require events to be inserted. We also give an overview of an implementation that we have developed to automatically perform this evolution.