Yuanguo's Blog

LevelDB中Table是一个比较复杂的结构。Block负责有序kv-pair的存储、查询及迭代；Table利用Block构造上一层的结构，包含Data Block, Index Block, Filter Block等，并管理这些Block之间的关系。本篇记录这些琐碎细节。

Linux中用户态程序总是preemptible的，内核使用clock tick中断用户态程序切换到别的线程，不用等待用户态程序主动放弃CPU。但在Kernel Preemption被引入之前，一个线程进入内核态，不放弃CPU也不返回用户态就能一直占用CPU。直到linux 2.6才引入Kernel Preemption。本文的主要目的是介绍Linux的三种Kernel Preemption模式。但介绍Voluntary Preemption的时候，也需要把might_sleep搞清楚。

本文基于linux kernel 3.19.8版本梳理一下读文件的过程，从vfs开始，到发送请求给block层结束。

应用程序可以通过posix_fadvise()来告诉内核访问文件的模式，建议内核如何进行IO以达到最优性能（如名字所示，它仅仅是一个建议或期望，内核不承诺遵守）。可用的模式有：POSIX_FADV_NORMAL，POSIX_FADV_SEQUENTIAL，POSIX_FADV_RANDOM，POSIX_FADV_NOREUSE，POSIX_FADV_WILLNEED，POSIX_FADV_DONTNEED。本文看一看它们的行为。

Rust中Option使用细节。

BatchSystem是TiKV实现multi-raft的基石，本文介绍BatchSystem的实现。BatchSystem本身是一个抽象出来的通用的模块，不牵涉业务逻辑（multi-raft），方便单独介绍。

Rust中match随处可见，但是其中有一些细节值得注意：被match的对象可以是值也可以是引用，pattern可以是值也可以是引用，这就有4种组合，各自是什么行为呢？

Block层的请求在device的queue里会发生reorder与merge以提高效率，然而，在进入device的queue之前也会做同样的努力，这就是plug机制。

本篇研究一个具体问题：block device stack中，如何避免递归。

简单介绍megaraid。