跳到正文
AI NEWS JOURNAL
AI, IN PERSPECTIVE

搜索 AI 资讯

检索标题、摘要与正文,把分散的信息连起来。

按发布时间排序

航点:针对CPU的GEMM分析建模

arXiv:2610.34914v1 发布类型:新 提要:高性能通用矩阵乘法(GEMM)的实现依赖于将GEMM分解为经过精心选择的分块,以达到峰值性能。我们提出了一种名为Waypoint的新分析模型,用于针对给定的硬件和输入矩阵形状自动确定最优的分块大小。Waypoint通过捕捉所有架构效应——包括与存储层次结构的交互、指令级并行以及多线程——来估算特定分块选择所能达到的性能。以这些估算值为代理,我们在可能的分块大小空间中进行搜索,从而找到能够最大化性能的分块尺寸。此外,Waypoint还有助于硬件设计人员在实验性硬件优化方案上估算其实际性能。

事件进展与其他报道

无阻塞式监督:面向协作运行时的基于证据的OTP式容错机制再设计

arXiv:2610.34521v1 发布类型:新 摘要:主流运行时上的 Actor 框架纷纷宣称支持 Erlang/OTP 式的监督机制,但 OTP 的一致性契约假定使用的是同步的单线程监督器,而端口则将这一假设的缺失视为未加审视的风险。我们对照已锁定版本的 OTP 官方文档与源码原文,逐一检验了各项监督保障;同时,还基于三个其他 Rust Actor 框架在固定版本下的源码进行了比对,并参考了有关 Actor 模型的文献,记录下每项设计决策背后的依据。通过盲目的对抗性审计与跨框架研究,我们发现了 24 类缺陷,其中 8 类可归结为同一个根本原因:即通过显式机制重新构建了同步监督器所隐含的原子性。我们提出了一种监督运行时 th

事件进展与其他报道