论文阅读（５）：ｋａｍｌ

KAML: A Flexible, High-Performance Key-Value SSD

Yanqin Jin 加利福尼亚大学，北卡罗来纳州立大学

摘要：现代ｓｓｄ只开放给主机程序一个块ｉｏ的接口，资源没有充分利用。有很多尝试去用针对键值的接口以及内部的事务机制实现提升，但实现的并不好。ＫＡＭＬ：ｋｅｙ－ａｄｄｒｅｓｓａｂｌｅ，ｍｕｌｔｉ－ｌｏｇ。将数据存储为变长记录而不是固定记录。同时，暴露一个ｋｖ的接口可以减少应用与ｓｓｄ之间的导向层。ＫＡＭＬ也提供了内部事务支持，适应细粒度的锁而不是之前的ｐａｇｅ－ｌｅｖｅｌ的锁。ＫＡＭＬ包括了与ｐａｇｅｃａｃｈｅ相似的缓存层，利用了主机内存。

性能指标：与现存的ｋｖ存储相比，ＯＬＴＰ（在线事务处理）提高了１．１ｘ－４ｘ。

ｉｎｔｒｏｄｕｃｔｉｏｎ：

现存ｋｖ接口的提议的问题：

１、对ｓｓｄ内部所有ｋｖ对提供单一，共享的映射，使得所有应用的ｋｖ映射都必须使用一致的策略。

２．这个策略止于ｓｓｄ，而没有考虑其他的存储设备。尤其是，不提供缓存功能。

３．在原子写上，他们提供事务的ｐａｇｅｌｅｖｅｌ的原子更新，与应用需求不符。

ＫＡＭＬ要对内部ｆｌａｓｈ存储单元进行管理？那不就做固件去了么。内部多ｃｈａｎｎｅｌ的ｉｏ并行性。

主要工作：在商业可用的ｓｓｄ参考设计上进行扩展，并实现了主机端的缓存层。

 

ｍｏｔｉｖａｔｉｏｎ　ａｎｄ　ｂａｃｋｇｒｏｕｎｄ：

ｆｌａｓｈ　ｍｅｍｏｒｙ　ａｎｄ　ｓｓｄ：

闪存的一些用到的特性：

１．ｒｅａｄ，ｐｒｏｇｒａｍ，ｅｒａｓｅ粒度不同，延迟不同

ｒｅａｄ　１００微妙，ｐｒｏｇｒａｍ　１００－２０００微妙，ｅｒａｓｅ几毫秒。

ｐｅ寿命不同，且不能原址更新，所以有了ＦＴＬ层，从逻辑地址映射到物理地址。其中包括ＧＣ，ｗｅａｒ　ｌｅｖｅｌ。运行在ｓｓｄ内部处理器以及ＤＲＡＭ上。

ＦＴＬ实现：

现代ＦＴＬ的两个特点，逻辑物理地址映射，ｇｃ功能。

每个闪存页有部分叫做ＯＯＢ（ｏｕｔ　ｏｆ　ｂａｎｄ）区域存储映射，ｇｃ，纠错的需要的元信息。通常大小在１２８－２５６Ｂ。

ＳＳＤ中的事务：

ＫＡＭＬ在ｓｓｄ中提供原生的持久性和原子性。而让应用实现一致性和隔离性。

ｓｓｄ支持页级别的原子写，ＣＯＷ。

ＫＡＭＬ系统实现：

使用新式的ＦＴＬ设计，提供事务性的，键值接口。

接口提供命名空间概念，可以隔离不同应用。

１．ｋｅｙ，ｖａｌｕｅ，ｎａｍｅｓｐａｃｅ

ｋｅｙ　６４ｂｙｔｅ，ｖａｌｕｅ变长，意味着可以存储任何种类的对象。例如，传统的４ｋＢ的ｐａｇｅ文件系统，可以转换成ｋｖ形式，地址作为ｋｅｙ，４ＫＢ的ｐａｇｅ作为ｖａｌｕｅ。

ｋｖ接口减少一层映射：ｋｅｙ－ｐｐｎ

传统：ｋｅｙ－ｌｂａ－ｐｐｎ

２．原子性和持久性

３．细粒度锁

４．缓存层

因为ＫＡＭＬ为ｋｖ接口，所以需要与之前不一样的缓存设计。而且要实现事物的隔离性。

ｃａｃｈｅ层使用ｎａｍｅｓｐａｃｅｉｄ和ｋｅｙ作为ｈａｓｈ的ｓｏｕｒｃｅ，寻找是否ｈｉｔ。事务提交时，将ｃａｃｈｅ回写到ｓｓｄ。

事务管理器一致性使用的是ＳＳ２ＰＬ（强严格二阶段锁）

ＸＣＢ（ｔｒａｎｓａｃｔｉｏｎ　ｃｏｎｔｒｏｌ　ｂｌｏｃｋ）的状态机如下

 

ＸＣＢ是事务管理器用来管理事务状态的结构体

ＫＡＭＬ实现：

硬件架构：在ｎｖｍｅｓｓｄ商业开发板上实现了ＫＡＭＬ。

 

 

命名空间管理：

ＫＡＭＬ把每个ｆｌａｓｈｔａｒｇｅｔ当做一个ｌｏｇ。每次ｐｕｔ，ａｐｐｅｎｄ到ｌｏｇ最后，并更新ｋｅｙ与ｌｏｃａｔｉｏｎ的映射关系。每个命名空间对应多个ｌｏｇ提升了局部性，相应提高了垃圾回收的性能。当然这种对应关系是动态可变的。

每个ｐａｇｅ分为６４个固定的ｃｈｕｎｋ，每个ｒｅｃｏｒｄ会记录起始ｃｈｕｎｋ，结束ｃｈｕｎｋ。

映射表：

原始映射表只有一张，无法提供命名空间，而且ＬＢＡ概念狭隘，只能代表数据的连续ｂｌｏｃｋ地址空间，无法代表用户的ｋｅｙ。