Coverage Report

Created: 2026-09-14 07:05

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/curl/lib/uint-hashset.c
Line
Count
Source
1
/***************************************************************************
2
 *                                  _   _ ____  _
3
 *  Project                     ___| | | |  _ \| |
4
 *                             / __| | | | |_) | |
5
 *                            | (__| |_| |  _ <| |___
6
 *                             \___|\___/|_| \_\_____|
7
 *
8
 * Copyright (C) Daniel Stenberg, <daniel@haxx.se>, et al.
9
 *
10
 * This software is licensed as described in the file COPYING, which
11
 * you should have received as part of this distribution. The terms
12
 * are also available at https://curl.se/docs/copyright.html.
13
 *
14
 * You may opt to use, copy, modify, merge, publish, distribute and/or sell
15
 * copies of the Software, and permit persons to whom the Software is
16
 * furnished to do so, under the terms of the COPYING file.
17
 *
18
 * This software is distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY
19
 * KIND, either express or implied.
20
 *
21
 * SPDX-License-Identifier: curl
22
 *
23
 ***************************************************************************/
24
#include "curl_setup.h"
25
26
#include "uint-hashset.h"
27
#include "curlx/strdup.h"
28
29
/* random patterns for API verification */
30
#ifdef DEBUGBUILD
31
3
#define CURL_U8_STRSET_MAGIC 0x7117e783
32
#endif
33
34
#define CURL_U8_STRSET_DEBUG      0
35
36
0
#define CURL_SWAP(a, b) (((a) ^= (b)), ((b) ^= (a)), ((a) ^= (b)))
37
38
static const uint8_t u8_smask[] = {
39
  0x00U,
40
  0x01U,
41
  0x03U,
42
  0x07U,
43
  0x0FU,
44
  0x1FU,
45
  0x3FU,
46
  0x7FU,
47
  0xFFU,
48
};
49
50
7
#define CURL_U8_SET_SLOT_IDX(s, i)    (uint8_t)((i) & u8_smask[(s)->slotbits])
51
9
#define CURL_U8_SLOT_CNT(i)           ((uint16_t)u8_smask[(i)] + 1)
52
9
#define CURL_U8_SET_SLOT_CNT(s)       CURL_U8_SLOT_CNT((s)->slotbits)
53
54
/* A hashset for tuples (id, string) using Robin Hood Hashing.
55
 * <https://www.cs.cornell.edu/courses/JavaAndDS/files/hashing_RobinHood.pdf>
56
 * The basic idea here to handle collisions by robbing "rich" entries and
57
 * giving to the "poor":
58
 * - We have an array: (id, string) are ideally placed at index "id % size".
59
 * - If slot at index is already occupied, we have a collision.
60
 * - A simple collision strategy would look at the next index, and the
61
 *   next until finding an empty slot.
62
 * - The drawback is that this may lead to many checks on lookups, as it
63
 *   will need to also look at subsequent slots until it finds the match.
64
 *   The amount of lookups is the "probe sequence length" (psl) and this
65
 *   may vary greatly between entries.
66
 * - Robin Hood Hashing balances the 'psl's of all entries more evenly:
67
 *   - psl == 0 means an entry is in exactly the right slot
68
 *   - psl == 1 means it is in the slot right after. psl == 2 is the slot
69
 *     after that, etc.
70
 *   - when inserting a new entry, track its psl. Finding a slot where
71
 *     the existing entry has a lower psl makes a swap. Put the new entry
72
 *     and its psl there, take the previous entry and its psl and find
73
 *     the next best slot for the previous entry. */
