dlyxy's recent timeline updates dlyxy's recent timeline updates |
dlyxyV2EX member #91763, joined on 2015-01-14 14:07:07 +08:00Today's activity rank 5011 |
zouyonghao.github.io
| vibe 了一个 Mac 面板 分享创造 • dlyxy • Oct 14 |
| 距离 arm 黑苹果 似乎不远了 macOS • dlyxy • Sep 15 • Lastly replied by qweruiop | 17 |
| AI 让 Linux 变得真正可用了 Linux • dlyxy • Oct 10 • Lastly replied by huangmingyou | 23 |
| M1 以后黑苹果还有前途吗 macOS • dlyxy • Mar 31, 2021 • Lastly replied by misaka20 | 30 |
| 想配台电脑，同时玩一下黑苹果 硬件 • dlyxy • Sep 30, 2015 • Lastly replied by cqcn1991 | 51 |
dlyxy's recent replies
5 days ago Replied to a topic by imchuncai › 程序员 › 《拒绝最终一致性的脏读陷阱： Umem-cache 强一致性实现原理》 |
似乎是在试图重新发明 Raft ？
1. Raft 里有 ReadIndex
2. 你的方案中，"向领导者请求认证权威" 这一步在脑裂情况下会有问题，旧的 leader 短时间内可能还会认为自己是合法 leader 。Raft 里的方案是：在读时向过半数的 follower 确认自己仍是 leader 。
对于自己设计的算法，一个好的方法是让 AI 用形式化验证帮你证明一下 serializability/linearizability ，尤其是在换主、过半数断连、脑裂等情况下。
1. Raft 里有 ReadIndex
2. 你的方案中，"向领导者请求认证权威" 这一步在脑裂情况下会有问题，旧的 leader 短时间内可能还会认为自己是合法 leader 。Raft 里的方案是：在读时向过半数的 follower 确认自己仍是 leader 。
对于自己设计的算法，一个好的方法是让 AI 用形式化验证帮你证明一下 serializability/linearizability ，尤其是在换主、过半数断连、脑裂等情况下。
Oct 26 Replied to a topic by AsukaShen › 生活 › 反思了下，原来我是个黄毛 |
@AsukaShen 你这句倒装证明了你的山东人身份 hhhh
Sep 22 Replied to a topic by fallimmortal › 程序员 › openai 今天是不是不正常？ |
变慢+1 ，这种还不如直接停用，至少知道出了问题。
Sep 17 Replied to a topic by jkfadsljlasdgs › OpenAI › codex 要重置就每周都重置，偏偏这周我早早蹬完了，没奶了 |
用完了就休息休息，反正 AI 短时间内写的代码已经可能是之前一周的工作量了，剩下时间吸收消化一下。
Sep 13 Replied to a topic by dlyxy › macOS › 距离 arm 黑苹果 似乎不远了 |
@ostrichb 应该是 arm 的，我看第一个图里显示的是 m1 mac.
Aug 12 Replied to a topic by dlyxy › Linux › AI 让 Linux 变得真正可用了 |
@Curio 感觉桌面环境下各种小问题还是非常多的
Mar 26 Replied to a topic by jarryli › Claude Code › Claude Code 最近风控力度加大，太容易封账号了，已经连续封了 3 个了 |
aws 试一下?
Feb 22 Replied to a topic by spongeboBoy › 生活 › 给我恶心坏了 -- 过年糟心事 |
@ovtfkw 这只是导火索，前面还有无数小事的积累
Dec 26, 2025 Replied to a topic by kuanat › Linux › Linux 漫谈（二） |
感谢分享。
我们 lab 最近也在思考和实现 简化内核设计 以及 通过很多不破坏隔离性的措施，把一些东西放进内核。比如通过用 Rust 实现一些东西以及形式化方法验证等等。但当前有很多绕过内核的机制，比如 DPDK ，SPDK 等等，把东西在内核态实现似乎好处又没有那么多，不知道大家有什么想法。
我们 lab 最近也在思考和实现 简化内核设计 以及 通过很多不破坏隔离性的措施，把一些东西放进内核。比如通过用 Rust 实现一些东西以及形式化方法验证等等。但当前有很多绕过内核的机制，比如 DPDK ，SPDK 等等，把东西在内核态实现似乎好处又没有那么多，不知道大家有什么想法。
Nov 17, 2025 Replied to a topic by daxiaolian › 阅读 › 最近闲来没事，有啥推荐看的小说？ |
其实 B 站讲历史的视频可以当小说看的，比如风云南北朝
Select Language