全球顶级大佬来这儿只干一件事：解题下一代操作系统！

小李
小李 2023-04-18 14:13:37 52253
分类专栏： 资讯
3月26日，以“开源创新”为主题的第十届开源操作系统年度技术会议（OS2ATC）正式拉开序幕，本次盛会由统信软件主办，清华大学、北京大学以及鉴释科技承办。

 

作为OS2ATC十周年的年度旗舰级活动，大会吸引了数百位国内外一线操作系统和相关领域的学者专家莅临现场，共同探讨下一代操作系统开源生态和技术前沿。

 

图片


会议当天上午，统信软件高级副总经理、CTO张磊与国内外顶级高等学府、科技企业代表坐阵主会场，向全球开源爱好者传递领域内最新科技进展。

 

作为主会场主持人，张磊在开场致辞中表示：

 

“

海纳百川成其大，人集众智成其强。操作系统的创新升级与开源协作势在必行，而每年的OS2ATC都是全球操作系统爱好者开拓技术事业，提升行业认知的良好窗口。

”

 

图片

 

随后来自哥伦比亚大学、北京大学、蚂蚁集团、清华大学、华为欧拉等在操作系统领域卓有建树的专家学者带来了精彩的年度技术报告：

 

图片
 虚拟机管理程序形式化验证

 

图片
哥伦比亚大学教授顾荣辉发表《Microverification of the Linux KVM Hypervisor》主题演讲，他介绍了Linux KVM 虚拟机管理程序如何进行形式化验证的方法，即采用基于retrofit的微形式化验证，将 KVM 分解为core与serv两层，证明了微改造后 seKVM 的机密性与完整性。这不仅能带来技术优势，还能创造成本和能源优势。
图片

 

图片

 

图片
 基于大模型的编程自动化

 

图片
北京大学教授李戈对当下火热的AIGC如何与操作系统技术结合进行剖析。针对程序生成与程序理解领域，李戈教授与北京大学软件研究所团队，从底层构建深度神经网络，从而成功实现了高效率的程序处理，成为全球第一个发表基于深度学习分析代码、生成代码论文的团队，比国外同类项目领先整整7年。在最近的aiXcoder XL版本上，其参数达到了130亿，已经能以很高的命中率生成整句的正确代码，如果达到千亿级别参数，并采用领域知识优化，将达成自然语言生成代码的能力。
同时李戈教授也表示，大模型的火热为科技创新打开了一扇新窗，但这背后需要大量的算力资源，目前算力使用仍存在成本和门槛问题，“算力+各行业”的赋能发展体系尚待推动。
图片

 

图片

 

图片
 Rust Monitor形式化验证

 

图片
在之后的演讲中，蚂蚁集团安全计算平台负责人刘双表示在不依赖特殊安全硬件的前提下，Rust Monitor基于通用安全硬件原语，提供跨平台的TEE安全能力 (如:在海光平台上运行SGX Enclave)，并兼容已有TEE工具链和应用，核心代码经过形式化证明和权威机构检测，做到了安全可控。
图片

 

图片

 

图片
 内核漏洞挖掘技术

 

图片

继刘双在演讲中提到的安全问题，清华大学张超教授系统阐述了内核漏洞挖掘技术的发展进展，近几年来自各方面的内核漏洞攻击层出不穷，如何“未雨绸缪”成为一个很大的命题。他分析几大代表性kernel fuzzing方案的优劣，并探讨了众多可行的改进措施。此外，张超教授与团队已经在安卓服务、驱动、竞态与macOS内核展开创新性模糊测试工作，并取得显著的工作成果，为相关技术演进路径指明方向。

图片

 

图片

 

图片
 多样性算力时代的OS形态思考

 

图片
接下来，openEuler高级工程师张攀分享演讲，他表示，xPU（以GPU为代表）取代CPU成为了操作系统的C位，因此在多样性算力时代下，硬件将围绕互联+DSA创新计算架构，加速数据流动与提高并行度。而性能、灵活度、规模是多样性算力时代下软件面临的不可能三角，软件需要在三者中找到关键平衡。
图片

 

图片

 

图片
 基于表达式推导的人工智能编译器

 

图片
清华大学副教授翟季冬在演讲时表示，人工智能芯片成为深度学习应用的主要计算力，但是算力需求对中国是非常大的挑战，所以编译器和中间的编程框架显得至关重要。翟季冬副教授提出将深度学习中传统等价算子变换拓展到不等价优化，并展开为算式优化，从而提供更大的优化空间与更好的优化成果，让算力在模型训练、推理过程中“物尽其用”。
图片

 

图片

 

图片
 全球首款RISC-V笔记本ROMA亮相

 

图片
作为本次盛会的重磅环节，鉴释科技创始人兼CEO梁宇宁与线上线下海量观众共同见证世界上第一台RISC-V笔记本——ROMA的首次亮相，现场演示获得了与会嘉宾的高度好评。梁宇宁表示，第一台量产版产品将捐赠给RISC-V基金会，希望携手更多海内外同行做大做强RISC-V产业生态。
图片

 

图片

 

回看OS2ATC的过往十年，开源已经从一个小众的爱好者行为变成了基础软件的源头，也见证了统信UOS从能用走向易用、好用的历程。

图片

 

站在OS2ATC十周年的新起点，统信软件将持续聚合操作系统全产业链创新力量，充分释放开源创新活力，引领前沿技术的融合进化，在抢占下一代操作系统技术高点上彻底实现战略突围。

网站声明：如果转载，请联系本站管理员。否则一切后果自行承担。

本文链接：https://www.xckfsq.com/news/show.html?id=20546
赞同 0
评论 0 条

相关文章

小李
小李L2
粉丝 0 发表 141 + 关注 私信
上周热门
如何使用 StarRocks 管理和优化数据湖中的数据？  2966
【软件正版化】软件正版化工作要点  2885
统信UOS试玩黑神话：悟空  2855
信刻光盘安全隔离与信息交换系统  2743
镜舟科技与中启乘数科技达成战略合作，共筑数据服务新生态  1277
grub引导程序无法找到指定设备和分区  1244
华为全联接大会2024丨软通动力分论坛精彩议程抢先看！  169
2024海洋能源产业融合发展论坛暨博览会同期活动-海洋能源与数字化智能化论坛成功举办  168
点击报名 | 京东2025校招进校行程预告  164
华为纯血鸿蒙正式版9月底见！但Mate 70的内情还得接着挖...  161
本周热议
我的信创开放社区兼职赚钱历程 40
今天你签到了吗？ 27
信创开放社区邀请他人注册的具体步骤如下 15
如何玩转信创开放社区—从小白进阶到专家 15
方德桌面操作系统 14
我有15积分有什么用? 13
用抖音玩法闯信创开放社区——用平台宣传企业产品服务 13
如何让你先人一步获得悬赏问题信息？（创作者必看） 12
2024中国信创产业发展大会暨中国信息科技创新与应用博览会 9
中央国家机关政府采购中心：应当将CPU、操作系统符合安全可靠测评要求纳入采购需求 8
热门标签更多

加入交流群

请使用微信扫一扫!