arXiv cs.OS 周报 (20260907~20260913)

arXiv cs.OS 周报 (20260907~20260913)

共 6 篇 · 主要子类:cs.OS: 6, cs.AI: 2, cs.DB: 1 · 20260907-20260913
Generated by tanar · 2026-09-15 04:04

arXiv cs.OS 周报 (20260907 ~ 20260913)

本周共收录 6 篇 cs.OS 相关论文。论文数量较少但质量集中——4/6 篇围绕 LLM/AI 工作负载驱动的 OS 创新展开,覆盖 offloading、调度、内存压缩、功耗管理四大方向,另有 1 篇内核 I/O 瓶颈分析和 1 篇 RISC-V 虚拟化工作。

📖 深度解读

SeqMoE: Toward Full-Load Performance via Predictive and Graph-Compatible MoE Offloading

Zihan Wang, Yuqi Wang, Lei Gong (+ et al.) · USTC · 2026-09-11

🎯 核心问题
MoE 模型只有一小部分 expert 被激活,理论上只需把激活的 expert 加载到显存即可接近满载性能。但实际 offloading 中,expert 预测不准、预取调度低效、缓存驱逐策略缺乏前瞻性、以及计算图被 offloading 运行时打断导致端到端瓶颈,使得 MoE 的结构优势无法兑现。

🔧 关键方法
SeqMoE 提出四层创新:(i) 将 expert 激活预测重构为 sequence-to-sequence 建模,实现多步、多层联合预测,提供长且可靠的预取窗口;(ii) 将预取调度形式化为"带截止期的作业排序"问题(Job Sequencing with Deadlines),最大化预期命中数并提升带宽效率;(iii) 利用序列建模的递归特性,设计概率性 Belady 策略做未来感知的缓存驱逐;(iv) 提出 graph-compatible offloading 运行时——计算透明的 expert placement + 无同步编排,支持端到端计算图捕获。这和以往基于启发式预取或逐层调度的 offloading 方案有本质差异。

📊 实验或论据
在 45% expert 驻留率(即 55% 靠 offloading)条件下,SeqMoE 平均 expert 命中率达 96.97%,达到满载性能的 80.22%。abstract 未给出具体硬件型号和 baseline 对比细节,但从指标看是在真实 MoE 模型上端到端评估。

⚠️ 局限
📄 abstract 未提及预测模型本身的训练开销和对新模型架构的泛化能力,也未讨论 GPU 带宽波动下的鲁棒性。96.97% 命中率虽高,剩余 3% miss 在大模型推理中可能造成显著尾延迟。

💼 对系统人的启示
这篇把 MoE offloading 从"逐层被动加载"提升到"序列预测 + 全图编排"的高度,思路可直接迁移到任何稀疏激活模型的服务框架中。序列预测预取的范式对 CXL memory pooling 等场景也有借鉴价值。

Invisible Yet Dominant: Big Stalls of Kernel I/O Mechanisms in Cloud OLTP Databases

Mitsumasa Kondo · 2026-09-11

🎯 核心问题
PostgreSQL、RocksDB、AI KV-cache 中间件都依赖 buffered I/O,把 write-back 委托给 Linux 内核。在云上分布式块存储中,每个设备只有一个内核 flusher 线程通过高延迟浅队列路径排水。当排水跟不上时,dirty throttling 会暂停 write() 系统调用,甚至需要驱逐脏页的 read 也会 stall。这些 stall 对 iostat 和所有标准计数器不可见。

🔧 关键方法
作者用 eBPF 探针挂到 writeback 和 block tracepoint 上,按 issuing context 分离 write-back 流量,并统计每次 throttle pause。实验杠杆来自 SteelDB 提出的多卷数据放置策略——在相同 IOPS 和带宽配置下,分别用 1/2/4 个设备进行对比。核心 insight 是:瓶颈不在带宽,而在排水通道数量——每个设备只有一个 flusher 线程。

📊 实验或论据
在三种配置(1/2/4 设备,相同 IOPS 和带宽)下,增加排水通道(而非带宽)将 throttle pause 减少 70%,最大事务延迟降低 59%,吞吐提升 23%。这是一篇 poster,实验规模可能有限但发现尖锐。

⚠️ 局限
作为 poster,实验仅用 SteelDB 的数据放置作为 lever,未覆盖其他数据库引擎或不同内核版本的行为差异。多卷放置本身的放置开销未讨论。

💼 对系统人的启示
这篇揭示了一个被忽视的内核瓶颈:buffered I/O 在云块存储上的 flusher 单点问题。对做云数据库性能调优的工程师来说,eBPF 探针方法可直接拿来诊断生产环境。多卷放置策略值得关注,因为它暗示内核 writeback 子系统需要多队列化改造。

AKTS: Sub-Microsecond Kernel Policy Switching for Language-Model Agents

Mohammadali Khodabandehlou, Mahdi Alizadeh · 2026-09-10

