-
[论文解读] 异构 LLM 推理流水线的精确 makespan:为什么 GPipe 公式会系统性高估两倍arXiv 2610.21815:异构 LLM 推理流水线在三种通信范式下的精确 closed-form makespan,证明 GPipe 同质偏置可分解为恒定 overestimate 与通信 underestimate,给出通信进入稳态斜率的相变条件,改写自动并行分区器的优化优先级。
26 min - [论文解读] Same Query, Different Answer:语义查询在重复执行之间为什么不稳
arXiv 2610.13823 来自 IBM。1.2M 次模型调用证明 temperature 0 不等于确定性,item 翻动 0.07%~24%,plan 算子指数级放大,质量分藏住一半以上答案变化;附 7+5 条 benchmark 报告与引擎设计建议。
26 min - [论文解读] GoDDaR:用扩展 CCS + 符号分析,静态检测并自动修复 Go 的部分死锁
arXiv 2610.08962 来自葡萄牙 NOVA LINCS。Go 运行时只检测已发生的全局死锁,部分死锁抓不到。本文把 Go 转 MiGo IR,扩展 CCS 加 external choice,符号分析得 19 TP / 0 FN(25 个真实案例),修复策略产 Go diff。
16 min - 『论文解读』数据库系统能否在生产环境引入硬件辅助内存安全：MTE 与 CHERI 的四层实测对照
本文针对 C/C++ 数据库系统中内存安全漏洞持续存在的现状，提出数据库三难（database trilemma）形式化框架，对 Arm MTE 与 CHERI 在六类数据结构与六款主流数据库上的性能、可移植性与检测覆盖度展开自下而上的横向对照评测。
25 min - [论文解读] NosRacer: 用两阶段动态分析在工业级 NOS 里挖出 21 个真 race condition
本文提出 NosRacer,一个工业级 NOS 的 race condition 动态分析框架。两阶段设计:concentration 缩范围(三维度 90% 缩减)+ perturbation 构造反序证据。5 组件检出 21 个 confirmed bug,精度 66%,开销 < 10%,CI 跑 3 个月。
30 min
Back