第20届欧洲计算机系统大会（The European Conference on Computer Systems, EuroSys）近日召开，南京大学计算机软件所团队的论文《Understanding the Linux Kernel, Visually》荣获 EuroSys 最佳学生论文奖（Best Student Paper Award）。
Linux 内核的庞大规模使其调试成为长期公认的难题。数十年来，开发者始终依赖 GDB 等传统工具进行内核调试，不得不付出庞大的代价来探查和理解现代内核极度复杂的运行时程序状态。本文提出了首个 Linux 内核可视化调试框架 Visualinux，该框架基于“理解程序状态的本质在于化简对象图”这一核心洞察，创新性地设计了由两层领域专用语言 (DSL) 构成的化简机制，使开发者仅需付出较低的编程代价，即可将庞大而复杂的内核状态化简为便于可视化理解的状态视图。实验表明，Visualinux 能够处理内核中各类复杂的数据结构和系统模块，并且能够有效辅助开发者调试真实的内核缺陷。论文相关工具已开源，并获得了 ACM Artifact Evaluation 的 Available、Functional、Reusable 三项认证。工具地址：https://icsnju.github.io/visualinux/。
EuroSys是计算机系统领域的国际顶级学术会议之一，也是中国计算机学会推荐的A类国际学术会议，至今已举办 20 届。本届会议共收到 696 篇投稿，最终录用论文 85 篇（录用率12.4%），并评选出两个最佳论文奖和两个最佳学生论文奖。该论文工作由南京大学软件所团队独立完成，论文作者为刘瀚之博士生、蒋炎岩副教授和许畅教授。
