src/array_list.c

Sun, 20 Nov 2022 21:08:36 +0100

author
Mike Becker <universe@uap-core.de>
date
Sun, 20 Nov 2022 21:08:36 +0100
changeset 628
1e2be40f0cb5
parent 627
cc8cbabd27cd
child 629
6c81ee4f11ad
permissions
-rw-r--r--

use //-style single line comments everywhere

universe@606 1 /*
universe@606 2 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
universe@606 3 *
universe@606 4 * Copyright 2021 Mike Becker, Olaf Wintermann All rights reserved.
universe@606 5 *
universe@606 6 * Redistribution and use in source and binary forms, with or without
universe@606 7 * modification, are permitted provided that the following conditions are met:
universe@606 8 *
universe@606 9 * 1. Redistributions of source code must retain the above copyright
universe@606 10 * notice, this list of conditions and the following disclaimer.
universe@606 11 *
universe@606 12 * 2. Redistributions in binary form must reproduce the above copyright
universe@606 13 * notice, this list of conditions and the following disclaimer in the
universe@606 14 * documentation and/or other materials provided with the distribution.
universe@606 15 *
universe@606 16 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
universe@606 17 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
universe@606 18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
universe@606 19 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
universe@606 20 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
universe@606 21 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
universe@606 22 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
universe@606 23 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
universe@606 24 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
universe@606 25 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
universe@606 26 * POSSIBILITY OF SUCH DAMAGE.
universe@606 27 */
universe@606 28
universe@606 29 #include "cx/array_list.h"
universe@610 30 #include <assert.h>
universe@610 31 #include <string.h>
universe@611 32 #include <stdint.h>
universe@606 33
universe@628 34 // LOW LEVEL ARRAY LIST FUNCTIONS
universe@607 35
universe@612 36 enum cx_array_copy_result cx_array_copy(
universe@610 37 void **target,
universe@610 38 size_t *size,
universe@610 39 size_t *capacity,
universe@610 40 size_t index,
universe@610 41 void const *src,
universe@610 42 size_t elem_size,
universe@610 43 size_t elem_count,
universe@610 44 struct cx_array_reallocator_s *reallocator
universe@610 45 ) {
universe@628 46 // assert pointers
universe@610 47 assert(target != NULL);
universe@610 48 assert(size != NULL);
universe@610 49 assert(src != NULL);
universe@607 50
universe@628 51 // determine capacity
universe@610 52 size_t cap = capacity == NULL ? *size : *capacity;
universe@610 53
universe@628 54 // check if resize is required
universe@627 55 size_t minsize = index + elem_count;
universe@627 56 size_t newsize = *size < minsize ? minsize : *size;
universe@610 57 bool needrealloc = newsize > cap;
universe@610 58
universe@628 59 // reallocate if possible
universe@610 60 if (needrealloc) {
universe@628 61 // a reallocator and a capacity variable must be available
universe@610 62 if (reallocator == NULL || capacity == NULL) {
universe@610 63 return CX_ARRAY_COPY_REALLOC_NOT_SUPPORTED;
universe@610 64 }
universe@610 65
universe@628 66 // check, if we need to repair the src pointer
universe@611 67 uintptr_t targetaddr = (uintptr_t) *target;
universe@611 68 uintptr_t srcaddr = (uintptr_t) src;
universe@611 69 bool repairsrc = targetaddr <= srcaddr
universe@611 70 && srcaddr < targetaddr + cap * elem_size;
universe@611 71
universe@628 72 // calculate new capacity (next number divisible by 16)
universe@625 73 cap = newsize - (newsize % 16) + 16;
universe@625 74 assert(cap > newsize);
universe@610 75
universe@628 76 // perform reallocation
universe@610 77 void *newmem = reallocator->realloc(
universe@610 78 *target, cap, elem_size, reallocator
universe@610 79 );
universe@610 80 if (newmem == NULL) {
universe@610 81 return CX_ARRAY_COPY_REALLOC_FAILED;
universe@610 82 }
universe@610 83
universe@628 84 // repair src pointer, if necessary
universe@611 85 if (repairsrc) {
universe@611 86 src = ((char *) newmem) + (srcaddr - targetaddr);
universe@611 87 }
universe@611 88
universe@628 89 // store new pointer and capacity
universe@610 90 *target = newmem;
universe@610 91 *capacity = cap;
universe@610 92 }
universe@610 93
universe@628 94 // determine target pointer
universe@610 95 char *start = *target;
universe@610 96 start += index * elem_size;
universe@610 97
universe@628 98 // copy elements and set new size
universe@611 99 memmove(start, src, elem_count * elem_size);
universe@610 100 *size = newsize;
universe@610 101
universe@628 102 // return successfully
universe@610 103 return CX_ARRAY_COPY_SUCCESS;
universe@610 104 }
universe@607 105
universe@623 106 #define CX_ARRAY_SWAP_SBO_SIZE 512
universe@623 107
universe@623 108 void cx_array_swap(
universe@623 109 void *arr,
universe@623 110 size_t elem_size,
universe@623 111 size_t idx1,
universe@623 112 size_t idx2
universe@623 113 ) {
universe@628 114 // short circuit
universe@623 115 if (idx1 == idx2) return;
universe@623 116
universe@623 117 char sbo_mem[CX_ARRAY_SWAP_SBO_SIZE];
universe@623 118 void *tmp;
universe@623 119
universe@628 120 // decide if we can use the local buffer
universe@623 121 if (elem_size > CX_ARRAY_SWAP_SBO_SIZE) {
universe@623 122 tmp = malloc(elem_size);
universe@628 123 // we don't want to enforce error handling
universe@623 124 if (tmp == NULL) abort();
universe@623 125 } else {
universe@623 126 tmp = sbo_mem;
universe@623 127 }
universe@623 128
universe@628 129 // calculate memory locations
universe@623 130 char *left = arr, *right = arr;
universe@623 131 left += idx1 * elem_size;
universe@623 132 right += idx2 * elem_size;
universe@623 133
universe@628 134 // three-way swap
universe@623 135 memcpy(tmp, left, elem_size);
universe@623 136 memcpy(left, right, elem_size);
universe@623 137 memcpy(right, tmp, elem_size);
universe@623 138
universe@628 139 // free dynamic memory, if it was needed
universe@623 140 if (tmp != sbo_mem) {
universe@623 141 free(tmp);
universe@623 142 }
universe@623 143 }
universe@623 144
universe@628 145 // HIGH LEVEL ARRAY LIST FUNCTIONS
universe@607 146
universe@607 147 typedef struct {
universe@607 148 struct cx_list_s base;
universe@607 149 void *data;
universe@610 150 struct cx_array_reallocator_s reallocator;
universe@607 151 } cx_array_list;
universe@607 152
universe@610 153 static void *cx_arl_realloc(
universe@610 154 void *array,
universe@610 155 size_t capacity,
universe@610 156 size_t elem_size,
universe@610 157 struct cx_array_reallocator_s *alloc
universe@610 158 ) {
universe@628 159 // retrieve the pointer to the list allocator
universe@610 160 CxAllocator const *al = alloc->ptr1;
universe@610 161
universe@628 162 // use the list allocator to reallocate the memory
universe@610 163 return cxRealloc(al, array, capacity * elem_size);
universe@610 164 }
universe@610 165
universe@607 166 static void cx_arl_destructor(struct cx_list_s *list) {
universe@610 167 cx_array_list *arl = (cx_array_list *) list;
universe@607 168 cxFree(list->allocator, arl->data);
universe@607 169 }
universe@607 170
universe@607 171 static int cx_arl_add(
universe@607 172 struct cx_list_s *list,
universe@607 173 void const *elem
universe@607 174 ) {
universe@610 175 cx_array_list *arl = (cx_array_list *) list;
universe@610 176 return cx_array_copy(
universe@610 177 &arl->data,
universe@610 178 &list->size,
universe@610 179 &list->capacity,
universe@610 180 list->size,
universe@610 181 elem,
universe@610 182 list->itemsize,
universe@610 183 1,
universe@610 184 &arl->reallocator
universe@610 185 );
universe@607 186 }
universe@607 187
universe@607 188 static int cx_arl_insert(
universe@607 189 struct cx_list_s *list,
universe@607 190 size_t index,
universe@607 191 void const *elem
universe@607 192 ) {
universe@611 193 if (index > list->size) {
universe@611 194 return 1;
universe@611 195 } else if (index == list->size) {
universe@611 196 return cx_arl_add(list, elem);
universe@611 197 } else {
universe@611 198 cx_array_list *arl = (cx_array_list *) list;
universe@611 199
universe@628 200 // move elements starting at index to the right
universe@611 201 if (cx_array_copy(
universe@611 202 &arl->data,
universe@611 203 &list->size,
universe@611 204 &list->capacity,
universe@611 205 index + 1,
universe@611 206 ((char *) arl->data) + index * list->itemsize,
universe@611 207 list->itemsize,
universe@611 208 list->size - index,
universe@611 209 &arl->reallocator
universe@611 210 )) {
universe@611 211 return 1;
universe@611 212 }
universe@611 213
universe@628 214 // place the element
universe@611 215 memcpy(((char *) arl->data) + index * list->itemsize,
universe@611 216 elem, list->itemsize);
universe@611 217
universe@611 218 return 0;
universe@611 219 }
universe@607 220 }
universe@607 221
universe@607 222 static int cx_arl_insert_iter(
universe@607 223 struct cx_iterator_s *iter,
universe@607 224 void const *elem,
universe@607 225 int prepend
universe@607 226 ) {
universe@619 227 struct cx_list_s *list = iter->src_handle;
universe@619 228 if (iter->index < list->size) {
universe@619 229 int result = cx_arl_insert(
universe@619 230 list,
universe@619 231 iter->index + 1 - prepend,
universe@619 232 elem
universe@619 233 );
universe@619 234 if (result == 0 && prepend != 0) {
universe@619 235 iter->index++;
universe@619 236 iter->elem_handle = ((char *) iter->elem_handle) + list->itemsize;
universe@619 237 }
universe@619 238 return result;
universe@619 239 } else {
universe@619 240 int result = cx_arl_add(list, elem);
universe@619 241 iter->index = list->size;
universe@619 242 return result;
universe@619 243 }
universe@607 244 }
universe@607 245
universe@607 246 static int cx_arl_remove(
universe@607 247 struct cx_list_s *list,
universe@607 248 size_t index
universe@607 249 ) {
universe@628 250 // out-of-bounds check
universe@613 251 if (index >= list->size) {
universe@613 252 return 1;
universe@613 253 }
universe@613 254
universe@628 255 // short-circuit removal of last element
universe@624 256 if (index == list->size - 1) {
universe@624 257 list->size--;
universe@624 258 return 0;
universe@624 259 }
universe@613 260
universe@628 261 // just move the elements starting at index to the left
universe@624 262 cx_array_list *arl = (cx_array_list *) list;
universe@613 263 int result = cx_array_copy(
universe@613 264 &arl->data,
universe@613 265 &list->size,
universe@613 266 &list->capacity,
universe@613 267 index,
universe@613 268 ((char *) arl->data) + (index + 1) * list->itemsize,
universe@613 269 list->itemsize,
universe@626 270 list->size - index - 1,
universe@613 271 &arl->reallocator
universe@613 272 );
universe@613 273 if (result == 0) {
universe@628 274 // decrease the size
universe@613 275 list->size--;
universe@613 276 }
universe@613 277 return result;
universe@607 278 }
universe@607 279
universe@610 280 static void *cx_arl_at(
universe@607 281 struct cx_list_s const *list,
universe@607 282 size_t index
universe@607 283 ) {
universe@610 284 if (index < list->size) {
universe@610 285 cx_array_list const *arl = (cx_array_list const *) list;
universe@610 286 char *space = arl->data;
universe@610 287 return space + index * list->itemsize;
universe@610 288 } else {
universe@610 289 return NULL;
universe@610 290 }
universe@607 291 }
universe@607 292
universe@607 293 static size_t cx_arl_find(
universe@607 294 struct cx_list_s const *list,
universe@607 295 void const *elem
universe@607 296 ) {
universe@614 297 char *cur = ((cx_array_list const *) list)->data;
universe@614 298
universe@614 299 for (size_t i = 0; i < list->size; i++) {
universe@614 300 if (0 == list->cmpfunc(elem, cur)) {
universe@614 301 return i;
universe@614 302 }
universe@614 303 cur += list->itemsize;
universe@614 304 }
universe@614 305
universe@614 306 return list->size;
universe@607 307 }
universe@607 308
universe@607 309 static void cx_arl_sort(struct cx_list_s *list) {
universe@615 310 qsort(((cx_array_list *) list)->data,
universe@615 311 list->size,
universe@615 312 list->itemsize,
universe@615 313 list->cmpfunc
universe@615 314 );
universe@607 315 }
universe@607 316
universe@607 317 static int cx_arl_compare(
universe@607 318 struct cx_list_s const *list,
universe@607 319 struct cx_list_s const *other
universe@607 320 ) {
universe@622 321 if (list->size == other->size) {
universe@622 322 char const *left = ((cx_array_list const *) list)->data;
universe@622 323 char const *right = ((cx_array_list const *) other)->data;
universe@622 324 for (size_t i = 0; i < list->size; i++) {
universe@622 325 int d = list->cmpfunc(left, right);
universe@622 326 if (d != 0) {
universe@622 327 return d;
universe@622 328 }
universe@622 329 left += list->itemsize;
universe@622 330 right += other->itemsize;
universe@622 331 }
universe@622 332 return 0;
universe@622 333 } else {
universe@622 334 return list->size < other->size ? -1 : 1;
universe@622 335 }
universe@607 336 }
universe@607 337
universe@607 338 static void cx_arl_reverse(struct cx_list_s *list) {
universe@623 339 if (list->size < 2) return;
universe@623 340 void *data = ((cx_array_list const *) list)->data;
universe@623 341 size_t half = list->size / 2;
universe@623 342 for (size_t i = 0; i < half; i++) {
universe@623 343 cx_array_swap(data, list->itemsize, i, list->size - 1 - i);
universe@623 344 }
universe@607 345 }
universe@607 346
universe@616 347 static bool cx_arl_iter_valid(struct cx_iterator_s const *iter) {
universe@616 348 struct cx_list_s const *list = iter->src_handle;
universe@616 349 return iter->index < list->size;
universe@616 350 }
universe@616 351
universe@616 352 static void *cx_arl_iter_current(struct cx_iterator_s const *iter) {
universe@616 353 return iter->elem_handle;
universe@616 354 }
universe@616 355
universe@616 356 static void cx_arl_iter_next(struct cx_iterator_s *iter) {
universe@616 357 if (iter->remove) {
universe@616 358 iter->remove = false;
universe@616 359 cx_arl_remove(iter->src_handle, iter->index);
universe@616 360 } else {
universe@616 361 iter->index++;
universe@620 362 iter->elem_handle =
universe@620 363 ((char *) iter->elem_handle)
universe@620 364 + ((struct cx_list_s const *) iter->src_handle)->itemsize;
universe@616 365 }
universe@616 366 }
universe@616 367
universe@607 368 static struct cx_iterator_s cx_arl_iterator(
universe@607 369 struct cx_list_s *list,
universe@607 370 size_t index
universe@607 371 ) {
universe@607 372 struct cx_iterator_s iter;
universe@607 373
universe@616 374 iter.index = index;
universe@616 375 iter.src_handle = list;
universe@616 376 iter.elem_handle = cx_arl_at(list, index);
universe@616 377 iter.valid = cx_arl_iter_valid;
universe@616 378 iter.current = cx_arl_iter_current;
universe@616 379 iter.next = cx_arl_iter_next;
universe@616 380 iter.remove = false;
universe@616 381
universe@607 382 return iter;
universe@607 383 }
universe@607 384
universe@607 385 static cx_list_class cx_array_list_class = {
universe@607 386 cx_arl_destructor,
universe@607 387 cx_arl_add,
universe@607 388 cx_arl_insert,
universe@607 389 cx_arl_insert_iter,
universe@607 390 cx_arl_remove,
universe@607 391 cx_arl_at,
universe@607 392 cx_arl_find,
universe@607 393 cx_arl_sort,
universe@607 394 cx_arl_compare,
universe@607 395 cx_arl_reverse,
universe@607 396 cx_arl_iterator,
universe@607 397 };
universe@607 398
universe@606 399 CxList *cxArrayListCreate(
universe@606 400 CxAllocator const *allocator,
universe@606 401 CxListComparator comparator,
universe@606 402 size_t item_size,
universe@606 403 size_t initial_capacity
universe@606 404 ) {
universe@607 405 cx_array_list *list = cxCalloc(allocator, 1, sizeof(cx_array_list));
universe@607 406 if (list == NULL) return NULL;
universe@607 407
universe@607 408 list->data = cxCalloc(allocator, initial_capacity, item_size);
universe@607 409 if (list->data == NULL) {
universe@607 410 cxFree(allocator, list);
universe@607 411 return NULL;
universe@607 412 }
universe@607 413
universe@607 414 list->base.cl = &cx_array_list_class;
universe@607 415 list->base.allocator = allocator;
universe@607 416 list->base.cmpfunc = comparator;
universe@607 417 list->base.itemsize = item_size;
universe@607 418 list->base.capacity = initial_capacity;
universe@607 419
universe@628 420 // configure the reallocator
universe@610 421 list->reallocator.realloc = cx_arl_realloc;
universe@610 422 list->reallocator.ptr1 = (void *) allocator;
universe@610 423
universe@607 424 return (CxList *) list;
universe@606 425 }

mercurial