arXiv 系统方向追新 · 全部期次

arXiv 公告日 · 周二

2026-11-03

各分类条数
  • cs.OS 11
  • cs.PF 18
  • cs.PL 14
  • cs.AR 32
  • cs.DC 57
  • cs.NI 32
  • cs.DB 23
  • cs.CR 87
  • cs.SE 62

回补:候选来自 arXiv /list/<分类>/recent 列表页,摘要来自 arXiv API。

本期看点

推荐精读 2

推荐精读内核与虚拟化cs.OS

让 LLM 在内核里把“微系统调用”拼成应用要的语义

An Agentic OS Kernel for Flexible and Enhanced Semantics

Haocheng Wang, Xinyue Sun 等 6 人

内核的 syscall 接口通用但僵硬,eBPF 等定制手段受严格的安全和性能限制,而且只能定制机制、不能定制抽象。作者把单体 syscall 拆成可组合的 micro-syscall,新增 isyscall 入口让应用提交高层意图,由 LLM 生成组合计划;已验证的计划会被缓存,关键路径上不跑推理。安全性靠每个 micro-syscall 自身的检查,不依赖 LLM 输出正确。在 Linux 上实现为 IntentOS,跨 4 个内核版本测试。

参考价值论文把 eBPF 当作内核可定制性的主要对照,讨论它在安全和性能上的限制,有助于理解 eBPF 类扩展机制的定位和边界。

  • 进程创建延迟 −17.55%
  • 多文件操作 +6.97%
  • 内核扩展
  • 系统调用
  • AI Agent
推荐精读Agent 系统cs.OS

把 agent 的生命周期和沙箱驻留分开,安全地超售内存

TenonAgent: Virtualizing Execution Residency for Memory-Oversubscribed LLM Agents

Yifan Zhang, Xinkui Zhao 等 11 人

agent 的内存需求随阶段剧烈波动,按峰值预留浪费,激进超售又会 OOM。TenonAgent 做双时间尺度控制:在动作边界按全局内存压力做预测式准入,物化或回收沙箱;工具执行期间用基于 sched_ext 的内核闸门限制并发内存增长。Docker 和 Firecracker 后端都适用。

参考价值执行期的控制闸门是用 sched_ext(eBPF 调度扩展)实现的,是 eBPF 扩展内核调度器的一个实际用例。

  • 8.6× 超售下成功率 100%
  • 比现有调度器快 5~37×
  • 18 页
  • AI Agent
  • sched_ext
  • 内存管理
  • 沙箱与隔离

其余精选 10

用 WASM-SIMD 给 Wasm 中的 QUIC 加密提速,瓶颈转到运行时

编译 · JIT · 运行时cs.CR › Accelerating QUIC Encryption in WebAssembly Using WASM-SIMD 有参考价值 ›

Sota Yamawaki, Yasuo Okabe

Wasm 没有专用 AES 指令和无进位乘法,已有报告称 Wasm 里的 QUIC 栈只有原生吞吐的 17.6%,加密是最大开销。作者为 AES 和 ChaCha20 写了显式 WASM-SIMD kernel,在 10GbE 上显著提升接收吞吐,而编译器自动向量化几乎没有收益。profiling 结合 Amdahl 定律显示,即使加密达到原生速度,纯 Wasm 栈也只有最快原生栈约三分之一的吞吐,剩下的瓶颈是内存分配、运行时开销和逐包 UDP I/O。

参考价值把沙箱化字节码运行时的开销拆成加密、内存分配、运行时和 I/O 几类,这种分解方法也适用于分析用户态 eBPF 运行时的开销。

  • AES-128-GCM 吞吐 +61.34%
  • 自动向量化仅 +1.28%
  • 纯 Wasm 约为原生 1/3
  • WebAssembly
  • 网络
  • 性能剖析

用 WebAssembly 给航电 ARINC 653 应用定义二进制级接口

编译 · JIT · 运行时cs.OS › Beyond Source Compatibility: WebAssembly as a Stable ABI for ARINC 653 Applications 有参考价值 ›

Wanja Zaeske, Patrick Siegl 等 6 人

ARINC 653 只在源码层定义 API,内存布局和整数位宽依赖实现,换 OS 往往要改代码重编译。作者先修订头文件消除歧义,再基于 Wasm 定义与 OS 和处理器无关的 ABI,处理数据布局、字节序和函数指针的差异,并用与 Wasm 虚拟机无关的 shim 库在两种 Wasm 运行时、多种架构上跑通分区。

参考价值用一种字节码作为跨 OS、跨架构的稳定接口,和让同一份 eBPF 程序跨平台运行的思路相近,宿主与客体之间数据布局的处理可以参考。

  • 22 页
  • 两种 Wasm 运行时验证
  • WebAssembly
  • 嵌入式与实时

移动 GPU 上低比特量化跑不快,问题出在类型转换和 KV 访存

边缘 · 实时 · 嵌入式cs.AR › BitLLM: Efficient Low-Bit, Conversion-Hiding LLM Decoding on Mobile GPUs

Hangyu Zheng, Zhihao Shu 等 7 人

低比特量化在手机 GPU 上效果有限,作者发现瓶颈主要是量化值与浮点之间的频繁类型转换,以及 KV cache 增长带来的低效访存。BitLLM 为 KV cache 设计自适应布局和打包方式,并用整数原生的执行流水线把类型转换推迟、重叠到 MatMul 热路径之外。在现成手机 GPU 上与 llama.cpp、MNN-LLM、LiteRT-LM、MLC-LLM 对比。

  • 比 llama.cpp 快 1.78×
  • 长上下文每 token 能耗最多 −88.9%
  • GPU
  • LLM 推理服务
  • 嵌入式与实时

