现在的位置: 首页 > 综合 > 正文

General Dynamics 收购 Open Kernel Labs (OK Labs)

2017年10月07日 ⁄ 综合 ⁄ 共 1357字 ⁄ 字号 评论关闭

不知道多少人见过这本书的封面,不知道多少人从这本书开始折腾操作系统。大家管这本书叫
Lions book. 书的作者,John Lions 98 年去世. 他把 UNIX 介绍到澳大利亚,建立第一个 UNIX Group。在这本书的基础上,他在 UNSW 开了第一个真刀真枪干操作系统的课程。在96年之前,这本书只能在地下流传,但是人手一本。

2006 年,UNSW 的 Alumni 在 UNSW 设立了一个 title, John Lions Chair of Operating Systems. Prof. Gernot Heiser,  OK Labs 的 founder, 成了第一个 Chair. 91 年 DiSy group 建立, Gernot 带着两个 PhD students 开始和 Jochen Liedtke (L4的设计人)合作,把 L4 带到 澳大利亚,开了 Advanced
Operating System
 的课程。 这门课从 97 年开始带出了一批能 hack kernel 的学生。 比如这篇 thesis, Single Kernel Stack L4,
就是出于一名本科生,相关的代码运行在 okl4 中。

2002 年,NICTA 建立,这个机构的宗旨就是鼓励研究人员把研究成果商业化。Gernot 等在 NICTA 建立了ERTOS group. 2006 年,OK Labs 这个 startup 正式建立,公司的主力正是这门课程中发现和培训出的学生们。OK Labs
主要卖基于 okl4 kernel 的操作系统,提供 安全 和 高性能虚拟化。 最早是跑在高通的基带芯片里边,我猜测是高通的遗留代码太大且不好改,所以可以在 okl4 上跑高通自己的 RTOS, 然后遗留代码继续跑在 RTOS 上边。爱立信,摩托罗拉等也采用过 OK Labs 的产品。现在有10几亿台设备中在跑 okl4.  有一次,我的 supervisor 和  NICTA 的人聊天,说起了他们这个最成功的 startup, NICTA 的人拿出 ipad2, 打开 copyright 部分,然后翻啊翻,翻啊翻,终于找到了
okl4 。

兵分两路,商业化 okl4 的同时, ERTOS 进行着一个大胆的 research project,  L4.verified, 证明操作系统的正确性 (证明 L4 的实现是和 specification 一致的),就是说
在一定的前提下,这个 kernel 的实现是 bug free的。他们的论文, seL4: Formal verification of an OS kernel也获得了
SOSP 09 年的 best paper. 现在他们也在致力于把这些工作商业化。这个 Group 也从一开始 一个 faculty, 两个 phd students 的组变成了超级大组。

除了 mobile phone 领域, OK Labs 一直给 military 方面的公司做项目。同时他们也在做汽车上整个系统的虚拟化工作。最终,这个公司被 General Dynamics 收购。

在21世纪,折腾一个只卖操作系统的公司,还能活下来,卖出去,我觉得是个了不起的事情。尤其是在澳大利亚,这个没有硅谷的地方。

这一切的开始,就是 Prof. John Lions 和 他的书

转载至: http://www.valleytalk.org/2012/09/11/general-dynamics-%E6%94%B6%E8%B4%AD-open-kernel-labs-ok-labs/

【上篇】
【下篇】

抱歉!评论已关闭.