12月14日,由深圳鹏城实验室主办,CSDN、鉴释科技、飞漫软件、清华大学、CCF系统软件专委承办,以“开源协作”为主题的第七届开源操作系统年度技术会议(OpenSourceOperatingSystemAnnualTechnicalConference,简称OS2ATC)在深圳市鹏城实验室召开。
教育部国产基础软件工程研究中心主任、鹏城实验室鹏城生态项目负责人吴庆波和北京飞漫软件技术有限公司CEO、HybridOS操作系统开源协作项目发起人魏永明担任大会主席,清华大学计算机系长聘副教授、博导陈渝和鉴释科技CEO联合创始人梁宇宁担任组委会。
本次大会邀请40多位国内外一线的操作系统专家和行业领袖,围绕开源操作系统、编译器、全栈系统、芯片等技术热点展开讨论。主论坛、内核技术、编程技术、全栈操作系统应用生态、虚拟化技术、架构及芯片技术六大论坛火热进行。
现场火爆,座无虚席。以下为精彩演讲瞬间,你绝不可错过~
主论坛7大报告,从编译器到软件定义卫星!
教育部国产基础软件工程研究中心主任、鹏城实验室鹏城生态项目负责人吴庆波和北京飞漫软件技术有限公司CEO、HybridOS操作系统开源协作项目发起人魏永明联合发表致辞:
OS2ATC已来到第七届,今年在深圳召开。我们看到深圳是创新的落脚,有很多的企业都在积极开展工作,希望大家能在OS2ATC里发生思想的碰撞、产生新的火花。
鹏城实验室常务副主任邹鹏发表致辞:
深圳在这四十年来创造经济奇迹,如今它想打造先行示范区,所以深圳再出发的目标更大、责任更大,必须高质量地发展,必须提高深圳的科研基础能力,建立一所全新的科研机构,这是鹏城实验室的建立初衷。未来实验室的三大技术方向是人工智能、网络通信和网络安全。在这个开源开放的环境,让所有有志于这个方向的人在鹏城实验室能共同的探讨和发展,助力社会的发展,最后祝愿本次会议圆满成功。
三位精彩的致辞为大会拉开序幕,数十位顶级专家在今天大会上,发表了演讲,他们是:
演讲者——GiladBracha:《TheJavaLanguageSpecification》联合作者
议题:编程语言,编译器的历史和发展
论编程语言的多样性:为什么我们想要更多的机器语言?因为NotationMatters。Lisp具有优雅的语法、灵活性强,可以做各种有趣的事情,APL语言对数据友好易于计算,Prolog强大且与众不同,其他还有Haskell、Clojure、Elm等函数式编程语言,而Smalltalk则是真正面向对象的编程语言。
演讲者——魏永明:北京飞漫软件技术有限公司CEO、HybridOS操作系统开源协作项目发起人
议题:图形栈、交互技术及应用生态的发展现状及趋势
应用生态的发展趋势是应用的开发门槛越来越低,先入者通过技术和市场优势建立的壁垒越来越高,云端和设备端的整合趋势明显,多设备互联互通,强调跨平台特性,赢家通吃。
发展全新的应用生态非常难,只有在一个足够大的消费类市场领域,在一个新的平台上才可能新的应用生态。可能新领域有桌面操作系统、手机操作系统、智能手表、智能音响、电动汽车、跨操作系统及设备的统一运行开发平台。
演讲者——陈新中:鉴释首席技术官和联合创始人
议题:程序分析:一位资深编译器编写者的观点
回顾过程间分析(IPA)的应用历史,第一代是链接时优化(LTO),例如年的MIPS;第二代是IPA+LTO,例如年的MipsPro编译器、Open64;年的英特尔编译器、年的惠普编译器、年的GCC编译器;如今来到第三代,则是针对Java、Python等语言的安全缺陷的深入分析。
演讲者——何征宇:蚂蚁金服研究员,系统部负责人
议题:金融级系统软件的实践及开源协作
金融系统是最封闭的,为什么要讲开源?因为金融是一个非常注重科技、追求极致及技术先进性的行业,这背后面临着海量数据压力下的服务连续性保障和资损风险监控等挑战,蚂蚁金服在过去十五年的发展就是从可用到可靠,再到可信,以金融为场景、开源为基石。系统软件、开源都是手段而不是目的,由此,蚂蚁金服系统软件形成了满足业务竞争需求、与顶尖学术机构合作创新、积极参与开源社区承担应有的社会责任的发展思路。
演讲者——戴华东:人工智能研究中心主任
议题:机器人操作系统的实践与思考
从PC计算和互联网计算时代的Windows与Intel、移动互联网计算时代的Android与Arm,在机器人和智能计算时代,我们相信也必然会诞生这个时代的操作系统和微处理器。就操作系统来讲,机器人一定要与人共融,能够在复杂环境下进行自主行为控制及协同,具备群体智能。与传统计算机操作系统相比,机器人操作系统基于「场景」进行数据抽象,不仅实现互联互通,还可以互操作、互理解、互遵守,除传统信息资源外,还管理物理域、认知域、社会域,和机器人、无人系统的行为与群体行为。
演讲者——赵军锁:中国科学院软件研究所研究员,中科院大学岗位教授
议题:天基超算平台、Sputnix操作系统与软件定义卫星
未来的卫星怎么造、怎么用、怎么管?软件定义卫星,以天基超算平台为核心,采用开放系统架构,拥有开源软件生态,设有航天应用商店,支持有效载荷即插即用,应用软件按需加载,系统功能快速重构。实现软件定义卫星,需要实现系统软件平台化、应用软件多样化,解决传统卫星研制成本高、应用效能低、频谱资源及轨道轨位紧张等问题。算力、代码是制约软件定义卫星发展最大的两个障碍,将来卫星的代码量会越来越多,需要更多的程序员参与进来。
圆桌会议,探索操作系统的开源协作之道
圆桌论坛以“操作系统的开源协作之道”为主题,鹏城实验室AI开源平台办公室主任、OpenI秘书长刘明担任主持人,中科创达CTO邹鹏程、OPPO基础软件平台总监钟卫东、华为终端开源生态专家欧建深,全志科技产品研发中心总经理孙彦邦,TCL电子研发中心OS负责人赵德民,教育部国产基础软件工程研究中心主任,鹏城实验室鹏城生态项目负责人吴庆波,北京飞漫软件技术有限公司CEO、HybridOS操作系统开源协作项目发起人魏永明,分别从产学研全方位剖析操作系统的开源协作之道。
孙彦邦表示,在芯片公司做软件过去其实很苦,技术圈存在鄙视链,我们的芯片可能会用在复杂的智能设备,或无屏设备上,这也就意味着多样化产品对软件的挑战会很大。从实用角度来讲,操作系统就是好用、大家尽量都用,开源能够促使大家不用重复造轮子,开源发展得好会逐渐成为事实的标准,这样从产品建设上,也能够大幅省去程序员加班的时间。
钟卫东表示,开源的源动力我将其抽象为三种,共享主义者、挑战者、破坏者,操作系统到底该不该采用开源模式?操作系统对上要应用生态结合,对下要芯片等结合,天然需要非常强的协作。如果拥有自己的技术壁垒,领先行业5-10年,生态、产业链都可以自主就可以采用不开源的方式,而我们当前还处在挑战者的阶段,技术、产业尚未完善,需要进一步开源协作。
吴庆波谈到,开源并不容易,生态最大的特点就是有生老病死,我们应该用更加包容的态度看开源软件,有的生命周期非常短,大多数开源项目的生命周期都小于一年。当前我们面临着,虽然振臂高呼开源协作,但实际操作很难,我们呼吁更多的巨头企业成为带头人,成为太阳,让开源茁壮成长。
魏永明说,为什么必须强调开源协作?基础软件需要做大量的工作,但它本身很难商业化,如果让一个公司承担的话会很艰难,但如果都能够承担一点,从成本上来讲就会带来好处。同时,我们面临人才紧缺的问题,中小公司很难在人才市场竞争,在这种少而分散的情况下,联合就成了必然趋势。还有一点,开源最好的结果是你中有我我中有你,我们需要认识及扭转当前还没有实现的这种局面。
邹鹏程表示,开源其实就是一个工具,适合就去做,十年前我们将开源比喻为雨水,开源能够赚钱是这之中至关重要的。操作系统和其他软件不同,它是一个基础设施,这之中需要指导,由企业来真正赚钱,才能形成一个良好生态。
赵德民表示,操作系统在未来,尤其是5G网络、无线连接,用户需求越来越高。如果操作系统各自独立,对用户非常不友好。如果大家开源协作,以集体智慧共同作出一个OS,并应用于自己的终端领域,这样未来各种设备之间的协作连接对用户而言也将更加友好。
欧建深谈到,开源协作最重要的是,首先,真的能够开源,要持续地创新,和用户持续地碰撞,其次,需要可信,由此才能形成一个长期健康的生态。
除此之外,五大技术论坛同样干货满满:
内核技术论坛议题涵盖Occlum、SylixOS、TLA+的操作系统模块、DIM-SUM、Linux内核实验室等领域的议题;编程技术论坛涵盖动态语言、编程语言设计方法和实践、静态分析技术、Java和开源OpenJDK在中国发展的前景和挑战、ApacheKylin云原生架构、开源生态推动新架构处理器应用发展的实例、可信编译器l2c等领域的议题;全栈操作系统应用生态论坛涵盖RT-Thread、物联网操作系统、快应用等领域的议题;虚拟化技术论坛涵盖字节跳动分布式存储ByteStore、云环境动态修复技术、腾讯云虚拟化、ZERO、云原生专用OS、透传设备VMM热升级等领域的议题;架构及芯片论坛涵盖RISC-V指令集的操作系统、XuanTie-CPU、BoAT等领域的议题。
第七届开源操作系统年度技术会议今天的烧脑议程已圆满结束。听了收获良多,想动手试试?明天我们精心准备了两场辅导课程,让你现学现用:RISC-V开源处理器及Chisel硬件描述语言入门和学习写OS不是那么难--基于RUST语言面向RISC-VCPU。