Bootstrap

redis之scan命令

Scan cursor [match pattern] [count count]

      Scan 命令及其相关的sscan命令、HSCAN命令和ZSCAN命令都用于增量的迭代(incermentally iterate)一集元素(a collection of elements):

SCAN命令用于迭代当前数据库中的数据库键。

SSCAN命令用于迭代集合键中的元素。

HSCAN命令用于迭代哈希键中的键值对。

ZSCAN命令用于迭代有序集合中的元素(包括元素成员和元素分值)

  以上列出的四个命令都支持增量式迭代它们每次执行都只会返回少量元素,所以这些命令可以用于生产环境,而不会出现像KEYS命令、SMEMBERS命令带来的问题----KEYS命令被用于处理一个的大数据库时,又或者SMEMBERS命令被用于处理一个大的集合键时,它们可能会阻塞服务器达数秒之久。

  不过,增量式迭代命令也不是没有缺点:举个例子,使用SMEMBERS命令可以返回集合键当前包含的所有元素,但是对于SCAN这类增量式迭代命令来说,因为在对键进行增量式迭代的过程中,键可能会被修改,所以增量式迭代命令只能对被返回的元素提供有限的保证(offer limited guarantees about the returned elements)

  因为SCAN,SSCAN,HSCANZSCAN四个命令的工作都非常相似,所以这个文档会一并介绍着四个命令,但是你要记住:

       SSCAN命令,HSCAN命令和ZSCAN命令的第一个参数总是一个数据库键

SCAN命令则不需要在第一个参数提供任何数据库键---因为它迭代的是当前数据库中的所有的数据库键

SCAN命令的基本用法

SCAN命令是一个基于游标的迭代器(cursor based iterator):SCAN命令每次被调用之后,都会向用户返回一个新的游标,用户在下次迭代时需要使用这个新游标作为SCAN命令的游标参数,以此来延续之前的迭代过程。

   当SCAN命令的游标参数被设置为0时,服务器将开始一个新的迭代,而当服务器向用户返回值为0的游标时,表示迭代已经结束。

命令:

redis 127.0.0.1:6379> scan 0
1) "17"
2)  1) "key:12"
    2) "key:8"
    3) "key:4"
    4) "key:14"
    5) "key:16"
    6) "key:17"
    7) "key:15"
    8) "key:10"
    9) "key:3"
    10) "key:7"
    11) "key:1"
redis 127.0.0.1:6379> scan 17
1) "0"
2) 1) "key:5"
   2) "key:18"
   3) "key:0"
   4) "key:2"
   5) "key:19"
   6) "key:13"
   7) "key:6"
   8) "key:9"
   9) "key:11"

   在上面这个例子中,第一次迭代使用 0 作为游标,表示开始一次新的迭代。

   第二次迭代使用的是第一次迭代时返回的游标,也即是命令回复第一个元素的值---17

   从上面的示例可以看到,SCAN命令的回复是一个包含两个元素的数组,第一个数组元素是用于进行下一次迭代的新游表,而第二个数组元素则是一个数组,这个数组中包含了所有被迭代的元素。

   在第二次调用SCAN命令时,命令返回了游标0,这表示迭代已经结束,整个数据集(collection)已经被完整遍历过了。

   以0作为游标开始一个新的迭代,一直调用SCAN命令,直到命令范湖游标0,我们称这个过程为一次完整遍历(full iteration)

SCAN命令的保证(guarantees)

SCAN命令,以及其他增量式迭代命令,在进行完整遍历的情况下可以为用户带来以下保证:从完整遍历开始直到完整遍历结束期间,一直存在于数据集内的所有元素都会被完整遍历返回;这意味着,如果有一个元素,它从遍历开始直到遍历结束期间都存在于被遍历的数据集当中,那么SCAN命令总会在某次迭代中将这个元素返回给用户。

然而因为增量式命令仅仅使用游标来记录迭代状态,所以这些命令带有以下缺点:

---同一个元素可能会被返回多次。处理重复元素的工作交由应用程序负责,比如 说,可以考虑将迭代返的元素仅仅用于可以安全地重复执行多次的操作上。

---如果一个元素是在迭代过程中被添加到数据集的,又或者是在迭代过程中从数据集中被删除的那么这个元素可能会被返回,也可能不会,这是未定义的(undefined)

SCAN命令每次执行返回的元素数量

增量式迭代命令并不是保证每次执行都返回某个给定数量的元素。

   增量式命令甚至可能会返回零个元素,但只要命令返回的游标不是0,应用程序就不会将迭代视作结束。

不过命令返回的元素数量总是符合一定规则的,在实际中:

a.对于一个大数据集来说,增量式迭代命令每次最多可能会返回数十个元素;

b.而对于一个足够小的数据集来说,如果这个数据集的底层表示为编码数据结构(encoded datastructure,适用于是小集合键、小哈希键和小有序集合键),那么  增量迭代命令将在一次调用中返回数据集中的所有元素。

   最后,用户可以通过增量式迭代命令提供的COUNT选项来指定每次迭代返回元素的最大值

count选项

   虽然增量式迭代命令不保证每次迭代所返回的元素数量,但我们可以使用COUNT选项,对命令的行为进行一定程度上的调整。

   基本上,COUNT选项的作用就是让用户告知迭代命令,在每次迭代中应该从数据集里返回多个元素。

         虽然COUNT选项只是对增量式迭代命令的一种提示(hint),但是在大多数情况下,这种提示都是有效的。

