七個原則

  1. Redis 是一個操作數據結構的語言工具,它提供基于 TCP 的協議以操作豐富的數據結構。在 Redis 中,數據結構這個詞的意義不僅表示在某種數據結構上的操作,更包括了結構本身及這些操作的時間空間復雜度。
  2. Redis 定位于一個內存數據庫,正是由于內存的快速訪問特性,才使得 Redis 能夠有如此高的性能,才使得 Redis 能夠輕松處理大量復雜的數據結構, Redis 會嘗試其它的存儲方面的選擇,但是永遠不會改變它是一個內存數據庫的角色。
  3. Redis 使用基礎的 API 操作基礎的數據結構, Redis 的 API 與數據結構一樣,都是一些最基礎的元素,你幾乎可以將任何信息交互使用此 API 格式表示。作者調侃說,如果有其它非人類的智能生物存在,他們也能理解 Redis 的 API。因為它是如此的基礎。
  4. Redis 有著詩一般優美的代碼,經常有一些不太了解 Redis 有的人會建議 Redis 采用一些其它人的代碼,以實現一些 Redis 未實現的功能,但這對我們來說就像是非要給《紅樓夢》接上后四十回一樣。
  5. Redis 始終避免復雜化,我們認為設計一個系統的本質,就是與復雜化作戰。我們不會為了一個小功能而往源碼里添加上千行代碼,解決復雜問題的方法就是讓復雜問題永遠不要提復雜的問題。
  6. Redis 支持兩個層成的 API,第一個層面包含部分操作 API,但它支持用于分布式環境下的 Redis。第二個層面的 API 支持更復雜的 multi-key 操作。它們各有所長,但是我們不會推出兩者都支持的 API,但我們希望能夠提供實例間數據遷移的命令,并執行 multi-key 操作。
  7. 我們以優化代碼為樂,我們相信編碼是一件辛苦的工作,唯一對得起這辛苦的就是去享受它。如果我們在編碼中失去了樂趣,那最好的解決辦法就是停下來。我們決不會選擇讓 Redis 不好玩的開發模式。

sets 類型及操作

set 是集合,和我們數學中的集合概念相似,對集合的操作有添加刪除元素,有對多個集合求交并差等操作, 操作中 key 理解為集合的名字。

set 的是通過 hash table 實現的,所以添加、刪除和查找的復雜度都是 O(1)。 hash table 會隨著添加或者刪除自動的調整大小。需要注意的是調整 hash table 大小時候需要同步(獲取寫鎖)會阻塞其他讀寫操作,可能不久后就會改用跳表(skip list)來實現,跳表已經在 sortedset 中使用了。關于 set 集合類型除了基本的添加刪除操作,其他有用的操作還包含集合的取并集(union),交集(intersection),差集(difference)。通過這些操作可以很容易的實現 sns 中的好友推薦和 blog 的 tag 功能。

常用命令

sadd

向名稱為 key 的 set 中添加元素。

127.0.0.1:6379> sadd myset Jacob
(integer) 1
127.0.0.1:6379> sadd myset Jacob2
(integer) 1
127.0.0.1:6379> sadd myset Jacob
(integer) 0
127.0.0.1:6379> smembers myset
1) "Jacob2"
2) "Jacob"

我們向 myset 中添加了三個元素,但由于第三個元素跟第二個元素是相同的,所以第三個元素沒有添加成功,最后我們用 smembers 來查看 myset 中的所有元素。

srem

刪除名稱為 key 的 set 中的元素。

127.0.0.1:6379> smembers myset
1) "Jacob2"
2) "Jacob"
127.0.0.1:6379> srem myset Jacob
(integer) 1
127.0.0.1:6379> srem myset Jacob
(integer) 0

調用 srem 來刪除 Jacob,前面操作刪除成功,但由于 Jacob 已經被刪除了,所以此條 srem 命令執行失敗。

spop

隨機返回并刪除名稱為 key 的 set 中一個元素

127.0.0.1:6379> smembers myset
1) "Jacob3"
2) "Jacob4"
3) "Jacob2"
4) "Jacob5"
127.0.0.1:6379> spop myset
"Jacob5"
127.0.0.1:6379> spop myset
"Jacob3"

