就技术来说,鸿蒙OS到底是个什么层面的东西?

也许就像无法想象四维空间一样,我感觉对于鸿蒙OS构建的互联世界仍无法准确理解。

这玩意儿是像Debian一样兼容多种硬件,还是怎样的存在?该如何理解他的定位才好?

可以从技术层面来讲讲吗?硬件的架构会改变吗?未来的PC系统,尤其是专业软件有何影响?我们还能继续用Emacs吗?

万望只讲技术 :sweat_smile:

就我个人肤浅的猜测,android和鸿蒙的区别,就好比橘猫和狸花猫的区别,到不了猫和豹子的区别

4 个赞

在商业层面来说,他增加了华为的曝光率,非常成功。

看到大家都在讨论,好奇搜了一下 PPT,有几个点比较有意思,可以一起讨论一下。

  1. 微内核,目前最流行的 Linux 是宏内核,而对应的有 GNU/Hurd 是微内核,GNU/Hurd 的研发时间我记得应该是早于 Linux 的,却没有流行起来。另一个 Google 的开源操作系统 Fuchsia 也是微内核,看起来微内核要成主流了?但是考虑到 Hurd 这么多年还没成熟,微内核的问题还是不少的。

  2. 极简协议,这个感觉是 PPT 优化了,看 PPT 就是把 OSI 7层模型和 TCP/IP 模型放到一起了

    image

  3. 高性能 IPC,这个没看到细节,但是如果真的 IPC 性能能有提升,对于微内核,解决了一个大问题。

  4. 内核安全,这个不太了解

  5. 生态,我觉得这个才是最重要的,iOS 流行起来是伴随着 App Store,Android 流行起来是傍了当时 Java 程序员这个大腿,这点个人不太看好鸿蒙

1 个赞

Windows macOS 都是标榜自己是微内核的,甚至 iOS 实际上和 macOS 也是同一套,还不够成熟?Hurd 单纯就是因为没人开发。

1 个赞

大致扫了一下发布会,感觉有两个东西比较值得关注:

  1. 鸿蒙OS的内核据说是通过了形式化验证

  1. 华为开发了自己的IDE:HUAWEI DevEco IDE

2 个赞

看描述感觉上更接近 Fuchsia 的存在。

不过源代码和产品都没出来之前不好说。

华为在嵌入式实时操作系统有很深的背景,基于微内核表明更轻量、扩展性更强。从这个意义上讲就更适合物联网使用场景,包括性能和安全等。

个人认为,从物联网设备入手是很正确的。对鸿蒙而言,最大的挑战就是生态圈,目前手机基本被 iOS 和 Android 垄断,不是万不得已(比如封杀),想一下就击败对手是很难的。但是以华为在通信领域的技术积累,物联网是有一定发言权的。华为的设备很多是要求 7 x24 x365 运行,全年只有十分钟维护时间。所以,对于性能、耗电、安全、成本、维护性等等都有很高要求。这些其实也是物联网需要的,也就是说,这方面的技术基本就是无缝衔接。鸿蒙从物联网入手,一方面避开一来就挑战占据 80%市场的霸主,另一方面尽量从自己所擅长的领域开始建立城池,这很像老毛的思想。我之所以这么猜测,也是因为老毛一直是老任的偶像。

除此之外,还有一个很重要的意义在于,向世界尤其是美国表明,华为是有能力开发自己的操作系统,用于手机电脑等设备。这就是备胎的意义。我大胆猜测,私底下鸿蒙 OS 肯定还是不断在手机上进行开发和测试,以备不时之需。真的成熟那天,推出双系统也未尝不可,甚至取而代之。这些都是从战略层面考虑的。

仅代表个人观点,轻喷~~~

7 个赞

感觉国内的工业软件可能要被华为慢慢带起来了。

1 个赞

至少形式化验证开了个好头

华为的系统有点像函数式语言

鸿蒙不是基于linux开发的吗?感觉这个问题所有人都在含糊其词,没有明确说是也没有说不是,只说兼容linux,android,既然能兼容,那感觉应该是,如果是基于linux开发,然后linux上一层JVM,那感觉和android也没什么区别
仅代表个人观点,轻喷~~~

Linux是宏内核,鸿蒙是微内核,你没仔细看啊

image

按这个构架图linux内核在微内核的前面

看你怎么理解了。上层架构是可以兼容多种内核。就像 Windows 使用 NT 内核,但其实可以用 Linux 内核。现在的 WSL 就是很好的例子。个人觉得,即使完全基于 Linux 内核发展也不无不可,这并不是简单的改皮。无论如何,也不能简单一句鸿蒙是基于 Linux 的。架构图上看没有这么简单,还是拭目以待吧

4 个赞

终于有一个论坛提到“华为”两个字可以理性讨论而不是互喷了。在我看来os最重要的是生态,其它先不评价,看后续发展

2 个赞

只希望华为能早点开源,不要像这次雷声大雨点小,就出来个PPT,实在让人觉得不好受。

1 个赞

现在讨论还太早

是啊,开源了就有各种高手解读了,这样我这类小白才能理解,这PPT里除了一堆概念表示是真的看不懂

沸腾就完事了嗷

1 个赞

不太确定【形式化验证】具体是指什么,如果是指从数学理论上规定了系统的运作,这个就屌炸了,如果这个实现了,后面的【弹性部署】、【确定性时延】那就是信手拈来了。