template.h File Reference

#include <derive-c/core/includes/def.h>
#include "includes.h"
#include <derive-c/core/alloc/def.h>
#include <derive-c/core/self/def.h>
#include <derive-c/core/self/undef.h>
#include <derive-c/core/alloc/undef.h>
#include <derive-c/core/includes/undef.h>

Go to the source code of this file.

Data Structures
struct	item_t
	A queue comprised of an extendable circular buffer. More...
struct	SELF
	An allocator that prints to stdout when it allocates or frees memory. More...
struct	ITER
struct	ITER_CONST

Macros
#define	ITEM   item_t
#define	ITEM_DELETE   item_delete
#define	ITEM_CLONE   item_clone
#define	ITEM_DEBUG   item_debug
#define	INVARIANT_CHECK(self)
#define	ITER   NS(SELF, iter)
#define	ITER_CONST   NS(SELF, iter_const)

Typedefs
typedef ITEM	item_t
typedef ITEM *	item

Functions
static void	ITEM_DELETE (item_t *self)
static item_t	ITEM_CLONE (item_t const *self)
static void	ITEM_DEBUG (ITEM const *self, dc_debug_fmt fmt, FILE *stream)
static SELF	new (ALLOC *alloc)
static SELF	new_with_capacity_for (size_t capacity_for, ALLOC *alloc)
static bool	empty (SELF const *self)
static size_t	size (SELF const *self)
static void PRIV	set_inaccessible_memory_caps (SELF *self, dc_memory_tracker_capability cap)
static void	reserve (SELF *self, size_t new_capacity_for)
static void	push_back (SELF *self, ITEM item)
static void	push_front (SELF *self, ITEM item)
static ITEM	pop_front (SELF *self)
static ITEM	pop_back (SELF *self)
static ITEM const *	try_read_from_front (SELF const *self, size_t index)
static ITEM const *	try_read_from_back (SELF const *self, size_t index)
static ITEM *	try_write_from_front (SELF *self, size_t index)
static ITEM *	try_write_from_back (SELF *self, size_t index)
static bool	empty_item (ITEM *const *item)
static bool	empty (ITER const *iter)
static ITEM *	next (ITER *iter)
static ITER	get_iter (SELF *self)
static void	delete (SELF *self)
static bool	empty_item (ITEM const *const *item)
static bool	empty (ITER_CONST const *iter)
static ITEM const *	next (ITER_CONST *iter)
static ITER_CONST	get_iter_const (SELF const *self)
static SELF	clone (SELF const *self)
static void	debug (SELF const *self, dc_debug_fmt fmt, FILE *stream)
	DC_TRAIT_QUEUE (SELF)

Macro Definition Documentation

INVARIANT_CHECK

#define INVARIANT_CHECK

(

self

)

Value:

    DC_ASSUME(self);                                                                               \
    DC_ASSUME((self)->alloc);                                                                      \
    DC_ASSUME(DC_WHEN(!(self)->empty,                                                              \
                      (self)->head < (self)->capacity && (self)->tail < (self)->capacity));        \
    DC_ASSUME(DC_WHEN((self)->empty, (self)->head == (self)->tail));                               \
    DC_ASSUME(DC_WHEN(!(self)->data, (self)->head == 0 && (self)->tail == 0));

Definition at line 54 of file template.h.

#define INVARIANT_CHECK(self)                                                                      \
    DC_ASSUME(self);                                                                               \
    DC_ASSUME((self)->alloc);                                                                      \
    DC_ASSUME(DC_WHEN(!(self)->empty,                                                              \
                      (self)->head < (self)->capacity && (self)->tail < (self)->capacity));        \
    DC_ASSUME(DC_WHEN((self)->empty, (self)->head == (self)->tail));                               \
    DC_ASSUME(DC_WHEN(!(self)->data, (self)->head == 0 && (self)->tail == 0));

ITEM

#define ITEM   item_t

Definition at line 19 of file template.h.

ITEM_CLONE

#define ITEM_CLONE   item_clone

Definition at line 22 of file template.h.

ITEM_DEBUG

#define ITEM_DEBUG   item_debug

Definition at line 24 of file template.h.

ITEM_DELETE

#define ITEM_DELETE   item_delete

