Agile Development of Linux Schedulers with Ekiben
针对Linux内核调度算法开发调试困难的问题，提出基于安全Rust的框架Ekiben，支持调度策略实时升级与用户空间调试，实现接近默认CFS的性能并支持多种研究调度器。
2023-06-26 cs.OS
Runtime Verification of Linux Kernel Security Module
Linux内核是最重要的自由/自由开源软件（FLOSS）项目之一。它安装在全球数十亿台设备上，处理各种敏感，机密或简单的私人数据。建立和证明其安全属性是至关重要的。这篇正在进行中的论文提出了一种方法来验证Linux内核是否符合用Event-B规约语言编写的抽象安全策略模型。该方法基于系统调用跟踪，旨在检查系统调用执行的结果不会导致违反安全策略要求的访问。作为它的基础，我们使用Linux系统调用接口的附加Event-B规范，该规范已被正式证明满足安全策略模型的所有要求。为了执行一致性检查，我们使用它来重现截获的系统调用并验证访问。
2020-01-06 cs.OS cs.SE
A Linux Kernel Scheduler Extension for Multi-core Systems
Linux内核主要是为多程序环境设计的，但高性能应用程序有其他要求。这样的应用程序是独立运行的，并且通常依赖于运行时系统来将应用程序的工作负载分布在工作线程上，每个核心一个。然而，由于当前OS的限制，跟踪工作器是否实际运行或由于例如请求的资源而被阻塞是不可行的。对于I/O密集型应用程序，这会导致性能显著下降，因为被阻塞线程的核心会变得空闲，直到它能够再次运行。在本文中，我们提出了一个名为用户监控线程（UMT）的Linux内核扩展的概念验证，它可以解决这个问题。我们的扩展允许用户空间进程在所选线程被阻塞或解除阻塞时得到通知，从而使运行时可以在空闲核心上调度额外的工作。我们在Linux Kernel 5.1上实现了该扩展，并调整了OmpSs-2编程模型的Nanos 6运行时以利用它。整个原型在两个应用程序上进行了测试，在测试的硬件和适当的条件下，报告了近2倍的加速比。
2020-04-14 cs.DC cs.OS
Joyride: Rethinking Linux's network stack design for better performance, security, and reliability
本文针对 Linux 传统 TCP/IP 栈在高端 NIC 上的性能瓶颈，提出 Joyride 框架，通过融合 DPDK 与用户空间 TCP/IP 栈并采用微内核式架构，在兼容现有应用的同时提升性能、安全性和可靠性。
2025-09-29 cs.OS
Rusty Linux: Advances in Rust for Linux Kernel Development
该研究综述 Rust 用于 Linux 内核开发的现状，分析其在内存安全、稳定性上的优势及互操作、性能和工具挑战，指出需持续实践与社区共识。
2024-09-06 cs.OS cs.SE
A Recurrent Neural Network Based Patch Recommender for Linux Kernel Bugs
生产环境中的软件错误会对服务质量造成不良影响，导致服务质量、计划外系统停机和良好客户体验中断，从而导致收入和声誉损失。现有的自动化软件错误修复方法集中在使用静态代码分析工具和测试套件检测到的已知错误模板上，以及针对这些错误自动生成补丁代码。我们描述了Linux内核中采用的典型错误修复过程，并激发了对新的自动化工具流来修复错误的需求。我们提出了这样一个自动化的工具，使用循环神经网络（RNN）的自然语言处理从用户生成的错误报告生成补丁建议的初始设计。在测试错误的第50个百分位数，正确的补丁出现在模型输出的前11.5个补丁建议中。此外，我们提出了一个Linux内核开发人员的质量评估建议新的未解决的内核错误的补丁。
2020-02-19 cs.CR cs.OS cs.SE
The eBPF Runtime in the Linux Kernel
本文系统阐述 Linux 内核中 eBPF 运行时的设计、实现、安全机制、生产应用与挑战，论证其已成为成熟的内核动态编程环境。
2024-10-03 cs.CE cs.OS
KernelOracle: Predicting the Linux Scheduler's Next Move with Deep Learning
Department of Electrical and Computer Engineering（电气与计算机工程系）；Virginia Polytechnic Institute and State University（弗吉尼亚理工大学）
本研究针对Linux内核CFS调度优化问题，构建了真实调度行为数据集，训练LSTM网络预测调度任务序列，探索数据驱动的通用自适应调度器路径并开源代码。
2025-05-21 cs.LG cs.OS
Where Linux Breaks Under Radiation: A Cross-Architecture Kernel-Level Characterization of Proton-Induced Failures in COTS SoCs
University of Luxembourg（卢森堡大学）；National Centre for Nuclear Research (NCBJ)（波兰国家核研究中心）；Institute of Nuclear Physics, Polish Academy of Sciences (IFJ PAN)（波兰科学院核物理研究所）；NASA Goddard Space Flight Center（美国宇航局戈达德太空飞行中心）；Shift5, Inc.（Shift5公司）
研究通过质子辐射测试三种Linux平台，揭示了内核子系统在辐射下的故障来源和传播路径，为改进商用Linux系统在轨道环境中的可靠性提供了针对性的缓解方案。
2026-05-20 cs.AR cs.OS
Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel
Read-Copy Update（RCU）是一种可伸缩的高性能Linux内核同步机制，它可以同时运行低开销的读取器和更新器。多核系统的生产质量RCU实现绝对是不平凡的。鉴于Linux的普遍性，一个罕见的“百万年”错误每天可能在安装的基础上发生几次。因此，严格验证RCU的复杂行为至关重要。由于可能执行的指数数量，因此穷举测试是不可行的，这建议使用形式化验证。以前对RCU的验证工作要么集中在简单的实现上，要么使用建模语言，后者需要容易出错的手动翻译，由于Linux内核的RCU实现经常发生变化，因此必须频繁重复。在本文中，我们首先描述了树RCU在Linux内核中的实现。然后，我们讨论了如何直接从Tree RCU的源代码中构造一个模型，并使用CBMC模型检查器来验证其安全性和活性。据我们所知，这是对RCU源代码重要部分的首次验证，也是将形式化验证集成到Linux内核回归测试套件中的重要一步。
2018-11-22 cs.DC cs.LO cs.OS
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
本文提出framekernel架构，通过OSTD框架以全安全Rust实现兼容Linux ABI的Asterinas操作系统，在性能媲美Linux的同时将内存安全TCB缩减至代码库的14%。
2025-06-04 cs.OS
Improving Block-level Efficiency with scsi-mq
当前一代固态存储设备在Linux内核的SCSI和块层中暴露出新的瓶颈，其中IO吞吐量受到锁争用、低效的中断处理和较差的内存局部性的限制。为了解决这些限制，Linux内核块层经历了blk-mq项目的重大重写，从单请求队列迁移到多队列模型。Linux SCSI子系统为了使用这个新模型（称为scsi-mq）而进行的修改已经被合并到Linux内核中，并且正在为即将到来的Linux 4.0内核中的dm多路径支持而进行工作。在具有高可用性要求的Lustre并行文件系统中，这些部分对于使用多队列块层是必要的。我们通过scsi-mq和dm-multipath补丁向Lustre添加了对3.18内核的支持，以评估这些效率改进的潜力。在本文中，我们评估的块级性能的scsi-mq与备份存储硬件代表的HPC目标的光泽文件系统。我们的研究结果表明，SCSI写请求延迟减少了多达13.6%。此外，在分析我们的原型Lustre文件系统的CPU使用情况时，我们发现Linux 3.18和blk-mq的CPU空闲时间比标准的2.6.32 Linux内核增加了7倍。我们的研究结果表明，即使在现有的并行文件系统中使用基于磁盘的缓存存储阵列的多队列块层的效率提高。
2015-04-28 cs.DC cs.OS
LearnedCache: eBPF-Integrated Perceptron-Based Eviction Policies for the Linux Page Cache
Linux Page Cache（Linux页面缓存）
提出LearnedCache，一种基于eBPF和单层感知器的Linux页面缓存驱逐策略，通过真实内核数据训练模型，在代表性工作负载下实现高达10%的插入率提升。
2026-08-03 cs.LG cs.OS
VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions
针对 Linux BPF 现有 Spectre 防御误拒大量真实程序的问题，提出 VeriFence 轻量精确增强机制，将应用拒绝率从54%降至零，并在跟踪、分析和包处理中保持低开销。
2025-01-08 cs.CR cs.OS
MigGPT: Harnessing Large Language Models for Automated Migration of Out-of-Tree Linux Kernel Patches Across Versions
State Key Lab of Processors, Institute of Computing Technology, CAS（处理器国家重点实验室，计算技术研究所，中国科学院）；University of Chinese Academy of Sciences（中国科学院大学）；Zhongguancun Laboratory（中关村实验室）；Tsinghua University（清华大学）
MigGPT通过新颖的代码指纹结构和三个精心设计的模块，提高非官方内核补丁迁移的准确性和效率，平均完成率达74.07。
2025-11-26 cs.AI cs.OS cs.SE
Assessing Code Authorship: The Case of the Linux Kernel
代码作者身份是大型开源系统中的关键信息。除其他外，它允许维护人员评估工作分工并确定关键合作者。有趣的是，开源社区缺乏关于如何管理作者身份的指导方针。这可以通过建立一个经验性的知识体系来缓解，该知识体系涉及作者相关措施如何在成功的开源社区中演变。朝着这个方向，我们对Linux内核进行了案例研究。我们的研究结果表明：（a）只有一小部分开发人员（26%）对代码库做出了重大贡献;（b）每个作者的文件数量分布是高度倾斜的-一小部分顶级作者（3%）负责数百个文件，而大多数作者（75%）负责最多11个文件;（c）大多数作者（62%）具有专家简介;（d）有大量共同作者关系的作者倾向于与关系较少的其他作者合作。
2017-03-08 cs.OS cs.SE cs.SI
kAgent: An execution-guided crash resolution agent for the Linux kernel
Department of Computer Science, Columbia University（哥伦比亚大学计算机科学系）；Google Inc.（谷歌公司）；Google DeepMind（谷歌DeepMind）
研究针对Linux内核崩溃修复难题，以内核开发者修复方式为灵感构建kAgent及支持工具栈，通过检查日志等步骤修复崩溃，消融特性定量分析，评估显示其能有效修复多种崩溃。
2026-07-07 cs.AI cs.OS cs.SE
eBPF-mm: Userspace-guided memory management in Linux with eBPF
本研究提出eBPF-mm方案，通过在Linux缺页路径新增eBPF钩子、构建用户可配置的页面大小策略框架，实现用户空间引导的自定义内存管理，并用DAMON分析工作负载热内存区域完成评估。
2024-09-17 cs.AR cs.OS
Case Study: Securing MMU-less Linux Using CHERI
本文提出利用 CHERI 能力系统，通过纯能力模式构建软件栈、ELF 级用户程序隔离、内核与用户能力表隔离以及 CompartOS 内核模块隔离四种机制，为无 MMU 的嵌入式 Linux 提供低成本的内存安全与隔离保障。
2024-01-18 cs.CR cs.OS
Adelie: Continuous Address Space Layout Re-randomization for Linux Drivers
虽然地址空间布局随机化（ASLR）已被广泛研究用于用户空间程序，但相应的操作系统内核的KASLR支持仍然非常有限，使内核容易受到即时（JIT）返回导向编程（ROP）攻击。此外，诸如Linux之类的商用OS由于架构约束（例如，x86-64对于大多数指令仅支持32位立即操作数），这使得它们由于低熵而容易受到甚至不复杂的蛮力ROP攻击。大多数内核指针保持静态，当指针泄漏时，问题会恶化。Adelie，我们的内核防御机制，克服了KASLR的限制，增加了KASLR熵，并使成功的ROP攻击Linux内核更难实现。首先，Adelie启用了位置无关代码（PIC）模型，这样内核及其模块就可以放置在64位虚拟地址空间中的任何位置，彼此之间的距离任意。其次，Adelie在模块上实现堆栈重新随机化和地址加密。最后，Adelie通过使用PIC模型为模块启用了高效的连续KASLR，使得无论gadget的来源如何，都（几乎）不可能通过这些模块注入ROP gadget。由于设备驱动程序（通常编译为模块）通常由第三方开发，并且通常比核心操作系统部分测试较少，因此它们通常也更容易受到攻击。通过完全重新随机化设备驱动程序，最后两个贡献一起防止了大多数JIT ROP攻击，因为易受攻击的模块很可能是攻击的起点。此外，虚拟化环境中的一些OS实例被专门指定为运行设备驱动程序，其中驱动程序是JIT ROP攻击的主要目标。我们的评估…
2022-01-20 cs.CR cs.OS
Flashmon V2: Monitoring Raw NAND Flash Memory I/O Requests on Embedded Linux
本文介绍了Flashmon第2版，一个用于监控嵌入式Linux NAND闪存I/O请求的工具。它专为包含原始闪存芯片的基于嵌入式板的设备而设计。Flashmon是一个内核模块，代表“flash monitor”。它通过在NAND驱动程序级别放置内核探测器来跟踪闪存I/O。它允许在运行时跟踪3个主要的闪存操作：页面读/写和块擦除。Flashmon是（1）通用的，因为它已在三种最广泛使用的闪存文件系统（JFFS 2、UBIFS和YAFFS）以及几种NAND芯片型号上成功测试。此外，它是（2）非侵入性的，（3）具有可控的内存占用，（4）在被跟踪系统上表现出低开销（<6%）。最后，它（5）易于集成并用作独立模块或现有内核源代码中的内置函数/模块。监视闪存操作允许通过研究和分析它们的行为来更好地理解现有闪存管理系统。此外，它在开发阶段对原型设计和验证新解决方案非常有用。
2013-09-06 cs.OS cs.PF
A Hardware Time Manager Implementation for the Xenomai Real-Time Kernel of Embedded Linux
如今，在不同的嵌入式项目中使用嵌入式操作系统的情况正在急剧增长。嵌入式Linux以其模块化、高效性、可靠性和成本优势成为最受欢迎的嵌入式操作系统之一。使其难以实时的【形】的一种方法是包括一个实时的【形】内核，如Xenomai。实时的【形】操作系统（RTOS）的关键特征之一是它能够确定性地满足执行时间期限。因此，时间管理的精确性和灵活性越高，就越能有效地处理不同嵌入式应用的确定性。RTOS时间精度的特征在于由软件时间管理器控制的特定周期性中断服务。中断的周期越小，RTOS的精度越高，它使CPU过载越多，但降低了RTOS的整体效率。在本文中，我们建议通过将Xenomai的时间管理服务迁移到一个可配置的硬件组件来减轻CPU，从而大大减少这些开销。硬件组件在耦合到CPU的现场可编程门阵列中实现。这项工作是在硕士学位项目中完成的，学生可以了解嵌入式系统的许多领域：RTOS编程，硬件设计，性能评估等。
2012-08-31 cs.AR cs.OS cs.PF
Understanding and Enhancing Linux Kernel-based Packet Switching on WiFi Access Points
本文通过宏观与微观实验分析，揭示Linux内核在WiFi AP上以太网与WiFi间数据包交换的统计陷阱及路径与核心配置对性能和功耗的影响，并发现WiFi到以太网路径多核利用更优、功耗更低。
2024-08-02 cs.AR cs.NI cs.OS
Beyond Control: Exploring Novel File System Objects for Data-Only Attacks on Linux Systems
本文研究 Linux 内核文件子系统中的非控制数据攻击，提出静态与动态结合的半自动分析测试框架，发现并分类新型可利用文件系统对象，且通过 18 个 CVE 和 10 个端到端利用验证其有效性。
2024-09-07 cs.CR cs.OS
Interference-free Operating System: A 6 Years' Experience in Mitigating Cross-Core Interference in Linux
本文总结了6年来缓解Linux跨核性能干扰的工业实践，通过修复多个子系统问题，显著降低了最坏情况抖动与延迟并提升了可调度性，为系统开发者提供了消除跨核干扰的经验与建议。
2024-12-24 cs.OS
Kernel/User-level Collaborative Persistent Memory File System with Efficiency and Protection
新兴的高性能非易失性存储器使人想起高效文件系统设计的重要性。为了避免这些基于内核的文件系统中的虚拟文件系统（VFS）和系统调用开销，最近的工作直接在用户级部署文件系统。不幸的是，一个用户级的文件系统很容易被错误的程序和误用的指针破坏，并且很难在包含集中式协调服务的多核平台上扩展。在本文中，我们提出了KucoFS，内核和用户级的协作文件系统。它由两部分组成：一个带有直接访问接口的用户级库，以及一个内核线程，它执行元数据更新并通过切换页表中的权限位来强制执行写保护。因此，KucoFS实现了用户级设计的直接访问和内核级设计的细粒度写保护。我们进一步探索其可扩展性的多核：元数据的可扩展性，KucoFS重新平衡内核和用户空间之间的路径名解析开销，通过采用索引卸载技术。为了提高数据访问效率，协调内核空间和用户空间的数据分配，并采用范围锁写和无锁读的方式提高并发性。在Optane DC持久内存上的实验表明，KucoFS的性能明显优于现有的文件系统，并表现出更好的可扩展性。
2019-08-28 cs.OS
Scheduling Analysis of UAV Flight Control Workloads on PREEMPT_RT Linux Using a Raspberry Pi 5
Mälardalen University（马尔达LEN大学）；ReTiS Lab, Scuola Superiore Sant’Anna（ReTiS实验室，圣安娜高等学院）
通过分析Raspberry Pi 5上PREEMPT_RT Linux内核的激活路径对250 Hz控制回路的影响，发现标准内核最差延迟超过9 ms，而PREEMPT_RT将最差延迟降低约88%至225微秒以下，但剩余抖动主要由硬件内存争用引起。
2026-06-02 cs.OS cs.RO cs.SY
ContractWarden: Kernel-Enforced Damage Boundaries for AI Agents via Human-Authorized Contracts
School of Cyber Science and Technology, University of Science and Technology of China（中国科学技术大学网络空间安全学院）；China Greatwall Technology Group Co., Ltd.（中国长城科技集团股份有限公司）
ContractWarden通过人类授权契约和eBPF/LSM内核数据平面，为AI智能体强制执行确定性损害边界，实验验证了低开销与高安全性。
2026-10-01 cs.CR cs.OS
Behind a Simple Read: Understanding Work and Waiting in the Linux I/O Stack
National University of Defense Technology（中国人民解放军国防科技大学）
本文通过分解 Linux 缓冲读取路径，提出跨层等待链模型，量化设备等待并验证优化机会，为分层 I/O 栈性能决策提供可测量基础。
2026-10-08 cs.OS
MOAT: Towards Safe BPF Kernel Extension
本文提出 MOAT 系统，利用英特尔 MPK 硬件隔离潜在恶意的 BPF 程序，以弥补 BPF 验证器的安全缺陷，并在 Linux 上实现低开销隔离。
2024-06-07 cs.CR cs.OS
Compact NUMA-Aware Locks
现代多套接字架构表现出非均匀存储器访问（NUMA）行为，其中核对套接字上本地缓存的数据的访问比对远程套接字上缓存的数据的访问快得多。以前的工作提供了几个有效的NUMA感知锁，通过将锁所有权保持在同一个套接字上来利用这种行为，从而减少远程缓存未命中和套接字间通信。然而，实际上所有这些锁本质上都是分层的，因此需要与套接字数量成比例的空间。内存开销的增加使得NUMA感知锁不适合那些意识到同步结构的空间需求的系统，Linux内核就是主要的例子。在这项工作中，我们提出了一个紧凑的NUMA感知锁，只需要一个字的内存，无论在底层机器的套接字的数量。新锁是高效（NUMA无关）MCS锁的变体，并继承了其性能特性，例如本地旋转和获取路径中的单个原子指令。与MCS不同，新锁将等待线程组织在两个队列中，一个队列由与当前锁持有者在同一套接字上运行的线程组成，另一个队列由在不同套接字上运行的线程组成。我们将新锁集成到Linux内核的qspinlock中，这是内核中的主要同步结构之一。我们使用用户空间和内核基准测试的评估表明，新锁具有MCS的单线程性能，但在争用下明显优于后者，与其他需要更多空间的最先进的NUMA感知锁相比，实现了类似的性能水平。
2019-03-01 cs.OS
Blindfold: Confidential Memory Management by Untrusted Operating System
针对现有机密计算方案导致OS内存优化失效或TCB复杂化的问题，提出Blindfold设计，通过Guardian组件及三种技术增强现有方案，实现不可信OS下的机密内存管理，TCB更小、性能有竞争力，仅需少量内核修改。
2024-12-05 cs.CR cs.OS
TuneAgent: Agentic Operating System Kernel Tuning with Reinforcement Learning
Institute of Software, Chinese Academy of Sciences（中国科学院软件研究所）；University of Chinese Academy of Sciences（中国科学院大学）；Nanyang Technological University（南洋理工大学）
提出TuneAgent框架，利用基于规则的强化学习使大语言模型自主探索Linux内核空间，通过结构化奖励函数和两阶段训练策略解决稀疏反馈问题，实现高达5.6%的性能提升。
2026-05-31 cs.AI cs.LG cs.OS
Augmenting Operating Systems With the GPU
在操作系统研究中，最流行的异构众核平台（CPU+GPU组合）受到的关注相对较少。这个平台已经被广泛部署：GPU可以以某种形式在大多数台式机和笔记本电脑中找到。现代GPU不仅用于图形处理，而且已经证明它们的通用性足以适应其他应用程序。虽然GPU具有可以在系统软件中利用的优势，但这仍然是一种尚未开发的资源。我们认为，增强操作系统内核与GPU计算能力打开了大门，一些新的机会。GPU可以用来加速一些内核功能，使其他功能更好地扩展，并使将一些计算繁重的功能引入内核变得可行。我们提出了我们的框架使用GPU作为一个协处理器从操作系统内核，并在Linux中演示了一个原型。
2013-05-15 cs.OS
Multitasking Programming of OBDH Satellite Based On PC-104
车载数据处理（OBDH）具有监视、控制、采集、分析、决策和执行命令的功能。OBDH应组织子系统之间的任务。OBDH就像一个心脏，具有重要的功能。由于该功能的重要性，因此OBDH的设计和实现都要慎重，以保证其可靠性。许多OBDH已经被用来支持使用原始编程的卫星任务。在处理各种输入的数据时，OBDH应始终对所有子系统可用，当任务较多时，不容易使用原始程序设计。有时数据会损坏，因为到达OBDH的数据是在同一时间。因此，需要有一种方法来安全地处理数据，并且从编程的角度来看也很容易。在这项研究中，OBDH的编程使用多任务编程的角度已经创建。操作系统（OS）已经实现，以便可以同时运行任务。通过为特定处理器配置Linux内核、创建根文件系统（RFS）、安装BusyBox来准备操作系统。为了实现上述方法，在我们的机器上准备了环境，他们安装了交叉工具链，U-Boot，GNU-Linux内核源代码等。之后，可以使用C代码进行多任务编程。通过使用上述方法，可以使编程变得简单，并可以减少由于重入而导致的数据损坏。关键词-操作系统，PC-104，内核，C编程
2015-10-09 cs.OS
BULKHEAD: Secure, Scalable, and Efficient Kernel Compartmentalization with PKS
本文提出 BULKHEAD，利用 Intel PKS 和轻量级内核监控器为无限数量内核隔离区提供双向隔离，并在 Linux v6.1 上实现 LKM 隔离，兼顾安全、可扩展性与低开销。
2024-09-15 cs.CR cs.OS
Scalable Range Locks for Scalable Address Spaces and Beyond
范围锁是一种同步构造，旨在提供对多个线程（或进程）的并发访问，以分离共享资源的各个部分。范围锁最初是在文件系统上下文中构思的，在Linux内核社区中越来越受到关注，试图减轻虚拟内存管理子系统中的瓶颈。然而，内核中范围锁的现有实现使用内部旋转锁来保护底层树结构，该结构跟踪获取和请求的范围。当频繁获取范围锁时，此旋转锁本身就成为争用点。此外，在何处以及如何确定具体的（精确的）范围仍然是一个悬而未决的问题。在本文中，我们做了两个独立的，但相关的贡献。首先，我们提出了一种基于链表构建范围锁的替代方法。列表很容易以无锁的方式维护，事实上，我们的范围锁在常见情况下不使用任何内部锁。其次，我们展示了如何通过投机机制在mprotect操作中细化锁的范围。这种改进又允许在非重叠存储器区域上并发执行mprotect操作。我们实现了我们的新算法，并证明了它们在用户空间和内核空间的有效性，实现了9个$\times$加速比股票版本的Linux内核。除了虚拟内存管理子系统之外，我们还讨论了范围锁在并行软件中的其他应用。作为一个具体的例子，我们展示了如何范围锁可以用来促进可扩展的并发数据结构，如跳表的设计。
2020-06-22 cs.DC cs.OS
SafeBPF: Hardware-assisted Defense-in-depth for eBPF Kernel Extensions
针对eBPF框架因内存安全漏洞被限制为仅特权用户使用的问题，提出通用安全设计SafeBPF，通过纯软件SFI或ARM MTE硬件辅助隔离eBPF程序与内核，在宏基准测试最高4%开销下实现预期安全属性。
2024-09-11 cs.CR cs.OS
