紫电清霜

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

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

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

只翻译了一部分，译文如下。 并发进程共享的数据对象被称作“并发对象”。线性一致性（Linearizability）使得我们可以使用抽象数据类型来正确的描述并发对象，它还允许了较高的并行度，并允许开发者利用串行领域已知的技术，对并发对象进行阐述和推理。线性一致性给我们这样一种错觉…

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

Hello,大家好，前面给大家讲了HashMap,LinkedList,知道了HashMap为数组+单向链表，LinkedList为双向链表实现的。今天给大家介绍一个(HashMap+"LinkedList")的集合，LinkedHashMap，其中HashMap用于存储数据，…

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

网上都说学会mysql需要学会两个部分,索引和事务,其实在最近的Mysql学习过程中,我觉得应该是有三个部分的,索引,查询,事务.其中的查询主要是指查询优化即编写高效率的SQL语句. 本文记录一下学习MySQL的索引过程中的一些知识.主要为阅读《高性能MySQL》的一些理解和扩…