OKL4 的故事
作者 coder | 2012-11-02 13:55 | 类型 初创公司, 学术园地, 行业动感 | Comments Off
|
[编者注：Gernot 的这篇 blog 介绍了一些 NICTA 和 OK-lab 的故事。关于，NICTA 和 OK-lab 的来历，读者如果感兴趣，可以阅读我以前写的这篇文章 General Dynamics 收购 Open Kernel Labs (OK Labs). Gernot 在这篇博客中说到高通最早和 NICTA 合作的时候有两个需求, 一个是需要一个有内存隔离的，实时的，高速内核。另一个是这个内核可以在 ARM 上虚拟化 Linux。 ERTOS (Gernot 的 group) 当时作的 L4 正好满足这个需求，而且L4 是开源的。 随着 高通和 NICTA 合作的规模扩大， NICTA 作为一个研究机构， 已经不能，也不应该提供相应的服务，这个时候，NICTA spin-off OK-lab 出去去作 okl4 的商业化工作。 NICTA 继续作 sel4 的研究工作。 当 sel4 研究工作接近结束的时候，又可以利用 OK-lab 来商业化。这样就形成了一个正反馈的系统。] 原文来自 http://microkerneldude.wordpress.com/2012/10/02/giving-it-away-part-2-on-microkernels-and-the-national-interes/ | |
 (没有打分) |
General Dynamics 收购 Open Kernel Labs (OK Labs)
作者 coder | 2012-09-11 18:16 | 类型 初创公司, 学术园地, 移动和设备, 行业动感 | 30条用户评论 »
|
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) |
不知道多少人见过这本书的封面，不知道多少人从这本书开始折腾操作系统。大家管这本书叫 Lions book. 书的作者，John Lions 98 年去世. 他把 UNIX 介绍到澳大利亚，建立第一个 UNIX Group。在这本书的基础上，他在 UNSW 开了第一个真刀真枪干操作系统的课程。在96年之前，这本书只能在地下流传，但是人手一本。山石网科新总部一瞥
作者 老韩 | 2011-09-16 07:14 | 类型 初创公司, 网络安全, 行业动感 | 100条用户评论 »
工具箱
本文链接 |
|
打印此页 | 100条用户评论 »
简意网络诚聘网站架构师
作者 JianYiNet | 2011-09-08 22:10 | 类型 初创公司, 工作机会 | 19条用户评论 »
|
简意网络寻找网站架构师 职责描述：网站架构师
任职要求：
关于我们 我们是一家有远见和抱负的初创公司。致力于开发出让人们实现在家办公的在线工作平台，这可不够，一定要让人们觉得在家工作比在办公室工作更方便才够酷！只是在家办公吗？如果可以让人们在未来更容易地实现自己的事业梦想呢？一个未来的职业社交网络会是什么样的呢？一起来找答案吧！ 还在膜拜苹果、Google和Facebook？不如做一个让人膜拜的产品吧！ 我们的创业团队：500强公司中国区总经理；500强公司商业战略经理，资深项目经理；咨询公司合伙人。你不能错过与我们同行的机会！ 关于创业公司和小公司 也许你已经就职于或者正想找个著名的大公司，但你不应忘记：第一款面向大众的个人电脑和人机语言Basic是一家只有两个人，注册资金1000美金的小公司苹果创造的；淘宝改变中国的一刻发生在它还是小公司的时候，它至今没有超越那时的淘宝；Google已经成为了新霸主，但是后来的产品都没能超越最初的搜索引擎；Facebook诞生在一个宿舍里。大公司多数趋于保守，很难产生革命性的创新，在其中工作，请认真思考一下自己的价值。 我们创业团队的所有人都注重工作/创业要对社会有意义。社会是被创新和基于未来拼图的思考所驱动前进的。在成熟行业，多数工作意义并不大。无论是为A公司还是B公司服务，我们的价值不过是帮助这家公司从本来价值100元的市场分得更多；无论是小李还是小张做这份工作，更多时候只是谁获得这份工作，赚了这份钱的问题。多数情况是，100元的市场还是100元的市场，用户转换着不同的品牌，并没有得到更棒的产品。就像我们的父辈退下来时感慨，一直放心不下手上的工作，没想到退休后，别人干得一样有声有色，世界并没改变。但是如果世界没有苹果，苹果没有乔布斯；世界没有微软，微软没有比尔盖茨，那现在的世界一定不一样。 无论如何，您都应该在一辈子中，尝试选择一家为改变世界而努力的创业公司，或者自己去建立这样一家这样的公司。 在这里你能获得：
工作地点：上海，五角场区域 联系人：仇先生，13641878109 请将简历发送至：JianYiNet@gmail.com，或者私信我的微博。标题：简历–姓名 | |
 (4个打分， 平均：3.25 / 5) |
