src/ucx/iterator.c

Mon, 10 Nov 2025 21:06:55 +0100

author
Olaf Wintermann <olaf.wintermann@gmail.com>
date
Mon, 10 Nov 2025 21:06:55 +0100
changeset 622
6e44c7ce0834
parent 621
956c03c25edd
permissions
-rw-r--r--

add ucx kv_list

579
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
1 /*
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
2 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
3 *
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
4 * Copyright 2024 Mike Becker, Olaf Wintermann All rights reserved.
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
5 *
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
6 * Redistribution and use in source and binary forms, with or without
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
7 * modification, are permitted provided that the following conditions are met:
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
8 *
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
9 * 1. Redistributions of source code must retain the above copyright
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
10 * notice, this list of conditions and the following disclaimer.
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
11 *
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
12 * 2. Redistributions in binary form must reproduce the above copyright
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
13 * notice, this list of conditions and the following disclaimer in the
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
14 * documentation and/or other materials provided with the distribution.
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
15 *
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
16 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
17 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
19 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
20 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
21 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
22 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
23 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
24 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
25 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
26 * POSSIBILITY OF SUCH DAMAGE.
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
27 */
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
28
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
29 #include "cx/iterator.h"
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
30
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
31 #include <string.h>
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
32
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
33 static bool cx_iter_valid(const void *it) {
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
34 const struct cx_iterator_s *iter = it;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
35 return iter->index < iter->elem_count;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
36 }
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
37
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
38 static void *cx_iter_current(const void *it) {
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
39 const struct cx_iterator_s *iter = it;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
40 return iter->elem_handle;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
41 }
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
42
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
43 static void *cx_iter_current_ptr(const void *it) {
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
44 const struct cx_iterator_s *iter = it;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
45 return *(void**)iter->elem_handle;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
46 }
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
47
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
48 static void cx_iter_next_fast(void *it) {
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
49 struct cx_iterator_s *iter = it;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
50 if (iter->base.remove) {
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
51 iter->base.remove = false;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
52 iter->elem_count--;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
53 // only move the last element when we are not currently aiming
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
54 // at the last element already
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
55 if (iter->index < iter->elem_count) {
621
956c03c25edd update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents: 579
diff changeset
56 void *last = ((char *) iter->src_handle)
579
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
57 + iter->elem_count * iter->elem_size;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
58 memcpy(iter->elem_handle, last, iter->elem_size);
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
59 }
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
60 } else {
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
61 iter->index++;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
62 iter->elem_handle = ((char *) iter->elem_handle) + iter->elem_size;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
63 }
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
64 }
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
65
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
66 static void cx_iter_next_slow(void *it) {
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
67 struct cx_iterator_s *iter = it;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
68 if (iter->base.remove) {
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
69 iter->base.remove = false;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
70 iter->elem_count--;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
71
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
72 // number of elements to move
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
73 size_t remaining = iter->elem_count - iter->index;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
74 if (remaining > 0) {
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
75 memmove(
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
76 iter->elem_handle,
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
77 ((char *) iter->elem_handle) + iter->elem_size,
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
78 remaining * iter->elem_size
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
79 );
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
80 }
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
81 } else {
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
82 iter->index++;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
83 iter->elem_handle = ((char *) iter->elem_handle) + iter->elem_size;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
84 }
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
85 }
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
86
621
956c03c25edd update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents: 579
diff changeset
87 CxIterator cxIterator(
956c03c25edd update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents: 579
diff changeset
88 const void *array,
579
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
89 size_t elem_size,
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
90 size_t elem_count,
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
91 bool remove_keeps_order
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
92 ) {
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
93 CxIterator iter;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
94
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
95 iter.index = 0;
621
956c03c25edd update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents: 579
diff changeset
96 iter.src_handle = (void*) array;
956c03c25edd update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents: 579
diff changeset
97 iter.elem_handle = (void*) array;
579
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
98 iter.elem_size = elem_size;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
99 iter.elem_count = array == NULL ? 0 : elem_count;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
100 iter.base.valid = cx_iter_valid;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
101 iter.base.current = cx_iter_current;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
102 iter.base.next = remove_keeps_order ? cx_iter_next_slow : cx_iter_next_fast;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
103 iter.base.remove = false;
621
956c03c25edd update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents: 579
diff changeset
104 iter.base.allow_remove = true;
579
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
105
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
106 return iter;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
107 }
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
108
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
109 CxIterator cxIteratorPtr(
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
110 const void *array,
621
956c03c25edd update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents: 579
diff changeset
111 size_t elem_count,
956c03c25edd update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents: 579
diff changeset
112 bool remove_keeps_order
579
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
113 ) {
621
956c03c25edd update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents: 579
diff changeset
114 CxIterator iter = cxIterator(array, sizeof(void*), elem_count, remove_keeps_order);
956c03c25edd update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents: 579
diff changeset
115 iter.base.current = cx_iter_current_ptr;
579
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
116 return iter;
e10457d74fe1 update ucx
Olaf Wintermann <olaf.wintermann@gmail.com>
parents:
diff changeset
117 }

mercurial