ziplist.c 31.8 KB
Newer Older
1 2 3 4 5 6 7
/* The ziplist is a specially encoded dually linked list that is designed
 * to be very memory efficient. It stores both strings and integer values,
 * where integers are encoded as actual integers instead of a series of
 * characters. It allows push and pop operations on either side of the list
 * in O(1) time. However, because every operation requires a reallocation of
 * the memory used by the ziplist, the actual complexity is related to the
 * amount of memory used by the ziplist.
8
 *
9
 * ----------------------------------------------------------------------------
10
 *
11 12 13
 * ZIPLIST OVERALL LAYOUT:
 * The general layout of the ziplist is as follows:
 * <zlbytes><zltail><zllen><entry><entry><zlend>
14
 *
15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60
 * <zlbytes> is an unsigned integer to hold the number of bytes that the
 * ziplist occupies. This value needs to be stored to be able to resize the
 * entire structure without the need to traverse it first.
 *
 * <zltail> is the offset to the last entry in the list. This allows a pop
 * operation on the far side of the list without the need for full traversal.
 *
 * <zllen> is the number of entries.When this value is larger than 2**16-2,
 * we need to traverse the entire list to know how many items it holds.
 *
 * <zlend> is a single byte special value, equal to 255, which indicates the
 * end of the list.
 *
 * ZIPLIST ENTRIES:
 * Every entry in the ziplist is prefixed by a header that contains two pieces
 * of information. First, the length of the previous entry is stored to be
 * able to traverse the list from back to front. Second, the encoding with an
 * optional string length of the entry itself is stored.
 *
 * The length of the previous entry is encoded in the following way:
 * If this length is smaller than 254 bytes, it will only consume a single
 * byte that takes the length as value. When the length is greater than or
 * equal to 254, it will consume 5 bytes. The first byte is set to 254 to
 * indicate a larger value is following. The remaining 4 bytes take the
 * length of the previous entry as value.
 *
 * The other header field of the entry itself depends on the contents of the
 * entry. When the entry is a string, the first 2 bits of this header will hold
 * the type of encoding used to store the length of the string, followed by the
 * actual length of the string. When the entry is an integer the first 2 bits
 * are both set to 1. The following 2 bits are used to specify what kind of
 * integer will be stored after this header. An overview of the different
 * types and encodings is as follows:
 *
 * |00pppppp| - 1 byte
 *      String value with length less than or equal to 63 bytes (6 bits).
 * |01pppppp|qqqqqqqq| - 2 bytes
 *      String value with length less than or equal to 16383 bytes (14 bits).
 * |10______|qqqqqqqq|rrrrrrrr|ssssssss|tttttttt| - 5 bytes
 *      String value with length greater than or equal to 16384 bytes.
 * |1100____| - 1 byte
 *      Integer encoded as int16_t (2 bytes).
 * |1101____| - 1 byte
 *      Integer encoded as int32_t (4 bytes).
 * |1110____| - 1 byte
 *      Integer encoded as int64_t (8 bytes).
61 62 63
 */

#include <stdio.h>
64
#include <stdlib.h>
65
#include <string.h>
66
#include <stdint.h>
67
#include <assert.h>
68
#include <limits.h>
69 70 71
#include "zmalloc.h"
#include "ziplist.h"

72 73
int ll2string(char *s, size_t len, long long value);

74
#define ZIP_END 255
75
#define ZIP_BIGLEN 254
76

77 78 79 80 81 82 83
/* Different encoding/length possibilities */
#define ZIP_STR_06B (0 << 6)
#define ZIP_STR_14B (1 << 6)
#define ZIP_STR_32B (2 << 6)
#define ZIP_INT_16B (0xc0 | 0<<4)
#define ZIP_INT_32B (0xc0 | 1<<4)
#define ZIP_INT_64B (0xc0 | 2<<4)
84

85 86 87
/* Macro's to determine type */
#define ZIP_IS_STR(enc) (((enc) & 0xc0) < 0xc0)
#define ZIP_IS_INT(enc) (!ZIP_IS_STR(enc) && ((enc) & 0x30) < 0x30)
88 89

/* Utility macros */
90 91 92 93 94 95 96 97 98 99
#define ZIPLIST_BYTES(zl)       (*((uint32_t*)(zl)))
#define ZIPLIST_TAIL_OFFSET(zl) (*((uint32_t*)((zl)+sizeof(uint32_t))))
#define ZIPLIST_LENGTH(zl)      (*((uint16_t*)((zl)+sizeof(uint32_t)*2)))
#define ZIPLIST_HEADER_SIZE     (sizeof(uint32_t)*2+sizeof(uint16_t))
#define ZIPLIST_ENTRY_HEAD(zl)  ((zl)+ZIPLIST_HEADER_SIZE)
#define ZIPLIST_ENTRY_TAIL(zl)  ((zl)+ZIPLIST_TAIL_OFFSET(zl))
#define ZIPLIST_ENTRY_END(zl)   ((zl)+ZIPLIST_BYTES(zl)-1)

/* We know a positive increment can only be 1 because entries can only be
 * pushed one at a time. */