調用 spop 來刪除元素,可以看到每次刪除都是隨機的。

sdiff

返回所有給定 key 與第一個 key 的差集

127.0.0.1:6379> smembers myset
1) "Jacob4"
2) "Jacob2"
127.0.0.1:6379> smembers myset2
1) "Jacob2"
2) "Jacob"
127.0.0.1:6379> sdiff myset myset2
1) "Jacob4"

可以看到 myset 中的的元素與 myset2 中不同的只有 Jacob4。

sdiffstore

返回所有給定 key 與第一個 key 的差集,并將結果存為另一個 key。

127.0.0.1:6379> smembers myset
1) "Jacob3"
2) "Jacob2"
127.0.0.1:6379> smembers myset2
1) "Jacob2"
2) "Jacob"
127.0.0.1:6379> smembers myset3
1) "Jacob3"
2) "Jacob4"
127.0.0.1:6379> sdiffstore myset4 myset myset2 myset3
(integer) 0
127.0.0.1:6379> sdiffstore myset myset2 myset3 
(integer) 2
127.0.0.1:6379> smembers myset
1) "Jacob"
2) "Jacob2"
127.0.0.1:6379> smembers myset2
1) "Jacob2"
2) "Jacob"
127.0.0.1:6379> smembers myset3
1) "Jacob3"
2) "Jacob4"
sinter

返回所有給定 key 的交集。

127.0.0.1:6379> smembers myset
1) "Jacob"
2) "Jacob2"
127.0.0.1:6379> smembers myset2
1) "Jacob2"
2) "Jacob"
127.0.0.1:6379> sinter myset myset2
1) "Jacob"
2) "Jacob2"
sinterstore

返回所有給定 key 的交集,并將結果存為另一個 key。

127.0.0.1:6379> smembers myset
1) "Jacob"
2) "Jacob2"
127.0.0.1:6379> smembers myset2
1) "Jacob2"
2) "Jacob"
127.0.0.1:6379> sinterstore myset4 myset myset2
(integer) 2
127.0.0.1:6379> smembers myset4
1) "Jacob2"
2) "Jacob"
sunion

返回所有給定 key 的并集。

127.0.0.1:6379> smembers myset2
1) "Jacob2"
2) "Jacob"
127.0.0.1:6379> smembers myset3
1) "Jacob3"
2) "Jacob4"
127.0.0.1:6379> sunion myset2 myset3
1) "Jacob3"
2) "Jacob4"
3) "Jacob"
4) "Jacob2"
sunionstore

返回所有給定 key 的并集,并將結果存為另一個 key。

127.0.0.1:6379> smembers myset2
1) "Jacob2"
2) "Jacob"
127.0.0.1:6379> smembers myset3
1) "Jacob3"
2) "Jacob4"
127.0.0.1:6379> sunionstore myset6 myset3 myset3
(integer) 2
127.0.0.1:6379> smembers myset6
1) "Jacob3"
2) "Jacob4"
smove

從第一個 key 對應的 set 中移除 member 并添加到第二個對應 set 中。

127.0.0.1:6379> smembers myset2
1) "Jacob2"
2) "Jacob"
127.0.0.1:6379> smove myset2 myset7 Jacob
(integer) 1
127.0.0.1:6379> smembers myset7
1) "Jacob"
scard

返回名稱為 key 的 set 的元素個數。

127.0.0.1:6379> scard myset
(integer) 2

myset 的成員數量為 1。

sismember

測試 member 是否是名稱為 key 的 set 的元素。

127.0.0.1:6379> smembers myset
1) "Jacob"
2) "Jacob2"
127.0.0.1:6379> sismember myset Jacob
(integer) 1
127.0.0.1:6379> sismember myset Jacob3
(integer) 0
srandmember

隨機返回名稱為 key 的 set 的一個元素,但是不刪除元素。

127.0.0.1:6379> smembers myset
1) "Jacob"
2) "Jacob2"
127.0.0.1:6379> srandmember myset
"Jacob"
127.0.0.1:6379> srandmember myset
"Jacob"
127.0.0.1:6379> srandmember myset
"Jacob2"