src/array_list.c

Wed, 08 Feb 2023 20:26:09 +0100

author
Mike Becker <universe@uap-core.de>
date
Wed, 08 Feb 2023 20:26:09 +0100
changeset 647
2e6e9d9f2159
parent 643
5700ba9154ab
child 654
c9d008861178
permissions
-rw-r--r--

implement swap function for list elements - fixes #218

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@643 106 #ifndef CX_ARRAY_SWAP_SBO_SIZE
universe@623 107 #define CX_ARRAY_SWAP_SBO_SIZE 512
universe@643 108 #endif
universe@623 109
universe@623 110 void cx_array_swap(
universe@623 111 void *arr,
universe@623 112 size_t elem_size,
universe@623 113 size_t idx1,
universe@623 114 size_t idx2
universe@623 115 ) {
universe@628 116 // short circuit
universe@623 117 if (idx1 == idx2) return;
universe@623 118
universe@623 119 char sbo_mem[CX_ARRAY_SWAP_SBO_SIZE];
universe@623 120 void *tmp;
universe@623 121
universe@628 122 // decide if we can use the local buffer
universe@623 123 if (elem_size > CX_ARRAY_SWAP_SBO_SIZE) {
universe@623 124 tmp = malloc(elem_size);
universe@628 125 // we don't want to enforce error handling
universe@623 126 if (tmp == NULL) abort();
universe@623 127 } else {
universe@623 128 tmp = sbo_mem;
universe@623 129 }
universe@623 130
universe@628 131 // calculate memory locations
universe@623 132 char *left = arr, *right = arr;
universe@623 133 left += idx1 * elem_size;
universe@623 134 right += idx2 * elem_size;
universe@623 135
universe@628 136 // three-way swap
universe@623 137 memcpy(tmp, left, elem_size);
universe@623 138 memcpy(left, right, elem_size);
universe@623 139 memcpy(right, tmp, elem_size);
universe@623 140
universe@628 141 // free dynamic memory, if it was needed
universe@623 142 if (tmp != sbo_mem) {
universe@623 143 free(tmp);
universe@623 144 }
universe@623 145 }
universe@623 146
universe@628 147 // HIGH LEVEL ARRAY LIST FUNCTIONS
universe@607 148
universe@607 149 typedef struct {
universe@607 150 struct cx_list_s base;
universe@607 151 void *data;
universe@610 152 struct cx_array_reallocator_s reallocator;
universe@607 153 } cx_array_list;
universe@607 154
universe@610 155 static void *cx_arl_realloc(
universe@610 156 void *array,
universe@610 157 size_t capacity,
universe@610 158 size_t elem_size,
universe@610 159 struct cx_array_reallocator_s *alloc
universe@610 160 ) {
universe@628 161 // retrieve the pointer to the list allocator
universe@610 162 CxAllocator const *al = alloc->ptr1;
universe@610 163
universe@628 164 // use the list allocator to reallocate the memory
universe@610 165 return cxRealloc(al, array, capacity * elem_size);
universe@610 166 }
universe@610 167
universe@607 168 static void cx_arl_destructor(struct cx_list_s *list) {
universe@610 169 cx_array_list *arl = (cx_array_list *) list;
universe@607 170 cxFree(list->allocator, arl->data);
universe@607 171 }
universe@607 172
universe@638 173 static size_t cx_arl_insert_array(
universe@629 174 struct cx_list_s *list,
universe@638 175 size_t index,
universe@629 176 void const *array,
universe@629 177 size_t n
universe@629 178 ) {
universe@638 179 // out of bounds and special case check
universe@638 180 if (index > list->size || n == 0) return 0;
universe@638 181
universe@638 182 // get a correctly typed pointer to the list
universe@629 183 cx_array_list *arl = (cx_array_list *) list;
universe@638 184
universe@638 185 // do we need to move some elements?
universe@638 186 if (index < list->size) {
universe@638 187 char const *first_to_move = (char const *) arl->data;
universe@638 188 first_to_move += index * list->itemsize;
universe@638 189 size_t elems_to_move = list->size - index;
universe@638 190 size_t start_of_moved = index + n;
universe@638 191
universe@638 192 if (CX_ARRAY_COPY_SUCCESS != cx_array_copy(
universe@638 193 &arl->data,
universe@638 194 &list->size,
universe@638 195 &list->capacity,
universe@638 196 start_of_moved,
universe@638 197 first_to_move,
universe@638 198 list->itemsize,
universe@638 199 elems_to_move,
universe@638 200 &arl->reallocator
universe@638 201 )) {
universe@638 202 // if moving existing elems is unsuccessful, abort
universe@638 203 return 0;
universe@638 204 }
universe@638 205 }
universe@638 206
universe@638 207 // note that if we had to move the elements, the following operation
universe@638 208 // is guaranteed to succeed, because we have the memory already allocated
universe@638 209 // therefore, it is impossible to leave this function with an invalid array
universe@638 210
universe@638 211 // place the new elements
universe@629 212 if (CX_ARRAY_COPY_SUCCESS == cx_array_copy(
universe@629 213 &arl->data,
universe@629 214 &list->size,
universe@629 215 &list->capacity,
universe@638 216 index,
universe@629 217 array,
universe@629 218 list->itemsize,
universe@629 219 n,
universe@629 220 &arl->reallocator
universe@629 221 )) {
universe@629 222 return n;
universe@629 223 } else {
universe@629 224 // array list implementation is "all or nothing"
universe@629 225 return 0;
universe@629 226 }
universe@629 227 }
universe@629 228
universe@641 229 static int cx_arl_insert_element(
universe@641 230 struct cx_list_s *list,
universe@641 231 size_t index,
universe@641 232 void const *element
universe@641 233 ) {
universe@641 234 return 1 != cx_arl_insert_array(list, index, element, 1);
universe@641 235 }
universe@641 236
universe@607 237 static int cx_arl_insert_iter(
universe@630 238 struct cx_mut_iterator_s *iter,
universe@607 239 void const *elem,
universe@607 240 int prepend
universe@607 241 ) {
universe@619 242 struct cx_list_s *list = iter->src_handle;
universe@619 243 if (iter->index < list->size) {
universe@641 244 int result = cx_arl_insert_element(
universe@619 245 list,
universe@619 246 iter->index + 1 - prepend,
universe@641 247 elem
universe@619 248 );
universe@619 249 if (result == 0 && prepend != 0) {
universe@619 250 iter->index++;
universe@619 251 iter->elem_handle = ((char *) iter->elem_handle) + list->itemsize;
universe@619 252 }
universe@619 253 return result;
universe@619 254 } else {
universe@641 255 int result = cx_arl_insert_element(list, list->size, elem);
universe@619 256 iter->index = list->size;
universe@619 257 return result;
universe@619 258 }
universe@607 259 }
universe@607 260
universe@607 261 static int cx_arl_remove(
universe@607 262 struct cx_list_s *list,
universe@607 263 size_t index
universe@607 264 ) {
universe@628 265 // out-of-bounds check
universe@613 266 if (index >= list->size) {
universe@613 267 return 1;
universe@613 268 }
universe@613 269
universe@628 270 // short-circuit removal of last element
universe@624 271 if (index == list->size - 1) {
universe@624 272 list->size--;
universe@624 273 return 0;
universe@624 274 }
universe@613 275
universe@628 276 // just move the elements starting at index to the left
universe@624 277 cx_array_list *arl = (cx_array_list *) list;
universe@613 278 int result = cx_array_copy(
universe@613 279 &arl->data,
universe@613 280 &list->size,
universe@613 281 &list->capacity,
universe@613 282 index,
universe@613 283 ((char *) arl->data) + (index + 1) * list->itemsize,
universe@613 284 list->itemsize,
universe@626 285 list->size - index - 1,
universe@613 286 &arl->reallocator
universe@613 287 );
universe@613 288 if (result == 0) {
universe@628 289 // decrease the size
universe@613 290 list->size--;
universe@613 291 }
universe@613 292 return result;
universe@607 293 }
universe@607 294
universe@647 295 static int cx_arl_swap(
universe@647 296 struct cx_list_s *list,
universe@647 297 size_t i,
universe@647 298 size_t j
universe@647 299 ) {
universe@647 300 if (i >= list->size || j >= list->size) return 1;
universe@647 301 cx_array_list *arl = (cx_array_list *) list;
universe@647 302 cx_array_swap(arl->data, list->itemsize, i, j);
universe@647 303 return 0;
universe@647 304 }
universe@647 305
universe@610 306 static void *cx_arl_at(
universe@607 307 struct cx_list_s const *list,
universe@607 308 size_t index
universe@607 309 ) {
universe@610 310 if (index < list->size) {
universe@610 311 cx_array_list const *arl = (cx_array_list const *) list;
universe@610 312 char *space = arl->data;
universe@610 313 return space + index * list->itemsize;
universe@610 314 } else {
universe@610 315 return NULL;
universe@610 316 }
universe@607 317 }
universe@607 318
universe@607 319 static size_t cx_arl_find(
universe@607 320 struct cx_list_s const *list,
universe@607 321 void const *elem
universe@607 322 ) {
universe@614 323 char *cur = ((cx_array_list const *) list)->data;
universe@614 324
universe@614 325 for (size_t i = 0; i < list->size; i++) {
universe@614 326 if (0 == list->cmpfunc(elem, cur)) {
universe@614 327 return i;
universe@614 328 }
universe@614 329 cur += list->itemsize;
universe@614 330 }
universe@614 331
universe@614 332 return list->size;
universe@607 333 }
universe@607 334
universe@607 335 static void cx_arl_sort(struct cx_list_s *list) {
universe@615 336 qsort(((cx_array_list *) list)->data,
universe@615 337 list->size,
universe@615 338 list->itemsize,
universe@615 339 list->cmpfunc
universe@615 340 );
universe@607 341 }
universe@607 342
universe@607 343 static int cx_arl_compare(
universe@607 344 struct cx_list_s const *list,
universe@607 345 struct cx_list_s const *other
universe@607 346 ) {
universe@622 347 if (list->size == other->size) {
universe@622 348 char const *left = ((cx_array_list const *) list)->data;
universe@622 349 char const *right = ((cx_array_list const *) other)->data;
universe@622 350 for (size_t i = 0; i < list->size; i++) {
universe@622 351 int d = list->cmpfunc(left, right);
universe@622 352 if (d != 0) {
universe@622 353 return d;
universe@622 354 }
universe@622 355 left += list->itemsize;
universe@622 356 right += other->itemsize;
universe@622 357 }
universe@622 358 return 0;
universe@622 359 } else {
universe@622 360 return list->size < other->size ? -1 : 1;
universe@622 361 }
universe@607 362 }
universe@607 363
universe@607 364 static void cx_arl_reverse(struct cx_list_s *list) {
universe@623 365 if (list->size < 2) return;
universe@623 366 void *data = ((cx_array_list const *) list)->data;
universe@623 367 size_t half = list->size / 2;
universe@623 368 for (size_t i = 0; i < half; i++) {
universe@623 369 cx_array_swap(data, list->itemsize, i, list->size - 1 - i);
universe@623 370 }
universe@607 371 }
universe@607 372
universe@630 373 static bool cx_arl_iter_valid(void const *it) {
universe@630 374 struct cx_iterator_s const *iter = it;
universe@616 375 struct cx_list_s const *list = iter->src_handle;
universe@616 376 return iter->index < list->size;
universe@616 377 }
universe@616 378
universe@630 379 static void *cx_arl_iter_current(void const *it) {
universe@630 380 struct cx_iterator_s const *iter = it;
universe@616 381 return iter->elem_handle;
universe@616 382 }
universe@616 383
universe@630 384 static void cx_arl_iter_next(void *it) {
universe@630 385 struct cx_iterator_base_s *itbase = it;
universe@630 386 if (itbase->remove) {
universe@630 387 struct cx_mut_iterator_s *iter = it;
universe@630 388 itbase->remove = false;
universe@616 389 cx_arl_remove(iter->src_handle, iter->index);
universe@616 390 } else {
universe@630 391 struct cx_iterator_s *iter = it;
universe@616 392 iter->index++;
universe@620 393 iter->elem_handle =
universe@620 394 ((char *) iter->elem_handle)
universe@620 395 + ((struct cx_list_s const *) iter->src_handle)->itemsize;
universe@616 396 }
universe@616 397 }
universe@616 398
universe@630 399 static bool cx_arl_iter_flag_rm(void *it) {
universe@630 400 struct cx_iterator_base_s *iter = it;
universe@630 401 if (iter->mutating) {
universe@630 402 iter->remove = true;
universe@630 403 return true;
universe@630 404 } else {
universe@630 405 return false;
universe@630 406 }
universe@630 407 }
universe@630 408
universe@607 409 static struct cx_iterator_s cx_arl_iterator(
universe@630 410 struct cx_list_s const *list,
universe@607 411 size_t index
universe@607 412 ) {
universe@607 413 struct cx_iterator_s iter;
universe@607 414
universe@616 415 iter.index = index;
universe@616 416 iter.src_handle = list;
universe@616 417 iter.elem_handle = cx_arl_at(list, index);
universe@630 418 iter.base.valid = cx_arl_iter_valid;
universe@630 419 iter.base.current = cx_arl_iter_current;
universe@630 420 iter.base.next = cx_arl_iter_next;
universe@630 421 iter.base.flag_removal = cx_arl_iter_flag_rm;
universe@630 422 iter.base.remove = false;
universe@630 423 iter.base.mutating = false;
universe@616 424
universe@607 425 return iter;
universe@607 426 }
universe@607 427
universe@607 428 static cx_list_class cx_array_list_class = {
universe@607 429 cx_arl_destructor,
universe@641 430 cx_arl_insert_element,
universe@638 431 cx_arl_insert_array,
universe@607 432 cx_arl_insert_iter,
universe@607 433 cx_arl_remove,
universe@647 434 cx_arl_swap,
universe@607 435 cx_arl_at,
universe@607 436 cx_arl_find,
universe@607 437 cx_arl_sort,
universe@607 438 cx_arl_compare,
universe@607 439 cx_arl_reverse,
universe@607 440 cx_arl_iterator,
universe@607 441 };
universe@607 442
universe@606 443 CxList *cxArrayListCreate(
universe@606 444 CxAllocator const *allocator,
universe@606 445 CxListComparator comparator,
universe@606 446 size_t item_size,
universe@606 447 size_t initial_capacity
universe@606 448 ) {
universe@607 449 cx_array_list *list = cxCalloc(allocator, 1, sizeof(cx_array_list));
universe@607 450 if (list == NULL) return NULL;
universe@607 451
universe@607 452 list->data = cxCalloc(allocator, initial_capacity, item_size);
universe@607 453 if (list->data == NULL) {
universe@607 454 cxFree(allocator, list);
universe@607 455 return NULL;
universe@607 456 }
universe@607 457
universe@607 458 list->base.cl = &cx_array_list_class;
universe@607 459 list->base.allocator = allocator;
universe@607 460 list->base.cmpfunc = comparator;
universe@607 461 list->base.itemsize = item_size;
universe@607 462 list->base.capacity = initial_capacity;
universe@607 463
universe@628 464 // configure the reallocator
universe@610 465 list->reallocator.realloc = cx_arl_realloc;
universe@610 466 list->reallocator.ptr1 = (void *) allocator;
universe@610 467
universe@607 468 return (CxList *) list;
universe@606 469 }

mercurial