G.O.S.S.I.P 阅读推荐 2023-06-20 火热的OS~

端午节假期期间，我们将会迎来非常有特色的操作系统研究workshop——HotOS的第19届会议，作为操作系统领域小而美的学术会议，HotOS每年都有很多不逊于旗舰会议的论文发表，今年又有什么内容呢？快随我们一起去看看。

作为操作系统领域的狗大户，微软的研究人员必须也总是会积极发表论文，特别是今年，要不遗余力地推销GPT，于是就有了这篇 HotGPT: How to Make Software Documentation More Useful with a Large Language Model?

https://sigops.org/s/conferences/hotos/2023/papers/su.pdf

在这篇论文中，作者指出，代码中的注释和代码配套的文档，过去一直是重要的信息来源，当GPT出现之后，这些信息可以进一步为人工智能所用。基于此，作者搞出来了一套GPT的新用法，具体到开发过程中，可以做三项任务：

任务一：用GPT阅读注释，然后生成（特定的）总结代码

在这个任务中， GPT能够分析代码的注释，然后根据注释中描述的约束条件，总结出特定的代码（如下面两幅图所示）：

任务二：用GPT阅读注释，然后分析出需要加锁的变量

这个任务的想法是HotOS 2005的工作HotComments首先提出的，通过NLP分析代码的注释，总结出代码中需要加锁的变量。经过了10多年的发展，在GPT的加持下，作者对当年论文中测试过的arch、drivers、fs、kernel和mm五个模块进行了重新测试（代码也选择了2006年的Linux发行版），结果表明，自然语言处理非常适合判定那些negative（也就是不存在需要加锁的情况）的代码，也就是说，在很多执行精确程序分析的任务之前，可以用GPT来高效地过滤掉不需要分析的代码。

任务三：用GPT分析代码文档，确定配置选项

除了分析代码的注释，作者还用GPT去处理代码的文档，然后自动分析哪些函数参数是和程序运行的性能相关的配置参数。在这个任务中，似乎并不需要写一个很复杂的prompt就可以完成任务：

我们要介绍的第二篇HotOS 2023论文跟内核安全相关，这篇论文 Evolving Operating Systems Towards Secure Kernel-Driver Interfaces 关注了内核驱动的安全隔离问题

https://sigops.org/s/conferences/hotos/2023/papers/burtsev.pdf

这篇论文的中心思想，首先讨伐了当前的isolation框架的策略——高频的access control。作者认为，与其每次访问内存都要去检查权限，还不如将复杂的数据（复制）拆分成敏感部分和不敏感部分，敏感的部分只能由可信的代码处理，不可信代码则根本看不到。下图展示的就是对struct sk_buff类型的数据的拆分，以及将敏感部分放在private heap之后再进行处理的过程：

最后简单介绍一下论文 CPU-free Computing: A Vision with a Blueprint，这篇论文对当前各类硬件（包括GPU、网卡、存储器和FPGA等）提供的计算能力进行了总结，指出越来越多的外设完全可以不在CPU参与的情况下进行计算，这可能是未来的性能优化的一个大趋势：

https://sigops.org/s/conferences/hotos/2023/papers/trivedi.pdf

最后提一下，HotOS不仅提供了所有论文的PDF自由访问，还很贴心的为大家提供了免费的线上开放访问，任何人都可以通过Zoom远程旁听（但是如果要互动，只有一些有限的参与机会哦）。所以端午节大家知道该做什么了吗 ：）

https://sigops.org/s/conferences/hotos/2023/zoom.html

原文始发于微信公众号（安全研究GoSSIP）：G.O.S.S.I.P 阅读推荐 2023-06-20 火热的OS~