Definition at line 20 of file template.h.

ITER

#define ITER   NS(SELF, iter)

Definition at line 285 of file template.h.

ITER_CONST

#define ITER_CONST   NS(SELF, iter_const)

Definition at line 340 of file template.h.

Typedef Documentation

item

typedef ITEM const* item

Definition at line 286 of file template.h.

item_t

typedef ITEM item_t

Definition at line 40 of file template.h.

Function Documentation

clone()

SELF clone ( SELF const * self )

static

Definition at line 377 of file template.h.

                                              {
    INVARIANT_CHECK(self);
    ITEM* new_data = NULL;
    size_t tail = 0;
    size_t new_capacity = 0;
    size_t const old_size = NS(SELF, size)(self);
 
    if (old_size > 0) {
        new_capacity = dc_math_next_power_of_2(old_size);
        new_data = (ITEM*)NS(ALLOC, malloc)(self->alloc, new_capacity * sizeof(ITEM));
        DC_ASSERT(new_data);
 
        ITER_CONST iter = NS(SELF, get_iter_const)(self);
        ITEM const* item;
        while ((item = NS(ITER_CONST, next)(&iter))) {
            new_data[tail] = ITEM_CLONE(item);
            tail++;
        }
        tail--;
    }
    SELF new_self = {
        .data = new_data,
        .capacity = new_capacity,
        .head = 0,
        .tail = tail,
        .empty = self->empty,
        .alloc = self->alloc,
        .derive_c_circular = dc_gdb_marker_new(),
        .iterator_invalidation_tracker = mutation_tracker_new(),
    };
    PRIV(NS(SELF, set_inaccessible_memory_caps))(&new_self, DC_MEMORY_TRACKER_CAP_NONE);
    return new_self;
}

DC_TRAIT_QUEUE()

DC_TRAIT_QUEUE

(

SELF

)

debug()

void debug ( SELF const * self, dc_debug_fmt fmt, FILE * stream )

static

Definition at line 411 of file template.h.

                                                                              {
    fprintf(stream, EXPAND_STRING(SELF) "@%p {\n", self);
    fmt = dc_debug_fmt_scope_begin(fmt);
    dc_debug_fmt_print(fmt, stream, "capacity: %lu,\n", self->capacity);
    dc_debug_fmt_print(fmt, stream, "size: %lu,\n", NS(SELF, size)(self));
    dc_debug_fmt_print(fmt, stream, "head: %lu,\n", self->head);
    dc_debug_fmt_print(fmt, stream, "tail: %lu,\n", self->tail);
 
    dc_debug_fmt_print(fmt, stream, "alloc: ");
    NS(ALLOC, debug)(self->alloc, fmt, stream);
    fprintf(stream, ",\n");
 
    dc_debug_fmt_print(fmt, stream, "queue: @%p [\n", self->data);
    fmt = dc_debug_fmt_scope_begin(fmt);
 
    ITER_CONST iter = NS(SELF, get_iter_const)(self);
    ITEM const* item;
    while ((item = NS(ITER_CONST, next)(&iter))) {
        dc_debug_fmt_print_indents(fmt, stream);
        ITEM_DEBUG(item, fmt, stream);
        fprintf(stream, ",\n");
    }
    fmt = dc_debug_fmt_scope_end(fmt);
    dc_debug_fmt_print(fmt, stream, "],\n");
    fmt = dc_debug_fmt_scope_end(fmt);
    dc_debug_fmt_print(fmt, stream, "}\n");
}

delete()

void delete ( SELF * self )

static

Definition at line 322 of file template.h.

                                         {
    INVARIANT_CHECK(self);
    if (self->data) {
        ITER iter = NS(SELF, get_iter)(self);
        ITEM* item;
        while ((item = NS(ITER, next)(&iter))) {
            ITEM_DELETE(item);
            dc_memory_tracker_set(DC_MEMORY_TRACKER_LVL_CONTAINER, DC_MEMORY_TRACKER_CAP_NONE, item,
                                  sizeof(ITEM));
        }
        dc_memory_tracker_set(DC_MEMORY_TRACKER_LVL_CONTAINER, DC_MEMORY_TRACKER_CAP_WRITE,
                              self->data, self->capacity * sizeof(ITEM));
        NS(ALLOC, free)(self->alloc, self->data);
    }
}

