使用 lua 配置 neovim
发表于
更新于
使用 io_uring 实现 echo server
发表于
更新于
使用 io_uring 打印文本
发表于
更新于
hdu 1542
发表于
更新于
hdu 1542 线段树+扫描线
传送门:http://acm.hdu.edu.cn/showproblem.php?pid=1542
Linux Mint 20 Xfce 上车后要做的一千零一件事情
发表于
更新于
CASPaxos 实现
发表于
更新于
周末按照 CASPaxos 的论文尝试实现了一下这个算法,CASPaxos 算法本身没有什么困难的地方,Paxos + CAS,主要是算法上几个要点:
- prepare/accept 完全和 Paxos 一样,state+value 作为一个 Paxos 算法中的 value 传递。
- 对于一个空值,proposer choose value 和 Paxos 相同,对于一个非空值,proposer 认为 prepare 最终状态满足期望状态时,依然可以 choose value。
- 新 value 成功写入后,不能认为新 value 就是当前状态的 value,必须有 read 操作才能确定。
- read 也要有 accept 步骤的,否则会脏读。
一个 MySQL 问题
发表于
更新于
Edit Distance
发表于
更新于
gh60 hhkb sw1345 小记
发表于
更新于