100
#define ZIPLIST_INCR_LENGTH(zl,incr) { \
101
    if (ZIPLIST_LENGTH(zl) < UINT16_MAX) ZIPLIST_LENGTH(zl)+=incr; }
102

103 104 105 106 107
typedef struct zlentry {
    unsigned int prevrawlensize, prevrawlen;
    unsigned int lensize, len;
    unsigned int headersize;
    unsigned char encoding;
108
    unsigned char *p;
109 110
} zlentry;

111 112 113 114 115 116 117 118 119 120 121 122 123
/* Return the encoding pointer to by 'p'. */
static unsigned int zipEntryEncoding(unsigned char *p) {
    /* String encoding: 2 MSBs */
    unsigned char b = p[0] & 0xc0;
    if (b < 0xc0) {
        return b;
    } else {
        /* Integer encoding: 4 MSBs */
        return p[0] & 0xf0;
    }
    assert(NULL);
}

124
/* Return bytes needed to store integer encoded by 'encoding' */
125 126 127 128 129
static unsigned int zipIntSize(unsigned char encoding) {
    switch(encoding) {
    case ZIP_INT_16B: return sizeof(int16_t);
    case ZIP_INT_32B: return sizeof(int32_t);
    case ZIP_INT_64B: return sizeof(int64_t);
130 131 132 133 134 135 136
    }
    assert(NULL);
}

/* Decode the encoded length pointed by 'p'. If a pointer to 'lensize' is
 * provided, it is set to the number of bytes required to encode the length. */
static unsigned int zipDecodeLength(unsigned char *p, unsigned int *lensize) {
137
    unsigned char encoding = zipEntryEncoding(p);
138 139
    unsigned int len;

140 141 142 143
    if (ZIP_IS_STR(encoding)) {
        switch(encoding) {
        case ZIP_STR_06B:
            len = p[0] & 0x3f;
144
            if (lensize) *lensize = 1;
145 146 147 148 149 150 151
            break;
        case ZIP_STR_14B:
            len = ((p[0] & 0x3f) << 6) | p[1];
            if (lensize) *lensize = 2;
            break;
        case ZIP_STR_32B:
            len = (p[1] << 24) | (p[2] << 16) | (p[3] << 8) | p[4];
152
            if (lensize) *lensize = 5;
153 154 155
            break;
        default:
            assert(NULL);
156 157
        }
    } else {
158
        len = zipIntSize(encoding);
159 160 161 162 163 164 165
        if (lensize) *lensize = 1;
    }
    return len;
}

/* Encode the length 'l' writing it in 'p'. If p is NULL it just returns
 * the amount of bytes required to encode such a length. */
166 167 168 169 170 171 172
static unsigned int zipEncodeLength(unsigned char *p, unsigned char encoding, unsigned int rawlen) {
    unsigned char len = 1, buf[5];

    if (ZIP_IS_STR(encoding)) {
        /* Although encoding is given it may not be set for strings,
         * so we determine it here using the raw length. */
        if (rawlen <= 0x3f) {
173
            if (!p) return len;
174 175 176
            buf[0] = ZIP_STR_06B | rawlen;
        } else if (rawlen <= 0x3fff) {
            len += 1;
177
            if (!p) return len;
178 179
            buf[0] = ZIP_STR_14B | ((rawlen >> 8) & 0x3f);
            buf[1] = rawlen & 0xff;
180 181 182
        } else {
            len += 4;
            if (!p) return len;
183 184 185 186 187
            buf[0] = ZIP_STR_32B;
            buf[1] = (rawlen >> 24) & 0xff;
            buf[2] = (rawlen >> 16) & 0xff;
            buf[3] = (rawlen >> 8) & 0xff;
            buf[4] = rawlen & 0xff;
188
        }
189 190 191 192
    } else {
        /* Implies integer encoding, so length is always 1. */
        if (!p) return len;
        buf[0] = encoding;
193 194
    }

195
    /* Store this length at p */
196 197 198 199
    memcpy(p,buf,len);
    return len;
}

200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228
/* Decode the length of the previous element stored at "p". */
static unsigned int zipPrevDecodeLength(unsigned char *p, unsigned int *lensize) {
    unsigned int len = *p;
    if (len < ZIP_BIGLEN) {
        if (lensize) *lensize = 1;
    } else {
        if (lensize) *lensize = 1+sizeof(len);
        memcpy(&len,p+1,sizeof(len));
    }
    return len;
}

/* Encode the length of the previous entry and write it to "p". Return the
 * number of bytes needed to encode this length if "p" is NULL. */
static unsigned int zipPrevEncodeLength(unsigned char *p, unsigned int len) {
    if (p == NULL) {
        return (len < ZIP_BIGLEN) ? 1 : sizeof(len)+1;
    } else {
        if (len < ZIP_BIGLEN) {
            p[0] = len;
            return 1;
        } else {
            p[0] = ZIP_BIGLEN;
            memcpy(p+1,&len,sizeof(len));
            return 1+sizeof(len);
        }
    }
}

229 230 231 232
/* Return the difference in number of bytes needed to store the new length
 * "len" on the entry pointed to by "p". */