empty() [1/3]

bool empty ( ITER const * iter )

static

Definition at line 296 of file template.h.

                                              {
    DC_ASSUME(iter);
    mutation_version_check(&iter->version);
    return !NS(SELF, try_read_from_front)(iter->circular, iter->position);
}

empty() [2/3]

bool empty ( ITER_CONST const * iter )

static

Definition at line 351 of file template.h.

                                                          {
    DC_ASSUME(iter);
    mutation_version_check(&iter->version);
    return !NS(SELF, try_read_from_front)(iter->circular, iter->position);
}

empty() [3/3]

bool empty ( SELF const * self )

static

Definition at line 98 of file template.h.

                                              {
    DC_ASSUME(self);
    if (self->empty) {
        DC_ASSUME(self->head == self->tail);
    }
    return self->empty;
}

empty_item() [1/2]

bool empty_item ( ITEM *const * item )

static

Definition at line 288 of file template.h.

{ return *item == NULL; }

empty_item() [2/2]

bool empty_item ( ITEM const *const * item )

static

Definition at line 343 of file template.h.

{ return *item == NULL; }

get_iter()

ITER get_iter ( SELF * self )

static

Definition at line 313 of file template.h.

                                           {
    INVARIANT_CHECK(self);
    return (ITER){
        .circular = self,
        .position = 0,
        .version = mutation_tracker_get(&self->iterator_invalidation_tracker),
    };
}

get_iter_const()

ITER_CONST get_iter_const ( SELF const * self )

static

Definition at line 368 of file template.h.

                                                             {
    INVARIANT_CHECK(self);
    return (ITER_CONST){
        .circular = self,
        .position = 0,
        .version = mutation_tracker_get(&self->iterator_invalidation_tracker),
    };
}

ITEM_CLONE()

item_t ITEM_CLONE ( item_t const * self )

static

ITEM_DEBUG()

void ITEM_DEBUG ( ITEM const * self, dc_debug_fmt fmt, FILE * stream )

static

ITEM_DELETE()

void ITEM_DELETE ( item_t * self )

static

new()

SELF new ( ALLOC * alloc )

static

Definition at line 62 of file template.h.

                                        {
    return (SELF){
        .data = NULL,
        .head = 0,
        .tail = 0,
        .empty = true,
        .alloc = alloc,
        .derive_c_circular = dc_gdb_marker_new(),
        .iterator_invalidation_tracker = mutation_tracker_new(),
    };
}

new_with_capacity_for()

SELF new_with_capacity_for ( size_t capacity_for, ALLOC * alloc )

static

Definition at line 74 of file template.h.

                                                                               {
    if (capacity_for == 0) {
        return NS(SELF, new)(alloc);
    }
    size_t const capacity = dc_math_next_power_of_2(capacity_for);
    DC_ASSERT(DC_MATH_IS_POWER_OF_2(capacity));
    ITEM* data = (ITEM*)NS(ALLOC, malloc)(alloc, capacity * sizeof(ITEM));
    DC_ASSERT(data);
 
    dc_memory_tracker_set(DC_MEMORY_TRACKER_LVL_CONTAINER, DC_MEMORY_TRACKER_CAP_NONE, data,
                          capacity * sizeof(ITEM));
 
    return (SELF){
        .data = data,
        .capacity = capacity,
        .head = 0,
        .tail = 0,
        .empty = true,
        .alloc = alloc,
        .derive_c_circular = dc_gdb_marker_new(),
        .iterator_invalidation_tracker = mutation_tracker_new(),
    };
}

next() [1/2]

ITEM * next ( ITER * iter )

static

Definition at line 302 of file template.h.

                                        {
    DC_ASSUME(iter);
    mutation_version_check(&iter->version);
    ITEM* item = NS(SELF, try_write_from_front)(iter->circular, iter->position);
    if (!item) {
        return NULL;
    }
    iter->position++;
    return item;
}

next() [2/2]

ITEM const * next ( ITER_CONST * iter )

static

