| #include <haproxy/ncbuf.h> |
| |
| #include <string.h> |
| |
| #ifndef MIN |
| #define MIN(a, b) (((a) < (b)) ? (a) : (b)) |
| #endif |
| |
| #ifdef STANDALONE |
| #include <stdarg.h> |
| #include <stdlib.h> |
| #include <stdio.h> |
| #include <unistd.h> |
| |
| #include <haproxy/list.h> |
| #endif /* STANDALONE */ |
| |
| #ifdef DEBUG_STRICT |
| # include <haproxy/bug.h> |
| #else |
| # include <stdio.h> |
| # include <stdlib.h> |
| |
| # undef BUG_ON |
| # define BUG_ON(x) if (x) { fprintf(stderr, "CRASH ON %s:%d\n", __func__, __LINE__); abort(); } |
| |
| # undef BUG_ON_HOT |
| # define BUG_ON_HOT(x) if (x) { fprintf(stderr, "CRASH ON %s:%d\n", __func__, __LINE__); abort(); } |
| #endif /* DEBUG_DEV */ |
| |
| #include <haproxy/compiler.h> |
| |
| /* ******** internal API ******** */ |
| |
| #define NCB_BLK_NULL ((struct ncb_blk){ .st = NULL }) |
| |
| #define NCB_BK_F_GAP 0x01 /* block represents a gap */ |
| #define NCB_BK_F_FIN 0x02 /* special reduced gap present at the end of the buffer */ |
| struct ncb_blk { |
| char *st; /* first byte of the block */ |
| char *end; /* first byte after this block */ |
| |
| char *sz_ptr; /* pointer to size element - NULL for reduced gap */ |
| ncb_sz_t sz; /* size of the block */ |
| ncb_sz_t sz_data; /* size of the data following the block - invalid for reduced GAP */ |
| ncb_sz_t off; /* offset of block in buffer */ |
| |
| char flag; |
| }; |
| |
| /* Return pointer to <off> relative to <buf> head. Support buffer wrapping. */ |
| static char *ncb_peek(const struct ncbuf *buf, ncb_sz_t off) |
| { |
| char *ptr = ncb_head(buf) + off; |
| if (ptr >= buf->area + buf->size) |
| ptr -= buf->size; |
| return ptr; |
| } |
| |
| /* Returns the reserved space of <buf> which contains the size of the first |
| * data block. |
| */ |
| static char *ncb_reserved(const struct ncbuf *buf) |
| { |
| return ncb_peek(buf, buf->size - NCB_RESERVED_SZ); |
| } |
| |
| /* Encode <off> at <st> position in <buf>. Support wrapping. */ |
| static forceinline void ncb_write_off(const struct ncbuf *buf, char *st, ncb_sz_t off) |
| { |
| int i; |
| |
| BUG_ON_HOT(st >= buf->area + buf->size); |
| |
| for (i = 0; i < sizeof(ncb_sz_t); ++i) { |
| (*st) = off >> (8 * i) & 0xff; |
| |
| if ((++st) == ncb_wrap(buf)) |
| st = ncb_orig(buf); |
| } |
| } |
| |
| /* Decode offset stored at <st> position in <buf>. Support wrapping. */ |
| static forceinline ncb_sz_t ncb_read_off(const struct ncbuf *buf, char *st) |
| { |
| int i; |
| ncb_sz_t off = 0; |
| |
| BUG_ON_HOT(st >= buf->area + buf->size); |
| |
| for (i = 0; i < sizeof(ncb_sz_t); ++i) { |
| off |= (unsigned char )(*st) << (8 * i); |
| |
| if ((++st) == ncb_wrap(buf)) |
| st = ncb_orig(buf); |
| } |
| |
| return off; |
| } |
| |
| /* Add <off> to the offset stored at <st> in <buf>. Support wrapping. */ |
| static forceinline void ncb_inc_off(const struct ncbuf *buf, char *st, ncb_sz_t off) |
| { |
| const ncb_sz_t old = ncb_read_off(buf, st); |
| ncb_write_off(buf, st, old + off); |
| } |
| |
| /* Returns true if a gap cannot be inserted at <off> : a reduced gap must be used. */ |
| static forceinline int ncb_off_reduced(const struct ncbuf *b, ncb_sz_t off) |
| { |
| return off + NCB_GAP_MIN_SZ > ncb_size(b); |
| } |
| |
| /* Returns true if <blk> is the special NULL block. */ |
| static forceinline int ncb_blk_is_null(const struct ncb_blk *blk) |
| { |
| return !blk->st; |
| } |
| |
| /* Returns true if <blk> is the last block of <buf>. */ |
| static forceinline int ncb_blk_is_last(const struct ncbuf *buf, const struct ncb_blk *blk) |
| { |
| BUG_ON_HOT(blk->off + blk->sz > ncb_size(buf)); |
| return blk->off + blk->sz == ncb_size(buf); |
| } |
| |
| /* Returns the first block of <buf> which is always a DATA. */ |
| static struct ncb_blk ncb_blk_first(const struct ncbuf *buf) |
| { |
| struct ncb_blk blk; |
| |
| if (ncb_is_null(buf)) |
| return NCB_BLK_NULL; |
| |
| blk.st = ncb_head(buf); |
| |
| blk.sz_ptr = ncb_reserved(buf); |
| blk.sz = ncb_read_off(buf, ncb_reserved(buf)); |
| blk.sz_data = 0; |
| BUG_ON_HOT(blk.sz > ncb_size(buf)); |
| |
| blk.end = ncb_peek(buf, blk.sz); |
| blk.off = 0; |
| blk.flag = 0; |
| |
| return blk; |
| } |
| |
| /* Returns the block following <prev> in the buffer <buf>. */ |
| static struct ncb_blk ncb_blk_next(const struct ncbuf *buf, |
| const struct ncb_blk *prev) |
| { |
| struct ncb_blk blk; |
| |
| BUG_ON_HOT(ncb_blk_is_null(prev)); |
| |
| if (ncb_blk_is_last(buf, prev)) |
| return NCB_BLK_NULL; |
| |
| blk.st = prev->end; |
| blk.off = prev->off + prev->sz; |
| blk.flag = ~prev->flag & NCB_BK_F_GAP; |
| |
| if (blk.flag & NCB_BK_F_GAP) { |
| if (ncb_off_reduced(buf, blk.off)) { |
| blk.flag |= NCB_BK_F_FIN; |
| blk.sz_ptr = NULL; |
| blk.sz = ncb_size(buf) - blk.off; |
| blk.sz_data = 0; |
| |
| /* A reduced gap can only be the last block. */ |
| BUG_ON_HOT(!ncb_blk_is_last(buf, &blk)); |
| } |
| else { |
| blk.sz_ptr = ncb_peek(buf, blk.off + NCB_GAP_SZ_OFF); |
| blk.sz = ncb_read_off(buf, blk.sz_ptr); |
| blk.sz_data = ncb_read_off(buf, ncb_peek(buf, blk.off + NCB_GAP_SZ_DATA_OFF)); |
| BUG_ON_HOT(blk.sz < NCB_GAP_MIN_SZ); |
| } |
| } |
| else { |
| blk.sz_ptr = ncb_peek(buf, prev->off + NCB_GAP_SZ_DATA_OFF); |
| blk.sz = prev->sz_data; |
| blk.sz_data = 0; |
| |
| /* only first DATA block can be empty. If this happens, a GAP |
| * merge should have been realized. |
| */ |
| BUG_ON_HOT(!blk.sz); |
| } |
| |
| BUG_ON_HOT(blk.off + blk.sz > ncb_size(buf)); |
| blk.end = ncb_peek(buf, blk.off + blk.sz); |
| |
| return blk; |
| } |
| |
| /* Returns the block containing offset <off>. Note that if <off> is at the |
| * frontier between two blocks, this function will return the preceding one. |
| * This is done to easily merge blocks on insertion/deletion. |
| */ |
| static struct ncb_blk ncb_blk_find(const struct ncbuf *buf, ncb_sz_t off) |
| { |
| struct ncb_blk blk; |
| |
| if (ncb_is_null(buf)) |
| return NCB_BLK_NULL; |
| |
| BUG_ON_HOT(off >= ncb_size(buf)); |
| |
| for (blk = ncb_blk_first(buf); off > blk.off + blk.sz; |
| blk = ncb_blk_next(buf, &blk)) { |
| } |
| |
| return blk; |
| } |
| |
| /* Transform absolute offset <off> to a relative one from <blk> start. */ |
| static forceinline ncb_sz_t ncb_blk_off(const struct ncb_blk *blk, ncb_sz_t off) |
| { |
| BUG_ON_HOT(off < blk->off || off > blk->off + blk->sz); |
| BUG_ON_HOT(off - blk->off > blk->sz); |
| return off - blk->off; |
| } |
| |
| /* Simulate insertion in <buf> of <data> of length <len> at offset <off>. This |
| * ensures that minimal block size are respected for newly formed gaps. <blk> |
| * must be the block where the insert operation begins. If <mode> is |
| * NCB_ADD_COMPARE, old and new overlapped data are compared to validate the |
| * insertion. |
| * |
| * Returns NCB_RET_OK if insertion can proceed. |
| */ |
| static enum ncb_ret ncb_check_insert(const struct ncbuf *buf, |
| const struct ncb_blk *blk, ncb_sz_t off, |
| const char *data, ncb_sz_t len, |
| enum ncb_add_mode mode) |
| { |
| struct ncb_blk next; |
| ncb_sz_t off_blk = ncb_blk_off(blk, off); |
| ncb_sz_t to_copy; |
| ncb_sz_t left = len; |
| |
| /* If insertion starts in a gap, it must leave enough space to keep the |
| * gap header. |
| */ |
| if (left && (blk->flag & NCB_BK_F_GAP)) { |
| if (off_blk < NCB_GAP_MIN_SZ) |
| return NCB_RET_GAP_SIZE; |
| } |
| |
| next = *blk; |
| while (left) { |
| off_blk = ncb_blk_off(&next, off); |
| to_copy = MIN(left, next.sz - off_blk); |
| |
| if (next.flag & NCB_BK_F_GAP && off_blk + to_copy < next.sz) { |
| /* Insertion must leave enough space for a new gap |
| * header if stopped in a middle of a gap. |
| */ |
| const ncb_sz_t gap_sz = next.sz - (off_blk + to_copy); |
| if (gap_sz < NCB_GAP_MIN_SZ && !ncb_blk_is_last(buf, &next)) |
| return NCB_RET_GAP_SIZE; |
| } |
| else if (!(next.flag & NCB_BK_F_GAP) && mode == NCB_ADD_COMPARE) { |
| /* Compare memory of data block in NCB_ADD_COMPARE mode. */ |
| const ncb_sz_t off_blk = ncb_blk_off(&next, off); |
| char *st = ncb_peek(buf, off); |
| |
| to_copy = MIN(left, next.sz - off_blk); |
| if (st + to_copy > ncb_wrap(buf)) { |
| const ncb_sz_t sz1 = ncb_wrap(buf) - st; |
| if (memcmp(st, data, sz1)) |
| return NCB_RET_DATA_REJ; |
| if (memcmp(ncb_orig(buf), data + sz1, to_copy - sz1)) |
| return NCB_RET_DATA_REJ; |
| } |
| else { |
| if (memcmp(st, data, to_copy)) |
| return NCB_RET_DATA_REJ; |
| } |
| } |
| |
| left -= to_copy; |
| data += to_copy; |
| off += to_copy; |
| |
| next = ncb_blk_next(buf, &next); |
| } |
| |
| return NCB_RET_OK; |
| } |
| |
| /* Fill new <data> of length <len> inside an already existing data <blk> at |
| * offset <off>. Offset is relative to <blk> so it cannot be greater than the |
| * block size. <mode> specifies if old data are preserved or overwritten. |
| */ |
| static ncb_sz_t ncb_fill_data_blk(const struct ncbuf *buf, |
| const struct ncb_blk *blk, ncb_sz_t off, |
| const char *data, ncb_sz_t len, |
| enum ncb_add_mode mode) |
| { |
| const ncb_sz_t to_copy = MIN(len, blk->sz - off); |
| char *ptr = NULL; |
| |
| BUG_ON_HOT(off > blk->sz); |
| /* This can happens due to previous ncb_blk_find() usage. In this |
| * case the current fill is a noop. |
| */ |
| if (off == blk->sz) |
| return 0; |
| |
| if (mode == NCB_ADD_OVERWRT) { |
| ptr = ncb_peek(buf, blk->off + off); |
| |
| if (ptr + to_copy >= ncb_wrap(buf)) { |
| const ncb_sz_t sz1 = ncb_wrap(buf) - ptr; |
| memcpy(ptr, data, sz1); |
| memcpy(ncb_orig(buf), data + sz1, to_copy - sz1); |
| } |
| else { |
| memcpy(ptr, data, to_copy); |
| } |
| } |
| |
| return to_copy; |
| } |
| |
| /* Fill the gap <blk> starting at <off> with new <data> of length <len>. <off> |
| * is relative to <blk> so it cannot be greater than the block size. |
| */ |
| static ncb_sz_t ncb_fill_gap_blk(const struct ncbuf *buf, |
| const struct ncb_blk *blk, ncb_sz_t off, |
| const char *data, ncb_sz_t len) |
| { |
| const ncb_sz_t to_copy = MIN(len, blk->sz - off); |
| char *ptr; |
| |
| BUG_ON_HOT(off > blk->sz); |
| /* This can happens due to previous ncb_blk_find() usage. In this |
| * case the current fill is a noop. |
| */ |
| if (off == blk->sz) |
| return 0; |
| |
| /* A new gap must be created if insertion stopped before gap end. */ |
| if (off + to_copy < blk->sz) { |
| const ncb_sz_t gap_off = blk->off + off + to_copy; |
| const ncb_sz_t gap_sz = blk->sz - off - to_copy; |
| |
| BUG_ON_HOT(!ncb_off_reduced(buf, gap_off) && |
| blk->off + blk->sz - gap_off < NCB_GAP_MIN_SZ); |
| |
| /* write the new gap header unless this is a reduced gap. */ |
| if (!ncb_off_reduced(buf, gap_off)) { |
| char *gap_ptr = ncb_peek(buf, gap_off + NCB_GAP_SZ_OFF); |
| char *gap_data_ptr = ncb_peek(buf, gap_off + NCB_GAP_SZ_DATA_OFF); |
| |
| ncb_write_off(buf, gap_ptr, gap_sz); |
| ncb_write_off(buf, gap_data_ptr, blk->sz_data); |
| } |
| } |
| |
| /* fill the gap with new data */ |
| ptr = ncb_peek(buf, blk->off + off); |
| if (ptr + to_copy >= ncb_wrap(buf)) { |
| ncb_sz_t sz1 = ncb_wrap(buf) - ptr; |
| memcpy(ptr, data, sz1); |
| memcpy(ncb_orig(buf), data + sz1, to_copy - sz1); |
| } |
| else { |
| memcpy(ptr, data, to_copy); |
| } |
| |
| return to_copy; |
| } |
| |
| /* ******** public API ******** */ |
| |
| /* Initialize or reset <buf> by clearing all data. Its size is untouched. |
| * Buffer is positioned to <head> offset. Use 0 to realign it. <buf> must not |
| * be NCBUF_NULL. |
| */ |
| void ncb_init(struct ncbuf *buf, ncb_sz_t head) |
| { |
| BUG_ON_HOT(ncb_is_null(buf)); |
| |
| BUG_ON_HOT(head >= buf->size); |
| buf->head = head; |
| |
| ncb_write_off(buf, ncb_reserved(buf), 0); |
| ncb_write_off(buf, ncb_head(buf), ncb_size(buf)); |
| ncb_write_off(buf, ncb_peek(buf, sizeof(ncb_sz_t)), 0); |
| } |
| |
| /* Construct a ncbuf with all its parameters. */ |
| struct ncbuf ncb_make(char *area, ncb_sz_t size, ncb_sz_t head) |
| { |
| struct ncbuf buf; |
| |
| /* Ensure that there is enough space for the reserved space and data. |
| * This is the minimal value to not crash later. |
| */ |
| BUG_ON_HOT(size <= NCB_RESERVED_SZ); |
| |
| buf.area = area; |
| buf.size = size; |
| buf.head = head; |
| |
| return buf; |
| } |
| |
| /* Returns the total number of bytes stored in whole <buf>. */ |
| ncb_sz_t ncb_total_data(const struct ncbuf *buf) |
| { |
| struct ncb_blk blk; |
| int total = 0; |
| |
| for (blk = ncb_blk_first(buf); !ncb_blk_is_null(&blk); blk = ncb_blk_next(buf, &blk)) { |
| if (!(blk.flag & NCB_BK_F_GAP)) |
| total += blk.sz; |
| } |
| |
| return total; |
| } |
| |
| /* Returns true if there is no data anywhere in <buf>. */ |
| int ncb_is_empty(const struct ncbuf *buf) |
| { |
| int first_data, first_gap; |
| |
| if (ncb_is_null(buf)) |
| return 1; |
| |
| first_data = ncb_read_off(buf, ncb_reserved(buf)); |
| BUG_ON_HOT(first_data > ncb_size(buf)); |
| /* Buffer is not empty if first data block is not nul. */ |
| if (first_data) |
| return 0; |
| |
| /* Head contains the first gap size if first data block is empty. */ |
| first_gap = ncb_read_off(buf, ncb_head(buf)); |
| BUG_ON_HOT(first_gap > ncb_size(buf)); |
| return first_gap == ncb_size(buf); |
| } |
| |
| /* Returns true if no more data can be inserted in <buf>. */ |
| int ncb_is_full(const struct ncbuf *buf) |
| { |
| int first_data; |
| |
| if (ncb_is_null(buf)) |
| return 0; |
| |
| /* First data block must cover whole buffer if full. */ |
| first_data = ncb_read_off(buf, ncb_reserved(buf)); |
| BUG_ON_HOT(first_data > ncb_size(buf)); |
| return first_data == ncb_size(buf); |
| } |
| |
| /* Returns true if <buf> contains data fragmented by gaps. */ |
| int ncb_is_fragmented(const struct ncbuf *buf) |
| { |
| struct ncb_blk data, gap; |
| |
| if (ncb_is_null(buf)) |
| return 0; |
| |
| /* check if buffer is empty or full */ |
| if (ncb_is_empty(buf) || ncb_is_full(buf)) |
| return 0; |
| |
| /* check that following gap is the last block */ |
| data = ncb_blk_first(buf); |
| gap = ncb_blk_next(buf, &data); |
| return !ncb_blk_is_last(buf, &gap); |
| } |
| |
| /* Returns the number of bytes of data available in <buf> starting at offset |
| * <off> until the next gap or the buffer end. The counted data may wrapped if |
| * the buffer storage is not aligned. |
| */ |
| ncb_sz_t ncb_data(const struct ncbuf *buf, ncb_sz_t off) |
| { |
| struct ncb_blk blk; |
| ncb_sz_t off_blk; |
| |
| if (ncb_is_null(buf)) |
| return 0; |
| |
| blk = ncb_blk_find(buf, off); |
| off_blk = ncb_blk_off(&blk, off); |
| |
| /* if <off> at the frontier between two and <blk> is gap, retrieve the |
| * next data block. |
| */ |
| if (blk.flag & NCB_BK_F_GAP && off_blk == blk.sz && |
| !ncb_blk_is_last(buf, &blk)) { |
| blk = ncb_blk_next(buf, &blk); |
| off_blk = ncb_blk_off(&blk, off); |
| } |
| |
| if (blk.flag & NCB_BK_F_GAP) |
| return 0; |
| |
| return blk.sz - off_blk; |
| } |
| |
| /* Add a new block at <data> of size <len> in <buf> at offset <off>. |
| * |
| * Returns NCB_RET_OK on success. On error the following codes are returned : |
| * - NCB_RET_GAP_SIZE : cannot add data because the gap formed is too small |
| * - NCB_RET_DATA_REJ : old data would be overwritten by different ones in |
| * NCB_ADD_COMPARE mode. |
| */ |
| enum ncb_ret ncb_add(struct ncbuf *buf, ncb_sz_t off, |
| const char *data, ncb_sz_t len, enum ncb_add_mode mode) |
| { |
| struct ncb_blk blk; |
| ncb_sz_t left = len; |
| enum ncb_ret ret; |
| char *new_sz; |
| |
| if (!len) |
| return NCB_RET_OK; |
| |
| BUG_ON_HOT(off + len > ncb_size(buf)); |
| |
| /* Get block where insertion begins. */ |
| blk = ncb_blk_find(buf, off); |
| |
| /* Check if insertion is possible. */ |
| ret = ncb_check_insert(buf, &blk, off, data, len, mode); |
| if (ret != NCB_RET_OK) |
| return ret; |
| |
| if (blk.flag & NCB_BK_F_GAP) { |
| /* Reduce gap size if insertion begins in a gap. Gap data size |
| * is reset and will be recalculated during insertion. |
| */ |
| const ncb_sz_t gap_sz = off - blk.off; |
| BUG_ON_HOT(gap_sz < NCB_GAP_MIN_SZ); |
| |
| /* pointer to data size to increase. */ |
| new_sz = ncb_peek(buf, blk.off + NCB_GAP_SZ_DATA_OFF); |
| |
| ncb_write_off(buf, blk.sz_ptr, gap_sz); |
| ncb_write_off(buf, new_sz, 0); |
| } |
| else { |
| /* pointer to data size to increase. */ |
| new_sz = blk.sz_ptr; |
| } |
| |
| /* insert data */ |
| while (left) { |
| struct ncb_blk next; |
| const ncb_sz_t off_blk = ncb_blk_off(&blk, off); |
| ncb_sz_t done; |
| |
| /* retrieve the next block. This is necessary to do this |
| * before overwriting a gap. |
| */ |
| next = ncb_blk_next(buf, &blk); |
| |
| if (blk.flag & NCB_BK_F_GAP) { |
| done = ncb_fill_gap_blk(buf, &blk, off_blk, data, left); |
| |
| /* update the inserted data block size */ |
| if (off + done == blk.off + blk.sz) { |
| /* merge next data block if insertion reached gap end */ |
| ncb_inc_off(buf, new_sz, done + blk.sz_data); |
| } |
| else { |
| /* insertion stopped before gap end */ |
| ncb_inc_off(buf, new_sz, done); |
| } |
| } |
| else { |
| done = ncb_fill_data_blk(buf, &blk, off_blk, data, left, mode); |
| } |
| |
| BUG_ON_HOT(done > blk.sz || done > left); |
| left -= done; |
| data += done; |
| off += done; |
| |
| blk = next; |
| } |
| |
| return NCB_RET_OK; |
| } |
| |
| /* Advance the head of <buf> to the offset <adv>. Data at the start of buffer |
| * will be lost while some space will be formed at the end to be able to insert |
| * new data. |
| * |
| * Returns NCB_RET_OK on success. It may return NCB_RET_GAP_SIZE if operation |
| * is rejected due to the formation of a too small gap in front. If advance is |
| * done only inside a data block it is guaranteed to succeed. |
| */ |
| enum ncb_ret ncb_advance(struct ncbuf *buf, ncb_sz_t adv) |
| { |
| struct ncb_blk start, last; |
| ncb_sz_t off_blk; |
| ncb_sz_t first_data_sz; |
| |
| BUG_ON_HOT(adv > ncb_size(buf)); |
| if (!adv) |
| return NCB_RET_OK; |
| |
| /* Special case if adv is full size. This is equivalent to a reset. */ |
| if (adv == ncb_size(buf)) { |
| ncb_init(buf, buf->head); |
| return NCB_RET_OK; |
| } |
| |
| start = ncb_blk_find(buf, adv); |
| |
| /* Special case if advance until the last block which is a GAP. The |
| * buffer will be left empty and is thus equivalent to a reset. |
| */ |
| if (ncb_blk_is_last(buf, &start) && (start.flag & NCB_BK_F_GAP)) { |
| ncb_sz_t new_head = buf->head + adv; |
| if (new_head >= buf->size) |
| new_head -= buf->size; |
| |
| ncb_init(buf, new_head); |
| return NCB_RET_OK; |
| } |
| |
| last = start; |
| while (!ncb_blk_is_last(buf, &last)) |
| last = ncb_blk_next(buf, &last); |
| |
| off_blk = ncb_blk_off(&start, adv); |
| |
| if (start.flag & NCB_BK_F_GAP) { |
| /* If advance in a GAP, its new size must be big enough. */ |
| if (start.sz == off_blk) { |
| /* GAP removed. Buffer will start with following DATA block. */ |
| first_data_sz = start.sz_data; |
| } |
| else if (start.sz - off_blk < NCB_GAP_MIN_SZ) { |
| return NCB_RET_GAP_SIZE; |
| } |
| else { |
| /* Buffer will start with this GAP block. */ |
| first_data_sz = 0; |
| } |
| } |
| else { |
| /* If off_blk less than start.sz, the data block will becomes the |
| * first block. If equal, the data block is completely removed |
| * and thus the following GAP will be the first block. |
| */ |
| first_data_sz = start.sz - off_blk; |
| } |
| |
| if (last.flag & NCB_BK_F_GAP) { |
| /* Extend last GAP unless this is a reduced gap. */ |
| if (!(last.flag & NCB_BK_F_FIN) || last.sz + adv >= NCB_GAP_MIN_SZ) { |
| /* use .st instead of .sz_ptr which can be NULL if reduced gap */ |
| ncb_write_off(buf, last.st, last.sz + adv); |
| ncb_write_off(buf, ncb_peek(buf, last.off + NCB_GAP_SZ_DATA_OFF), 0); |
| } |
| } |
| else { |
| /* Insert a GAP after the last DATA block. */ |
| if (adv >= NCB_GAP_MIN_SZ) { |
| ncb_write_off(buf, ncb_peek(buf, last.off + last.sz + NCB_GAP_SZ_OFF), adv); |
| ncb_write_off(buf, ncb_peek(buf, last.off + last.sz + NCB_GAP_SZ_DATA_OFF), 0); |
| } |
| } |
| |
| /* Advance head and update reserved header with new first data size. */ |
| buf->head += adv; |
| if (buf->head >= buf->size) |
| buf->head -= buf->size; |
| ncb_write_off(buf, ncb_reserved(buf), first_data_sz); |
| |
| /* If advance in a GAP, reduce its size. */ |
| if (start.flag & NCB_BK_F_GAP && !first_data_sz) { |
| ncb_write_off(buf, ncb_head(buf), start.sz - off_blk); |
| /* Recopy the block sz_data at the new position. */ |
| ncb_write_off(buf, ncb_peek(buf, NCB_GAP_SZ_DATA_OFF), start.sz_data); |
| } |
| |
| return NCB_RET_OK; |
| } |
| |
| /* ******** testing API ******** */ |
| /* To build it : |
| * gcc -Wall -DSTANDALONE -lasan -I./include -o ncbuf src/ncbuf.c |
| */ |
| #ifdef STANDALONE |
| |
| int ncb_print = 0; |
| |
| static void ncbuf_printf(char *str, ...) |
| { |
| va_list args; |
| |
| va_start(args, str); |
| if (ncb_print) |
| vfprintf(stderr, str, args); |
| va_end(args); |
| } |
| |
| struct rand_off { |
| struct list el; |
| ncb_sz_t off; |
| ncb_sz_t len; |
| }; |
| |
| static struct rand_off *ncb_generate_rand_off(const struct ncbuf *buf) |
| { |
| struct rand_off *roff; |
| roff = calloc(1, sizeof(*roff)); |
| BUG_ON(!roff); |
| |
| roff->off = rand() % (ncb_size(buf)); |
| if (roff->off > 0 && roff->off < NCB_GAP_MIN_SZ) |
| roff->off = 0; |
| |
| roff->len = rand() % (ncb_size(buf) - roff->off + 1); |
| |
| return roff; |
| } |
| |
| static void ncb_print_blk(const struct ncb_blk *blk) |
| { |
| if (ncb_print) { |
| fprintf(stderr, "%s(%s): %2u/%u.\n", |
| blk->flag & NCB_BK_F_GAP ? "GAP " : "DATA", |
| blk->flag & NCB_BK_F_FIN ? "F" : "-", blk->off, blk->sz); |
| } |
| } |
| |
| static int ncb_is_null_blk(const struct ncb_blk *blk) |
| { |
| return !blk->st; |
| } |
| |
| static void ncb_loop(const struct ncbuf *buf) |
| { |
| struct ncb_blk blk; |
| |
| blk = ncb_blk_first(buf); |
| do { |
| ncb_print_blk(&blk); |
| blk = ncb_blk_next(buf, &blk); |
| } while (!ncb_is_null_blk(&blk)); |
| |
| ncbuf_printf("\n"); |
| } |
| |
| static void ncbuf_print_buf(struct ncbuf *b, ncb_sz_t len, |
| unsigned char *area, int line) |
| { |
| int i; |
| |
| ncbuf_printf("buffer status at line %d\n", line); |
| for (i = 0; i < len; ++i) { |
| ncbuf_printf("%02x.", area[i]); |
| if (i && i % 32 == 31) ncbuf_printf("\n"); |
| else if (i && i % 8 == 7) ncbuf_printf(" "); |
| } |
| ncbuf_printf("\n"); |
| |
| ncb_loop(b); |
| |
| if (ncb_print) |
| getchar(); |
| } |
| |
| static struct ncbuf b; |
| static unsigned char *bufarea = NULL; |
| static ncb_sz_t bufsize = 16384; |
| static ncb_sz_t bufhead = 15; |
| |
| #define NCB_INIT(buf) \ |
| if ((reset)) { memset(bufarea, 0xaa, bufsize); } \ |
| ncb_init(buf, bufhead); \ |
| ncbuf_print_buf(&b, bufsize, bufarea, __LINE__); |
| |
| #define NCB_ADD_EQ(buf, off, data, sz, mode, ret) \ |
| BUG_ON(ncb_add((buf), (off), (data), (sz), (mode)) != (ret)); \ |
| ncbuf_print_buf(buf, bufsize, bufarea, __LINE__); |
| |
| #define NCB_ADD_NEQ(buf, off, data, sz, mode, ret) \ |
| BUG_ON(ncb_add((buf), (off), (data), (sz), (mode)) == (ret)); \ |
| ncbuf_print_buf(buf, bufsize, bufarea, __LINE__); |
| |
| #define NCB_ADVANCE_EQ(buf, off, ret) \ |
| BUG_ON(ncb_advance((buf), (off)) != (ret)); \ |
| ncbuf_print_buf(buf, bufsize, bufarea, __LINE__); |
| |
| #define NCB_TOTAL_DATA_EQ(buf, data) \ |
| BUG_ON(ncb_total_data((buf)) != (data)); |
| |
| #define NCB_DATA_EQ(buf, off, data) \ |
| BUG_ON(ncb_data((buf), (off)) != (data)); |
| |
| static int ncbuf_test(ncb_sz_t head, int reset, int print_delay) |
| { |
| char *data0, data1[] = { 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f }; |
| struct list list = LIST_HEAD_INIT(list); |
| struct rand_off *roff, *roff_tmp; |
| enum ncb_ret ret; |
| |
| data0 = malloc(bufsize); |
| BUG_ON(!data0); |
| memset(data0, 0xff, bufsize); |
| |
| bufarea = malloc(bufsize); |
| BUG_ON(!bufarea); |
| |
| fprintf(stderr, "running unit tests\n"); |
| |
| b = NCBUF_NULL; |
| BUG_ON(!ncb_is_null(&b)); |
| NCB_DATA_EQ(&b, 0, 0); |
| NCB_TOTAL_DATA_EQ(&b, 0); |
| BUG_ON(ncb_size(&b) != 0); |
| BUG_ON(!ncb_is_empty(&b)); |
| BUG_ON(ncb_is_full(&b)); |
| BUG_ON(ncb_is_fragmented(&b)); |
| |
| b.area = (char *)bufarea; |
| b.size = bufsize; |
| b.head = head; |
| NCB_INIT(&b); |
| |
| /* insertion test suite */ |
| NCB_INIT(&b); |
| NCB_DATA_EQ(&b, 0, 0); NCB_DATA_EQ(&b, bufsize - NCB_RESERVED_SZ - 1, 0); /* first and last offset */ |
| NCB_ADD_EQ(&b, 24, data0, 9, NCB_ADD_PRESERVE, NCB_RET_OK); NCB_DATA_EQ(&b, 24, 9); |
| /* insert new data at the same offset as old */ |
| NCB_ADD_EQ(&b, 24, data0, 16, NCB_ADD_PRESERVE, NCB_RET_OK); NCB_DATA_EQ(&b, 24, 16); |
| |
| NCB_INIT(&b); NCB_DATA_EQ(&b, 0, 0); |
| NCB_ADD_EQ(&b, 0, data0, 16, NCB_ADD_PRESERVE, NCB_RET_OK); NCB_DATA_EQ(&b, 0, 16); |
| BUG_ON(ncb_is_fragmented(&b)); |
| NCB_ADD_EQ(&b, 24, data0, 16, NCB_ADD_PRESERVE, NCB_RET_OK); NCB_DATA_EQ(&b, 0, 16); |
| BUG_ON(!ncb_is_fragmented(&b)); |
| /* insert data overlapping two data blocks and a gap */ |
| NCB_ADD_EQ(&b, 12, data0, 16, NCB_ADD_PRESERVE, NCB_RET_OK); NCB_DATA_EQ(&b, 0, 40); |
| BUG_ON(ncb_is_fragmented(&b)); |
| |
| NCB_INIT(&b); |
| NCB_ADD_EQ(&b, 32, data0, 16, NCB_ADD_PRESERVE, NCB_RET_OK); NCB_DATA_EQ(&b, 0, 0); NCB_DATA_EQ(&b, 16, 0); NCB_DATA_EQ(&b, 32, 16); |
| BUG_ON(!ncb_is_fragmented(&b)); |
| NCB_ADD_EQ(&b, 0, data0, 16, NCB_ADD_PRESERVE, NCB_RET_OK); NCB_DATA_EQ(&b, 0, 16); NCB_DATA_EQ(&b, 16, 0); NCB_DATA_EQ(&b, 32, 16); |
| BUG_ON(!ncb_is_fragmented(&b)); |
| /* insert data to exactly cover a gap between two data blocks */ |
| NCB_ADD_EQ(&b, 16, data0, 16, NCB_ADD_PRESERVE, NCB_RET_OK); NCB_DATA_EQ(&b, 0, 48); NCB_DATA_EQ(&b, 16, 32); NCB_DATA_EQ(&b, 32, 16); |
| BUG_ON(ncb_is_fragmented(&b)); |
| |
| NCB_INIT(&b); |
| NCB_ADD_EQ(&b, 0, data0, 8, NCB_ADD_PRESERVE, NCB_RET_OK); |
| /* this insertion must be rejected because of minimal gap size */ |
| NCB_ADD_EQ(&b, 10, data0, 8, NCB_ADD_PRESERVE, NCB_RET_GAP_SIZE); |
| |
| /* Test reduced gap support */ |
| NCB_INIT(&b); |
| /* this insertion will form a reduced gap */ |
| NCB_ADD_EQ(&b, 0, data0, bufsize - (NCB_GAP_MIN_SZ - 1), NCB_ADD_COMPARE, NCB_RET_OK); |
| |
| /* Test the various insertion mode */ |
| NCB_INIT(&b); |
| NCB_ADD_EQ(&b, 10, data1, 16, NCB_ADD_PRESERVE, NCB_RET_OK); |
| NCB_ADD_EQ(&b, 12, data1, 16, NCB_ADD_COMPARE, NCB_RET_DATA_REJ); |
| NCB_ADD_EQ(&b, 12, data1, 16, NCB_ADD_PRESERVE, NCB_RET_OK); BUG_ON(*ncb_peek(&b, 12) != data1[2]); |
| NCB_ADD_EQ(&b, 12, data1, 16, NCB_ADD_OVERWRT, NCB_RET_OK); BUG_ON(*ncb_peek(&b, 12) == data1[2]); |
| |
| /* advance test suite */ |
| NCB_INIT(&b); |
| NCB_ADVANCE_EQ(&b, 10, NCB_RET_OK); /* advance in an empty buffer; this ensures we do not leave an empty DATA in the middle of the buffer */ |
| NCB_ADVANCE_EQ(&b, ncb_size(&b) - 2, NCB_RET_OK); |
| |
| NCB_INIT(&b); |
| /* first fill the buffer */ |
| NCB_ADD_EQ(&b, 0, data0, bufsize - NCB_RESERVED_SZ, NCB_ADD_COMPARE, NCB_RET_OK); |
| /* delete 2 bytes : a reduced gap must be created */ |
| NCB_ADVANCE_EQ(&b, 2, NCB_RET_OK); NCB_TOTAL_DATA_EQ(&b, ncb_size(&b) - 2); |
| /* delete 1 byte : extend the reduced gap */ |
| NCB_ADVANCE_EQ(&b, 1, NCB_RET_OK); NCB_TOTAL_DATA_EQ(&b, ncb_size(&b) - 3); |
| /* delete 5 bytes : a full gap must be present */ |
| NCB_ADVANCE_EQ(&b, 5, NCB_RET_OK); NCB_TOTAL_DATA_EQ(&b, ncb_size(&b) - 8); |
| /* completely clear the buffer */ |
| NCB_ADVANCE_EQ(&b, bufsize - NCB_RESERVED_SZ, NCB_RET_OK); NCB_TOTAL_DATA_EQ(&b, 0); |
| |
| |
| NCB_INIT(&b); |
| NCB_ADD_EQ(&b, 10, data0, 10, NCB_ADD_PRESERVE, NCB_RET_OK); |
| NCB_ADVANCE_EQ(&b, 2, NCB_RET_OK); /* reduce a gap in front of the buffer */ |
| NCB_ADVANCE_EQ(&b, 1, NCB_RET_GAP_SIZE); /* reject */ |
| NCB_ADVANCE_EQ(&b, 8, NCB_RET_OK); /* remove completely the gap */ |
| NCB_ADVANCE_EQ(&b, 8, NCB_RET_OK); /* remove inside the data */ |
| NCB_ADVANCE_EQ(&b, 10, NCB_RET_OK); /* remove completely the data */ |
| |
| fprintf(stderr, "first random pass\n"); |
| NCB_INIT(&b); |
| |
| /* generate randon data offsets until the buffer is full */ |
| while (!ncb_is_full(&b)) { |
| roff = ncb_generate_rand_off(&b); |
| LIST_INSERT(&list, &roff->el); |
| |
| ret = ncb_add(&b, roff->off, data0, roff->len, NCB_ADD_COMPARE); |
| BUG_ON(ret == NCB_RET_DATA_REJ); |
| ncbuf_print_buf(&b, bufsize, bufarea, __LINE__); |
| usleep(print_delay); |
| } |
| |
| fprintf(stderr, "buf full, prepare for reverse random\n"); |
| ncbuf_print_buf(&b, bufsize, bufarea, __LINE__); |
| |
| /* insert the previously generated random offsets in the reverse order. |
| * At the end, the buffer should be full. |
| */ |
| NCB_INIT(&b); |
| list_for_each_entry_safe(roff, roff_tmp, &list, el) { |
| int full = ncb_is_full(&b); |
| if (!full) { |
| ret = ncb_add(&b, roff->off, data0, roff->len, NCB_ADD_COMPARE); |
| BUG_ON(ret == NCB_RET_DATA_REJ); |
| ncbuf_print_buf(&b, bufsize, bufarea, __LINE__); |
| usleep(print_delay); |
| } |
| |
| LIST_DELETE(&roff->el); |
| free(roff); |
| } |
| |
| if (!ncb_is_full(&b)) |
| abort(); |
| |
| fprintf(stderr, "done\n"); |
| |
| free(bufarea); |
| free(data0); |
| |
| return 1; |
| } |
| |
| int main(int argc, char **argv) |
| { |
| int reset = 0; |
| int print_delay = 100000; |
| char c; |
| |
| opterr = 0; |
| while ((c = getopt(argc, argv, "h:s:rp::")) != -1) { |
| switch (c) { |
| case 'h': |
| bufhead = atoi(optarg); |
| break; |
| case 's': |
| bufsize = atoi(optarg); |
| if (bufsize < 64) { |
| fprintf(stderr, "bufsize should be at least 64 bytes for unit test suite\n"); |
| exit(127); |
| } |
| break; |
| case 'r': |
| reset = 1; |
| break; |
| case 'p': |
| if (optarg) |
| print_delay = atoi(optarg); |
| ncb_print = 1; |
| break; |
| case '?': |
| default: |
| fprintf(stderr, "usage: %s [-r] [-s bufsize] [-h bufhead] [-p <delay_msec>]\n", argv[0]); |
| exit(127); |
| } |
| } |
| |
| ncbuf_test(bufhead, reset, print_delay); |
| return EXIT_SUCCESS; |
| } |
| |
| #endif /* STANDALONE */ |