74
void Curl_u8_strset_init(struct u8_strset *set)
75
3
{
76
#if defined(__GNUC__) && __GNUC__ >= 13
77
#pragma GCC diagnostic push
78
#pragma GCC diagnostic ignored "-Warray-bounds"
79
#endif
80
3
  memset(set, 0, sizeof(*set));
81
#if defined(__GNUC__) && __GNUC__ >= 13
82
#pragma GCC diagnostic pop
83
#endif
84
3
  set->data = set->sdata;
85
3
  set->ids = set->sids;
86
3
  set->psl = set->spsl;
87
3
  set->slotbits = CURL_U8_STRSET_START_BITS;
88
3
  set->count = 0;
89
3
#ifdef DEBUGBUILD
90
3
  set->init = CURL_U8_STRSET_MAGIC;
91
3
#endif
92
3
}
93
94
void Curl_u8_strset_clear(struct u8_strset *set)
95
1
{
96
1
  uint16_t i;
97
1
  DEBUGASSERT(set->init == CURL_U8_STRSET_MAGIC);
98
9
  for(i = 0; i < CURL_U8_SET_SLOT_CNT(set); ++i)
99
8
    curlx_safefree(set->data[i]);
100
101
1
  if(set->data != set->sdata)
102
0
    curlx_safefree(set->data);
103
1
  Curl_u8_strset_init(set);
104
1
}
105
106
static void u8_strset_addn(struct u8_strset *set, uint8_t id, char *val)
107
0
{
108
0
  uint8_t i = CURL_U8_SET_SLOT_IDX(set, id);
109
0
  uint8_t psl = 0;
110
0
  while(set->data[i]) {
111
0
    if(psl > set->psl[i]) { /* SWAP */
112
0
      char *tmpdata;
113
0
      tmpdata = set->data[i];
114
0
      set->data[i] = val;
115
0
      val = tmpdata;
116
0
      CURL_SWAP(set->psl[i], psl);
117
0
      CURL_SWAP(set->ids[i], id);
118
0
    }
119
0
    i = CURL_U8_SET_SLOT_IDX(set, i + 1);
120
0
    ++psl;
121
0
  }
122
0
  set->ids[i] = id;
123
0
  set->data[i] = val;
124
0
  set->psl[i] = psl;
125
0
  ++set->count;
126
0
}
127
128
static bool u8_strset_grow(struct u8_strset *set)
129
0
{
130
0
  uint8_t i, *prev_ids, nslotbits;
131
0
  uint16_t prev_slots;
132
0
  char **prev_data;
133
0
  size_t nslots;
134
0
  void *d;
135
136
0
  if(set->slotbits >= 8)
137
0
    return FALSE;
138
0
  nslotbits = (uint8_t)(set->slotbits + 1);
139
#if CURL_U8_STRSET_DEBUG
140
  curl_mfprintf(stderr, "u8_strset_grow from %d to %d\n",
141
                set->slotbits, nslotbits);
142
#endif
143
0
  nslots = CURL_U8_SLOT_CNT(nslotbits);
144
0
  d = curlx_calloc(1, (nslots * sizeof(char *)) + (2 * nslots));
145
0
  if(!d)
146
0
    return FALSE;
147
148
0
  prev_data = set->data;
149
0
  prev_ids = set->ids;
150
0
  prev_slots = set->slotbits;
151
#if defined(__GNUC__) && __GNUC__ >= 13
152
#pragma GCC diagnostic push
153
#pragma GCC diagnostic ignored "-Wanalyzer-allocation-size"
154
#endif
155
0
  set->data = (char **)d;
156
#if defined(__GNUC__) && __GNUC__ >= 13
157
#pragma GCC diagnostic pop
158
#endif
159
0
  set->ids = (uint8_t *)d + (nslots * sizeof(char *));
160
0
  set->psl = set->ids + nslots;
161
0
  set->slotbits = nslotbits;
162
0
  set->count = 0;
163
  /* re-add previous entries */
164
0
  for(i = 0; i < CURL_U8_SLOT_CNT(prev_slots); ++i) {
165
0
    if(prev_data[i])
166
0
      u8_strset_addn(set, prev_ids[i], prev_data[i]);
167
0
  }
168
0
  if(prev_data != set->sdata)
169
0
    curlx_free(prev_data);
170
0
  return TRUE;
171
0
}
172
173
static bool u8_strset_get_index(struct u8_strset *set,
174
                                uint8_t id, uint8_t *pindex)
175
7
{
176
7
  uint8_t i = CURL_U8_SET_SLOT_IDX(set, id);
177
7
  uint8_t psl = 0;
178
7
  while(set->data[i] && (psl <= set->psl[i])) {
179
0
    if(set->ids[i] == id) {
180
0
      *pindex = i;
181
#if CURL_U8_STRSET_DEBUG
182
      curl_mfprintf(stderr, "u8_strset_index %d=%s\n", id, set->data[i]);
183
#endif
184
0
      return TRUE;
185
0
    }
186
0
    i = CURL_U8_SET_SLOT_IDX(set, i + 1);
187
0
    ++psl;
188
0
  }
189
#if CURL_U8_STRSET_DEBUG
190
  curl_mfprintf(stderr, "u8_strset_index %d not found\n", id);
191
#endif
192
7
  *pindex = 0;
193
7
  return FALSE;
194
7
}
195
196
#ifdef UNITTESTS
197
/* @unittest 3211 */
198
uint16_t Curl_u8_strset_count(struct u8_strset *set)
199
0
{
200
0
  return set->count;
201
0
}
202
#endif
203
204
const char *Curl_u8_strset_get(struct u8_strset *set, uint8_t id)
205
2
{
206
2
  uint8_t i;
207
2
  DEBUGASSERT(set->init == CURL_U8_STRSET_MAGIC);
208
2
  if(u8_strset_get_index(set, id, &i))
209
0
    return set->data[i];
210
2
  return NULL;
211
2
}
212
213
CURLcode Curl_u8_strset_setn(struct u8_strset *set,
214
                             uint8_t id, char *str)