🎯 核心问题
GPU-backed LLM 服务器在同一 CPU 上复用交互请求和后台批处理。请求突发时应保护 time-to-first-token,空闲时应让后台任务推进。固定内核调度策略无法兼顾两个目标,需要 agent 按工作负载切换调度策略。难点在于:调度器事件每 1-10μs 触发一次,切换代码必须通过 eBPF verifier,而运行时生成新 eBPF 代码会引入编译/验证/加载延迟甚至 verifier 拒绝。

🔧 关键方法
AKTS 的核心思路是"预验证策略库 + 运行时索引切换":在 load time 一次性验证一组 eBPF 策略(policy library),运行时 agent 只需写一个整数索引到 in-kernel 数组,通过 tail call 解析该索引执行对应策略。因为 agent emit 的是索引而非代码,verifier 失败不可能在运行时发生。这与运行时生成 eBPF 代码的方案(如 CO-RE 动态生成)形成鲜明对比——把验证开销全部前移。

📊 实验或论据
在 Linux 6.14 上实测:策略切换 p50 延迟 920ns,与 scalar 写入速度相当但切换的是完整策略;在 60,217 次调度器调用中验证无效索引的安全性(inert);在 vLLM 工作负载中,捕获了 throughput 策略 97% 的批处理能力,同时匹配了 latency 策略的突发响应。

⚠️ 局限
策略库大小受 tail call 限制(eBPF tail call 有限制),agent 能表达的政策空间被预定义库覆盖。abstract 未讨论策略库的自动生成或 agent 如何学习选择正确索引。

💼 对系统人的启示
AKTS 展示了 eBPF 的一种新用法模式——"预验证多策略 + 索引切换",这种模式可泛化到任何需要低延迟策略切换的内核子系统(如网络 QoS、内存回收策略)。对于做 LLM serving 系统的工程师,这是 agent-controlled kernel 的一个可行工程路径。

Memory Compression for High-Fanout Agent Sandboxes

Mengming Li, Ceyu Xu, Qijun Zhang (+ et al.) · 2026-09-10

🎯 核心问题
AI agent 工作负载中单个任务可能 spawn 大量并发 sandbox session,这些 sandbox 源自同一模板且执行相关轨迹,存在大量模板相对和跨 sandbox 的内存冗余。传统内存压缩在三个维度不适配:how(无法利用非相同页的相似性)、what(保守选页导致压缩率低)、when(仅在内存压力时触发,不感知 agent 执行阶段)。

🔧 关键方法
AgentZip 针对三个维度逐一解决:(i) 压缩机制利用模板相对和跨 sandbox 冗余(而非仅相同页去重);(ii) 扩大压缩范围到任何有利可图的页,将开销控制从压缩时选页转移到恢复时预取;(iii) 将昂贵压缩操作对齐到 LLM 等待期,避免干扰前台工具执行。这和传统 zswap/zram 的"压力触发 + LRU 选页"范式根本不同。

📊 实验或论据
在 LLM 训练和推理工作负载上,AgentZip 将 sandbox 占用内存减少最多 8.7x(Linux 基线仅 2.1x)。恢复预取和 agent 执行感知调度将激进压缩的 slowdown 从最高 3.1x 降到 1.40x,同时保留几乎全部内存节省收益。

⚠️ 局限
📄 abstract 未提及压缩元数据的内存开销、以及对非 agent 工作负载的适用性。8.7x 的压缩率可能依赖特定模板结构,泛化性待验证。

💼 对系统人的启示
AgentZip 揭示了一个重要趋势:AI agent 工作负载正在催生新的 OS 内存管理需求。模板相对冗余压缩的思路可迁移到容器镜像内存共享、进程 fork 后 COW 优化等场景。将压缩对齐到 LLM 等待期的时间维度创新值得借鉴。

Violet: Enabling Full Virtualization for M-mode RTOS on RISC-V

Taro Kito, Ryosuke Yamamoto, Keisuke Horii (+ et al.) · 2026-09-09

🎯 核心问题
RISC-V 的虚拟化扩展只覆盖 U-mode(应用)和 S-mode(通用 OS),而 M-mode(FreeRTOS/Zephyr 等 RTOS 运行的特权级)被排除在虚拟化之外。这意味着无法用标准虚拟化扩展在 VM 中运行未修改的 M-mode RTOS,而嵌入式系统同时需要 RTOS 和 GPOS 共存的场景越来越普遍。

🔧 关键方法
Violet 将 RISC-V 硬件虚拟化扩展与软件模拟结合:对 S-mode/U-mode 走硬件虚拟化路径,对 M-mode 采用软件模拟(trap-and-emulate M-mode CSR 访问、中断控制器交互等)。这使得未修改的 M-mode RTOS 可在 VM 中运行,同时与 Linux GPOS 共存。这和 ARM 上用 EL2 hypervisor + EL1 trap 模拟 RTOS 的思路类似,但 RISC-V 的 M-mode 是架构独有的特权级设计。

📊 实验或论据
使用 RISC-V 架构测试验证 M-mode 模拟功能的正确性。在 SiFive HiFive Premier P550 硬件上实现,成功运行现有 RTOS 于 Violet VM 中并验证与 Linux 共存。量化了 M-mode CSR 访问、定时器中断延迟和上下文切换的开销。

