时间:2021-07-01 10:21:17 帮助过:7人阅读
用来构造cache派生类对象,并返回派生类指针。那么cache的派生类究竟是什么呢?很容易在cache.cc中发现了ShardedLRUCache类,继承自cache,这是leveldb缓冲区算法的默认实现。
- <code class=" hljs cs">ShardedLRUCache成员变量
- <span class="hljs-keyword">static</span> <span class="hljs-keyword">const</span> <span class="hljs-keyword">int</span> kNumShardBits = <span class="hljs-number">4</span>;
- <span class="hljs-keyword">static</span> <span class="hljs-keyword">const</span> <span class="hljs-keyword">int</span> kNumShards = <span class="hljs-number">1</span> << kNumShardBits;
- <span class="hljs-keyword">private</span>:
- LRUCache shard_[kNumShards]; <span class="hljs-comment">//暂时不明</span>
- port::Mutex id_mutex_; <span class="hljs-comment">//互斥锁</span>
- uint64_t last_id_; <span class="hljs-comment">//不明</span></code>
LRUCache的实现我们暂且不知道,但看起来ShardedLRUCache应该是一个封装类,真正的cache是LRUCache,而且是16个。先看ShardedLRUCache函数:
- <code class=" hljs cpp"> <span class="hljs-comment">//返回key的hash值</span>
- <span class="hljs-keyword">static</span> <span class="hljs-keyword">inline</span> uint32_t HashSlice(<span class="hljs-keyword">const</span> Slice& s) {
- <span class="hljs-keyword">return</span> Hash(s.data(), s.size(), <span class="hljs-number">0</span>);
- }
- <span class="hljs-comment">//取hash的前四位</span>
- <span class="hljs-keyword">static</span> uint32_t Shard(uint32_t hash) {
- <span class="hljs-keyword">return</span> hash >> (<span class="hljs-number">32</span> - kNumShardBits);
- }
- <span class="hljs-keyword">public</span>:
- <span class="hljs-comment">//构造ShardedLRUCache对象,初始化LRUCache成员变量</span>
- <span class="hljs-comment">//设置容量,并且容量和16对齐</span>
- <span class="hljs-keyword">explicit</span> ShardedLRUCache(size_t capacity)
- : last_id_(<span class="hljs-number">0</span>) {
- <span class="hljs-keyword">const</span> size_t per_shard = (capacity + (kNumShards - <span class="hljs-number">1</span>)) / kNumShards;
- <span class="hljs-keyword">for</span> (<span class="hljs-keyword">int</span> s = <span class="hljs-number">0</span>; s < kNumShards; s++) {
- shard_[s].SetCapacity(per_shard);
- }
- }
- <span class="hljs-keyword">virtual</span> ~ShardedLRUCache() { }
- <span class="hljs-comment">//插入操作</span>
- <span class="hljs-comment">//先取key的hash值 HashSlice(key),hash值得前四位(Shard(hash))决定key所在的LRUCache数组</span>
- <span class="hljs-comment">//将key插入shard_[Shard(hash)]</span>
- <span class="hljs-keyword">virtual</span> Handle* Insert(<span class="hljs-keyword">const</span> Slice& key, <span class="hljs-keyword">void</span>* value, size_t charge,
- <span class="hljs-keyword">void</span> (*deleter)(<span class="hljs-keyword">const</span> Slice& key, <span class="hljs-keyword">void</span>* value)) {
- <span class="hljs-keyword">const</span> uint32_t hash = HashSlice(key);
- <span class="hljs-keyword">return</span> shard_[Shard(hash)].Insert(key, hash, value, charge, deleter);
- }
- <span class="hljs-comment">//查找操作,和插入过程操作逻辑一样</span>
- <span class="hljs-keyword">virtual</span> Handle* Lookup(<span class="hljs-keyword">const</span> Slice& key) {
- <span class="hljs-keyword">const</span> uint32_t hash = HashSlice(key);
- <span class="hljs-keyword">return</span> shard_[Shard(hash)].Lookup(key, hash);
- }
- <span class="hljs-keyword">virtual</span> <span class="hljs-keyword">void</span> Release(Handle* handle) {
- LRUHandle* h = <span class="hljs-keyword">reinterpret_cast</span><LRUHandle*>(handle);
- shard_[Shard(h->hash)].Release(handle);
- }
- <span class="hljs-keyword">virtual</span> <span class="hljs-keyword">void</span> Erase(<span class="hljs-keyword">const</span> Slice& key) {
- <span class="hljs-keyword">const</span> uint32_t hash = HashSlice(key);
- shard_[Shard(hash)].Erase(key, hash);
- }
- <span class="hljs-keyword">virtual</span> <span class="hljs-keyword">void</span>* Value(Handle* handle) {
- <span class="hljs-keyword">return</span> <span class="hljs-keyword">reinterpret_cast</span><LRUHandle*>(handle)->value;
- }
- <span class="hljs-keyword">virtual</span> uint64_t NewId() {
- MutexLock l(&id_mutex_);
- <span class="hljs-keyword">return</span> ++(last_id_);
- }</code>
从ShardedLRUCache的成员函数,我们还是获得了很多关于ShardedLRUCache的信息。ShardedLRUCache是一个封装类,真正的cache是LRUCache数组,ShardedLRUCache完成的操作就是计算key的hash值,并以hash值得高四位决定key所在的LRUCache数组,然后调用LRUCache的函数完成cache操作。
- <code class=" hljs lasso">LRUCache:
- <span class="hljs-comment">// Initialized before use.</span>
- size_t capacity_; <span class="hljs-comment">//容量</span>
- <span class="hljs-comment">// mutex_ protects the following state.</span>
- port<span class="hljs-tag">::Mutex</span> mutex_; <span class="hljs-comment">//互斥锁</span>
- size_t usage_; <span class="hljs-comment">//使用量</span>
- <span class="hljs-comment">// Dummy head of LRU list.</span>
- <span class="hljs-comment">// lru.prev is newest entry, lru.next is oldest entry.</span>
- LRUHandle lru_; <span class="hljs-comment">//不明</span>
- HandleTable table_; <span class="hljs-comment">//不明</span>
- LRUCache成员变量如上,再看看LRUCache的函数
- <span class="hljs-comment">//删除e节点</span>
- <span class="hljs-literal">void</span> LRUCache<span class="hljs-tag">::LRU_Remove</span>(LRUHandle<span class="hljs-subst">*</span> e) {
- e<span class="hljs-subst">-></span>next<span class="hljs-subst">-></span>prev <span class="hljs-subst">=</span> e<span class="hljs-subst">-></span>prev;
- e<span class="hljs-subst">-></span>prev<span class="hljs-subst">-></span>next <span class="hljs-subst">=</span> e<span class="hljs-subst">-></span>next;
- }
- <span class="hljs-comment">//附加e节点</span>
- <span class="hljs-literal">void</span> LRUCache<span class="hljs-tag">::LRU_Append</span>(LRUHandle<span class="hljs-subst">*</span> e) {
- <span class="hljs-comment">// Make "e" newest entry by inserting just before lru_</span>
- <span class="hljs-comment">//添加的新节点在lru_之前</span>
- e<span class="hljs-subst">-></span>next <span class="hljs-subst">=</span> <span class="hljs-subst">&</span>lru_;
- e<span class="hljs-subst">-></span>prev <span class="hljs-subst">=</span> lru_<span class="hljs-built_in">.</span>prev;
- e<span class="hljs-subst">-></span>prev<span class="hljs-subst">-></span>next <span class="hljs-subst">=</span> e;
- e<span class="hljs-subst">-></span>next<span class="hljs-subst">-></span>prev <span class="hljs-subst">=</span> e;
- }
- <span class="hljs-comment">//查找操作</span>
- <span class="hljs-comment">//table_保存着key所在handle的指针信息</span>
- <span class="hljs-comment">//查找完要把handle提到链表的最前面,是一种为了高效查找的策略</span>
- <span class="hljs-keyword">Cache</span><span class="hljs-tag">::Handle</span><span class="hljs-subst">*</span> LRUCache<span class="hljs-tag">::Lookup</span>(const Slice<span class="hljs-subst">&</span> key, uint32_t hash) {
- MutexLock l(<span class="hljs-subst">&</span>mutex_);
- LRUHandle<span class="hljs-subst">*</span> e <span class="hljs-subst">=</span> table_<span class="hljs-built_in">.</span>Lookup(key, hash);
- <span class="hljs-keyword">if</span> (e <span class="hljs-subst">!=</span> <span class="hljs-built_in">NULL</span>) {
- e<span class="hljs-subst">-></span>refs<span class="hljs-subst">++</span>;
- LRU_Remove(e);
- LRU_Append(e);
- }
- <span class="hljs-keyword">return</span> reinterpret_cast<span class="hljs-subst"><</span><span class="hljs-keyword">Cache</span><span class="hljs-tag">::Handle</span><span class="hljs-subst">*></span>(e);
- }</code>
可以确定,LRUCache封装了一个LRUHandle链表的信息,lru_是这个链表的头结点,table_是一个辅助定位链表中各LRUHandle节点的结构。
LRUHandle结构体:
下面我们终于来到了cache的最底层,LRUHandle结构真正包含了所缓冲的数据
- <code class=" hljs cpp"><span class="hljs-keyword">struct</span> LRUHandle {
- <span class="hljs-comment">//value数据</span>
- <span class="hljs-keyword">void</span>* value;
- <span class="hljs-comment">//delete函数指针</span>
- <span class="hljs-keyword">void</span> (*deleter)(<span class="hljs-keyword">const</span> Slice&, <span class="hljs-keyword">void</span>* value);
- <span class="hljs-comment">//下面就是关于LRUHandle链表的实现</span>
- <span class="hljs-comment">//可以看明的有key的hash值</span>
- <span class="hljs-comment">//key的数据</span>
- LRUHandle* next_hash;
- LRUHandle* next;
- LRUHandle* prev;
- size_t charge; <span class="hljs-comment">// TODO(opt): Only allow uint32_t?</span>
- size_t key_length;
- uint32_t refs;
- uint32_t hash; <span class="hljs-comment">// Hash of key(); used for fast sharding and comparisons</span>
- <span class="hljs-keyword">char</span> key_data[<span class="hljs-number">1</span>]; <span class="hljs-comment">// Beginning of key</span>
- <span class="hljs-comment">//取出所缓冲的数据</span>
- Slice key() <span class="hljs-keyword">const</span> {
- <span class="hljs-comment">// For cheaper lookups, we allow a temporary Handle object</span>
- <span class="hljs-comment">// to store a pointer to a key in "value".</span>
- <span class="hljs-keyword">if</span> (next == <span class="hljs-keyword">this</span>) {
- <span class="hljs-keyword">return</span> *(<span class="hljs-keyword">reinterpret_cast</span><Slice*>(value));
- } <span class="hljs-keyword">else</span> {
- <span class="hljs-keyword">return</span> Slice(key_data, key_length);
- }
- }
- };</code>
节点的定义我们看完了,链表的操作我们还是要回到上层LRUCache去体会。
在ShardedLRUCache中我们知道插入一个key是要通过hash值决定key所在的LRUCache数组,之后把key交给数组中相应的LRUCache对象处理,这就调用了
LRUCache::Insert函数
- <code class=" hljs cpp">Cache::Handle* LRUCache::Insert(
- <span class="hljs-keyword">const</span> Slice& key, uint32_t hash, <span class="hljs-keyword">void</span>* value, size_t charge,
- <span class="hljs-keyword">void</span> (*deleter)(<span class="hljs-keyword">const</span> Slice& key, <span class="hljs-keyword">void</span>* value)) {
- <span class="hljs-comment">//插入需要上锁</span>
- MutexLock l(&mutex_);
- <span class="hljs-comment">//构建一个新的LRUHandle节点</span>
- LRUHandle* e = <span class="hljs-keyword">reinterpret_cast</span><LRUHandle*>(
- <span class="hljs-built_in">malloc</span>(<span class="hljs-keyword">sizeof</span>(LRUHandle)-<span class="hljs-number">1</span> + key.size()));
- <span class="hljs-comment">//指定新节点的信息</span>
- <span class="hljs-comment">//value值</span>
- e->value = value;
- <span class="hljs-comment">//key,value的delete函数,可以自定义</span>
- e->deleter = deleter;
- e->charge = charge;
- <span class="hljs-comment">//key的hash、长度等</span>
- e->key_length = key.size();
- e->hash = hash;
- e->refs = <span class="hljs-number">2</span>; <span class="hljs-comment">// One from LRUCache, one for the returned handle</span>
- <span class="hljs-built_in">memcpy</span>(e->key_data, key.data(), key.size());
- <span class="hljs-comment">//将新节点追加到链表中</span>
- LRU_Append(e);
- usage_ += charge;
- <span class="hljs-comment">//把新链表加入的信息传递给table,在table中登记新节点的信息</span>
- LRUHandle* old = table_.Insert(e);
- <span class="hljs-keyword">if</span> (old != NULL) {
- LRU_Remove(old);
- Unref(old);
- }
- <span class="hljs-comment">//加入新节点后,如果超出LRUCache的设定容量,就删除最旧的节点</span>
- <span class="hljs-comment">//新节点都是在头节点前</span>
- <span class="hljs-keyword">while</span> (usage_ > capacity_ && lru_.next != &lru_) {
- LRUHandle* old = lru_.next;
- LRU_Remove(old);
- table_.Remove(old->key(), old->hash);
- Unref(old);
- }
- <span class="hljs-keyword">return</span> <span class="hljs-keyword">reinterpret_cast</span><Cache::Handle*>(e);
- }</code>
注:Cache::Handle是一个空结构,没有任何成员,也并不会实例化,因为毫无意义。它的存在只是为了做一个指针,是LRUCache中很多函数的返回类型。
现在整个cache的结构和实现就基本已经讲完了,只剩一个存有LRUHandle节点信息、辅助查找的HandleTable没有介绍,但这并不妨碍我们画出cache的结构图,如下:(图片来源自网络)
Cache类是一个抽象类,调用全局函数NewLRUCache返回一个SharedLRUCache派生类对象,SharedLRUCache包含一个LRUCache数组,这么做是因为levelDB是多线程的,每个线程访问缓冲区的时候都会将缓冲区锁住,为了多线程访问尽可能快速,减少锁开销,ShardedLRUCache内部有16个LRUCache,这样就可以同时访问这十六个cache区。而LRUCache本身维护了一个双向链表,链表的节点为LRUHandle,LRUHandle放有key-value的数据。
HandleTable:
- <code class=" hljs cs"> <span class="hljs-keyword">private</span>:
- // The table consists of an array of buckets <span class="hljs-keyword">where</span> each bucket <span class="hljs-keyword">is</span>
- // a linked list of cache entries that hash <span class="hljs-keyword">into</span> the bucket.
- uint32_t length_; <span class="hljs-comment">//头节点个数</span>
- uint32_t elems_; <span class="hljs-comment">//hash表中元素个数</span>
- LRUHandle** list_; <span class="hljs-comment">//指针链表</span></code>
HandleTable的实现就是数组实现的hash表,数组中放置LRUHandle指针,根据key的hash值与hash表大小的余数定位key在hash表中的位置,而leveldb使用链表的方式解决竞争问题。每组链表的节点就是LRUCache里的节点,只不过在这里,链表的后向指针是每个LRUHandle对象的next_hash成员,即leveldb是对写进LRUCache的节点做了一次重新排列。这样的策略是相当聪明的,只用了一个指针数组何在节点中添加一个后向指针成员就完成了帮助快速查找的hash表。
- <code class=" hljs coffeescript">LRUHandle** FindPointer(<span class="hljs-reserved">const</span> Slice& key, uint32_t hash) {
- <span class="hljs-regexp">//</span>hash值得求余
- LRUHandle** ptr = &list_[hash & (length_ - <span class="hljs-number">1</span>)];
- <span class="hljs-regexp">//</span>利用next_hash指针便利这个链表,对比节点的hash值、key
- <span class="hljs-keyword">while</span> (*ptr != NULL &&
- <span class="hljs-function"><span class="hljs-params">((*ptr)->hash != hash || key != (*ptr)->key())</span>) {
- <span class="hljs-title">ptr</span> = &<span class="hljs-params">(*ptr)</span>-></span>next_hash;
- }
- <span class="hljs-keyword">return</span> ptr;
- }</code>
这是一个利用handletable查找key的函数。
插入操作:
- <code class=" hljs lasso">LRUHandle<span class="hljs-subst">*</span> Insert(LRUHandle<span class="hljs-subst">*</span> h) {
- <span class="hljs-comment">//插入操作</span>
- <span class="hljs-comment">//在handletable中查找key</span>
- <span class="hljs-comment">//没有则增加新节点,有则取代老节点</span>
- <span class="hljs-comment">//老节点的删除在上层LRUCache::Insert中完成</span>
- LRUHandle<span class="hljs-subst">**</span> ptr <span class="hljs-subst">=</span> FindPointer(h<span class="hljs-subst">-></span>key(), h<span class="hljs-subst">-></span>hash);
- LRUHandle<span class="hljs-subst">*</span> old <span class="hljs-subst">=</span> <span class="hljs-subst">*</span>ptr;
- h<span class="hljs-subst">-></span>next_hash <span class="hljs-subst">=</span> (old <span class="hljs-subst">==</span> <span class="hljs-built_in">NULL</span> <span class="hljs-subst">?</span> <span class="hljs-built_in">NULL</span> : old<span class="hljs-subst">-></span>next_hash);
- <span class="hljs-subst">*</span>ptr <span class="hljs-subst">=</span> h;
- <span class="hljs-comment">//元素计数elems_更新</span>
- <span class="hljs-comment">//元素过多,需要resize hash表,增添新的链表</span>
- <span class="hljs-keyword">if</span> (old <span class="hljs-subst">==</span> <span class="hljs-built_in">NULL</span>) {
- <span class="hljs-subst">++</span>elems_;
- <span class="hljs-keyword">if</span> (elems_ <span class="hljs-subst">></span> length_) {
- <span class="hljs-comment">// Since each cache entry is fairly large, we aim for a small</span>
- <span class="hljs-comment">// average linked list length (<= 1).</span>
- Resize();
- }
- }
- <span class="hljs-keyword">return</span> old;
- }</code>
hash表过大时,就要对hash表resize操作:
- <code class=" hljs axapta"><span class="hljs-keyword">void</span> Resize() {
- <span class="hljs-comment">//重新选定hash表的大小,也就是链表的个数</span>
- uint32_t new_length = <span class="hljs-number">4</span>;
- <span class="hljs-keyword">while</span> (new_length < elems_) {
- new_length *= <span class="hljs-number">2</span>;
- }
- <span class="hljs-comment">//申请链表头结点指针数组</span>
- LRUHandle** new_list = <span class="hljs-keyword">new</span> LRUHandle*[new_length];
- memset(new_list, <span class="hljs-number">0</span>, sizeof(new_list[<span class="hljs-number">0</span>]) * new_length);
- <span class="hljs-comment">//因为链表数量变了,所以依据hash值定位链表hash & (new_length - 1)结果变了</span>
- <span class="hljs-comment">//原先头结点在数组中的位置变了</span>
- uint32_t <span class="hljs-keyword">count</span> = <span class="hljs-number">0</span>;
- <span class="hljs-keyword">for</span> (uint32_t i = <span class="hljs-number">0</span>; i < length_; i++) {
- LRUHandle* h = list_[i];
- <span class="hljs-keyword">while</span> (h != NULL) {
- LRUHandle* next = h->next_hash;
- uint32_t hash = h->hash;
- LRUHandle** ptr = &new_list[hash & (new_length - <span class="hljs-number">1</span>)];
- h->next_hash = *ptr;
- *ptr = h;
- h = next;
- <span class="hljs-keyword">count</span>++;
- }
- }
- <span class="hljs-comment">//删除原有链表头结点指针数组</span>
- <span class="hljs-comment">//更新handletable数据</span>
- assert(elems_ == <span class="hljs-keyword">count</span>);
- delete[] list_;
- list_ = new_list;
- length_ = new_length;
- }</code>
如果table中的链表数不变,那随着缓存的key越来越多,每个链表的长度就会逐渐增加,会带来查寻效率的底下。新建一个拥有更多元素的hash表很有必要,resize意味着原有的所有节点都要在旧的链表中联系要被打断,建立新的联系。
版权声明:本文为博主原创文章,未经博主允许不得转载。
leveldb学习:Cache
标签:leveldb cache