static int zipPrevLenByteDiff(unsigned char *p, unsigned int len) {
    unsigned int prevlensize;
233 234
    zipPrevDecodeLength(p,&prevlensize);
    return zipPrevEncodeLength(NULL,len)-prevlensize;
235 236
}

237
/* Check if string pointed to by 'entry' can be encoded as an integer.
238 239
 * Stores the integer value in 'v' and its encoding in 'encoding'. */
static int zipTryEncoding(unsigned char *entry, unsigned int entrylen, long long *v, unsigned char *encoding) {
240 241
    long long value;
    char *eptr;
242
    char buf[32];
243

244
    if (entrylen >= 32 || entrylen == 0) return 0;
245
    if (entry[0] == '-' || (entry[0] >= '0' && entry[0] <= '9')) {
246 247 248 249 250 251 252
        int slen;

        /* Perform a back-and-forth conversion to make sure that
         * the string turned into an integer is not losing any info. */
        memcpy(buf,entry,entrylen);
        buf[entrylen] = '\0';
        value = strtoll(buf,&eptr,10);
253
        if (eptr[0] != '\0') return 0;
254 255 256 257 258
        slen = ll2string(buf,32,value);
        if (entrylen != (unsigned)slen || memcmp(buf,entry,slen)) return 0;

        /* Great, the string can be encoded. Check what's the smallest
         * of our encoding types that can hold this value. */
259
        if (value >= INT16_MIN && value <= INT16_MAX) {
260
            *encoding = ZIP_INT_16B;
261
        } else if (value >= INT32_MIN && value <= INT32_MAX) {
262
            *encoding = ZIP_INT_32B;
263
        } else {
264
            *encoding = ZIP_INT_64B;
265 266 267 268 269 270 271 272
        }
        *v = value;
        return 1;
    }
    return 0;
}

/* Store integer 'value' at 'p', encoded as 'encoding' */
273 274 275 276
static void zipSaveInteger(unsigned char *p, int64_t value, unsigned char encoding) {
    int16_t i16;
    int32_t i32;
    int64_t i64;
277
    if (encoding == ZIP_INT_16B) {
278 279
        i16 = value;
        memcpy(p,&i16,sizeof(i16));
280
    } else if (encoding == ZIP_INT_32B) {
281 282
        i32 = value;
        memcpy(p,&i32,sizeof(i32));
283
    } else if (encoding == ZIP_INT_64B) {
284 285
        i64 = value;
        memcpy(p,&i64,sizeof(i64));
286 287 288 289 290 291
    } else {
        assert(NULL);
    }
}

/* Read integer encoded as 'encoding' from 'p' */
292 293 294 295
static int64_t zipLoadInteger(unsigned char *p, unsigned char encoding) {
    int16_t i16;
    int32_t i32;
    int64_t i64, ret;
296
    if (encoding == ZIP_INT_16B) {
297 298
        memcpy(&i16,p,sizeof(i16));
        ret = i16;
299
    } else if (encoding == ZIP_INT_32B) {
300 301
        memcpy(&i32,p,sizeof(i32));
        ret = i32;
302
    } else if (encoding == ZIP_INT_64B) {
303 304
        memcpy(&i64,p,sizeof(i64));
        ret = i64;
305 306 307 308 309 310
    } else {
        assert(NULL);
    }
    return ret;
}

311 312 313
/* Return a struct with all information about an entry. */
static zlentry zipEntry(unsigned char *p) {
    zlentry e;
314
    e.prevrawlen = zipPrevDecodeLength(p,&e.prevrawlensize);
315 316
    e.len = zipDecodeLength(p+e.prevrawlensize,&e.lensize);
    e.headersize = e.prevrawlensize+e.lensize;
317
    e.encoding = zipEntryEncoding(p+e.prevrawlensize);
318
    e.p = p;
319 320 321
    return e;
}

322
/* Return the total number of bytes used by the entry at "p". */
323
static unsigned int zipRawEntryLength(unsigned char *p) {
324 325
    zlentry e = zipEntry(p);
    return e.headersize + e.len;
326 327
}

328 329 330 331 332
/* Create a new empty ziplist. */
unsigned char *ziplistNew(void) {
    unsigned int bytes = ZIPLIST_HEADER_SIZE+1;
    unsigned char *zl = zmalloc(bytes);
    ZIPLIST_BYTES(zl) = bytes;
333
    ZIPLIST_TAIL_OFFSET(zl) = ZIPLIST_HEADER_SIZE;
334 335 336 337 338
    ZIPLIST_LENGTH(zl) = 0;
    zl[bytes-1] = ZIP_END;
    return zl;
}

339
/* Resize the ziplist. */
340
static unsigned char *ziplistResize(unsigned char *zl, unsigned int len) {
341
    zl = zrealloc(zl,len);
342 343 344 345 346
    ZIPLIST_BYTES(zl) = len;
    zl[len-1] = ZIP_END;
    return zl;
}