⚠️ 局限
📄 abstract 未给出具体开销数值,M-mode 软件模拟对高频 CSR 访问的 RTOS 可能引入显著延迟。HiFive P550 是特定硬件,泛化性待验证。

💼 对系统人的启示
对做 RISC-V 嵌入式虚拟化的工程师,Violet 填补了 M-mode 虚拟化的空白,是混合关键性系统(safety-critical + general-purpose)在 RISC-V 上的可行方案。软件模拟 M-mode 的开销-收益权衡值得参考。

PELM: Power Efficient On-Device LLM Inference with Speculative Decoding and Dynamic Voltage Frequency Scaling

Weisi Yang, Stephen Xia · Northeastern University (imec-nu) · 2026-09-09

🎯 核心问题
移动/边缘设备部署 LLM 时,除了算力受限,紧凑外形缺乏散热机制(无风扇),高处理器负载导致热节流降频。现有 DVFS 方法主要优化硬件频率参数,在热约束场景下不够用。需要更多维度的功耗控制手段。

🔧 关键方法
PELM 的核心 insight 是"不是所有 token 都需要全深度推理"。在传统 DVFS 频率调节之上增加两个工作负载相关旋钮:(i) speculative decoding——用小模型草拟、大模型验证;(ii) variable verification depth——动态调整验证深度,简单 token 用浅层推理即可。三个维度联合优化形成更大的功耗-质量 trade-off 空间。这与纯硬件 DVFS 方法有本质区别——它把模型推理语义引入功耗管理。

📊 实验或论据
跨多个硬件平台和数据集评估,PELM 相比 SOTA 功耗管理方法:最高 23.1% 加速、52.4% 能耗降低,同时保持可比的任务性能。开源代码在 https://github.com/imec-nu/PELM 。

⚠️ 局限
speculative decoding 的 draft model 选择和 verification depth 的动态决策本身有开销,abstract 未讨论在极端热约束(如长时间高负载)下是否能持续维持收益。移动端小模型的 draft 质量可能不稳定。

💼 对系统人的启示
PELM 展示了"模型语义感知的功耗管理"这一新范式——把 DVFS 和模型推理深度联合优化。对做 edge AI 部署的工程师,这套方法可复用;思路也可启发数据中心场景下的 LLM 推理功耗-性能联合调度。

👥 作者与机构

本周 6 篇论文涉及 19 位作者,机构分布如下:

机构 / 团队 作者 论文
USTC(中国科学技术大学) Zihan Wang, Yuqi Wang, Lei Gong, Cheng Tang, Wenqi Lou, Teng Wang, Chao Wang, Xuehai Zhou SeqMoE
独立 / 未标注 Mitsumasa Kondo Invisible Yet Dominant
未标注(推测美国高校) Mohammadali Khodabandehlou, Mahdi Alizadeh AKTS
未标注 Mengming Li, Ceyu Xu, Qijun Zhang, Jiangnan Yu, Xiangfeng Sun, Haohui Mai, Zhiyao Xie AgentZip
日本高校(含 P550 硬件合作) Taro Kito, Ryosuke Yamamoto, Keisuke Horii, Hiroki Masuda, Koichi Mouri Violet
Northeastern University (imec-nu) Weisi Yang, Stephen Xia PELM

本周无重复作者,团队间无交叉合作。USTC 团队(8 人)贡献最大规模的系统工作(SeqMoE),日本团队(5 人)聚焦 RISC-V 嵌入式虚拟化。值得关注的是多篇文章来自 AI+OS 交叉背景的团队,反映"为 LLM 设计 OS"正在成为新的研究增长点。

🔮 趋势观察

本周 6 篇论文中有 4 篇直接围绕 LLM 工作负载驱动 OS 创新(SeqMoE offloading、AKTS 调度策略切换、AgentZip 内存压缩、PELM 功耗管理),覆盖了 OS 核心子系统的几乎每个方向——内存、调度、I/O、功耗。这不是偶然:LLM 推理/训练工作负载正在系统性地暴露传统 OS 设计的不足。

三个值得关注的信号:

  • eBPF 正在从"观测工具"演化为"策略载体"——AKTS 用预验证 eBPF 策略库实现亚微秒策略切换,Invisible Yet Dominant 用 eBPF 探针发现 iostat 看不见的 stall。eBPF 已超越可观测性,成为 kernel policy 的运行时媒介。
  • "语义感知"成为系统优化的新维度——PELM 把"不是所有 token 都需要全深度推理"引入 DVFS,AgentZip 把"sandbox 间模板冗余"引入内存压缩。传统 OS 优化看硬件指标,新一代工作看模型语义。
  • MoE offloading 进入"预测式"阶段——SeqMoE 用 sequence modeling 预测 expert 激活,把 offloading 从被动响应推向主动预取。随着 MoE 架构成为主流,offloading 系统设计将成为一个新的研究子领域。