紫电清霜

MIT 6.824 Lab 4 爆肝笔记和心得体会 （凑字数凑字数凑字数凑字数凑字数凑字数凑字数）

使用单机内存作缓存，Redis 维护版本号，解决 DB 缓存一致性问题。附带 TLA+ 形式化验证代码

Linearizability and Raft 线性一致性（Linearizablity）是一种判断并发系统正确性的标准，其形式化的定义与证明在 TOPLAS 1990 的论文 Linearizab

Pessimistic Lock: Aquire the lock before all RW of records Hold all the locks until tx is committed

shutdown(fd, SHUT_WR) 触发发送 FIN 报文，而 SHUT_RD 不发送。 shutdown(fd, SHUT_WR) 即单方面关闭写传送，本端 shutdown 后进入 FIN_WAIT 状态，仍可继续 recv 接收数据；对端收到 FIN 报文后立即返…

网上似乎找不到解释清楚嵌套 namespace 解析规则的官方或非官方文档。 此文章的所有解释性内容都来自从运行结果归纳，而非从源码逻辑演绎。更可靠的做法是阅读 gcc 源码 https://gcc.gnu.org/git.html （目测挺难的……） C++ 将嵌套 name…

需要将 mysql 数据导入 hive。先按网上教程安装 sqoop，尝试连接 mysql，程序抛出异常（果然 hadoop 家族所有成员，从安装配置到运行，没一个让人省心的） 咋回事呢？Stackoverflow 找到了类似问题（https://stackoverflow.c…

布隆过滤器是为解决在海量数据中检索是否存在而设计的数据结构。 理想情况下，n位bitmap可以容纳$2^n$个元素，已有元素较多时false positive几率大大增加。 假设bitmap长度为$m$，现有$k$个hash函数，并且对输入域的任意元素，hash得到的值在$[0…

Systemd 是 Linux 系统工具，用来启动守护进程，已成为大多数发行版的标配。 过去 Linux 启动一直采用init进程。下面的命令用来启动 apache2 服务 启动脚本复杂，init进程只是执行启动脚本，不管其他事情。脚本需要自己处理各种情况，使得脚本变得又臭又长…