“泛在操作系统”亮相SOSP顶会，首届论坛成功召开

[xuos]

2025年10月13日，首届 “泛在操作系统论坛（Workshop on Ubiquitous Operating System Research, WUOS）” 在操作系统领域顶级会议 SOSP 2025（ACM Symposium on Operating Systems Principles）上成功举办。这是“泛在操作系统”这一理念首次在国际顶级学术会议SOSP亮相，引发积极关注。

 

 

泛在操作系统：从本地到万物的系统演进愿景

随着计算从传统服务器和个人计算机，扩展到云、边缘、物联网乃至人-机-物融合的智能空间，操作系统的角色和边界正在被重新定义。无论是数据中心操作系统、边缘系统、网络基础设施还是嵌入式设备，它们都遵循着同样的两大核心原则：资源虚拟化与功能可编程性。这些原则推动了软件定义范式的兴起，并逐渐模糊了传统操作系统、分布式系统和基础设施之间的界限，为在从终端到云端、从设备到空间的各类环境中实现无缝融合建立基础。

 

重磅嘉宾云集，国际交流热烈

本次论坛吸引了全球操作系统领域的顶尖学者和年轻研究者参与交流，现场讨论气氛热烈。ACM Fellow、ACM SIGOPS前主席，康奈尔大学的 Robbert van Renesse 教授受邀发表了题为 “Teaching Operating Systems for a Ubiquitous Era – Virtualization, Verification, and AI in the Classroom” 的主题演讲，从教学视角探讨了未来操作系统人才培养所需的新知识体系与思维框架。

在随后的两个技术专题环节中，来自中国、北美、欧洲等多地的研究团队围绕“泛在操作系统”的核心方向进行了深入交流，分享了前沿研究进展，涵盖了：

● 软件定义的泛在操作系统范式

● 虚拟网络功能与控制环的操作系统协同

● 商用操作系统中页表管理代码的形式化验证

● 将数据复制提升为操作系统服务的新思路

● 面向社交-网络-物理融合应用的环境中心操作系统

● 面向大模型推理服务的强化学习调度

● 面向无人平台的多目标验证与可扩展性优化

 

面向未来的学术合作平台

本次“泛在操作系统论坛”由上海交通大学陈海波教授、夏虞斌教授、北京大学郭耀教授、南京大学蒋炎岩副教授联合发起并组织，旨在为操作系统研究社区提供一个专注于“下一代操作系统形态”议题的国际交流平台。论坛的举办不仅加深了国内外学术界对“泛在操作系统”这一新兴方向的理解，也为未来的国际合作奠定了坚实基础。

 

版权声明：文章来源CCF系统软件专委公众号。本文推荐阅读仅供学习、交流之目的，版权归原作者或机构所有。