Definition at line 357 of file template.h.

                                                          {
    DC_ASSUME(iter);
    mutation_version_check(&iter->version);
    ITEM const* item = NS(SELF, try_read_from_front)(iter->circular, iter->position);
    if (!item) {
        return NULL;
    }
    iter->position++;
    return item;
}

pop_back()

ITEM pop_back ( SELF * self )

static

Definition at line 235 of file template.h.

                                           {
    INVARIANT_CHECK(self);
    mutation_tracker_mutate(&self->iterator_invalidation_tracker);
    DC_ASSERT(!NS(SELF, empty)(self));
 
    ITEM value = self->data[self->tail];
    dc_memory_tracker_set(DC_MEMORY_TRACKER_LVL_CONTAINER, DC_MEMORY_TRACKER_CAP_NONE,
                          &self->data[self->tail], sizeof(ITEM));
    if (self->head == self->tail) {
        self->empty = true;
    } else {
        if (self->tail == 0) {
            self->tail = self->capacity - 1;
        } else {
            self->tail--;
        }
    }
    return value;
}

pop_front()

ITEM pop_front ( SELF * self )

static

Definition at line 216 of file template.h.

                                            {
    INVARIANT_CHECK(self);
    mutation_tracker_mutate(&self->iterator_invalidation_tracker);
    DC_ASSERT(!NS(SELF, empty)(self));
 
    ITEM value = self->data[self->head];
    dc_memory_tracker_set(DC_MEMORY_TRACKER_LVL_CONTAINER, DC_MEMORY_TRACKER_CAP_NONE,
                          &self->data[self->head], sizeof(ITEM));
    dc_memory_tracker_check(DC_MEMORY_TRACKER_LVL_CONTAINER, DC_MEMORY_TRACKER_CAP_NONE,
                            &self->data[self->head], sizeof(ITEM));
 
    if (self->head == self->tail) {
        self->empty = true;
    } else {
        self->head = dc_math_modulus_power_of_2_capacity(self->head + 1, self->capacity);
    }
    return value;
}

push_back()

void push_back ( SELF * self, ITEM item )

static

Definition at line 184 of file template.h.

                                                       {
    INVARIANT_CHECK(self);
    mutation_tracker_mutate(&self->iterator_invalidation_tracker);
    NS(SELF, reserve)(self, NS(SELF, size)(self) + 1);
 
    if (!self->empty) {
        self->tail = dc_math_modulus_power_of_2_capacity(self->tail + 1, self->capacity);
    }
    dc_memory_tracker_set(DC_MEMORY_TRACKER_LVL_CONTAINER, DC_MEMORY_TRACKER_CAP_WRITE,
                          &self->data[self->tail], sizeof(ITEM));
    self->data[self->tail] = item;
    self->empty = false;
}

push_front()

void push_front ( SELF * self, ITEM item )

static

Definition at line 198 of file template.h.

                                                        {
    INVARIANT_CHECK(self);
    mutation_tracker_mutate(&self->iterator_invalidation_tracker);
    NS(SELF, reserve)(self, NS(SELF, size)(self) + 1);
 
    if (!self->empty) {
        if (self->head == 0) {
            self->head = self->capacity - 1;
        } else {
            self->head--;
        }
    }
    dc_memory_tracker_set(DC_MEMORY_TRACKER_LVL_CONTAINER, DC_MEMORY_TRACKER_CAP_WRITE,
                          &self->data[self->head], sizeof(ITEM));
    self->data[self->head] = item;
    self->empty = false;
}

reserve()

void reserve ( SELF * self, size_t new_capacity_for )

static

