七個原則

  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 不好玩的開發模式。

Sorted Set 類型及操作

sorted set 是 set 的一個升級版本, 它在 set 的基礎上增加了一個順序屬性,這一屬性在添加修改元素的時候可以指定,每次指定后, zset 會自動重新按新的值調整順序。可以理解為有兩列的 mysql 表,一列存 value,一列存順序。操作中 key 理解為 zset 的名字。

和 set 一樣 sorted set 也是 string 類型元素的集合,不同的是每個元素都會關聯一個 double類型的 score。sorted set 的實現是 skip list 和 hash table 的混合體。

當元素被添加到集合中時,一個元素到 score 的映射被添加到 hash table 中,所以給定一個元素獲取 score 的開銷是 O(1),另一個 score 到元素的映射被添加到 skip list,并按照 score 排序,所以就可以有序的獲取集合中的元素。添加,刪除操作開銷都是 O(log(N))和 skip list 的開銷一致,redis 的 skip list 實現用的是雙向鏈表,這樣就可以逆序從尾部取元素。 sorted set 最經常的使用方式應該是作為索引來使用.我們可以把要排序的字段作為 score 存儲,對象的 id 當元素存儲。、

常用命令及操作

zadd

向名稱為 key 的 zset 中添加元素 member, score 用于排序。如果該元素已經存在,則根據score 更新該元素的順序。

127.0.0.1:6379> zadd myzset 1 Jacob
(integer) 1
127.0.0.1:6379> zadd myzset 2 Jacob2
(integer) 1
127.0.0.1:6379> zadd myzset 3 Jacob2
(integer) 0
127.0.0.1:6379> zrange myzset 0 -1 withscores
1) "Jacob"
2) "1"
3) "Jacob2"
4) "3"
zrem

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

127.0.0.1:6379> zrem myzset Jacob2
(integer) 1
127.0.0.1:6379> zrange myzset 0 -1 withscores
1) "Jacob"
2) "1"
zincrby

如果在名稱為 key 的 zset 中已經存在元素 member,則該元素的 score 增加 increment;否則向集合中添加該元素,其 score 的值為 increment。

127.0.0.1:6379> zrange myzset 0 -1 withscores
1) "Jacob"
2) "1"
127.0.0.1:6379> zincrby myzset 2 Jacob
"3"
127.0.0.1:6379> zrange myzset 0 -1 withscores
1) "Jacob"
2) "3"
zrank

返回名稱為 key 的 zset 中 member 元素的排名(按 score 從小到大排序)即下標。

127.0.0.1:6379> zrange myzset 0 -1 withscores
1) "Jacob2"
2) "1"
3) "Jacob3"
4) "2"
5) "Jacob"
6) "3"
127.0.0.1:6379> zrank myzset Jacob3
(integer) 1

Jacob3 的下標是 1,我這里取的是下標,而不是 score 。

zrevrank

返回名稱為 key 的 zset 中 member 元素的排名(按 score 從大到小排序)即下標。

127.0.0.1:6379> zrange myzset 0 -1 withscores
1) "Jacob2"
2) "1"
3) "Jacob3"
4) "2"
5) "Jacob"
6) "3"
127.0.0.1:6379> zrevrank myzset Jacob3
(integer) 1
zrevrange

返回名稱為 key 的 zset(按 score 從大到小排序)中的 index 從 start 到 end 的所有元素。

127.0.0.1:6379> zrevrange myzset 0 -1 withscores
1) "Jacob"
2) "3"
3) "Jacob3"
4) "2"
5) "Jacob2"
6) "1"
zrangebyscore

返回集合中 score 在給定區間的元素。

127.0.0.1:6379> zrangebyscore myzset 2 3 withscores
1) "Jacob3"
2) "2"
3) "Jacob"
4) "3"
zcount

返回集合中 score 在給定區間的數量。

127.0.0.1:6379> zcount myzset 1 3
(integer) 3
127.0.0.1:6379> zcount myzset 1 2
(integer) 2
zcard

返回集合中元素個數。

127.0.0.1:6379> zrange myzset 0 -1 withscores
1) "Jacob2"
2) "1"
3) "Jacob3"
4) "2"
5) "Jacob"
6) "3"
127.0.0.1:6379> zcard myzset
(integer) 3
zscore

返回給定元素對應的 score 。

127.0.0.1:6379> zrange myzset 0 -1 withscores
1) "Jacob2"
2) "1"
3) "Jacob3"
4) "2"
5) "Jacob"
6) "3"
127.0.0.1:6379> zscore myzset Jacob
"3"
zremrangebyrank

從小到大排序,刪除集合中排名在給定區間的下標元素。

127.0.0.1:6379> zrange myzset 0 -1 withscores
1) "Jacob2"
2) "1"
3) "Jacob3"
4) "2"
5) "Jacob"
6) "3"
127.0.0.1:6379> zscore myzset Jacob
"3"
127.0.0.1:6379> zremrangebyrank myzset 2 2
(integer) 1
127.0.0.1:6379> zrange myzset 0 -1 withscores
1) "Jacob2"
2) "1"
3) "Jacob3"
4) "2"
zremrangebyscore

從小到大排序,刪除集合中 score 在給定區間的元素。

127.0.0.1:6379> zrange myzset 0 -1 withscores
1) "Jacob2"
2) "1"
3) "Jacob3"
4) "2"
127.0.0.1:6379> zremrangebyscore myzset 2 3
(integer) 1
127.0.0.1:6379> zrange myzset 0 -1 withscores
1) "Jacob2"
2) "1"