YEF2026 | 操作系统在人工智能时代的未来演进探讨

北京邮电大学计算机学院副教授，博士生导师。主要研究领域为端侧智能系统软件，获USENIX ATC 2024最佳论文奖。主持国家自然科学青年基金（B类）、2030重大项目课题等多个项目，入选中国科协青年人才托举工程，北京市科技新星，微软亚洲研究院“铸星计划”访问学者。

报告题目：终端大模型操作系统

报告摘要：通过本地化搭载大模型，终端设备的智能能力将获得飞跃式提升，铸造移动计算的下一个黄金时代，对学术界和产业界都是巨大的机遇。为了更好地适应这个过程中上层应用编程接口、用户交互范式、底层资源管理的重要变化，操作系统可能会被重新定义和改写。面向以大模型能力为核心的未来智能终端硬件，本次演讲将介绍团队在大模型操作系统设计和优化方向的思考和尝试。

上海创智学院全时导师，主要研究方向为存储系统，包括大模型存储系统、高性能存储系统以及移动终端存储系统。主持过多项国家自然科学基金、上海市科学基金项目，并积极与企业展开合作，连续十余年与企业展开存储系统核心技术攻关。因其在存储系统和操作系统领域的重要贡献，曾两次获得华为年度技术成果奖。所编著的《深入浅出SSD（第二版）》获得机械工业出版社金码奖和年度十大好书荣誉，国家级一流课程、上海市一流课程以及上海市重点课程《操作系统》负责人。目前是CCF杰出会员，CCF信息存储专委常务委员、CCF系统结构专委执行委员、CCF软件系统专委执行委员。

报告题目：大模型移动终端部署的系统级技术探索

报告摘要：大模型作为现象级应用已然成为目前发展的关键。本报告中，我们将探索将大模型部署到移动终端中存在的挑战和机会。首先，我们将介绍大模型部署移动终端的挑战；然后，根据我们对部署的深入了解，介绍当前大模型移动终端部署的主流策略和方法，特别是系统层的解决方案，试图将大模型能够高效集成到移动终端。最后，我们也将介绍一下我们实际部署过程中发现的一些问题和有意思的探索。通过这个报告，听众能够快速全面的了解大模型部署移动终端的另一面。

厦门大学信息学院副教授，博士生导师，研究领域包括智能存储系统、存算融合、操作系统、非易失存储器等。先后在国际期刊和会议上发表论文50余篇，包括MICRO、ISCA、ASPLOS、HPCA、FAST等CCF-A类国际学术会议论文。曾获第十届中国科协青年人才托举工程、2025年小米青年学者、2024年ACM SIGCSE China新星奖、2025年/2024年IEEE NVMSA最佳论文奖、2019年/2020年阿里云-CCF信息存储专委会优秀论文奖等。主持国家自然科基金等项目。

报告题目：基于闪存存内计算的长文本注意力卸载技术

报告摘要：随着LLM的广泛应用，长上下文推理过程中KV Cache占用已成为制约性能的核心瓶颈，严重挤占了 GPU HBM的容量并消耗大量带宽。尽管现有的研究尝试通过In-Storage Computing将KV Cache卸载至 SSD，但受限于闪存内部数据迁移效率及非对齐访问模式，其端到端性能增益仍未达预期。为此，我们提出了一种名为Mosaic的新型硬件架构。该架构通过In-Flash Processing技术，将注意力机制计算任务下推至闪存芯片内部，从而大幅减少数据传输开销。实验数据表明，与SOTA In-Storage Computing方案相比，Mosaic架构具有出色的性能优势：其平均吞吐率提升5.3倍（峰值可达12.8倍），同时降低了72.4%的能耗。该方案为解决超大规模模型在有限硬件资源下的长文本推理难题提供了新的路径。

上海交通大学副研究员。长期从事操作系统、体系结构、智能体系统等方面的研究工作。研究成果发表在SOSP、OSDI、ASPLOS、FAST、ISCA、HPCA、MICRO、TOCS等国际著名会议和期刊，并获得 SOSP 2025最佳论文奖以及FAST 2026最佳论文奖和杰出技术成果奖。其中，一系列成果已经在工业界和开源社区得到广泛应用，包括（1）蓬莱可信执行环境系统，目前是RISC-V架构下最常用的开源TEE系统之一；（2）D-VSync，作为传统VSync渲染技术的，目前已经在鸿蒙操作系统得到大规模部署和应用（千万规模设备），有效提升了终端场景下的用户体验；（3）Serverless低时延沙箱启动技术，首次实现毫秒级Serverless沙箱启动，并且在蚂蚁金服得到了大规模部署和应用；（4）并行化GPU启动gCROP，并且已经合入CRIU主线代码，是CRIU默认开启的应用restore加速技术。

报告题目：基于大语言模型的声明式操作系统思考与实践

报告摘要：软硬件技术的飞速演进驱动着操作系统的持续迭代，以适配新硬件能力与应用需求。然而，传统操作系统采用命令式接口与抽线，且演进式开发模式面临高昂的开发与维护成本，大量资源被消耗在系统稳定性维护与缺陷修复上。随着大语言模型（LLM）能力的突破，基于模型生成操作系统关键组件与响应应用意图已成为可能。本报告将介绍团队在“声明式操作系统”领域的最新研究成果。我们提出了一种面向系统软件生成与演进的系统规约（System Specification）框架。该框架允许开发者通过高层次规约定义系统行为，并驱动 LLM 自动生成底层系统代码。报告将深入探讨系统级规约的设计方法论、大规模系统软件的生成机制、关键支撑工具链的构建，以及应对模型幻觉以确保可靠性的策略。

蚂蚁集团技术研究院操作系统方向的负责人，在Rust编程和内核开发方面有丰富的经验。他发起的Occlum项目，是业界最早的基于Rust的OS开源项目，已发展成可信执行环境中最流行的library OS。他在业界首创基于Rust的框内核OS架构，并领导开发了业界首个框内核——星绽（Asterinas）开源项目。

报告题目：关于建设Agent原生的开源操作系统社区的一些思考

报告摘要：当AI编程Agent已成为大多数开发者的日常工具、80% 的 GitHub 新开发者在首周就开始使用Copilot，一个问题摆在每个开源操作系统社区面前：“如何在Agent大规模参与代码、文档与审阅的时代，继续保证工程质量、合法的归属与维护者的可持续？” 本次分享以星绽（Asterinas） — 一个用 Rust编写的 Linux 兼容内核 — 为实践案例，提出一个看似反直觉的主张：Agent 编码的普及并没有发明新的工程要求，它只是把"快速反馈、结构化文档、确定性测试、可追溯的决策、机械化的护栏"这些好工程团队本就该具备的纪律，强行提前了deadline。所谓"Agent 原生"，真正的机会不是为 AI 改造项目，而是借这次变革，把工程纪律从文档里的约定，落地为可执行的机制。