Размер видео: 1280 X 720853 X 480640 X 360
Показать панель управления
Автовоспроизведение
Автоповтор
大家好，经反馈，本期视频已加速。谢谢大家的持续支持。
你的语气，没有表现出你作为一个phd都自信
加速的效果挺好的。
其实也挺佩服你的，为了黑而那么努力。博士是物理学，对于操作系统也能侃侃而谈，假装啥都懂。
@@zhongkaichen7505 自己不懂，就不能看懂的人的研究成果的文章吗？你的知识都是你自己研究出来的吗？
@@zhongkaichen7505你是不是不知道他的职场履历啊
这样的科普视频很适合你啊!这种阴阳人的风格个人非常喜欢!哈哈
华为有很多牛逼的技术，当然最牛逼的技术还是吹牛逼，毕竟这是中国人擅长的
衛星通訊 貌似果子12就有了 只是亞洲並不支持 而且是前兩年免費 可問題是 好像大多數人並不是奔這著這可有可無的功能去的 反觀華為 收費 且最多僅支持五千人使用 超過五千就得排隊 衛星吃不消但比較讓人擔憂的是鏡頭常開 這其實對於隱私是一個大問題但反正多數人也並不在意 甚至可以說習慣了天眼 對華為的舉動似乎也不那麼在意了
@user-zl6vy7vn8f 果子都没你敢吹，果子目前还只能发送固定的求救信息，自主编写短信内客都做不到
再吹大一点，中国商朝的时候苹果就有卫星通信技术了。
华为要是不兼容安卓（比如修改安卓原来的部分加密、验证代码，导致APK不能安装），谷歌肯定会找上门的，我记得好多年前阿里云OS就被谷歌约谈了。
约谈不了，谷歌在系统生态方面早就和华为断合作了😂不然华为也不会急着自己做系统了
LXC并不是虚拟机，不能运行独立内核，仍然只能使用宿主机的Linux内核，仅仅是开了一个namespace而已。“在容器中实现自己的微内核”是根本不成立的
容器也不是虚拟机啊。LINUX的特性之一而已。微内核就是底层真正从头开始的玩意而已，连内核都要动，不可能在这套娃造成性能损失~
其实重要的的不是重写一遍麻不麻烦，重要的是开发者能不能赚到钱，开发者喜欢苹果生态的原因不是Xcode有多好用，而是苹果能给开发者赚到钱
“双缝干涉惠勒延迟选择实验”的解释什么时候做啊，想听勃勃讲物理
非常好视频
科技版方脸😂
就这鼠目寸光的视频我看完了😢
你这个词“鼠目寸光”用的不合适，那是用来形容看事不长远的意思，不是用来形容对事实的错误理解。视频博主的问题是对计算机虚拟技术的错误理解。他所说的LXC是linux的系统级虚拟化，不是硬件级虚拟化，要让一个完整操作系统运行需要真实的计算机硬件或者是硬件级虚拟化环境，arm64本身是提供硬件级虚拟化状态的，可以设置系统寄存器让cpu处于这种运行状态。但如果是运行LXC，实际是分配一部分linux内核中的系统进程编成一组，LXC就是linux container的缩写，即linux容器，这个container就是指给Linux系统进程分组，组内的进程在一个容器里，容器里的进程负责运行完整构成Linux服务的所有进程，和别的容器分开，这样就达到了在系统级别模拟完整Linux应用层的目的。docker容器就是使用这种方式来实现的，但这种虚拟化不能运行操作系统内核，因为没有cpu核心态控制权限。所以要有核心态控制权，比如对所有执行程序的寄存器、中断服务、外设访问的控制权，cpu硬件必须要提供这样的监控状态，并且要能在多个被监控机状态间切换，即多硬件级虚拟机。或者要提供能截获特权指令的设置，也有办法设置cpu处于在每个特权指令执行时引发执行越权违例中断，对中断响应，编写系统软件实现，但执行效率太低，所以硬件级虚拟化现在多数cpu都是提供监控状态实现的，x86的vt-x也是。还有一种虚拟机叫应用虚拟机，java的运行就是这种方式，这种方式虚拟机就是一个应用层程序，解释Java字节码执行。所以请记清楚，计算机的虚拟化运行方式有3种，硬件级虚拟化、系统级虚拟化、应用级虚拟化。博主的错误理解在于，openharmony是操作系统内核，是不能运行在LXC方式下的。openharmony是微内核操作系统，所谓微内核是指只保留寄存器操作、中断、内存地址映射、核心进程调度、核心输入输出等系统操作在cpu的核心态运行，把操作系统内核做得很小，即微内核，而把其它网络、文件系统、高级输入输出、应用层进程调度等统统搬到应用层，常用消息方式保持上下层通信，这样便于系统移植，运行起来资源消耗较少，能灵活裁剪。而Linux开发时，作者linus直接把一切系统功能都放在内核中了，所以是宏内核。那时实际已经有别家搞微内核开发了，gnu的hurd就是用微内核方式的，但由于进度比Linux慢，没有linux流行得快，所以后来Linux就抢占了gnu操作系统主内核的地位，成了现在最流行的操作系统了。置于华为的harmony，和openharmony实际是两个不同的操作系统，不过华为在取名的时候使用了这种方式，不懂技术的很容易混淆。openharmony按华为公开的代码看，代码量不大，只支持arm指令，实际只能用于物流网、智能家电之类的板级计算机系统运行，对于智能手机这样应用繁多，外设种类多样的环境，目前openhaemony能提供的功能是远远不够的，说华为在这段时间不使用现有linux核和谷歌的aosp代码来做一个纯血harmony手机操作系统是不现实的。应该可以肯定的是，华为一定使用了现成的东西，而不是从头另搞一个。以华为从通信起家，从来没有做过完整的操作系统这种经历，他们现在比较务实的做法肯定是按上面的做法来，然后再想办法慢慢增加openharmony去替换linux和aosp的东西，但这个过程不会如余承东对公众吹嘘的那样发展那么快，什么都遥遥领先。而且可以看出余承东实际对这个过程懂的并不多，他得依靠下面人的努力。但不这样吹牛逼，华为一旦在公众面前丢脸，那一切都完了，这是他们绝不能承担的。对于这点，博主的意思也是基本符合事实的，不过博主要评论技术，还得多读专业书籍，提高水平。
华为：就喜欢你这种。看不起我又干不掉我的样子……
的确就喜欢你这种拿着白菜当翡翠狂吹一通的样子。
如果都全部自己改寫 那就好玩了 有人在裡面植甚麼 也抓不到 開源社群 時期 最起碼 還多人幫看
Windows和mac系列系统一向闭源，你担心过吗？😅
谢谢勃勃远在大洋彼岸关注我国的华为
asop版的鸿蒙，这样理解比较合适。
是AOSP版鸿蒙系统😢
其实重写不用人工，chart GPT几分钟就可以搞定，人工智能可以帮忙
可能需要一个gun的c++编译器。
你太瞧得起gpt了
这牛逼吹的
想多了，大工程光构建文件就搞死你，少一行都不行，还有各种奇技淫巧写法😅
解释就是掩饰！说了这么多还是离不开安卓
bobo可爱捏😊
優質頻道~
既然视频重发，那我问题也重问一遍吧：我翻遍open harmony的每一个仓库也没看见任何跟形式化验证相关的代码，还请勃勃指路。
他可以说自己的代码（的某一个特别小的部分比如安全方面的服务）经过形式化验证了，不一定是自己要给出形式化验证的代码
@@boist 啊这……正常情况下spec和proof都是要跟随implement一起放出来的，这样使用者才能验证，也才会对正确性有信心。这种“我说有就是有”也太花粉了……而且他们不但没有给proof，连spec都没有，那这根本形式化了个寂寞啊……
你这加速声音更难听，就放开点，平时在Clubhouse怎么喷立党这种声音不就很好么。自然一点，你的声音是你的标志。我永远支持你。
5555
我还是想放松的读，比较轻松一点。
有种想阴阳怪气，但是始终放不下偶像包袱的感觉😂😂😂
唉，我们民族太喜欢用自己的传统文化去想世界了。华为系统比芯片更难成功
哪些是所認知的傳統文化??
现在可以大声地喊你一生脑残😂
这种科普视频的看多少都不觉得多，确实能学到一些东西，而不是车轱辘话
不要污名化形式化验证，高铁上，卫星上都用了形式化验证来确保安全，intel cpu也用形式化验证来避免不该出现的bug
而且open harmony三个核都没有形式化验证，liteos m就是常规的单片机系统，liteos a靠从FreeBSD、nuttx、lwip等开源项目取来的代码拼凑而成，Linux内核就真的是Linux直接clone过去。
特殊的专用的代码可以形式化验证但是通用就算了。。
@@boist 人家写是内核代码，跟通用性没关系，和安全要求有关系
@user-bc4ln7qv7m 芯片的那些分级主要是跟温度范围、辐射承受能力相关的，形式验证是关于逻辑与行为的，都不是一个层面的东西。而且形式验证还真就给你一个绝对的保证：要么世界是无逻辑的，要么这个实现绝对符合spec
沙发
其实苹果ios是魔改Unix
不止是ios，macos也是unix魔改过来的。但是unix早就被苹果收购用在自家麦金塔上面了
勃博，何不训练一个自己的声音模型？
盘古开天辟地 创造了一个华为平行宇宙😂 牛逼
rtos你有点搞错了，rtos本身不难，特点不过就是代码执行时间可以预测，但是现在基本都是freeRTos和ucos的天下，华为这个东西并没有什么本质的优势。
你倒是写个本质的优势出来啊。网上遍地都是自己没本事又嫉妒人家成功的
评价冰箱，需要我会制冷么？😁
工业实时系统可没咋见过你说的这两，一般是windows加实时扩展，linux+实时扩展，vxworks或qnx😅
人才😂
主播喉咙有点沙哑啊，好好休息啊，是不是最近做节目太频繁了，不用这么拼命啊，都出国了，要好好享受生活啊
老大，想得到你的视频里的PPT，可以么👍👍👍
大殖子气的声音都变了😂
@@user-zs7nu6jk1f 咦，你不是韭菜，你不买东西，你都靠别人扔给你
我大概2年前就明白手机鸿蒙和OPEN鸿蒙完全是两个东西，就没必要再和支持者和反对者争吵什么了，后者才是值得关注的那个鸿蒙。当然，华为还在按路线规划继续发展鸿蒙，就等着看吧，普通人关注消费者体验就好，华为的实力不用担心
bobo有气无力的语调，听上去块噶了？能不能连贯一点？
作者对小米有什么看法吗😮
嘿嘿嘿，你又懂了🎉
勃勃加油，声音没什么问题
我坐等打脸，置评为证，至于谁打谁的脸看后续
遥遥领先
你很皮
Ctrl + H 感動中國
华为承载了很多关我消费者屁事啊，这不是他去骗消费者钱的借口
小白问个问题，他跑这个liteos虚拟机有啥用，除了吹牛逼之外
可以运行一些自己的安全特性服务
可以万物实时监控
舒服多了
希特勒能走多远？ 齐奥赛思库能走多远？
大家好！我也开发出了一款具有中国特色的操作系统，它的名字叫做“牛逼”！请为我鼓掌欢呼吧! 另外说下，现在网上除了一大波别有用心和无脑跪舔的，剩下一些反对的也说不出多少所以然，像这样深入细致、客观评价有内容的视频太少了，语速什么的无所谓，又不是听朗诵，就不要吹毛求疵了。支持UP主，爱怎么说就怎么说
很喜欢花粉的一句话，余承东吹过的牛逼都实现了。
制裁是为什么？ 你来解释一下
有没有可能当初人家制裁是他基站，不是手机，而且当时被制裁也不只是他，中兴也在那份名单里面，而且华为高价低配又不是一次两次是N次，不过也就他们那群狂热爱国粉才会上车
阴阳怪气。
阴阳人啊。
为什么只会阴阳国产品牌？被制裁为什么只字不提？制裁的目的是为了全人类发展做的可笑决定？
看看国产机都内置什么吧哈哈
我懂了，hw想的14亿人的市场上，自建一个生态圈。这不得不说，敢想敢干。
一个站在巨人肩膀上拉屎的山寨王😂😂😂
linux 就是linux 扯那么鸡巴多干嘛 别搞什么新闻学了 上管子大家都是要干货而不是新闻学，直接拉代码对不就得了
大家好，经反馈，本期视频已加速。谢谢大家的持续支持。
你的语气，没有表现出你作为一个phd都自信
加速的效果挺好的。
其实也挺佩服你的，为了黑而那么努力。博士是物理学，对于操作系统也能侃侃而谈，假装啥都懂。
@@zhongkaichen7505 自己不懂，就不能看懂的人的研究成果的文章吗？你的知识都是你自己研究出来的吗？
@@zhongkaichen7505你是不是不知道他的职场履历啊
这样的科普视频很适合你啊!这种阴阳人的风格个人非常喜欢!哈哈
华为有很多牛逼的技术，当然最牛逼的技术还是吹牛逼，毕竟这是中国人擅长的
衛星通訊 貌似果子12就有了 只是亞洲並不支持 而且是前兩年免費 可問題是 好像大多數人並不是奔這著這可有可無的功能去的
反觀華為 收費 且最多僅支持五千人使用 超過五千就得排隊 衛星吃不消
但比較讓人擔憂的是鏡頭常開 這其實對於隱私是一個大問題
但反正多數人也並不在意 甚至可以說習慣了天眼 對華為的舉動似乎也不那麼在意了
@user-zl6vy7vn8f 果子都没你敢吹，果子目前还只能发送固定的求救信息，自主编写短信内客都做不到
再吹大一点，中国商朝的时候苹果就有卫星通信技术了。
华为要是不兼容安卓（比如修改安卓原来的部分加密、验证代码，导致APK不能安装），谷歌肯定会找上门的，我记得好多年前阿里云OS就被谷歌约谈了。
约谈不了，谷歌在系统生态方面早就和华为断合作了😂不然华为也不会急着自己做系统了
LXC并不是虚拟机，不能运行独立内核，仍然只能使用宿主机的Linux内核，仅仅是开了一个namespace而已。“在容器中实现自己的微内核”是根本不成立的
容器也不是虚拟机啊。LINUX的特性之一而已。微内核就是底层真正从头开始的玩意而已，连内核都要动，不可能在这套娃造成性能损失~
其实重要的的不是重写一遍麻不麻烦，重要的是开发者能不能赚到钱，开发者喜欢苹果生态的原因不是Xcode有多好用，而是苹果能给开发者赚到钱
“双缝干涉惠勒延迟选择实验”的解释什么时候做啊，想听勃勃讲物理
非常好视频
科技版方脸😂
就这鼠目寸光的视频我看完了😢
你这个词“鼠目寸光”用的不合适，那是用来形容看事不长远的意思，不是用来形容对事实的错误理解。视频博主的问题是对计算机虚拟技术的错误理解。他所说的LXC是linux的系统级虚拟化，不是硬件级虚拟化，要让一个完整操作系统运行需要真实的计算机硬件或者是硬件级虚拟化环境，arm64本身是提供硬件级虚拟化状态的，可以设置系统寄存器让cpu处于这种运行状态。但如果是运行LXC，实际是分配一部分linux内核中的系统进程编成一组，LXC就是linux container的缩写，即linux容器，这个container就是指给Linux系统进程分组，组内的进程在一个容器里，容器里的进程负责运行完整构成Linux服务的所有进程，和别的容器分开，这样就达到了在系统级别模拟完整Linux应用层的目的。docker容器就是使用这种方式来实现的，但这种虚拟化不能运行操作系统内核，因为没有cpu核心态控制权限。所以要有核心态控制权，比如对所有执行程序的寄存器、中断服务、外设访问的控制权，cpu硬件必须要提供这样的监控状态，并且要能在多个被监控机状态间切换，即多硬件级虚拟机。或者要提供能截获特权指令的设置，也有办法设置cpu处于在每个特权指令执行时引发执行越权违例中断，对中断响应，编写系统软件实现，但执行效率太低，所以硬件级虚拟化现在多数cpu都是提供监控状态实现的，x86的vt-x也是。还有一种虚拟机叫应用虚拟机，java的运行就是这种方式，这种方式虚拟机就是一个应用层程序，解释Java字节码执行。所以请记清楚，计算机的虚拟化运行方式有3种，硬件级虚拟化、系统级虚拟化、应用级虚拟化。博主的错误理解在于，openharmony是操作系统内核，是不能运行在LXC方式下的。openharmony是微内核操作系统，所谓微内核是指只保留寄存器操作、中断、内存地址映射、核心进程调度、核心输入输出等系统操作在cpu的核心态运行，把操作系统内核做得很小，即微内核，而把其它网络、文件系统、高级输入输出、应用层进程调度等统统搬到应用层，常用消息方式保持上下层通信，这样便于系统移植，运行起来资源消耗较少，能灵活裁剪。而Linux开发时，作者linus直接把一切系统功能都放在内核中了，所以是宏内核。那时实际已经有别家搞微内核开发了，gnu的hurd就是用微内核方式的，但由于进度比Linux慢，没有linux流行得快，所以后来Linux就抢占了gnu操作系统主内核的地位，成了现在最流行的操作系统了。置于华为的harmony，和openharmony实际是两个不同的操作系统，不过华为在取名的时候使用了这种方式，不懂技术的很容易混淆。openharmony按华为公开的代码看，代码量不大，只支持arm指令，实际只能用于物流网、智能家电之类的板级计算机系统运行，对于智能手机这样应用繁多，外设种类多样的环境，目前openhaemony能提供的功能是远远不够的，说华为在这段时间不使用现有linux核和谷歌的aosp代码来做一个纯血harmony手机操作系统是不现实的。应该可以肯定的是，华为一定使用了现成的东西，而不是从头另搞一个。以华为从通信起家，从来没有做过完整的操作系统这种经历，他们现在比较务实的做法肯定是按上面的做法来，然后再想办法慢慢增加openharmony去替换linux和aosp的东西，但这个过程不会如余承东对公众吹嘘的那样发展那么快，什么都遥遥领先。而且可以看出余承东实际对这个过程懂的并不多，他得依靠下面人的努力。但不这样吹牛逼，华为一旦在公众面前丢脸，那一切都完了，这是他们绝不能承担的。对于这点，博主的意思也是基本符合事实的，不过博主要评论技术，还得多读专业书籍，提高水平。
华为：就喜欢你这种。看不起我又干不掉我的样子……
的确就喜欢你这种拿着白菜当翡翠狂吹一通的样子。
如果都全部自己改寫 那就好玩了 有人在裡面植甚麼 也抓不到 開源社群 時期 最起碼
還多人幫看
Windows和mac系列系统一向闭源，你担心过吗？😅
谢谢勃勃远在大洋彼岸关注我国的华为
asop版的鸿蒙，这样理解比较合适。
是AOSP版鸿蒙系统😢
其实重写不用人工，chart GPT几分钟就可以搞定，人工智能可以帮忙
可能需要一个gun的c++编译器。
你太瞧得起gpt了
这牛逼吹的
想多了，大工程光构建文件就搞死你，少一行都不行，还有各种奇技淫巧写法😅
解释就是掩饰！说了这么多还是离不开安卓
bobo可爱捏😊
優質頻道~
既然视频重发，那我问题也重问一遍吧：我翻遍open harmony的每一个仓库也没看见任何跟形式化验证相关的代码，还请勃勃指路。
他可以说自己的代码（的某一个特别小的部分比如安全方面的服务）经过形式化验证了，不一定是自己要给出形式化验证的代码
@@boist 啊这……正常情况下spec和proof都是要跟随implement一起放出来的，这样使用者才能验证，也才会对正确性有信心。这种“我说有就是有”也太花粉了……而且他们不但没有给proof，连spec都没有，那这根本形式化了个寂寞啊……
你这加速声音更难听，就放开点，平时在Clubhouse怎么喷立党这种声音不就很好么。自然一点，你的声音是你的标志。我永远支持你。
5555
我还是想放松的读，比较轻松一点。
有种想阴阳怪气，但是始终放不下偶像包袱的感觉😂😂😂
唉，我们民族太喜欢用自己的传统文化去想世界了。华为系统比芯片更难成功
哪些是所認知的傳統文化??
现在可以大声地喊你一生脑残😂
这种科普视频的看多少都不觉得多，确实能学到一些东西，而不是车轱辘话
不要污名化形式化验证，高铁上，卫星上都用了形式化验证来确保安全，intel cpu也用形式化验证来避免不该出现的bug
而且open harmony三个核都没有形式化验证，liteos m就是常规的单片机系统，liteos a靠从FreeBSD、nuttx、lwip等开源项目取来的代码拼凑而成，Linux内核就真的是Linux直接clone过去。
特殊的专用的代码可以形式化验证但是通用就算了。。
@@boist 人家写是内核代码，跟通用性没关系，和安全要求有关系
@user-bc4ln7qv7m 芯片的那些分级主要是跟温度范围、辐射承受能力相关的，形式验证是关于逻辑与行为的，都不是一个层面的东西。而且形式验证还真就给你一个绝对的保证：要么世界是无逻辑的，要么这个实现绝对符合spec
沙发
其实苹果ios是魔改Unix
不止是ios，macos也是unix魔改过来的。但是unix早就被苹果收购用在自家麦金塔上面了
勃博，何不训练一个自己的声音模型？
盘古开天辟地 创造了一个华为平行宇宙😂 牛逼
rtos你有点搞错了，rtos本身不难，特点不过就是代码执行时间可以预测，但是现在基本都是freeRTos和ucos的天下，华为这个东西并没有什么本质的优势。
你倒是写个本质的优势出来啊。网上遍地都是自己没本事又嫉妒人家成功的
评价冰箱，需要我会制冷么？😁
工业实时系统可没咋见过你说的这两，一般是windows加实时扩展，linux+实时扩展，vxworks或qnx😅
人才😂
主播喉咙有点沙哑啊，好好休息啊，是不是最近做节目太频繁了，不用这么拼命啊，都出国了，要好好享受生活啊
老大，想得到你的视频里的PPT，可以么👍👍👍
大殖子气的声音都变了😂
@@user-zs7nu6jk1f 咦，你不是韭菜，你
不买东西，你都靠别人扔给你
我大概2年前就明白手机鸿蒙和OPEN鸿蒙完全是两个东西，就没必要再和支持者和反对者争吵什么了，后者才是值得关注的那个鸿蒙。当然，华为还在按路线规划继续发展鸿蒙，就等着看吧，普通人关注消费者体验就好，华为的实力不用担心
bobo有气无力的语调，听上去块噶了？能不能连贯一点？
作者对小米有什么看法吗😮
嘿嘿嘿，你又懂了🎉
勃勃加油，声音没什么问题
我坐等打脸，置评为证，至于谁打谁的脸看后续
遥遥领先
你很皮
Ctrl + H 感動中國
华为承载了很多关我消费者屁事啊，这不是他去骗消费者钱的借口
小白问个问题，他跑这个liteos虚拟机有啥用，除了吹牛逼之外
可以运行一些自己的安全特性服务
可以万物实时监控
舒服多了
希特勒能走多远？ 齐奥赛思库能走多远？
大家好！我也开发出了一款具有中国特色的操作系统，它的名字叫做“牛逼”！请为我鼓掌欢呼吧! 另外说下，现在网上除了一大波别有用心和无脑跪舔的，剩下一些反对的也说不出多少所以然，像这样深入细致、客观评价有内容的视频太少了，语速什么的无所谓，又不是听朗诵，就不要吹毛求疵了。支持UP主，爱怎么说就怎么说
很喜欢花粉的一句话，余承东吹过的牛逼都实现了。
制裁是为什么？ 你来解释一下
有没有可能当初人家制裁是他基站，不是手机，而且当时被制裁也不只是他，中兴也在那份名单里面，而且华为高价低配又不是一次两次是N次，不过也就他们那群狂热爱国粉才会上车
阴阳怪气。
阴阳人啊。
为什么只会阴阳国产品牌？被制裁为什么只字不提？制裁的目的是为了全人类发展做的可笑决定？
看看国产机都内置什么吧哈哈
我懂了，hw想的14亿人的市场上，自建一个生态圈。这不得不说，敢想敢干。
一个站在巨人肩膀上拉屎的山寨王😂😂😂
linux 就是linux 扯那么鸡巴多干嘛 别搞什么新闻学了 上管子大家都是要干货而不是新闻学，直接拉代码对不就得了