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啥的.

半夜想写一点东西.

https://codeforces.com/contest/1623/problem/D

最近在跟队友复健cf, 三个人开黑vp, 感觉状态还是不太行.

这题感觉还挺有意思, 还没过的时候就想如果真的是这样做的一定要写篇文章记录一下, 然而这题是元旦过的, 我现在才开始写, 拖延症晚期了属于是.