艾网信通发布自主知识产权矢量DSP IP核
作者 interlaken | 2011-05-26 07:28 | 类型 初创公司 | 9条用户评论 »
|
在凯思昊鹏的女娲后，又一个女娲来了。小小搜索了一下，发现这家公司的经营内容也很有意思，从科技展览展项互动设计到医用治疗设备的研发及销售，现在又推出矢量DSP芯片IP核，还在张家港搞到了资金，有木有北邮的童鞋给爆个料！ 2011年5月16日北京艾网信通科技有限公司发布了公司首款自主知识产权的矢量DSP芯片IP核NuVEC(女娲)。凭借在通信领域多年的经验和技术积累，艾网信通总裁徐国鑫博士带领的团队经过潜心研发，终于试验成功该款矢量处理器IP核。 NuVec处理机是构建软件调制解调器(Soft-Modem)的核心组件，它具备超强的矢量信号处理能力。矢量信号处理在通信信号处理中常用的 FFT、FIR、信道估计和信道均衡等信号处理方面具有不可比拟的优势，较一般通用的DSP处理机有更高的处理能力。因此，NuVec将会在未来的通信信号处理产品中广为采用。 NuVec支持超长指令字(VLIW)和并行处理架构，能够同时并行执行4条指令，这在电源消耗和处理能力之间做了很好的折中。NuVec在DSP信号处理方面能够同时对512bit位宽矢量进行运算。在时钟频率为400MHz的情况下，每秒钟可以完成64亿次复数乘加运算或128亿次整数乘加运算。 正是基于以上的特性，NuVec处理机可以支持多种通信标准，如移动通信标准GSM、TD-SCDMA、WCDMA以及LTE；多模式导航系统GPS、北斗等；多标准数字电视解调器CMMB、DVB、ISDB-T等。 立足于国内巨大的通信电子市场，NuVec处理机将会有更大的发展空间，能够大大促进国内、国外集成电路的发展。艾网信通将会进一步优化基于C语言的工具链，并提供基于该处理机的参考设计和丰富的数字信号处理程序库。这使得新标准的开发和引入会更加方便、快捷，大大缩短集成电路产品的面市时间。 艾网信通主要致力于研发通信和多媒体处理器芯片，NuVEC是艾网信通推出的第一代DSP内核。未来，艾网信通还会基于该处理器内核，提供更高扩展能力的DSP内核，以满足不同市场要求。 2. 北京艾网信通科技有限公司创立于2009年11月，致力于科技展览展项互动设计行业，是一个综合性的新型科技公司。 本公司与北京邮电大学多学科交叉研究中心合作，共同承担了多个科学技术馆的展品展项的设计与制作工作，并得到了业主极高的评价。 3. 北京艾网信通科技有限公司 公司行业： 电子技术/半导体/集成电路 仪器仪表及工业自动化 企业简介：公司主要从事医用治疗设备的研发及销售，是一个拥有自主知识产权的高科技医疗技术公司。公司产品定位于医用高端治疗设备领域，属国际领先产品，产品具有很强的市场竞争力。 公司目前正与国内几大医药品牌厂商进行市场运营，在市场高速发展的节点，公司产品在未来的应用中拥有广阔的前景。 公司将秉持实事求是、以人为本的态度，坚持走在国际医用高端治疗技术前沿，为我国的医用治疗领域贡献一份力量。 4. 张家港国家高新技术创业服务中心 7月12~13日，我市邀请了123名海内外高层次创新创业人才和8个海外合作组织的13名负责人，参加了“2010苏州国际精英创业周”张家港分会场的活动。活动分两天举行，在国贸酒店举行了创业人才项目合作洽谈会、校企创新项目合作洽谈会、海外合作组织联谊会等活动，张家港保税区（金港镇）、张家港经济开发区（杨舍镇）还分别在美极环球酒店、馨苑度假村组织了海外人才创新创业项目对接洽谈会。 徐国鑫博士、薛松生博士两个创业团队，双双获得了我市2010年度首批领军型创业人才引进计划资助，他们是张家港保税区引进的两个从事IT业的高层次人才团队。为了能够吸引他们落户，张家港保税区在洽谈过程中了解到他们在资金方面有压力的情况后，承诺提供我市政策扶持的前提下，专门商量了园区的优惠政策，通过入股、借贷等方式为这两个创业团队解决了资金问题，促使项目正式落户。 | |
|
(2个打分， 平均：3.00 / 5) |
矽映公司2550万美元收购SiBEAM
作者 高飞 | 2011-05-07 15:13 | 类型 初创公司, 行业动感 | 7条用户评论 »
|
2011年4月14日，矽映电子科技（Silicon Image, Inc，NASDAQ: SIMG）宣布以2550万美元的现金和股票，作价收购高速无线通信芯片设计公司SiBEAM。交易预计在2011年第二季度完成，交易完成后，SiBEAM仍然独立运作。 作为一家初创公司，SiBEAM身上曾有接近完美的光环。弯友硅谷老人在2009年3月曾撰文介绍：《SiBeam: 60Ghz CMOS 无线通信的先驱》。笔者每天几乎都经过SiBEAM位于Sunnyvale的总部，和里面许多层面的员工都是好朋友。
2007年，SiBEAM的60GHz芯片荣获CES Best Enabling Technology。2010年Computex上，华硕发布了搭载基于SiBEAM芯片的WirelessHD笔记本，在10米之内无损无压缩传输1080p高清视频。2011年CES上，SiBEAM集中展示了一系列基于其芯片的WirelessHD产品，包括戴尔Alienware游戏笔记本，VIZIO、LG、松下、索尼的高清电视，Monster的HDMI适配器等等。 从耀眼的技术到商业应用到盈利毕竟有一段差距。60GHz需要高额的研发，同时高清视频传输市场上其他的技术也对SiBEAM形成挑战。笔者收集了SiBEAM的融资历史：
从以上数字统计，SiBEAM七年融资总额超过一亿三千七百万美元，这次以2550万美元卖给矽映，对投资人而言并非好消息。但是至少，矽映承诺让SiBEAM独立运作，而且承诺将结合SiBEAM的无线技术和矽映的高清连接技术方案，推动60G无线通信的标准发展，推进这一技术进入移动和消费平台。对于消费者和工程师而言，这是个好消息。 | |
|
(1个打分， 平均：5.00 / 5) |
硬件网络加速–杭州攀克网络（PakFlow）
作者 陈怀临 | 2011-03-19 15:45 | 类型 初创公司, 网络安全, 行业动感, 通讯产品 | 75条用户评论 »
|
从概念上讲，PakFlow的技术框架为： 1. 五元组连接首包采用传统的CPU处理方式, 在CPU获得必要的路由信息, TCP/UDP等协议状态跟踪信息等内容后, 把针对该流的安全策略（允许通过/拒绝/统计/镜像/交CPU处理等）, 路由信息（出接口/下一跳）和处理策略（nat/路由/桥接/qos）等内容下发到加速卡中，形成加速卡可以直接处理的连接转发表项。 2. 继续进入加速卡的、命中该条连接转发表项的后续报文可以由芯片根据表项中已经定义好的安全策略、路由信息、报文处理策略等来自行进行处理, 而不再需要CPU的介入，从而可以为Host卸载掉这些报文操作所必需消耗的CPU处理能力和总线带宽，实现为主机软件加速的目的。 3. 为了给主机软件足够精细的控制粒度, 软件可以在五元组会话整个生命周期中随时通过对芯片流转发表的修改来影响加速卡对这条流的操作（例如决定是否镜像给CPU、决定是否改变路由、是否阻止流 量继续通过等等），使得主机软件可以在五元组生命周期这个精细粒度水平上灵活管理CPU和加速卡之间的处理分工，有效保证了软件业务对报文会话的控制管理 效果。 4. 没有被加速卡匹配命中流转发表项的报文，在进行必要的安全检察后，作为新建五元组流的首包交给CPU处理。 这种基于x86 + PCI-E + ASIC/FPGA的方案，在中低端市场，例如Software Based Router，Software Based Firewall/UTM方面，是非常有竞争力的。 原因如下： 1. 可以通过FPGA，做出自己的Fast Path。 | |
|
(4个打分， 平均：3.00 / 5) |
新兴web安全公司-铱迅信息
作者 aguai | 2011-01-25 18:55 | 类型 初创公司 | 215条用户评论 »
|
既然是web安全公司，当然就是做web安全，铱迅主要产品就是“web应用防护系统”，先普及下web应用防火墙跟传统防火墙的区别，看下图：
传统的防火墙、IPS不能真正解决应用层的攻击问题，因为它工作的OSI 1-4层，基于IP报文的进行状态检测、地址转换、网络层访问控制等功能，但是对于报文中的具体内容不具备检测能力，因此，对于web应用而言，传统的网络防火墙仅提供IP及端口的防护，对于web应用攻击缺乏防御能力。web应用防护系统主要致力于提供应用层保护，通过对http/https及应用层数据的深入检测分析，识别及阻断各类传统防火墙无法识别的web应用攻击。铱迅具有完全自主研发的协议栈全状态检测引擎，还具有针对变形编码攻击的防护，可以有效的防止“IP碎片攻击”、“TCP碎片攻击”、“变形编码攻击”等，众多网络设备都存在被绕过的风险，但是铱迅的检测引擎真正体现了它的强大。 弯曲的高手众多，应该知道国内非常多的厂商用美国开源的IDS Snort的机制做组包，它的组包机制是不会超过1.5k的数据，但是铱迅的waf可以做到全组包。这个也是其的一大优势。 另外铱迅的web漏洞挖掘能力具有一定的实力，像常见的Discuz、Phpwind用得非常广泛的论坛程序，铱迅挖出了几十个，还定期给国家漏洞库提交漏洞。 其千兆产品每秒HTTP请求叔率达到56000，性能也非常有优势。铱迅拥有攻击检测引擎和性能强大俩大优势，公司web安全技术能力可见不一般。 铱迅是华为系的公司，走研发路线，市场做得有点欠缺。在2011年web安全防护的市场越来越成熟，希望铱迅有自己的一席之地。祝愿铱迅越来越好，弯曲越来越好，首席身体健康，各位万事如意。 | |
|
(18个打分， 平均：4.17 / 5) |
工具箱
本文链接 |
|
打印此页 | 215条用户评论 »
本土嵌入式处理器初创公司PWRSemi简介
作者 KISS | 2010-12-28 07:00 | 类型 初创公司 | 34条用户评论 »
|
PWRSemi，2010年中创立于深圳，是一家由私人投资持有的处理器IP核设计公司，致力于为嵌入式市场提供具有性价比领先优势的处理器IP核，以降低芯片产品开发的商业风险，共同推动本土电子半导体产业的繁荣。我们的处理器产品支持运行PowerPC/Power指令，以方便用户延续使用熟悉的开发环境和工具，充分利用成熟的基础系统软件，并保护现有智力投资。 根据目标市场特点不同，PWRSemi产品主要分为FPGA系列和ASIC系列： 为适应片上系统的不同架构，PWRSemi处理器产品可通过桥接逻辑支持AMBA，CoreConnect，OCP，Avalon，WishBone，Sonics和Arteris等多种片上互连接口或用户私有互连协议。同时，为方便用户的系统集成和应用开发，PWRSemi将进一步提供系统开发套件：包括评估板，集成开发环境，指令集模拟器，SystemC行为模型和TLM模型，以及可支持各种全系统模拟器和软硬件协同验证工具的处理器模型包等。 我们计划在2011年的第一季度和第二季度正式发布FPGA和ASIC产品，在此之前，我们真诚希望能有机会和感兴趣的客户进行初步接触，获取您对我们产品的宝贵反馈，并在合适的情况下开展早期合作，有意向的朋友请电邮至：mkt@pwrsemi.com 另外，对PWRSemi的未来计划和产品有兴趣的朋友可以选择加入： 最后，祝各位朋友新年快乐！ | |
|
(2个打分， 平均：4.50 / 5) |
LBS SNS新秀–街旁网
作者 陈怀临 | 2010-11-03 23:41 | 类型 初创公司 | 2条用户评论 »
|
【陈怀临注：LBS Based SNS系统是一个大方向。。。突然发现最近许多人在说街旁网。。。感觉似乎就是4Square在中国的Clone。。。但在大宋这个大市场上，占据份额就是大王。。。赫然发现还楞CNN都采访街旁了。。有点shock。。。】 | |
|
(2个打分， 平均：3.00 / 5) |