A.count 参数默认值为10.

B.在迭代一个足够大的、由哈希表实现的数据库、集合键、哈希键或者有序集合键  时,如果用户没有使用MATCH选项,那么命令返回的元素数量和COUNT选项指  定的一样,或者比count选项指定的数量稍多一些。

C.在迭代一个编码为整数集合(insert,一个只由整数值构成的小集合)、或者编码为压  缩列表(ziplist,由不同值构成的一个小哈希或者一个小有序集合)时,增量式迭代  命令通常会无视COUNT选项指定的值,在第一次迭代就将数据集包含的所有元  素都返回给用户。

   并非每次迭代都要使用相同的COUNT值。用户可以在每次迭代中按自己的需要随意改变COUNT值,只要记得将上次迭代返回的游标用到下次迭代里面就可以了。

match选项

   和keys命令一样,增量式迭代命令也可以通过提供一个glob风格的模式参数,让命令只返回和给定模式相匹配的元素,这一点可以通过在执行增量式迭代命令时,通过给定MATCH<pattern>参数来实现。

命令:

redis 127.0.0.1:6379> sadd myset 1 2 3 foo foobar feelsgood
(integer) 6
redis 127.0.0.1:6379> sscan myset 0 match f*
1) "0"
2) 1) "foo"
   2) "feelsgood"
   3) "foobar"

需要注意的是,对元素的模式匹配工作是在命令从数据集中取出元素之后,向客户端返回元素之前的这段时间内进行的,所以如果被迭代的数据集中只有少量元素和模式匹配,那么迭代命令或许会在多次执行中都不返回任何元素。

命令:

redis 127.0.0.1:6379> scan 0 MATCH *11*
1) "288"
2) 1) "key:911"
redis 127.0.0.1:6379> scan 288 MATCH *11*
1) "224"
2) (empty list or set)
redis 127.0.0.1:6379> scan 224 MATCH *11*
1) "80"
2) (empty list or set)
redis 127.0.0.1:6379> scan 80 MATCH *11*
1) "176"
2) (empty list or set)
redis 127.0.0.1:6379> scan 176 MATCH *11* COUNT 1000
1) "0"
2)  1) "key:611"
    2) "key:711"
    3) "key:118"
    4) "key:117"
    5) "key:311"
    6) "key:112"
    7) "key:111"
    8) "key:110"
    9) "key:113"
   10) "key:211"
   11) "key:411"
   12) "key:115"
   13) "key:116"
   14) "key:114"
   15) "key:119"
   16) "key:811"
   17) "key:511"
   18) "key:11"

如你所见,以上的大部分迭代都不返回任何元素。

   在最后一次迭代,我们通过将COUNT选项的参数设置为1000,强制命令为本次迭代扫描更多的元素,从而使得命令返回的元素也变多了。

⑥并发执行多个迭代

在同一时间,可以有任意多个客户端对同一数据集进行迭代,客户端每次迭代都需要传入一个游标,并在迭代执行之后获得一个新的游标,而在游标就包含了迭代的所有状态,因此,服务器无须为迭代记录任何状态。

⑦中途停止迭代

因为迭代的所有状态都保存在游标里面,而服务器无须为迭代保存任何状态,所以客户端可以在中途停止一个迭代,而无须对服务器进行任何的通知。即使有任意数量的迭代在中途停止,也不会产生任何问题。

⑧使用错误的游标进行增量式迭代

   使用间断的(broken)、负数、超出范围或者其他非正常的游标来执行增量式迭代并不会造成服务器的崩溃,但可能会让命令产生未定义的行为。未定义指的是,增量式命令对返回值所做的保证可能会不再为真。

只有两种游标时合法的:

----在开始一个新的迭代时,游标必须为0

----增量式迭代命令在执行之后返回的,用于延续(continue)迭代过程的游标。

⑨迭代终结的保证

   增量式迭代命令所使用的算法只能保证在数据集的大小有界(bounded)的情况下,迭代才会停止,换句话说,如果被迭代数据集的大小不断地增长的话,增量式迭代命令可能永远无法完成一次完整迭代。

从直觉上可以看出,当一个数据集不断地变大时,想要访问这个数据集中的所有元素就需要做越来越多的工作,能够结束一个迭代取决于用户执行迭代的速度是否比数据集增长的速度更快。

可用版本:

>= 2.8.0

时间复杂度:

增量式迭代命令每次执行的复杂度为 O(1) , 对数据集进行一次完整迭代的复杂度为 O(N) ,其中 N 为数据集中的元素数量。

返回值:

SCAN 命令、 SSCAN 命令、 HSCAN 命令和 ZSCAN 命令都返回一个包含两个元素的 multi-bulk 回复: 回复的第一个元素是字符串表示的无符号 64 位整数(游标), 回复的第二个元素是另一个 multi-bulk 回复, 这个 multi-bulk 回复包含了本次被迭代的元素。

SCAN 命令返回的每个元素都是一个数据库键。

SSCAN 命令返回的每个元素都是一个集合成员。

HSCAN 命令返回的每个元素都是一个键值对,一个键值对由一个键和一个值组成。

ZSCAN 命令返回的每个元素都是一个有序集合元素,一个有序集合元素由一个成员(member)和一个分值(score)组成。

 

 

;