源代码

编程书籍/文档

assembly

cpp

go

rust

linux

文件系统

调优诊断

火焰图

SystemTap

分布式原理

DHT/数据分布

database

mysql

canssandra

clickhouse

数据结构

  • Spin 一个形式化验证多线程数据结构的工具
  • 优化的 LRU 算法：Outperforming LRU with an Adaptive Replacement Cache Algorithm
  • 各种数据结构的可视化展示
  • Dynamic-Sized-Nonblocking-Hash-Tables, PPT 一种支持动态调整 bucket 大小，存储元素无限制的并发哈希表，但是其 bucket 层面可以做到 lockfree，但是 bucket 内部需要采用其他数据结构保证 lockfree。
  • Log Structured Merge Tree 介绍Log Structured Merge Tree的历史以及原理。
  • 现代数据库背后的算法 主要介绍 B-TREE 和 LSM 算法，并进行对比。哈佛大学的 DASlab(Data System Laboratory)研究员总结数据库系统三个关键优化因子是：read overhead(read optimized)，update overhead(write optimized)和memory overhead(space optimized)，简称RUM，对于一个数据库系统，最多只能将其中一项优化到极致，即另两项必须付出代价，比如 LSM，追求写优化(所以操作都是顺序写，更新操作效率高)，就得付出读放大、空间放大的代价（写放大来自于compaction，是优化读性能的代价）。

API 设计

数学理论

工具

Search

    Table of Contents