一、簡介和應用
Redis是一個由ANSI C語言編寫，效能優秀、支援網路、可持久化的K-K記憶體資料庫，並提供多種語言的API。它常用的型別主要是 String、List、Hash、Set、ZSet 這5種。
String：快取、限流、計數器、分散式鎖、分散式Session
Hash：儲存使用者資訊、使用者主頁訪問量、組合查詢
List：微博關注人時間軸列表、簡單佇列
Set：贊、踩、標籤、好友關係
Zset：排行榜
再比如電商在大促銷時，會用一些特殊的設計來保證系統穩定，扣減庫存可以考慮如下設計：
通過上面的應用場景可以看出Redis是非常高效和穩定的，那Redis底層是如何實現的呢？
二、Redis的物件redisObject
當我們執行set hello world命令時，會有以下資料模型：
sds：鍵key“hello”是以SDS（簡單動態字串）儲存，後面詳細介紹。
redisObject：值val“world”儲存在redisObject中。實際上，redis常用5中型別都是以redisObject來儲存的；而redisObject中的type欄位指明瞭Value物件的型別，ptr欄位則指向物件所在的地址。
redisObject物件非常重要，Redis物件的型別、內部編碼、記憶體回收、共享物件等功能，都需要redisObject支援。這樣設計的好處是，可以針對不同的使用場景，對5中常用型別設定多種不同的資料結構實現，從而優化物件在不同場景下的使用效率。
無論是dictEntry物件，還是redisObject、SDS物件，都需要記憶體分配器（如jemalloc）分配記憶體進行儲存。jemalloc作為Redis的預設記憶體分配器，在減小記憶體碎片方面做的相對比較好。比如jemalloc在64位系統中，將記憶體空間劃分為小、大、巨大三個範圍；每個範圍內又劃分了許多小的記憶體塊單位；當Redis儲存資料時，會選擇大小最合適的記憶體塊進行儲存。
前面說過，Redis每個物件由一個redisObject結構表示，它的ptr指標指向底層實現的資料結構，而資料結構由encoding屬性決定。比如我們執行以下命令得到儲存“hello”對應的編碼：
字串物件的底層實現可以是int、raw、embstr（上面的表對應有名稱介紹）。embstr編碼是通過呼叫一次記憶體分配函式來分配一塊連續的空間，而raw需要呼叫兩次。
簡單動態字串（SDS），這種結構更像C++的String或者Java的ArrayList，長度動態可變：
struct sdshdr {
// buf 中已佔用空間的長度
int len;
// buf 中剩餘可用空間的長度
int free;
// 資料空間
char buf[]; // ’\0’空字元結尾
};
複製程式碼get：sdsrange---O(n) set：sdscpy—O(n) create：sdsnew---O(1) len：sdslen---O(1)
常數複雜度獲取字串長度：因為SDS在len屬性中記錄了長度，所以獲取一個SDS長度時間複雜度僅為O(1)。
預空間分配：如果對一個SDS進行修改，分為一下兩種情況：
1、SDS長度（len的值）小於1MB，那麼程式將分配和len屬性同樣大小的未使用空間，這時free和len屬性值相同。舉個例子，SDS的len將變成15位元組，則程式也會分配15位元組的未使用空間，SDS的buf陣列的實際長度變成15+15+1=31位元組（額外一個位元組使用者儲存空字元）。
2、SDS長度（len的值）大於等於1MB，程式會分配1MB的未使用空間。比如進行修改之後，SDS的len變成30MB，那麼它的實際長度是30MB+1MB+1byte。
惰性釋放空間：當執行sdstrim（擷取字串）之後，SDS不會立馬釋放多出來的空間，如果下次再進行拼接字串操作，且拼接的沒有剛才釋放的空間大，則那些未使用的空間就會排上用場。通過惰性釋放空間避免了特定情況下操作字串的記憶體重新分配操作。
杜絕緩衝區溢位：使用C字串的操作時，如果字串長度增加（如strcat操作）而忘記重新分配記憶體，很容易造成緩衝區的溢位；而SDS由於記錄了長度，相應的操作在可能造成緩衝區溢位時會自動重新分配記憶體，杜絕了緩衝區溢位。
四、List
List物件的底層實現是quicklist（快速列表，是ziplist 壓縮列表 和linkedlist 雙端連結串列 的組合）。Redis中的列表支援兩端插入和彈出，並可以獲得指定位置（或範圍）的元素，可以充當陣列、佇列、棧等。
typedef struct listNode {
// 前置節點
struct listNode *prev;
// 後置節點
struct listNode *next;
// 節點的值
void *value;
} listNode;
typedef struct list {
// 表頭節點
listNode *head;
// 表尾節點
listNode *tail;
// 節點值複製函式
void *(*dup)(void *ptr);
// 節點值釋放函式
void (*free)(void *ptr);
// 節點值對比函式
int (*match)(void *ptr, void *key);
// 連結串列所包含的節點數量
unsigned long len;
} list;
複製程式碼rpush: listAddNodeHead ---O(1) lpush: listAddNodeTail ---O(1) push: listInsertNode ---O(1) index : listIndex ---O(N) pop: ListFirst/listLast ---O(1) llen: listLength ---O(N)
4.1 linkedlist（雙端連結串列）
此結構比較像Java的LinkedList，有興趣可以閱讀一下原始碼。
與雙端連結串列相比，壓縮列表可以節省記憶體空間，但是進行修改或增刪操作時，複雜度較高；因此當節點數量較少時，可以使用壓縮列表；但是節點數量多時，還是使用雙端連結串列划算。
4.2 ziplist（壓縮列表）
當一個列表鍵只包含少量列表項，且是小整數值或長度比較短的字串時，那麼redis就使用ziplist（壓縮列表）來做列表鍵的底層實現。
五、Hash
Hash物件的底層實現可以是ziplist（壓縮列表）或者hashtable（字典或者也叫雜湊表）。
hashtable雜湊表可以實現O(1)複雜度的讀寫操作，因此效率很高。原始碼如下：
typedef struct dict {
// 型別特定函式
dictType *type;
// 私有資料
void *privdata;
// 雜湊表
dictht ht[2];
// rehash 索引
// 當 rehash 不在進行時，值為 -1
int rehashidx; /* rehashing not in progress if rehashidx == -1 */
// 目前正在執行的安全迭代器的數量
int iterators; /* number of iterators currently running */
} dict;
typedef struct dictht {
// 雜湊表陣列
dictEntry **table;
// 雜湊表大小
unsigned long size;
// 雜湊表大小掩碼，用於計算索引值
// 總是等於 size - 1
unsigned long sizemask;
// 該雜湊表已有節點的數量
unsigned long used;
} dictht;
typedef struct dictEntry {
void *key;
union {void *val;uint64_t u64;int64_t s64;} v;
// 指向下個雜湊表節點，形成連結串列
struct dictEntry *next;
} dictEntry;
typedef struct dictType {
// 計算雜湊值的函式
unsigned int (*hashFunction)(const void *key);
// 複製鍵的函式
void *(*keyDup)(void *privdata, const void *key);
// 複製值的函式
void *(*valDup)(void *privdata, const void *obj);
// 對比鍵的函式
int (*keyCompare)(void *privdata, const void *key1, const void *key2);
// 銷燬鍵的函式
void (*keyDestructor)(void *privdata, void *key);
// 銷燬值的函式
void (*valDestructor)(void *privdata, void *obj);
} dictType;
複製程式碼上面原始碼可以簡化成如下結構：
Redis中的字典使用hashtable作為底層實現的話，每個字典會帶有兩個雜湊表，一個平時使用，另一個僅在rehash（重新雜湊）時使用。隨著對雜湊表的操作，鍵會逐漸增多或減少。為了讓雜湊表的負載因子維持在一個合理範圍內，Redis會對雜湊表的大小進行擴充套件或收縮（rehash），也就是將ht【0】裡面所有的鍵值對分多次、漸進式的rehash到ht【1】裡。
六、Set
Set集合物件的底層實現可以是intset（整數集合）或者hashtable（字典或者也叫雜湊表）。
typedef struct intset {
// 編碼方式
uint32_t encoding;
// 集合包含的元素數量
uint32_t length;
// 儲存元素的陣列
int8_t contents[];
} intset;
複製程式碼sadd: intsetAdd---O(1) smembers: intsetGetO(1)---O(N) srem: intsetRemove---O(N) slen: intsetlen ---O(1) intset底層實現為有序，無重複陣列儲存集合元素。 intset這個結構裡的整數陣列的型別可以是16位的，32位的，64位的。如果陣列裡所有的整數都是16位長度的，如果新加入一個32位的整數，那麼整個16的陣列將升級成一個32位的陣列。升級可以提升intset的靈活性，又可以節約記憶體，但不可逆。
7.ZSet
ZSet有序集合物件底層實現可以是ziplist（壓縮列表）或者skiplist（跳躍表）。
typedef struct zskiplist {
// 表頭節點和表尾節點
struct zskiplistNode *header, *tail;
// 表中節點的數量
unsigned long length;
// 表中層數最大的節點的層數
int level;
} zskiplist;
typedef struct zskiplistNode {
// 成員物件
robj *obj;
// 分值
double score;
// 後退指標
struct zskiplistNode *backward;
// 層
struct zskiplistLevel {
// 前進指標
struct zskiplistNode *forward;
// 跨度---前進指標所指向節點與當前節點的距離
unsigned int span;
} level[];
} zskiplistNode;
複製程式碼zadd---zslinsert---平均O(logN), 最壞O(N) zrem---zsldelete---平均O(logN), 最壞O(N) zrank--zslGetRank---平均O(logN), 最壞O(N)