]>
Commit | Line | Data |
---|---|---|
84ec6706 | 1 | #include "redis.h" |
2 | ||
3 | /* ----------------------------------------------------------------------------- | |
7ffa248c | 4 | * Helpers and low level bit functions. |
84ec6706 | 5 | * -------------------------------------------------------------------------- */ |
6 | ||
84ec6706 | 7 | /* This helper function used by GETBIT / SETBIT parses the bit offset arguemnt |
8 | * making sure an error is returned if it is negative or if it overflows | |
9 | * Redis 512 MB limit for the string value. */ | |
10 | static int getBitOffsetFromArgument(redisClient *c, robj *o, size_t *offset) { | |
11 | long long loffset; | |
12 | char *err = "bit offset is not an integer or out of range"; | |
13 | ||
14 | if (getLongLongFromObjectOrReply(c,o,&loffset,err) != REDIS_OK) | |
15 | return REDIS_ERR; | |
16 | ||
17 | /* Limit offset to 512MB in bytes */ | |
18 | if ((loffset < 0) || ((unsigned long long)loffset >> 3) >= (512*1024*1024)) | |
19 | { | |
20 | addReplyError(c,err); | |
21 | return REDIS_ERR; | |
22 | } | |
23 | ||
24 | *offset = (size_t)loffset; | |
25 | return REDIS_OK; | |
26 | } | |
27 | ||
7ffa248c | 28 | /* Count number of bits set in the binary array pointed by 's' and long |
29 | * 'count' bytes. The implementation of this function is required to | |
30 | * work with a input string length up to 512 MB. */ | |
31 | long popcount(void *s, long count) { | |
32 | long bits = 0; | |
d12a68d4 | 33 | unsigned char *p; |
34 | uint32_t *p4 = s; | |
7ffa248c | 35 | static const unsigned char bitsinbyte[256] = {0,1,1,2,1,2,2,3,1,2,2,3,2,3,3,4,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,4,5,5,6,5,6,6,7,5,6,6,7,6,7,7,8}; |
36 | ||
c19bfe9f | 37 | /* Count bits 16 bytes at a time */ |
38 | while(count>=16) { | |
39 | uint32_t aux1, aux2, aux3, aux4; | |
40 | ||
41 | aux1 = *p4++; | |
42 | aux2 = *p4++; | |
43 | aux3 = *p4++; | |
44 | aux4 = *p4++; | |
45 | count -= 16; | |
46 | ||
47 | aux1 = aux1 - ((aux1 >> 1) & 0x55555555); | |
48 | aux1 = (aux1 & 0x33333333) + ((aux1 >> 2) & 0x33333333); | |
49 | aux2 = aux2 - ((aux2 >> 1) & 0x55555555); | |
50 | aux2 = (aux2 & 0x33333333) + ((aux2 >> 2) & 0x33333333); | |
51 | aux3 = aux3 - ((aux3 >> 1) & 0x55555555); | |
52 | aux3 = (aux3 & 0x33333333) + ((aux3 >> 2) & 0x33333333); | |
53 | aux4 = aux4 - ((aux4 >> 1) & 0x55555555); | |
54 | aux4 = (aux4 & 0x33333333) + ((aux4 >> 2) & 0x33333333); | |
55 | bits += ((((aux1 + (aux1 >> 4)) & 0x0F0F0F0F) * 0x01010101) >> 24) + | |
56 | ((((aux2 + (aux2 >> 4)) & 0x0F0F0F0F) * 0x01010101) >> 24) + | |
57 | ((((aux3 + (aux3 >> 4)) & 0x0F0F0F0F) * 0x01010101) >> 24) + | |
58 | ((((aux4 + (aux4 >> 4)) & 0x0F0F0F0F) * 0x01010101) >> 24); | |
d12a68d4 | 59 | } |
60 | /* Count the remaining bytes */ | |
61 | p = (unsigned char*)p4; | |
7ffa248c | 62 | while(count--) bits += bitsinbyte[*p++]; |
63 | return bits; | |
64 | } | |
65 | ||
66 | /* ----------------------------------------------------------------------------- | |
67 | * Bits related string commands: GETBIT, SETBIT, BITCOUNT, BITOP. | |
68 | * -------------------------------------------------------------------------- */ | |
69 | ||
70 | #define BITOP_AND 0 | |
71 | #define BITOP_OR 1 | |
72 | #define BITOP_XOR 2 | |
73 | #define BITOP_NOT 3 | |
74 | ||
84ec6706 | 75 | /* SETBIT key offset bitvalue */ |
76 | void setbitCommand(redisClient *c) { | |
77 | robj *o; | |
78 | char *err = "bit is not an integer or out of range"; | |
79 | size_t bitoffset; | |
80 | int byte, bit; | |
81 | int byteval, bitval; | |
82 | long on; | |
83 | ||
84 | if (getBitOffsetFromArgument(c,c->argv[2],&bitoffset) != REDIS_OK) | |
85 | return; | |
86 | ||
87 | if (getLongFromObjectOrReply(c,c->argv[3],&on,err) != REDIS_OK) | |
88 | return; | |
89 | ||
90 | /* Bits can only be set or cleared... */ | |
91 | if (on & ~1) { | |
92 | addReplyError(c,err); | |
93 | return; | |
94 | } | |
95 | ||
96 | o = lookupKeyWrite(c->db,c->argv[1]); | |
97 | if (o == NULL) { | |
98 | o = createObject(REDIS_STRING,sdsempty()); | |
99 | dbAdd(c->db,c->argv[1],o); | |
100 | } else { | |
101 | if (checkType(c,o,REDIS_STRING)) return; | |
102 | ||
103 | /* Create a copy when the object is shared or encoded. */ | |
104 | if (o->refcount != 1 || o->encoding != REDIS_ENCODING_RAW) { | |
105 | robj *decoded = getDecodedObject(o); | |
106 | o = createStringObject(decoded->ptr, sdslen(decoded->ptr)); | |
107 | decrRefCount(decoded); | |
108 | dbOverwrite(c->db,c->argv[1],o); | |
109 | } | |
110 | } | |
111 | ||
112 | /* Grow sds value to the right length if necessary */ | |
113 | byte = bitoffset >> 3; | |
114 | o->ptr = sdsgrowzero(o->ptr,byte+1); | |
115 | ||
116 | /* Get current values */ | |
117 | byteval = ((char*)o->ptr)[byte]; | |
118 | bit = 7 - (bitoffset & 0x7); | |
119 | bitval = byteval & (1 << bit); | |
120 | ||
121 | /* Update byte with new bit value and return original value */ | |
122 | byteval &= ~(1 << bit); | |
123 | byteval |= ((on & 0x1) << bit); | |
124 | ((char*)o->ptr)[byte] = byteval; | |
125 | signalModifiedKey(c->db,c->argv[1]); | |
126 | server.dirty++; | |
127 | addReply(c, bitval ? shared.cone : shared.czero); | |
128 | } | |
129 | ||
130 | /* GETBIT key offset */ | |
131 | void getbitCommand(redisClient *c) { | |
132 | robj *o; | |
133 | char llbuf[32]; | |
134 | size_t bitoffset; | |
135 | size_t byte, bit; | |
136 | size_t bitval = 0; | |
137 | ||
138 | if (getBitOffsetFromArgument(c,c->argv[2],&bitoffset) != REDIS_OK) | |
139 | return; | |
140 | ||
141 | if ((o = lookupKeyReadOrReply(c,c->argv[1],shared.czero)) == NULL || | |
142 | checkType(c,o,REDIS_STRING)) return; | |
143 | ||
144 | byte = bitoffset >> 3; | |
145 | bit = 7 - (bitoffset & 0x7); | |
146 | if (o->encoding != REDIS_ENCODING_RAW) { | |
147 | if (byte < (size_t)ll2string(llbuf,sizeof(llbuf),(long)o->ptr)) | |
148 | bitval = llbuf[byte] & (1 << bit); | |
149 | } else { | |
150 | if (byte < sdslen(o->ptr)) | |
151 | bitval = ((char*)o->ptr)[byte] & (1 << bit); | |
152 | } | |
153 | ||
154 | addReply(c, bitval ? shared.cone : shared.czero); | |
155 | } | |
156 | ||
157 | /* BITOP op_name target_key src_key1 src_key2 src_key3 ... src_keyN */ | |
158 | void bitopCommand(redisClient *c) { | |
159 | char *opname = c->argv[1]->ptr; | |
160 | robj *o, *targetkey = c->argv[2]; | |
161 | long op, j, numkeys; | |
f0d962c0 | 162 | robj **objects; /* Array of soruce objects. */ |
84ec6706 | 163 | unsigned char **src; /* Array of source strings pointers. */ |
164 | long *len, maxlen = 0; /* Array of length of src strings, and max len. */ | |
8bbc0768 | 165 | long minlen = 0; /* Min len among the input keys. */ |
84ec6706 | 166 | unsigned char *res = NULL; /* Resulting string. */ |
167 | ||
168 | /* Parse the operation name. */ | |
169 | if ((opname[0] == 'a' || opname[0] == 'A') && !strcasecmp(opname,"and")) | |
170 | op = BITOP_AND; | |
171 | else if((opname[0] == 'o' || opname[0] == 'O') && !strcasecmp(opname,"or")) | |
172 | op = BITOP_OR; | |
173 | else if((opname[0] == 'x' || opname[0] == 'X') && !strcasecmp(opname,"xor")) | |
174 | op = BITOP_XOR; | |
175 | else if((opname[0] == 'n' || opname[0] == 'N') && !strcasecmp(opname,"not")) | |
176 | op = BITOP_NOT; | |
177 | else { | |
178 | addReply(c,shared.syntaxerr); | |
179 | return; | |
180 | } | |
181 | ||
182 | /* Sanity check: NOT accepts only a single key argument. */ | |
183 | if (op == BITOP_NOT && c->argc != 4) { | |
184 | addReplyError(c,"BITOP NOT must be called with a single source key."); | |
185 | return; | |
186 | } | |
187 | ||
188 | /* Lookup keys, and store pointers to the string objects into an array. */ | |
189 | numkeys = c->argc - 3; | |
190 | src = zmalloc(sizeof(unsigned char*) * numkeys); | |
191 | len = zmalloc(sizeof(long) * numkeys); | |
f0d962c0 | 192 | objects = zmalloc(sizeof(robj*) * numkeys); |
84ec6706 | 193 | for (j = 0; j < numkeys; j++) { |
194 | o = lookupKeyRead(c->db,c->argv[j+3]); | |
195 | /* Handle non-existing keys as empty strings. */ | |
196 | if (o == NULL) { | |
f0d962c0 | 197 | objects[j] = NULL; |
84ec6706 | 198 | src[j] = NULL; |
199 | len[j] = 0; | |
200 | continue; | |
201 | } | |
202 | /* Return an error if one of the keys is not a string. */ | |
203 | if (checkType(c,o,REDIS_STRING)) { | |
f0d962c0 | 204 | for (j = j-1; j >= 0; j--) { |
205 | if (objects[j]) | |
206 | decrRefCount(objects[j]); | |
207 | } | |
84ec6706 | 208 | zfree(src); |
209 | zfree(len); | |
f0d962c0 | 210 | zfree(objects); |
84ec6706 | 211 | return; |
212 | } | |
f0d962c0 | 213 | objects[j] = getDecodedObject(o); |
214 | src[j] = objects[j]->ptr; | |
215 | len[j] = sdslen(objects[j]->ptr); | |
84ec6706 | 216 | if (len[j] > maxlen) maxlen = len[j]; |
8bbc0768 | 217 | if (j == 0 || len[j] < minlen) minlen = len[j]; |
84ec6706 | 218 | } |
219 | ||
220 | /* Compute the bit operation, if at least one string is not empty. */ | |
221 | if (maxlen) { | |
222 | res = (unsigned char*) sdsnewlen(NULL,maxlen); | |
223 | unsigned char output, byte; | |
224 | long i; | |
225 | ||
8bbc0768 | 226 | /* Fast path: as far as we have data for all the input bitmaps we |
227 | * can take a fast path that performs much better than the | |
228 | * vanilla algorithm. */ | |
229 | j = 0; | |
230 | if (minlen && numkeys <= 16) { | |
231 | unsigned long *lp[16]; | |
232 | unsigned long *lres = (unsigned long*) res; | |
233 | ||
234 | /* Note: sds pointer is always aligned to 8 byte boundary. */ | |
235 | memcpy(lp,src,sizeof(unsigned long*)*numkeys); | |
236 | memcpy(res,src[0],minlen); | |
237 | ||
238 | /* Different branches per different operations for speed (sorry). */ | |
239 | if (op == BITOP_AND) { | |
240 | while(minlen >= sizeof(unsigned long)*4) { | |
241 | for (i = 1; i < numkeys; i++) { | |
242 | lres[0] &= lp[i][0]; | |
243 | lres[1] &= lp[i][1]; | |
244 | lres[2] &= lp[i][2]; | |
245 | lres[3] &= lp[i][3]; | |
246 | lp[i]+=4; | |
247 | } | |
248 | lres+=4; | |
249 | j += sizeof(unsigned long)*4; | |
250 | minlen -= sizeof(unsigned long)*4; | |
251 | } | |
252 | } else if (op == BITOP_OR) { | |
253 | while(minlen >= sizeof(unsigned long)*4) { | |
254 | for (i = 1; i < numkeys; i++) { | |
255 | lres[0] |= lp[i][0]; | |
256 | lres[1] |= lp[i][1]; | |
257 | lres[2] |= lp[i][2]; | |
258 | lres[3] |= lp[i][3]; | |
259 | lp[i]+=4; | |
260 | } | |
261 | lres+=4; | |
262 | j += sizeof(unsigned long)*4; | |
263 | minlen -= sizeof(unsigned long)*4; | |
264 | } | |
265 | } else if (op == BITOP_XOR) { | |
266 | while(minlen >= sizeof(unsigned long)*4) { | |
267 | for (i = 1; i < numkeys; i++) { | |
268 | lres[0] ^= lp[i][0]; | |
269 | lres[1] ^= lp[i][1]; | |
270 | lres[2] ^= lp[i][2]; | |
271 | lres[3] ^= lp[i][3]; | |
272 | lp[i]+=4; | |
273 | } | |
274 | lres+=4; | |
275 | j += sizeof(unsigned long)*4; | |
276 | minlen -= sizeof(unsigned long)*4; | |
277 | } | |
278 | } else if (op == BITOP_NOT) { | |
279 | while(minlen >= sizeof(unsigned long)*4) { | |
280 | lres[0] = ~lres[0]; | |
281 | lres[1] = ~lres[1]; | |
282 | lres[2] = ~lres[2]; | |
283 | lres[3] = ~lres[3]; | |
284 | lres+=4; | |
285 | j += sizeof(unsigned long)*4; | |
286 | minlen -= sizeof(unsigned long)*4; | |
287 | } | |
288 | } | |
289 | } | |
290 | ||
291 | /* j is set to the next byte to process by the previous loop. */ | |
292 | for (; j < maxlen; j++) { | |
84ec6706 | 293 | output = (len[0] <= j) ? 0 : src[0][j]; |
294 | if (op == BITOP_NOT) output = ~output; | |
295 | for (i = 1; i < numkeys; i++) { | |
296 | byte = (len[i] <= j) ? 0 : src[i][j]; | |
297 | switch(op) { | |
298 | case BITOP_AND: output &= byte; break; | |
299 | case BITOP_OR: output |= byte; break; | |
300 | case BITOP_XOR: output ^= byte; break; | |
301 | } | |
302 | } | |
303 | res[j] = output; | |
304 | } | |
305 | } | |
f0d962c0 | 306 | for (j = 0; j < numkeys; j++) { |
307 | if (objects[j]) | |
308 | decrRefCount(objects[j]); | |
309 | } | |
84ec6706 | 310 | zfree(src); |
311 | zfree(len); | |
f0d962c0 | 312 | zfree(objects); |
84ec6706 | 313 | |
314 | /* Store the computed value into the target key */ | |
315 | if (maxlen) { | |
316 | o = createObject(REDIS_STRING,res); | |
317 | setKey(c->db,targetkey,o); | |
318 | decrRefCount(o); | |
319 | } else if (dbDelete(c->db,targetkey)) { | |
320 | signalModifiedKey(c->db,targetkey); | |
321 | } | |
322 | server.dirty++; | |
323 | addReplyLongLong(c,maxlen); /* Return the output string length in bytes. */ | |
324 | } | |
325 | ||
326 | /* BITCOUNT key [start end] */ | |
327 | void bitcountCommand(redisClient *c) { | |
84ec6706 | 328 | robj *o; |
329 | long start, end; | |
330 | unsigned char *p; | |
331 | char llbuf[32]; | |
332 | size_t strlen; | |
333 | ||
334 | /* Lookup, check for type, and return 0 for non existing keys. */ | |
335 | if ((o = lookupKeyReadOrReply(c,c->argv[1],shared.czero)) == NULL || | |
336 | checkType(c,o,REDIS_STRING)) return; | |
337 | ||
338 | /* Set the 'p' pointer to the string, that can be just a stack allocated | |
339 | * array if our string was integer encoded. */ | |
340 | if (o->encoding == REDIS_ENCODING_INT) { | |
341 | p = (unsigned char*) llbuf; | |
342 | strlen = ll2string(llbuf,sizeof(llbuf),(long)o->ptr); | |
343 | } else { | |
344 | p = (unsigned char*) o->ptr; | |
345 | strlen = sdslen(o->ptr); | |
346 | } | |
347 | ||
348 | /* Parse start/end range if any. */ | |
349 | if (c->argc == 4) { | |
350 | if (getLongFromObjectOrReply(c,c->argv[2],&start,NULL) != REDIS_OK) | |
351 | return; | |
352 | if (getLongFromObjectOrReply(c,c->argv[3],&end,NULL) != REDIS_OK) | |
353 | return; | |
354 | /* Convert negative indexes */ | |
355 | if (start < 0) start = strlen+start; | |
356 | if (end < 0) end = strlen+end; | |
357 | if (start < 0) start = 0; | |
358 | if (end < 0) end = 0; | |
359 | if ((unsigned)end >= strlen) end = strlen-1; | |
360 | } else if (c->argc == 2) { | |
361 | /* The whole string. */ | |
362 | start = 0; | |
363 | end = strlen-1; | |
364 | } else { | |
365 | /* Syntax error. */ | |
366 | addReply(c,shared.syntaxerr); | |
367 | return; | |
368 | } | |
369 | ||
370 | /* Precondition: end >= 0 && end < strlen, so the only condition where | |
371 | * zero can be returned is: start > end. */ | |
372 | if (start > end) { | |
373 | addReply(c,shared.czero); | |
374 | } else { | |
7ffa248c | 375 | long bytes = end-start+1; |
84ec6706 | 376 | |
7ffa248c | 377 | addReplyLongLong(c,popcount(p+start,bytes)); |
84ec6706 | 378 | } |
379 | } |