347
/* Delete "num" entries, starting at "p". Returns pointer to the ziplist. */
348
static unsigned char *__ziplistDelete(unsigned char *zl, unsigned char *p, unsigned int num) {
349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364
    unsigned int i, totlen, deleted = 0;
    int nextdiff = 0;
    zlentry first = zipEntry(p);
    for (i = 0; p[0] != ZIP_END && i < num; i++) {
        p += zipRawEntryLength(p);
        deleted++;
    }

    totlen = p-first.p;
    if (totlen > 0) {
        if (p[0] != ZIP_END) {
            /* Tricky: storing the prevlen in this entry might reduce or
             * increase the number of bytes needed, compared to the current
             * prevlen. Note that we can always store this length because
             * it was previously stored by an entry that is being deleted. */
            nextdiff = zipPrevLenByteDiff(p,first.prevrawlen);
365
            zipPrevEncodeLength(p-nextdiff,first.prevrawlen);
366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381

            /* Update offset for tail */
            ZIPLIST_TAIL_OFFSET(zl) -= totlen+nextdiff;

            /* Move tail to the front of the ziplist */
            memmove(first.p,p-nextdiff,ZIPLIST_BYTES(zl)-(p-zl)-1+nextdiff);
        } else {
            /* The entire tail was deleted. No need to move memory. */
            ZIPLIST_TAIL_OFFSET(zl) = (first.p-zl)-first.prevrawlen;
        }

        /* Resize and update length */
        zl = ziplistResize(zl, ZIPLIST_BYTES(zl)-totlen+nextdiff);
        ZIPLIST_INCR_LENGTH(zl,-deleted);
    }
    return zl;
382 383
}

384
/* Insert item at "p". */
385
static unsigned char *__ziplistInsert(unsigned char *zl, unsigned char *p, unsigned char *s, unsigned int slen) {
386 387 388
    unsigned int curlen = ZIPLIST_BYTES(zl), reqlen, prevlen = 0;
    unsigned int offset, nextdiff = 0;
    unsigned char *tail;
389
    unsigned char encoding = 0;
390
    long long value;
391
    zlentry entry;
392

393 394 395 396
    /* Find out prevlen for the entry that is inserted. */
    if (p[0] != ZIP_END) {
        entry = zipEntry(p);
        prevlen = entry.prevrawlen;
397
    } else {
398
        tail = ZIPLIST_ENTRY_TAIL(zl);
399 400 401
        if (tail[0] != ZIP_END) {
            prevlen = zipRawEntryLength(tail);
        }
402 403
    }

404
    /* See if the entry can be encoded */
405
    if (zipTryEncoding(s,slen,&value,&encoding)) {
406 407
        /* 'encoding' is set to the appropriate integer encoding */
        reqlen = zipIntSize(encoding);
408
    } else {
409 410
        /* 'encoding' is untouched, however zipEncodeLength will use the
         * string length to figure out how to encode it. */
411
        reqlen = slen;
412
    }
413 414
    /* We need space for both the length of the previous entry and
     * the length of the payload. */
415
    reqlen += zipPrevEncodeLength(NULL,prevlen);
416 417 418 419 420
    reqlen += zipEncodeLength(NULL,encoding,slen);

    /* When the insert position is not equal to the tail, we need to
     * make sure that the next entry can hold this entry's length in
     * its prevlen field. */
P
Pieter Noordhuis 已提交
421
    nextdiff = (p[0] != ZIP_END) ? zipPrevLenByteDiff(p,reqlen) : 0;
422 423 424 425 426 427 428 429 430 431 432

    /* Store offset because a realloc may change the address of zl. */
    offset = p-zl;
    zl = ziplistResize(zl,curlen+reqlen+nextdiff);
    p = zl+offset;

    /* Apply memory move when necessary and update tail offset. */
    if (p[0] != ZIP_END) {
        /* Subtract one because of the ZIP_END bytes */
        memmove(p+reqlen,p-nextdiff,curlen-offset-1+nextdiff);
        /* Encode this entry's raw length in the next entry. */
433
        zipPrevEncodeLength(p+reqlen,reqlen);
434 435
        /* Update offset for tail */
        ZIPLIST_TAIL_OFFSET(zl) += reqlen+nextdiff;
436
    } else {
437 438
        /* This element will be the new tail. */
        ZIPLIST_TAIL_OFFSET(zl) = p-zl;
439 440
    }

441
    /* Write the entry */
442
    p += zipPrevEncodeLength(p,prevlen);
443
    p += zipEncodeLength(p,encoding,slen);
444
    if (ZIP_IS_STR(encoding)) {
445
        memcpy(p,s,slen);
446 447
    } else {
        zipSaveInteger(p,value,encoding);
448
    }
449
    ZIPLIST_INCR_LENGTH(zl,1);
450 451 452
    return zl;
}

453
unsigned char *ziplistPush(unsigned char *zl, unsigned char *s, unsigned int slen, int where) {
454
    unsigned char *p;
455
    p = (where == ZIPLIST_HEAD) ? ZIPLIST_ENTRY_HEAD(zl) : ZIPLIST_ENTRY_END(zl);
456 457 458
    return __ziplistInsert(zl,p,s,slen);
}

459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479
/* Returns an offset to use for iterating with ziplistNext. When the given
 * index is negative, the list is traversed back to front. When the list
 * doesn't contain an element at the provided index, NULL is returned. */
