A Primer on Memory Consistency and Cache Coherence 书籍信息 链接 A Primer on Memory Consistency and Cache Coherence (豆瓣) (douban.com) 作者 题材/主题 我为什么读这本书？ 学习memory order 阅读前问题 阅读中问题 阅读时的思考 主要内容 本文提到的其他书籍 评价 优点 缺点 Chap1 Introduction to Consistency and Coherence Consistency的定义提供了load和store的规则以及它们如何作用于内存。 ...
Quotient Filter
quotient filter(QF)不存储原始的key，而是存储原始key的指纹，因此在指纹冲突时，无法区分key是否真的存在，此时也会false positive。论文中硬冲突定义为指纹冲突，软冲突定义为指纹不同但是商相同。 ...
simple-sqlite源码笔记
https://github.com/madushadhanushka/simple-sqlite 是从sqlite 2.5.0 抽取出的核心逻辑，适合用来学习sqlite的后端实现，如 如何实现page buffer 如何实现基于磁盘的B树 如何通过rollback journaling来实现事务支持和crash recovery page buffer bool page和pager实现 先看page的实现。 ...
BoltDB源码笔记
BoltDB 受LMDB启发，是基于append only B+ tree实现的KV存储。 page实现 boltdb没有实现自己的page buffer管理器，而是直接用mmap来从磁盘读取page。page的大小和OS的内存页大小相同。 ...
论文笔记：PacificA: Replication in Log-Based Distributed Storage Systems
Authors: Mao Yang, Wei Lin Created: November 26, 2022 8:29 PM PublishedAt: MSR-TR-2008-25 Tags: distributed-system URL: https://www.microsoft.com/en-us/research/wp-content/uploads/2008/02/tr-2008-25.pdf Year: 2008 Summary 论文提出了一种基于日志的分布式存储系统实现方式，将复制组的成员管理和数据复制解耦开来，前者使用配置管理器（如Paxos）来管理，后者使用primary/backup机制：主节点接收到客户端的写请求后，将其复制到所有的从节点后再向客户端发送响应；在强一致性模式下只有主节点会处理读请求；数据管理节点最多可以容忍n-1个节点失败。 ...