215
0
{
216
0
  uint8_t i;
217
218
0
  DEBUGASSERT(set->init == CURL_U8_STRSET_MAGIC);
219
#if CURL_U8_STRSET_DEBUG
220
  curl_mfprintf(stderr, "u8_strset_setn %d=%s\n", id, str);
221
#endif
222
0
  if(!str) {
223
0
    Curl_u8_strset_unset(set, id);
224
0
    return CURLE_OK;
225
0
  }
226
227
0
  if(u8_strset_get_index(set, id, &i)) {
228
    /* `id` is in set, replace value */
229
0
    curlx_free(set->data[i]);
230
0
    set->data[i] = str;
231
0
    return CURLE_OK;
232
0
  }
233
  /* `id` not in set yet, grow if full */
234
0
  if((set->count >= CURL_U8_SET_SLOT_CNT(set)) && !u8_strset_grow(set)) {
235
0
    curlx_free(str);
236
0
    return CURLE_OUT_OF_MEMORY;
237
0
  }
238
239
0
  u8_strset_addn(set, id, str);
240
0
  return CURLE_OK;
241
0
}
242
243
CURLcode Curl_u8_strset_setx(struct u8_strset *set,
244
                             uint8_t id, const char *str, size_t slen)
245
0
{
246
0
  char *val;
247
248
0
  DEBUGASSERT(set->init == CURL_U8_STRSET_MAGIC);
249
0
  if(!str) {
250
0
    Curl_u8_strset_unset(set, id);
251
0
    return CURLE_OK;
252
0
  }
253
254
0
  val = curlx_memdup0(str, slen);
255
0
  if(!val)
256
0
    return CURLE_OUT_OF_MEMORY;
257
0
  return Curl_u8_strset_setn(set, id, val);
258
0
}
259
260
/* @unittest 3211 */
261
UNITTEST CURLcode u8_strset_set(struct u8_strset *set,
262
                                uint8_t id, const char *str);
263
UNITTEST CURLcode u8_strset_set(struct u8_strset *set,
264
                                uint8_t id, const char *str)
265
0
{
266
0
  return Curl_u8_strset_setx(set, id, str, str ? strlen(str) : 0);
267
0
}
268
269
static void u8_strset_unset(struct u8_strset *set, uint8_t id, bool zero)
270
5
{
271
5
  uint8_t i, j;
272
273
5
  DEBUGASSERT(set->init == CURL_U8_STRSET_MAGIC);
274
5
  if(u8_strset_get_index(set, id, &i)) {
275
    /* `id` is in set */
276
0
    if(zero)
277
0
      curlx_strzero(set->data[i]);
278
0
    curlx_safefree(set->data[i]);
279
0
    set->ids[i] = set->psl[i] = 0;
280
0
    --set->count;
281
0
    j = CURL_U8_SET_SLOT_IDX(set, i + 1);
282
    /* shift all entries with positive psl "down" */
283
0
    while(set->data[j] && set->psl[j]) {
284
0
      set->data[i] = set->data[j];
285
0
      set->ids[i] = set->ids[j];
286
0
      set->psl[i] = (uint8_t)(set->psl[j] - 1);
287
0
      set->data[j] = NULL;
288
0
      set->ids[j] = set->psl[j] = 0;
289
0
      i = j;
290
0
      j = CURL_U8_SET_SLOT_IDX(set, i + 1);
291
0
    }
292
0
  }
293
5
}
294
295
void Curl_u8_strset_unset(struct u8_strset *set, uint8_t id)
296
0
{
297
0
  u8_strset_unset(set, id, FALSE);
298
0
}
299
300
void Curl_u8_strset_unset0(struct u8_strset *set, uint8_t id)
301
5
{
302
5
  u8_strset_unset(set, id, TRUE);
303
5
}
304
305
CURLcode Curl_u8_strset_copy(struct u8_strset *dest, struct u8_strset *src)
306
0
{
307
0
  CURLcode result = CURLE_OK;
308
0
  uint16_t i;
309
310
0
  DEBUGASSERT(src->init == CURL_U8_STRSET_MAGIC);
311
0
  Curl_u8_strset_clear(dest);
312
0
  for(i = 0; !result && (i < CURL_U8_SET_SLOT_CNT(src)); ++i) {
313
0
    if(src->data[i])
314
0
      result = u8_strset_set(dest, src->ids[i], src->data[i]);
315
0
  }
316
0
  return result;
317
0
}