unsigned char *ziplistIndex(unsigned char *zl, int index) {
    unsigned char *p;
    zlentry entry;
    if (index < 0) {
        index = (-index)-1;
        p = ZIPLIST_ENTRY_TAIL(zl);
        if (p[0] != ZIP_END) {
            entry = zipEntry(p);
            while (entry.prevrawlen > 0 && index--) {
                p -= entry.prevrawlen;
                entry = zipEntry(p);
            }
        }
    } else {
        p = ZIPLIST_ENTRY_HEAD(zl);
        while (p[0] != ZIP_END && index--) {
            p += zipRawEntryLength(p);
        }
480
    }
P
Pieter Noordhuis 已提交
481
    return (p[0] == ZIP_END || index > 0) ? NULL : p;
482 483
}

484
/* Return pointer to next entry in ziplist. */
485 486
unsigned char *ziplistNext(unsigned char *zl, unsigned char *p) {
    ((void) zl);
487 488 489 490 491 492 493 494 495 496

    /* "p" could be equal to ZIP_END, caused by ziplistDelete,
     * and we should return NULL. Otherwise, we should return NULL
     * when the *next* element is ZIP_END (there is no next entry). */
    if (p[0] == ZIP_END) {
        return NULL;
    } else {
        p = p+zipRawEntryLength(p);
        return (p[0] == ZIP_END) ? NULL : p;
    }
497 498
}

499
/* Return pointer to previous entry in ziplist. */
500 501 502 503 504 505 506 507 508 509 510 511 512 513 514
unsigned char *ziplistPrev(unsigned char *zl, unsigned char *p) {
    zlentry entry;

    /* Iterating backwards from ZIP_END should return the tail. When "p" is
     * equal to the first element of the list, we're already at the head,
     * and should return NULL. */
    if (p[0] == ZIP_END) {
        p = ZIPLIST_ENTRY_TAIL(zl);
        return (p[0] == ZIP_END) ? NULL : p;
    } else if (p == ZIPLIST_ENTRY_HEAD(zl)) {
        return NULL;
    } else {
        entry = zipEntry(p);
        return p-entry.prevrawlen;
    }
515 516
}

517 518 519 520
/* Get entry pointer to by 'p' and store in either 'e' or 'v' depending
 * on the encoding of the entry. 'e' is always set to NULL to be able
 * to find out whether the string pointer or the integer value was set.
 * Return 0 if 'p' points to the end of the zipmap, 1 otherwise. */
521
unsigned int ziplistGet(unsigned char *p, unsigned char **sstr, unsigned int *slen, long long *sval) {
522
    zlentry entry;
523
    if (p == NULL || p[0] == ZIP_END) return 0;
524
    if (sstr) *sstr = NULL;
525

526
    entry = zipEntry(p);
527
    if (ZIP_IS_STR(entry.encoding)) {
528 529
        if (sstr) {
            *slen = entry.len;
530
            *sstr = p+entry.headersize;
531 532
        }
    } else {
533 534
        if (sval) {
            *sval = zipLoadInteger(p+entry.headersize,entry.encoding);
535
        }
536
    }
537
    return 1;
538 539
}

540
/* Insert an entry at "p". */
541
unsigned char *ziplistInsert(unsigned char *zl, unsigned char *p, unsigned char *s, unsigned int slen) {
542
    return __ziplistInsert(zl,p,s,slen);
543 544
}

545 546 547
/* Delete a single entry from the ziplist, pointed to by *p.
 * Also update *p in place, to be able to iterate over the
 * ziplist, while deleting entries. */
548
unsigned char *ziplistDelete(unsigned char *zl, unsigned char **p) {
549 550
    unsigned int offset = *p-zl;
    zl = __ziplistDelete(zl,*p,1);
551

552
    /* Store pointer to current element in p, because ziplistDelete will
553 554 555
     * do a realloc which might result in a different "zl"-pointer.
     * When the delete direction is back to front, we might delete the last
     * entry and end up with "p" pointing to ZIP_END, so check this. */
556
    *p = zl+offset;
557 558 559
    return zl;
}

560 561 562 563 564 565
/* Delete a range of entries from the ziplist. */
unsigned char *ziplistDeleteRange(unsigned char *zl, unsigned int index, unsigned int num) {
    unsigned char *p = ziplistIndex(zl,index);
    return (p == NULL) ? zl : __ziplistDelete(zl,p,num);
}

566
/* Compare entry pointer to by 'p' with 'entry'. Return 1 if equal. */
567
unsigned int ziplistCompare(unsigned char *p, unsigned char *sstr, unsigned int slen) {
568
    zlentry entry;
569 570
    unsigned char sencoding;
    long long zval, sval;
P
Pieter Noordhuis 已提交
571
    if (p[0] == ZIP_END) return 0;
572

573
    entry = zipEntry(p);
574
    if (ZIP_IS_STR(entry.encoding)) {
575
        /* Raw compare */
576
        if (entry.len == slen) {
577
            return memcmp(p+entry.headersize,sstr,slen) == 0;
578 579 580
        } else {
            return 0;
        }
581
    } else {
582
        /* Try to compare encoded values */
583
        if (zipTryEncoding(sstr,slen,&sval,&sencoding)) {
584
            if (entry.encoding == sencoding) {
585 586
                zval = zipLoadInteger(p+entry.headersize,entry.encoding);
                return zval == sval;
587
            }
588
        }
589
    }
590
    return 0;
591 592
}

