std::chrono in plain words, part 2
上一篇主要介绍了chrono中的核心duration, 这篇继续介绍基于duration延伸出的若干概念:
Recent Posts
HyperLogLog in plain words
沉迷于优化器ing…
std::chrono in plain words, part 1
之前断断续续使用过chrono中的方法, 对于其中的概念总是一知半解, 导致每次查cppreference总是抓不到重点. 这次就试着用直白的语言, 描述下chrono的概念和原理. 这一篇主要着重于介绍chrono的核心, duration.
Counting, Enumerating, and Sampling of Execution Plans in a Cost-Based Query Optimizer
最近补了一些优化器相关的背景知识，今天分享一篇论文Counting, Enumerating, and Sampling of Execution Plans in a Cost-Based Query Optimizer.pdf (sigmodrecord.org)。这个paper基于Volcano和Casca...
Differences between SMR mechanisms
Hazard pointer vs shared_ptr
写在2023年春节前
每次想要说些什么，但在动笔时总是苍白无力。
Hazard pointer, part II
能否有足够工程能力将理论算法变现？
Hazard pointer, part I
断更太久，实在是最近太忙… 焦头烂额ing
Snapshot Isolation in TLA+
坦率来说，这次入坑TLA+的主要目的就是为了能够试着验证快照隔离。啃了大半本Practical TLA+，看了不少其他人的例子，自己也尝试写了些spec，仍然只能说勉强入门了。在网上能找到的大多数事务相关的spec都是TLA+直接实现的，目前对于我来说未免还是太困难了点。因此这篇文章，会通过TLA+的伪代码语言P...
Conflict Serializability and View Serializability
最近在看SnapshotIsolation的形式化验证，学习到了两个新概念Conflict Serializability和View Serializability。回顾下可串行化：多个事务执行的结果和这些事务按某种串行执行的结果相同。然后我们分别看下这两种串行化的概念。