​四个月前分手后, 我的朋友跟我聊天结束时, 他就推荐我看一部电影, 《花束般的恋爱》, 说很适合我. 这两天又有另一位朋友推荐我看这个电影, 也说很适合我. 我这两天就去看了. 电影也不是很老的, 是21年的, 讲的就是标准的恋爱三段式: 相遇, 热恋, 长时间的消耗导致的和平分手. 虽然很多地方跟我的经历不相符, 但是也有一些片段让我觉得编剧在偷窥我的生活, 比如我也是买了switch,...

想去hk办银行卡的念头已经有了两三个月了, 但是昨天才终于去了.

6月的时候, 我的高中朋友群里一群人想撮合一个自习室, 暑假一起自习. 他们中大多是二战的, 也有备战雅思的, 我虽然已经保研了, 但是我也想着如果位置够的话, 我也去凑个热闹. 因为之前听科科说他之前暑假跟朋友们一起租的房子当自习室, 一个月一个人才两百大洋, 我觉得挺划算.

现在是2023年的6月23日凌晨0点16分, 距离我踏入西电大门已经过去了1398天, 距离我离开西电只剩下7天. 一方面觉得我的博客上又是一段时间没写东西了, 正值该毕业的时候, 也该写点什么了; 另一方面觉得我四年的大学生活虽然不能说叫波澜壮阔, 也算是有不少值得纪念的东西, 该写下来记着的.

西电毕业设计要求翻译1万词的参考文献, 本着不做无用功的的态度就翻译了一篇之前一直没来及细看的论文.

Understand the understandable consensus algorithm.

直接介绍Raft的每一部分干什么, 然后直接告诉你这样是对的未免太无趣了, 不如来更深层次的观察一下Raft.

这篇文章可以说是鸽了一年了, 一年前我在做6.824的lab的时候就觉得, 虽然我理解了raft每一步要干什么, 但是我不理解为什么要这样做, 或者如果不这样做会发生什么事情, 以及为什么这样做就可以保证强一致性.

这几天终于有时间重新来整理一下, 重新仔细读一下raft的论文.

这个游记其实是从7月初, 准确地说应该是2022年7月4日, 中间一直断断续续的写, 一直到今天, 也就是2023年1月15日, 才算正式把它写完. 这篇文章因为写的时候跨度比较长, 所以也可以从我的文笔, 或者语气什么的看出我在这段时间对一些事的看法(能吗), 并且有时候写文章的日期跟写的这件事发生的日子其实差距挺大, 所以我会把每一段发生的事日期标注起来的同时, 标注出写这段文字时的日期...

如果按照第一天只有其他症状不发烧来算的话, 今天应该是我渡劫第三天. 早上起来并没有预期的喉咙如咽刀片一般, 只是感觉有点冷, 有点想燃起来的样子. 随后吃了一粒布洛芬缓释. 虽然有人说布洛芬缓释的退热效果一般, 主要是用来止痛的, 但是今天它的效果却意料之外的好, 早上吃了一粒之后一整天都没什么发热的迹象, 一直到现在才刚刚有点头晕. 问了一个同在西安感染的朋友, 他说他是第四天嗓子才会剧...

条件变量, 哲学家吃饭

条件变量

条件变量用在一个线程需要一直等待一个条件满足后在执行.

比如下面这段代码就是等待count==n满足之后再继续执行.

即使用上了互斥锁, 不用自旋锁, 也是有个类似自旋的过程的:

好家伙, 我已经三个多月没写东西啦!

最近两天先写点基础的, 这两天在看jyy的操作系统课和6.S081, 恶补一下操作系统的知识.

过几天写一下这个学期一直在研究的分布式系统, Raft啥的.