593 594 595
/* Return length of ziplist. */
unsigned int ziplistLen(unsigned char *zl) {
    unsigned int len = 0;
596
    if (ZIPLIST_LENGTH(zl) < UINT16_MAX) {
597 598 599 600 601 602 603 604 605
        len = ZIPLIST_LENGTH(zl);
    } else {
        unsigned char *p = zl+ZIPLIST_HEADER_SIZE;
        while (*p != ZIP_END) {
            p += zipRawEntryLength(p);
            len++;
        }

        /* Re-store length if small enough */
606
        if (len < UINT16_MAX) ZIPLIST_LENGTH(zl) = len;
607 608 609 610
    }
    return len;
}

611 612 613 614 615
/* Return size in bytes of ziplist. */
unsigned int ziplistSize(unsigned char *zl) {
    return ZIPLIST_BYTES(zl);
}

616
void ziplistRepr(unsigned char *zl) {
617 618
    unsigned char *p;
    zlentry entry;
619

620
    printf("{total bytes %d} {length %u}\n",ZIPLIST_BYTES(zl), ZIPLIST_LENGTH(zl));
621
    p = ZIPLIST_ENTRY_HEAD(zl);
622
    while(*p != ZIP_END) {
623 624 625
        entry = zipEntry(p);
        printf("{offset %ld, header %u, payload %u} ",p-zl,entry.headersize,entry.len);
        p += entry.headersize;
626
        if (ZIP_IS_STR(entry.encoding)) {
627
            fwrite(p,entry.len,1,stdout);
628
        } else {
629
            printf("%lld", (long long) zipLoadInteger(p,entry.encoding));
630
        }
631
        printf("\n");
632
        p += entry.len;
633 634 635 636 637
    }
    printf("{end}\n\n");
}

#ifdef ZIPLIST_TEST_MAIN
638
#include <sys/time.h>
639

640 641
unsigned char *createList() {
    unsigned char *zl = ziplistNew();
642 643 644 645
    zl = ziplistPush(zl, (unsigned char*)"foo", 3, ZIPLIST_TAIL);
    zl = ziplistPush(zl, (unsigned char*)"quux", 4, ZIPLIST_TAIL);
    zl = ziplistPush(zl, (unsigned char*)"hello", 5, ZIPLIST_HEAD);
    zl = ziplistPush(zl, (unsigned char*)"1024", 4, ZIPLIST_TAIL);
646 647 648
    return zl;
}

649 650 651 652 653
unsigned char *createIntList() {
    unsigned char *zl = ziplistNew();
    char buf[32];

    sprintf(buf, "100");
654
    zl = ziplistPush(zl, (unsigned char*)buf, strlen(buf), ZIPLIST_TAIL);
655
    sprintf(buf, "128000");
656
    zl = ziplistPush(zl, (unsigned char*)buf, strlen(buf), ZIPLIST_TAIL);
657
    sprintf(buf, "-100");
658
    zl = ziplistPush(zl, (unsigned char*)buf, strlen(buf), ZIPLIST_HEAD);
659
    sprintf(buf, "4294967296");
660
    zl = ziplistPush(zl, (unsigned char*)buf, strlen(buf), ZIPLIST_HEAD);
661
    sprintf(buf, "non integer");
662
    zl = ziplistPush(zl, (unsigned char*)buf, strlen(buf), ZIPLIST_TAIL);
663
    sprintf(buf, "much much longer non integer");
664
    zl = ziplistPush(zl, (unsigned char*)buf, strlen(buf), ZIPLIST_TAIL);
665 666 667
    return zl;
}

668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696
long long usec(void) {
    struct timeval tv;
    gettimeofday(&tv,NULL);
    return (((long long)tv.tv_sec)*1000000)+tv.tv_usec;
}

void stress(int pos, int num, int maxsize, int dnum) {
    int i,j,k;
    unsigned char *zl;
    char posstr[2][5] = { "HEAD", "TAIL" };
    long long start;
    for (i = 0; i < maxsize; i+=dnum) {
        zl = ziplistNew();
        for (j = 0; j < i; j++) {
            zl = ziplistPush(zl,(unsigned char*)"quux",4,ZIPLIST_TAIL);
        }

        /* Do num times a push+pop from pos */
        start = usec();
        for (k = 0; k < num; k++) {
            zl = ziplistPush(zl,(unsigned char*)"quux",4,pos);
            zl = ziplistDeleteRange(zl,0,1);
        }
        printf("List size: %8d, bytes: %8d, %dx push+pop (%s): %6lld usec\n",
            i,ZIPLIST_BYTES(zl),num,posstr[pos],usec()-start);
        zfree(zl);
    }
}