Definition at line 135 of file template.h.

                                                                   {
    INVARIANT_CHECK(self);
    mutation_tracker_mutate(&self->iterator_invalidation_tracker);
 
    if (new_capacity_for > self->capacity) {
        size_t const new_capacity = dc_math_next_power_of_2(new_capacity_for * 2);
 
        // We set the capability to write for the allocator, and only touch the
        // state for memory that is inaccessible
        PRIV(NS(SELF, set_inaccessible_memory_caps))(self, DC_MEMORY_TRACKER_CAP_WRITE);
 
        ITEM* new_data =
            (ITEM*)NS(ALLOC, realloc)(self->alloc, self->data, new_capacity * sizeof(ITEM));
 
        DC_ASSERT(new_data);
        if (self->head > self->tail) {
            // The queue wraps at the old end, so we need to either:
            //  - shift elements of the tail around into the new area at the end of the buffer
            // - shift the head of the queue along to the new arena
            // need to move the wrapped around part to the end of the new buffer
            size_t const old_capacity = self->capacity;
            size_t const additional_capacity = new_capacity - old_capacity;
            size_t const front_tail_items = self->tail + 1;
            size_t const back_head_items = old_capacity - self->head;
 
            if (front_tail_items > back_head_items) {
                size_t const new_head = self->head + additional_capacity;
                memmove(&new_data[new_head], &new_data[self->head], back_head_items * sizeof(ITEM));
                self->head = new_head;
            } else {
                // as we go to the next power of 2 each time, the additional capacity is always >=
                // the number of items at the front. As a result, we never need to consider:
                // - Only copying the first n from the front
                // - Shifting some of the front items to the start of the buffer
                DC_ASSUME(front_tail_items <= additional_capacity);
 
                memcpy(&new_data[old_capacity], &new_data[0], front_tail_items * sizeof(ITEM));
                self->tail = old_capacity + front_tail_items - 1;
            }
        }
        self->capacity = new_capacity;
        self->data = new_data;
 
        // Set the new inaccessible memory
        PRIV(NS(SELF, set_inaccessible_memory_caps))(self, DC_MEMORY_TRACKER_CAP_NONE);
    }
    INVARIANT_CHECK(self);
}

set_inaccessible_memory_caps()

void PRIV set_inaccessible_memory_caps ( SELF * self, dc_memory_tracker_capability cap )

static

Definition at line 119 of file template.h.

                                                                                           {
    if (self->empty) {
        dc_memory_tracker_set(DC_MEMORY_TRACKER_LVL_CONTAINER, cap, self->data,
                              self->capacity * sizeof(ITEM));
    } else if (self->head <= self->tail) {
        dc_memory_tracker_set(DC_MEMORY_TRACKER_LVL_CONTAINER, cap, &self->data[self->tail + 1],
                              (self->capacity - (self->tail + 1)) * sizeof(ITEM));
        dc_memory_tracker_set(DC_MEMORY_TRACKER_LVL_CONTAINER, cap, self->data,
                              self->head * sizeof(ITEM));
    } else {
        dc_memory_tracker_set(DC_MEMORY_TRACKER_LVL_CONTAINER, cap, &self->data[self->tail + 1],
                              (self->head - (self->tail + 1)) * sizeof(ITEM));
    }
}

size()

size_t size ( SELF const * self )

static

Definition at line 106 of file template.h.

                                               {
    DC_ASSUME(self);
    if (self->empty) {
        DC_ASSUME(self->tail == self->head);
        return 0;
    }
 
    if (self->head <= self->tail) {
        return (self->tail - self->head) + 1;
    }
    return (self->capacity - self->head) + self->tail + 1;
}

try_read_from_back()

ITEM const * try_read_from_back ( SELF const * self, size_t index )

static

Definition at line 265 of file template.h.

                                                                                {
    INVARIANT_CHECK(self);
    if (index >= NS(SELF, size)(self)) {
        return NULL;
    }
    if (index <= self->tail) {
        return &self->data[self->tail - index];
    }
    size_t const from_end = index - self->tail;
    return &self->data[self->capacity - from_end];
}

try_read_from_front()

ITEM const * try_read_from_front ( SELF const * self, size_t index )

static

Definition at line 255 of file template.h.

                                                                                 {
    INVARIANT_CHECK(self);
    if (index < NS(SELF, size)(self)) {
        size_t const real_index =
            dc_math_modulus_power_of_2_capacity(self->head + index, self->capacity);
        return &self->data[real_index];
    }
    return NULL;
}

try_write_from_back()

ITEM * try_write_from_back ( SELF * self, size_t index )

static

Definition at line 281 of file template.h.

                                                                     {
    return (ITEM*)NS(SELF, try_read_from_back)(self, index);
}

try_write_from_front()

ITEM * try_write_from_front ( SELF * self, size_t index )

static

Definition at line 277 of file template.h.

                                                                      {
    return (ITEM*)NS(SELF, try_read_from_front)(self, index);
}