Linux + MCU 异构板上,把任务迁到 MCU 并不能躲开 Linux 干扰

边缘 · 实时 · 嵌入式cs.AR › QFabric: Guarded Cross-Domain Task Recovery and Its Limits on a Linux-RTOS Board

Ayushman Bhattacharya, Anwesha Chakraborty

作者在 Arduino UNO Q(Cortex-A53 Linux + Cortex-M33 Zephyr)上实测:每次 MCU 调用固定约 19 ms 分派开销,而且调用要经过 Linux 用户态,Linux 一忙 MCU 路径反而被拖得更狠(p99 最高 400 ms,Linux 路径 17 ms)。结论是迁移无法把任务和 Linux 干扰隔离开,守卫机制的主要价值在于阻止有害迁移。作者同时更正了早期版本中由测量缺陷得出的结论。

  • MCU 调用约 19 ms 分派开销
  • 无滞回时 p95 最多恶化 177×
  • 9 页
  • 嵌入式与实时
  • 调度

统一内存边缘设备上,让 GPU 推理别挤爆 CPU 实时任务

边缘 · 实时 · 嵌入式cs.DC › Ripple: Deadline-Aware CPU-GPU Sharing for Embodied Inference

Jiadong Zhang, Xiaosong Ma

统一内存的边缘设备上,LLM/VLM 推理的 GPU 访存会干扰感知和控制等 CPU 实时任务,而 DGX Spark 这类平台既没有带宽计数器,也不能直接限带宽。Ripple 把推理切成可暂停的按层单元,把每个 CPU 任务的截止期余量换算成 GPU 访存字节预算,在线校正干扰估计,必要时收窄 SM 占用。基于 SGLang hook 实现,用四组机器人任务评估。

  • 唯一稳定达到 2% 截止期丢失目标
  • GPU
  • 调度
  • 嵌入式与实时
  • 内存管理

不写调度策略,直接让预训练模型做每一次资源管理决策

资源管理与性能cs.PF › DIMWIT: Directly Invoking Models Without Intensive Tuning

Saarth Deshpande, Neeraja J. Yadwadkar, Venkat Arun

资源管理通常要先开发任务专用的策略,负载或系统一变还得修改。作者提出跳过策略开发,把当前系统状态、目标和可选项交给预训练模型,让它直接做单次决策。在微服务自动扩缩、DRAM 容量设定、视频编码三个场景评估了前沿 LLM 和两个小型决策模型,小模型的效果接近前沿 LLM。

  • DRAM −27.5%(性能 ≥95%)
  • 编码比前沿 LLM 快 4.3×
  • 调度
  • 分布式系统

agent 该读哪些材料,大多可以按项目提前算好并复用

Agent 系统cs.OS › Memorix: Managing Memory Selections for AI Agents

Jing Zhang, Xiaguannan Song 等 5 人

现在的 agent 每次任务临时拼文件进 prompt,成本高、容易漏、出错无法复现,还可能读到错版本的文档。Memorix 用不可变、带版本的 Store 固定每个来源,用 View 把“选什么”和“怎么组合”分开,并让交付的视图随源更新。在 SWE-ContextBench 和 LibEvolutionEval 上与主流 agent 记忆系统对比。

  • 解决率最高 1.5×
  • 摊销成本最多 −100×
  • 构建时间最多 −38×
  • AI Agent
  • 存储与文件系统

阿里的生产级推理引擎如何跟上模型迭代

AI / LLM 系统cs.OS › RTP-LLM: Building an Evolvable and Reliable LLM Inference Engine at Alibaba Scale

Jiarui Guo, Zhi Zhang 等 55 人

架构上把模型相关执行与共享的请求处理、状态管理、资源协调分开,用显式接口把模型改动限制在局部,让模型和部署配置复用公共服务机制。已开源。偏经验总结,适合了解工业推理引擎的分层方式和故障隔离做法。

  • 支持约 100 个模型
  • 日处理数百万亿 token
  • LLM 推理服务
  • GPU
  • 分布式系统

内存取证数据集里的“良性”样本其实没人验证过

安全cs.CR › When Benign Is Unverified: Label-Signal Mismatch and Abstention-First Triage in Graph-Based Memory Forensics

Viraj Rajeshbhai Chudasama, Eduardo Palmieri 等 5 人

作者验证了一条基于图的 Windows 内存镜像分诊流水线。在 MalVol-25 上,透明规则层把全部对照样本都标为可疑;另外两个公开特征级数据集的良性样本也存在同样问题。作者据此质疑相关 ML 分诊结果的可信度,并给出 7 条报告规范。与系统性能关系较弱,偏评估方法论。

  • Windows 内存镜像
  • 7 条报告规范
  • 安全
  • 基准与测量

用 Intel AMX 这类 CPU 内置矩阵单元做私有信息检索

安全cs.OS › High-Throughput Private Information Retrieval with on-CPU Accelerators

Gyuyeong Kim

PIR 每次查询都要扫全库,批处理能共享扫描,但 CPU 上每个查询仍要单独做乘法。AltoPIR 让 AMX 直接从 CPU 缓存取数,每个数据库字节读一次就服务整批查询,中间结果不写回内存,不需要 GPU 等独立加速器。

  • 吞吐最高 50.1×
  • 库可超过 GPU 显存
  • 安全
其余论文152 篇 · 只列标题