Lossless instruction-to-object memory tracing in the Linux kernel
Lossless instruction-to-object memory tracing in the Linux kernel
复制标题
Linux 内核中的无损指令到对象内存跟踪
DOI：
10.1145/3456727.3463767
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Dautenhahn, Nathan
中科院分区：
文献类型：
--
作者：
Roessler, Nick;Chien, Yi;Atayde, Lucas;Yang, Peiru;Palmer, Imani;Gray, Lily;Dautenhahn, Nathan
对Linux的行为缺乏可见性使得重构和维护变得困难。为了深入了解这个框架，我们介绍了一个自包含的低级跟踪框架，它跟踪内核中的（大多数）对象分配、数据访问和函数调用。核心洞察是一个以对象为中心的低级表示，它记录了详细的生命周期信息，同时将每个操作（调用/读取/写入）与其预期目标联系起来。我们使用大量的输入程序来评估Quantifizer，并通过展示Quantifizer如何（1）帮助重构，（2）通过对象覆盖来扩展代码覆盖以改善测试和分析，以及（3）识别泄漏抽象来证明其价值。我们还发布了一个大型数据集，可视化工具和Quantifizer的源代码。这种通用的、以对象为中心的方法是第一个提供无损的对象跟踪的方法，为过于复杂的Linux内核增加了一个基本的软件工程能力。
The lack of visibility into Linux's behavior makes it hard to refactor and maintain. To peerinside the box, we present Memorizer, a self-contained, low-level tracing framework that tracks (most) object allocations, data accesses, and function calls within the kernel. The core insight is a low-level object-centric representation that records detailed lifetime information while linking each operation (call/read/write) with its intended target. We evaluate Memorizer using extensive input programs and demonstrate its value by showing how Memorizer can (1) aid in refactoring, (2) extend code coverage withobject coverageto improve testing and analysis, and (3) identify leaky abstractions. We also release a large data set, visualization tools, and Memorizer's source. This generic, object-centric approach is the first to provide loss-less instruction-to-object tracing, adding an essential software engineering capability to the overly complex Linux kernel.
登录
查看更多内容
Linux内核的可维护性
DOI：
--
发表时间：
2002
期刊：
IEE Proceedings - Software
影响因子：
--
作者：
S. Schach;Bo Jin;David R. Wright;G. Heller;A. Offutt
通讯作者：
A. Offutt
DOI：
--
发表时间：
2003
期刊：
18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings.
影响因子：
--
作者：
Neelam Gupta;Zachary V. Heidepriem
通讯作者：
Zachary V. Heidepriem
BPF 性能工具
DOI：
--
发表时间：
2019
期刊：
影响因子：
--
作者：
B. Gregg
通讯作者：
B. Gregg
可观察的修改条件/决策覆盖率
DOI：
--
发表时间：
2013
期刊：
International Conference on Software Engineering
影响因子：
--
作者：
M. Whalen;Gregory Gay;Dongjiang You;M. Heimdahl;Matthew Staats
通讯作者：
Matthew Staats
使用 Linux eBPF 进行数据包过滤的性能影响
DOI：
10.1109/itc30.2018.00039
发表时间：
2018
期刊：
2018 30th International Teletraffic Congress (ITC 30)
影响因子：
--
作者：
D. Scholz;Daniel Raumer;Paul Emmerich;Alexander Kurtz;Krzysztof Lesiak;G. Carle
通讯作者：
G. Carle