General Dynamics 收购 Open Kernel Labs (OK Labs)

Sina WeiboBaiduLinkedInQQGoogle+RedditEvernote分享




不知道多少人见过这本书的封面,不知道多少人从这本书开始折腾操作系统。大家管这本书叫 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 和 他的书。愿大宋的教授能有此心。

(6个打分, 平均:4.00 / 5)

雁过留声

“General Dynamics 收购 Open Kernel Labs (OK Labs)”有30个回复

  1. kk 于 2012-09-11 8:04 下午

    大宋的教授在忙着赚钱、吃饭、喝酒、拉项目、泡女生呢,哪有空做这事啊。

  2. bernard 于 2012-09-11 11:06 下午

    现在一个OS想活下去不容易!

  3. SPY 于 2012-09-12 12:25 上午

    教授们都忙着将漂亮服务员变成大学生呢,工作很忙的

  4. hello 于 2012-09-12 12:58 上午

    只要能静的心来,都可以做好东西。

  5. nsynet 于 2012-09-12 5:42 上午

    大宋搓人太多了,还有不少人看任何事物,都精确地联系到社会制度,怪大宋耽误了你,你移民呀,哈哈哈哈哈哈哈

  6. aaa 于 2012-09-12 5:57 上午

    确实是制度有些问题,因为草民不得不为各种赋税、房租、房贷犯一辈子愁;富二代官二代一般又没有兴趣搞这些;

  7. nsynet 于 2012-09-12 6:19 上午

    美帝是没有赋税?房租?房贷?还有就业机会、房产税、黑人小偷、枪击或者贩毒,只能说每个社会有自己的长短板,每天像首席那样张嘴“大宋”闭口“大清”,很多人都像看看这样的人,以后是否真的能独领风骚,哈哈哈哈

  8. aaa 于 2012-09-12 6:59 上午

    中美工资:房价,一个是1:20,一个1:5,这个还要比较?一个耗费你20年宝贵时光,1个耗费你5年,你确信整明白了?你是富二代还是官二代?

  9. nsynet 于 2012-09-12 9:44 上午

    以自己为例,今年刚买房,年入10万,买的房子70万的90平米小房(武汉),借银行20万,你要在上海北京买房子可能就要20年“宝贵时光”了吧,流自己汗吃自己饭,攒的钱不多对得起自己良心,既不是官二代,也不是富二代,对政治也没有想法,不过拜托问一句,你是不是等买了房子,才能“安安心心”地搞技术?

    呵呵,对于你们这种张嘴就“大宋”,“制度”,“体制”喷粪的,如果在闲侃论坛倒也罢了,最憎恨见到搞技术的,还这么浮躁,叽叽歪歪像个怨妇,好像天下都负了你一般,鄙视

  10. wantofly 于 2012-09-12 7:50 下午

    有些童鞋还真是木有油墨感啊?!

  11. sniper 于 2012-09-12 8:26 下午

    嬉笑怒骂皆幽默,是需要水平的。谁看出来了幽默了?是狭隘的讥讽言辞后加个哈哈哈哈么?

  12. bbb 于 2012-09-13 2:46 上午

    哈哈哈哈,这个一看就是个脑残人士

  13. 路人 于 2012-09-13 10:36 下午

    nsynet 汗,这位老兄武汉理工大的,google人肉一下,照片都出来了。屁股理论可以解释其言行。

  14. TX 于 2012-09-13 11:33 下午

    nsynet 苦头不在现在,九成会出现在上有老下有的35岁之后。其他不用多言。

  15. Panabit 于 2012-09-14 12:22 上午

    不知道他有没有过30,如果没过30,那算正常现象。如果过了30还是这样,那就……

  16. tom 于 2012-09-14 3:23 上午

    nsynet,首先要恭喜你有了自己的房子,其次呢,有房子了也不要这样子嘛

  17. bend,or 于 2012-09-14 6:35 上午

    没有绝对优越的制度,只有适应不了环境的人。
    天朝的环境,没有真本事的也能混个教授身份泡女生。有本事的人处处碰壁,有些没活过来的,得了妄想症。能活下来的都不是一般强大。
    美帝的环境,过分强调自由与公平,衍生出枪击,毒祸,密室囚禁,食人魔,三天两头上演警匪fwy追逐大片,粗鲁的红脖子野蛮人,为jersey shore, kardashian尖叫的傻群众,跳gangnam style的脑残,他们跟着混还过得不错。还有很多地方就连欧洲人都不齿,摇头叹息:看,这就是美国人!美帝几乎一无是处,唯一值得称道的是有H1B,给你一个凭真本事打拼的机会,一个保护公平竞争的环境,没有后台也能吃得开,无需过分担心被人抄袭,无需害怕强权垄断。

    要改变制度不是individual嘴上随便说说的漂亮话。楼上大部分人都不适合。很简单的道理,如果你比大部分的百姓活得滋润,你用什么来说服广大的群众你能代表他们的利益,为他们的利益向制度战斗到底?如果你没有曼德拉那样,经过苦难的,磨砺过意志的,你没有本钱去告诉群众,你有这样的决心,你有这个毅力。LXB懂这个道理。

    不要因为观点和立场不同,就人参公鸡、人肉暴力、连番羞辱嘲弄。利用Google来人肉,这本身就是对科技,对自由和公平,对美国精神的亵渎。

  18. TekTea 于 2012-09-15 10:21 上午

    若是技术能力上具备,在我国要搞操作系统依然有很好的前景和“钱”景,红旗LINUX都能存活下去就足以说明这点。。。因为OS是基础设施。

  19. 理客 于 2012-09-15 2:59 下午

    同意TekTea,只是在如此不利的环境中做如此艰巨之事,必要非常之人及团队弟兄方有可能真正做大。如由此看,首席做APP,虽然更有情趣,但可惜了,以中国之大,而在IT时代发展过程中,越来越像中国足球,能贫贱不移威武不屈富贵不淫大丈夫却越来越少了,无论是和50年代的国家体制比,还是和89十年代的IT人比,剩下的就是能活得不错的中式IT copy美国,真是一代不如一代,如果把原因更多的归结以美国为IT中心的大环境无人能破为借口,以copy为本的小日本、散乱的欧洲、病中的俄罗斯可以这样说,但对13亿的大国,如果也这样说,不是男人该说的。

  20. shuyong 于 2012-09-15 8:51 下午

    其实现在IT业已经进入资金规模竞争的阶段。个人,进而是小团队小公司,已经很难以技术为主做突破,快速成长起来。所以微创新,抄抄抄,也是大家无奈的选择。

    回到OS的开发,现在浏览过linux & bsd的代码的人已经很多了,书也出了不少。L4的状态也差不多,学院派那里有一些。因此写OS已经不是什么门槛了。如果考虑一并设计上层framework架构,会的人不多,但多年积累下来,还是有土鳖会这些的。但是扩展到生态环境,要商业环境和大资金投入。这些国内3-5年内没戏。有戏的是草根在前面小抄袭,腾讯在后面大抄底的模式。

  21. 中兴小象 于 2012-09-17 2:19 上午

    nsynet:
    你没理解制度的作用。
    在一个比较好的制度下,50%的人能够过好日子。
    一个不怎么好的制度下,只有1%的人能够过好日子。

    那是不是那49%的人自己不努力,自己有问题呢?

  22. comingwoo 于 2012-09-18 1:44 上午

    在safety、security领域,OS还是大有可为啊

  23. jelly 于 2012-09-18 10:40 下午

    安全的OS也不见得有多大长足发展,老板的意思,赚钱就好,够用就可以了。

  24. aaa 于 2012-09-19 6:15 上午

    jelly,你们老板明智。一个以STD OS为基础的安全OS,即使不为赚钱,过个几年也不得不随着STD的发展和行业软硬件的更迭而做大幅度改动。另外,目前大多数安全厂商现状是更大程度上是要活命,已经不是赚大钱赚小钱的问题。

  25. Archie 于 2012-09-23 1:38 上午

    偶在10年还真研究过一下这种hypervisor,基于L4的微内核操作系统还真有不少。也和OKLabs联系过一下,基本上想法是在TV上同时跑原有软件和Android。8过公司忙着内斗,没人理俺,最后的结局是公司破产了。遗憾OKLabs也被收购了。也许这是它们最好的结局?

  26. talk is cheap 于 2012-09-29 4:10 上午

    可以肯定的是:
    1 抱怨社会屁用没有。
    2 平时总爱抱怨的货,没几个有出息的。

  27. 之上冰 于 2012-09-30 11:33 下午

    楼上真言。

  28. 一条虫 于 2012-10-01 7:30 下午

    这类传销言论不要那么着迷。这类人比抱怨人更差。

  29. 冰之上 于 2012-10-01 11:23 下午

    知行合一难之甚矣,故不乏此可能,但吾只听其言真可用,观其行者不在我,与人为善者,亦不敢妄下此类判言

  30. OKL4 的故事 : 弯曲评论 于 2012-11-02 1:55 下午

    [...] 和 OK-lab 的来历,读者如果感兴趣,可以阅读我以前写的这篇文章 General Dynamics 收购 Open Kernel Labs (OK Labs). Gernot 在这篇博客中说到高通最早和 NICTA [...]