Distributed lock - part 3
前两篇我们大概讲述了分布式锁的原理和实现，以及围绕Redlock展开的争论。那么这一篇，我们会用TLA+描述一个简单的分布式锁，以及Martin Kleppmann提出的Fencing Token能否解决NPC（Network delay, Process pause, Clock drift）导致分布式锁共识失...
Recent Posts
Distributed lock - part 2
书接前文，看大牛们怎么理解分布式锁？
Distributed lock - part 1
最近看了一些关于分布式锁的文章，很有意思，进行一下总结梳理。今天这一篇，我们会聚焦于为什么需要分布式锁，分布式锁能够保证什么，以及常见的分布式锁实现方式。
Parking lot - yet another futex
Parking lot vs Futex?
DuckDB Runtime
大致总结了下DuckDB的执行流程。注意全文中算子和Operator是同义词。
Why compare_exchange_weak fail spuriously?
重新理解compare_exchange操作。
小鸭子惨死记
上周末带可可去了一趟玉渊潭，看到了让我难忘的一幕。
Dynamic Filter
What is dynamic filter?
Velox lifecycle
目前项目里采用了类似Velox的运行框架，其中出现了特别多问题。这里会总结Velox中最重要的三个类Task，Driver，Operator的生命周期。
RocksDB options management
RocksDB无数参数的管理办法.