GeruzoniAnsasu 最近的时间轴更新
GeruzoniAnsasu

GeruzoniAnsasu

V2EX 第 153649 号会员,加入于 2015-12-31 11:52:50 +08:00
今日活跃度排名 6784
根据 GeruzoniAnsasu 的设置,主题列表只有在你登录之后才可查看
GeruzoniAnsasu 最近回复了
关键词: 形式化验证
lz 你把你的产品的 ui 前端写出来

是不需要任何成本的

画一个有名字的线框,这个线框自动生成 一个 class 代码 ,这一步是不需要任何成本的

你做了这一步了吗?




懂大家想说啥吗?
15 天前
回复了 1YsX1 创建的主题 问与答 如何解决 C++两个类需要互相引用的场景?
Tree->GetLength(Frame*) ??

为什么不能是 Tree->Frame->GetLength ?

为什么 Frame 要知道 Tree 结构的信息?
挂心内科看一下

24 小时动态血压和 24 小时心电图查一下 高血压不是看两眼就可以诊断的
20 天前
回复了 RiceMarch 创建的主题 Linux Win+ Linux 双系统到底有什么弊端和优点?
@Jirajine 我是告诉 lz 贸然装双系统风险很大,你是在试图解释风险可以通过“原理搞清楚”来避免吗?

完全可以啊,但搞清楚之前的风险呢?

bootmgr.efi 不是 standalone 的,从别的磁盘上把它 copy 过来往往是不能直接用的,bcd 也要另外生成,生成出来了也是依赖磁盘 uuid 不能移植的
grubx64.efi 也不是 standalone 的 grub 的插件,引导配置,都不在 esp 里,甚至引导配置文件在哪个位置这件事是 builtin 在 efi executable 里的。 当然你可以手动执行 grub-install 然后带上一大堆选项 build 一个带插件的 grub 并且把 grub.cfg 指到 esp 分区里这样当你只有一个 efishell 的时候还能手打 grub 命令引导起来,但前面 build grub 的这一步你猜猜没经验的我当初研究了多久?

“起个 liveCD” 说得轻巧,你只有 u 盘的时候能正确引导起来 livecd 吗?系统没了还得花钱买个 usb 光驱吗? 这些都不是 0 成本的,一个晚上能用 u 盘起起来 livcd 就很不错了
linux 用户缓缓打出一个斜杠
我记得 clang format 有选项控制是否对齐结构体的等号
21 天前
回复了 RiceMarch 创建的主题 Linux Win+ Linux 双系统到底有什么弊端和优点?
优点: 虚拟机环境有多少坑就不说了吧,3D 加速、cuda 、硬件、性能。。。

缺点:

非常容易丢数据!!



windows 的启动顺序:上电 -> 主板 efi -> windows boot manager (未知) -> windows loader(efi)
linux 的启动顺序: 上电 -> 主板 efi -> grub (efi) -> linux loader(efi) -> linux 内核
双系统的启动顺序: 上电->主板 efi-> grub (efi) -> windows boot manager (未知)-> windows loader(efi)

windows 的 boot manager 和 bcd,数据和可执行程序放在哪没几个人搞得清楚,似乎也会直接写到主板 efi 相关的 rom 里去
grub,可执行文件在 efi 分区里,配置文件在 linux 的 /boot 下,如果用默认参数安装 /boot 就是挂在 / 里,意味着启动配置文件在 linux 分区里,那么想在 windows 下编辑 grub 的启动配置,或者想卸载 linux 保留 windows 就变得非常非常困难,一旦 linux 的 rootfs 挂了 windows 也起不来了

而非常不幸的是,linux 本身非常容易莫名其妙挂掉,比如你两年没升级的 arch,心血来潮升一下,挂了。ubuntu1604,改一下源升到 1804,成功了,再改源升 2004,挂了,这种系统版本升级失败都是直接毁掉 libc 之类的基础依赖,想修想回滚都非常非常困难,至少单机不外挂系统是无法修复的。在 linux 挂掉的情况下,你想重装 linux ?或者干脆卸掉?不好意思,grub 配置文件也在里头,仔细考虑。

另外一个非常不幸的点是 bcdedit 也非常难用而且原理不明,你没法简单地 copy 一下 bcd 文件和 boot manager 的 efi 程序就能让 windows loader 正常跑起来,全中文互联网世界你都找不到 “windows 系统还在引导没了如何修复”的正确的步骤和资料。

还有一个更更不幸的点是,windows 跨版本升级时有时候会把引导重新写一遍,意味着会丢失主板 efi->grub 的流程而直接执行 windows boot manager……



没那必要。还不如开个 vps 来尝试,还有快照,还不占资源。
关于   ·   FAQ   ·   API   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   2229 人在线   最高记录 5168   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 10ms · UTC 15:31 · PVG 23:31 · LAX 08:31 · JFK 11:31
♥ Do have faith in what you're doing.