697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721
void pop(unsigned char *zl, int where) {
    unsigned char *p, *vstr;
    unsigned int vlen;
    long long vlong;

    p = ziplistIndex(zl,where == ZIPLIST_HEAD ? 0 : -1);
    if (ziplistGet(p,&vstr,&vlen,&vlong)) {
        if (where == ZIPLIST_HEAD)
            printf("Pop head: ");
        else
            printf("Pop tail: ");

        if (vstr)
            fwrite(vstr,vlen,1,stdout);
        else
            printf("%lld", vlong);

        printf("\n");
        ziplistDeleteRange(zl,-1,1);
    } else {
        printf("ERROR: Could not pop\n");
        exit(1);
    }
}

722
int main(int argc, char **argv) {
P
Pieter Noordhuis 已提交
723
    unsigned char *zl, *p;
724
    unsigned char *entry;
725
    unsigned int elen;
726
    long long value;
727

728 729 730
    zl = createIntList();
    ziplistRepr(zl);

731
    zl = createList();
732 733
    ziplistRepr(zl);

734
    pop(zl,ZIPLIST_TAIL);
735 736
    ziplistRepr(zl);

737
    pop(zl,ZIPLIST_HEAD);
738 739
    ziplistRepr(zl);

740
    pop(zl,ZIPLIST_TAIL);
741 742
    ziplistRepr(zl);

743
    pop(zl,ZIPLIST_TAIL);
744 745
    ziplistRepr(zl);

746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822
    printf("Get element at index 3:\n");
    {
        zl = createList();
        p = ziplistIndex(zl, 3);
        if (!ziplistGet(p, &entry, &elen, &value)) {
            printf("ERROR: Could not access index 3\n");
            return 1;
        }
        if (entry) {
            fwrite(entry,elen,1,stdout);
            printf("\n");
        } else {
            printf("%lld\n", value);
        }
        printf("\n");
    }

    printf("Get element at index 4 (out of range):\n");
    {
        zl = createList();
        p = ziplistIndex(zl, 4);
        if (p == NULL) {
            printf("No entry\n");
        } else {
            printf("ERROR: Out of range index should return NULL, returned offset: %ld\n", p-zl);
            return 1;
        }
        printf("\n");
    }

    printf("Get element at index -1 (last element):\n");
    {
        zl = createList();
        p = ziplistIndex(zl, -1);
        if (!ziplistGet(p, &entry, &elen, &value)) {
            printf("ERROR: Could not access index -1\n");
            return 1;
        }
        if (entry) {
            fwrite(entry,elen,1,stdout);
            printf("\n");
        } else {
            printf("%lld\n", value);
        }
        printf("\n");
    }

    printf("Get element at index -4 (first element):\n");
    {
        zl = createList();
        p = ziplistIndex(zl, -4);
        if (!ziplistGet(p, &entry, &elen, &value)) {
            printf("ERROR: Could not access index -4\n");
            return 1;
        }
        if (entry) {
            fwrite(entry,elen,1,stdout);
            printf("\n");
        } else {
            printf("%lld\n", value);
        }
        printf("\n");
    }

    printf("Get element at index -5 (reverse out of range):\n");
    {
        zl = createList();
        p = ziplistIndex(zl, -5);
        if (p == NULL) {
            printf("No entry\n");
        } else {
            printf("ERROR: Out of range index should return NULL, returned offset: %ld\n", p-zl);
            return 1;
        }
        printf("\n");
    }

823 824 825 826
    printf("Iterate list from 0 to end:\n");
    {
        zl = createList();
        p = ziplistIndex(zl, 0);
827
        while (ziplistGet(p, &entry, &elen, &value)) {
828
            printf("Entry: ");
829 830 831 832 833
            if (entry) {
                fwrite(entry,elen,1,stdout);
            } else {
                printf("%lld", value);
            }
834
            p = ziplistNext(zl,p);
835
            printf("\n");
836 837 838 839 840 841 842 843
        }
        printf("\n");
    }

    printf("Iterate list from 1 to end:\n");
    {
        zl = createList();
        p = ziplistIndex(zl, 1);
844
        while (ziplistGet(p, &entry, &elen, &value)) {
845
            printf("Entry: ");
846 847 848 849 850
            if (entry) {
                fwrite(entry,elen,1,stdout);
            } else {
                printf("%lld", value);
            }
851
            p = ziplistNext(zl,p);
852
            printf("\n");
853 854 855 856 857 858 859 860
        }
        printf("\n");
    }

    printf("Iterate list from 2 to end:\n");
    {
        zl = createList();
        p = ziplistIndex(zl, 2);
861
        while (ziplistGet(p, &entry, &elen, &value)) {
862
            printf("Entry: ");
863 864 865 866 867
            if (entry) {
                fwrite(entry,elen,1,stdout);
            } else {
                printf("%lld", value);
            }
868
            p = ziplistNext(zl,p);
869
            printf("\n");
870 871 872 873 874 875 876
        }
        printf("\n");
    }

    printf("Iterate starting out of range:\n");
    {
        zl = createList();
877 878
        p = ziplistIndex(zl, 4);
        if (!ziplistGet(p, &entry, &elen, &value)) {
879 880 881 882
            printf("No entry\n");
        } else {
            printf("ERROR\n");
        }
883 884 885
        printf("\n");
    }

886 887 888 889 890 891 892 893 894 895 896
    printf("Iterate from back to front:\n");
    {
        zl = createList();
        p = ziplistIndex(zl, -1);
        while (ziplistGet(p, &entry, &elen, &value)) {
            printf("Entry: ");
            if (entry) {
                fwrite(entry,elen,1,stdout);
            } else {
                printf("%lld", value);
            }
897
            p = ziplistPrev(zl,p);
898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913
            printf("\n");
        }
        printf("\n");
    }

    printf("Iterate from back to front, deleting all items:\n");
    {
        zl = createList();
        p = ziplistIndex(zl, -1);
        while (ziplistGet(p, &entry, &elen, &value)) {
            printf("Entry: ");
            if (entry) {
                fwrite(entry,elen,1,stdout);
            } else {
                printf("%lld", value);
            }
914 915
            zl = ziplistDelete(zl,&p);
            p = ziplistPrev(zl,p);
916 917 918 919 920
            printf("\n");
        }
        printf("\n");
    }

921 922 923
    printf("Delete inclusive range 0,0:\n");
    {
        zl = createList();
924
        zl = ziplistDeleteRange(zl, 0, 1);
925 926 927 928 929 930
        ziplistRepr(zl);
    }

    printf("Delete inclusive range 0,1:\n");
    {
        zl = createList();
931
        zl = ziplistDeleteRange(zl, 0, 2);
932 933 934 935 936 937
        ziplistRepr(zl);
    }

    printf("Delete inclusive range 1,2:\n");
    {
        zl = createList();
938
        zl = ziplistDeleteRange(zl, 1, 2);
939 940 941 942 943 944
        ziplistRepr(zl);
    }

    printf("Delete with start index out of range:\n");
    {
        zl = createList();
945
        zl = ziplistDeleteRange(zl, 5, 1);
946 947 948 949 950 951
        ziplistRepr(zl);
    }

    printf("Delete with num overflow:\n");
    {
        zl = createList();
952
        zl = ziplistDeleteRange(zl, 1, 5);
953
        ziplistRepr(zl);
954 955
    }

956 957 958
    printf("Delete foo while iterating:\n");
    {
        zl = createList();
959 960 961
        p = ziplistIndex(zl,0);
        while (ziplistGet(p,&entry,&elen,&value)) {
            if (entry && strncmp("foo",(char*)entry,elen) == 0) {
962
                printf("Delete foo\n");
963
                zl = ziplistDelete(zl,&p);
964 965
            } else {
                printf("Entry: ");
966 967 968
                if (entry) {
                    fwrite(entry,elen,1,stdout);
                } else {
969
                    printf("%lld",value);
970
                }
971
                p = ziplistNext(zl,p);
972
                printf("\n");
973 974 975 976
            }
        }
        printf("\n");
        ziplistRepr(zl);
977 978
    }

979 980 981 982 983 984 985
    printf("Create long list and check indices:\n");
    {
        zl = ziplistNew();
        char buf[32];
        int i,len;
        for (i = 0; i < 1000; i++) {
            len = sprintf(buf,"%d",i);
986
            zl = ziplistPush(zl,(unsigned char*)buf,len,ZIPLIST_TAIL);
987 988 989 990 991 992 993 994 995 996 997 998 999
        }
        for (i = 0; i < 1000; i++) {
            p = ziplistIndex(zl,i);
            assert(ziplistGet(p,NULL,NULL,&value));
            assert(i == value);

            p = ziplistIndex(zl,-i-1);
            assert(ziplistGet(p,NULL,NULL,&value));
            assert(999-i == value);
        }
        printf("SUCCESS\n\n");
    }

1000 1001 1002
    printf("Compare strings with ziplist entries:\n");
    {
        zl = createList();
1003 1004
        p = ziplistIndex(zl,0);
        if (!ziplistCompare(p,(unsigned char*)"hello",5)) {
1005
            printf("ERROR: not \"hello\"\n");
P
Pieter Noordhuis 已提交
1006
            return 1;
1007
        }
1008
        if (ziplistCompare(p,(unsigned char*)"hella",5)) {
1009
            printf("ERROR: \"hella\"\n");
P
Pieter Noordhuis 已提交
1010
            return 1;
1011 1012
        }

1013 1014
        p = ziplistIndex(zl,3);
        if (!ziplistCompare(p,(unsigned char*)"1024",4)) {
1015
            printf("ERROR: not \"1024\"\n");
P
Pieter Noordhuis 已提交
1016
            return 1;
1017
        }
1018
        if (ziplistCompare(p,(unsigned char*)"1025",4)) {
1019
            printf("ERROR: \"1025\"\n");
P
Pieter Noordhuis 已提交
1020
            return 1;
1021 1022
        }
        printf("SUCCESS\n");
1023 1024
    }

1025 1026 1027 1028 1029 1030
    printf("Stress with variable ziplist size:\n");
    {
        stress(ZIPLIST_HEAD,100000,16384,256);
        stress(ZIPLIST_TAIL,100000,16384,256);
    }

1031 1032
    return 0;
}
1033

1034
#endif