lpm.c revision 1.3.6.2 1 1.3.6.2 skrll /*-
2 1.3.6.2 skrll * Copyright (c) 2016 Mindaugas Rasiukevicius <rmind at noxt eu>
3 1.3.6.2 skrll * All rights reserved.
4 1.3.6.2 skrll *
5 1.3.6.2 skrll * Redistribution and use in source and binary forms, with or without
6 1.3.6.2 skrll * modification, are permitted provided that the following conditions
7 1.3.6.2 skrll * are met:
8 1.3.6.2 skrll * 1. Redistributions of source code must retain the above copyright
9 1.3.6.2 skrll * notice, this list of conditions and the following disclaimer.
10 1.3.6.2 skrll * 2. Redistributions in binary form must reproduce the above copyright
11 1.3.6.2 skrll * notice, this list of conditions and the following disclaimer in the
12 1.3.6.2 skrll * documentation and/or other materials provided with the distribution.
13 1.3.6.2 skrll *
14 1.3.6.2 skrll * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
15 1.3.6.2 skrll * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
16 1.3.6.2 skrll * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
17 1.3.6.2 skrll * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
18 1.3.6.2 skrll * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
19 1.3.6.2 skrll * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
20 1.3.6.2 skrll * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
21 1.3.6.2 skrll * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
22 1.3.6.2 skrll * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
23 1.3.6.2 skrll * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
24 1.3.6.2 skrll * SUCH DAMAGE.
25 1.3.6.2 skrll */
26 1.3.6.2 skrll
27 1.3.6.2 skrll /*
28 1.3.6.2 skrll * TODO: Simple linear scan for now (works just well with a few prefixes).
29 1.3.6.2 skrll * TBD on a better algorithm.
30 1.3.6.2 skrll */
31 1.3.6.2 skrll
32 1.3.6.2 skrll #if defined(_KERNEL)
33 1.3.6.2 skrll #include <sys/cdefs.h>
34 1.3.6.2 skrll __KERNEL_RCSID(0, "$NetBSD: lpm.c,v 1.3.6.2 2017/01/18 08:46:46 skrll Exp $");
35 1.3.6.2 skrll
36 1.3.6.2 skrll #include <sys/param.h>
37 1.3.6.2 skrll #include <sys/types.h>
38 1.3.6.2 skrll #include <sys/malloc.h>
39 1.3.6.2 skrll #include <sys/kmem.h>
40 1.3.6.2 skrll #else
41 1.3.6.2 skrll #include <sys/socket.h>
42 1.3.6.2 skrll #include <arpa/inet.h>
43 1.3.6.2 skrll
44 1.3.6.2 skrll #include <stdio.h>
45 1.3.6.2 skrll #include <stdlib.h>
46 1.3.6.2 skrll #include <stdbool.h>
47 1.3.6.2 skrll #include <stddef.h>
48 1.3.6.2 skrll #include <string.h>
49 1.3.6.2 skrll #include <strings.h>
50 1.3.6.2 skrll #include <errno.h>
51 1.3.6.2 skrll #include <assert.h>
52 1.3.6.2 skrll #define kmem_alloc(a, b) malloc(a)
53 1.3.6.2 skrll #define kmem_free(a, b) free(a)
54 1.3.6.2 skrll #define kmem_zalloc(a, b) calloc(a, 1)
55 1.3.6.2 skrll #endif
56 1.3.6.2 skrll
57 1.3.6.2 skrll #include "lpm.h"
58 1.3.6.2 skrll
59 1.3.6.2 skrll #define LPM_MAX_PREFIX (128)
60 1.3.6.2 skrll #define LPM_MAX_WORDS (LPM_MAX_PREFIX >> 5)
61 1.3.6.2 skrll #define LPM_TO_WORDS(x) ((x) >> 2)
62 1.3.6.2 skrll #define LPM_HASH_STEP (8)
63 1.3.6.2 skrll
64 1.3.6.2 skrll #ifdef DEBUG
65 1.3.6.2 skrll #define ASSERT assert
66 1.3.6.2 skrll #else
67 1.3.6.2 skrll #define ASSERT
68 1.3.6.2 skrll #endif
69 1.3.6.2 skrll
70 1.3.6.2 skrll typedef struct lpm_ent {
71 1.3.6.2 skrll struct lpm_ent *next;
72 1.3.6.2 skrll void * val;
73 1.3.6.2 skrll unsigned len;
74 1.3.6.2 skrll uint8_t key[];
75 1.3.6.2 skrll } lpm_ent_t;
76 1.3.6.2 skrll
77 1.3.6.2 skrll typedef struct {
78 1.3.6.2 skrll uint32_t hashsize;
79 1.3.6.2 skrll uint32_t nitems;
80 1.3.6.2 skrll lpm_ent_t **bucket;
81 1.3.6.2 skrll } lpm_hmap_t;
82 1.3.6.2 skrll
83 1.3.6.2 skrll struct lpm {
84 1.3.6.2 skrll uint32_t bitmask[LPM_MAX_WORDS];
85 1.3.6.2 skrll void * defval;
86 1.3.6.2 skrll lpm_hmap_t prefix[LPM_MAX_PREFIX + 1];
87 1.3.6.2 skrll };
88 1.3.6.2 skrll
89 1.3.6.2 skrll lpm_t *
90 1.3.6.2 skrll lpm_create(void)
91 1.3.6.2 skrll {
92 1.3.6.2 skrll return kmem_zalloc(sizeof(lpm_t), KM_SLEEP);
93 1.3.6.2 skrll }
94 1.3.6.2 skrll
95 1.3.6.2 skrll void
96 1.3.6.2 skrll lpm_clear(lpm_t *lpm, lpm_dtor_t dtor, void *arg)
97 1.3.6.2 skrll {
98 1.3.6.2 skrll for (unsigned n = 0; n <= LPM_MAX_PREFIX; n++) {
99 1.3.6.2 skrll lpm_hmap_t *hmap = &lpm->prefix[n];
100 1.3.6.2 skrll
101 1.3.6.2 skrll if (!hmap->hashsize) {
102 1.3.6.2 skrll KASSERT(!hmap->bucket);
103 1.3.6.2 skrll continue;
104 1.3.6.2 skrll }
105 1.3.6.2 skrll for (unsigned i = 0; i < hmap->hashsize; i++) {
106 1.3.6.2 skrll lpm_ent_t *entry = hmap->bucket[i];
107 1.3.6.2 skrll
108 1.3.6.2 skrll while (entry) {
109 1.3.6.2 skrll lpm_ent_t *next = entry->next;
110 1.3.6.2 skrll
111 1.3.6.2 skrll if (dtor) {
112 1.3.6.2 skrll dtor(arg, entry->key,
113 1.3.6.2 skrll entry->len, entry->val);
114 1.3.6.2 skrll }
115 1.3.6.2 skrll kmem_free(entry,
116 1.3.6.2 skrll offsetof(lpm_ent_t, key[entry->len]));
117 1.3.6.2 skrll entry = next;
118 1.3.6.2 skrll }
119 1.3.6.2 skrll }
120 1.3.6.2 skrll kmem_free(hmap->bucket, hmap->hashsize * sizeof(lpm_ent_t *));
121 1.3.6.2 skrll hmap->bucket = NULL;
122 1.3.6.2 skrll hmap->hashsize = 0;
123 1.3.6.2 skrll hmap->nitems = 0;
124 1.3.6.2 skrll }
125 1.3.6.2 skrll memset(lpm->bitmask, 0, sizeof(lpm->bitmask));
126 1.3.6.2 skrll lpm->defval = NULL;
127 1.3.6.2 skrll }
128 1.3.6.2 skrll
129 1.3.6.2 skrll void
130 1.3.6.2 skrll lpm_destroy(lpm_t *lpm)
131 1.3.6.2 skrll {
132 1.3.6.2 skrll lpm_clear(lpm, NULL, NULL);
133 1.3.6.2 skrll kmem_free(lpm, sizeof(*lpm));
134 1.3.6.2 skrll }
135 1.3.6.2 skrll
136 1.3.6.2 skrll /*
137 1.3.6.2 skrll * fnv1a_hash: Fowler-Noll-Vo hash function (FNV-1a variant).
138 1.3.6.2 skrll */
139 1.3.6.2 skrll static uint32_t
140 1.3.6.2 skrll fnv1a_hash(const void *buf, size_t len)
141 1.3.6.2 skrll {
142 1.3.6.2 skrll uint32_t hash = 2166136261UL;
143 1.3.6.2 skrll const uint8_t *p = buf;
144 1.3.6.2 skrll
145 1.3.6.2 skrll while (len--) {
146 1.3.6.2 skrll hash ^= *p++;
147 1.3.6.2 skrll hash *= 16777619U;
148 1.3.6.2 skrll }
149 1.3.6.2 skrll return hash;
150 1.3.6.2 skrll }
151 1.3.6.2 skrll
152 1.3.6.2 skrll static bool
153 1.3.6.2 skrll hashmap_rehash(lpm_hmap_t *hmap, uint32_t size)
154 1.3.6.2 skrll {
155 1.3.6.2 skrll lpm_ent_t **bucket;
156 1.3.6.2 skrll uint32_t hashsize;
157 1.3.6.2 skrll
158 1.3.6.2 skrll for (hashsize = 1; hashsize < size; hashsize <<= 1) {
159 1.3.6.2 skrll continue;
160 1.3.6.2 skrll }
161 1.3.6.2 skrll bucket = kmem_zalloc(hashsize * sizeof(lpm_ent_t *), KM_SLEEP);
162 1.3.6.2 skrll if (bucket == NULL)
163 1.3.6.2 skrll return false;
164 1.3.6.2 skrll for (unsigned n = 0; n < hmap->hashsize; n++) {
165 1.3.6.2 skrll lpm_ent_t *list = hmap->bucket[n];
166 1.3.6.2 skrll
167 1.3.6.2 skrll while (list) {
168 1.3.6.2 skrll lpm_ent_t *entry = list;
169 1.3.6.2 skrll uint32_t hash = fnv1a_hash(entry->key, entry->len);
170 1.3.6.2 skrll const size_t i = hash & (hashsize - 1);
171 1.3.6.2 skrll
172 1.3.6.2 skrll list = entry->next;
173 1.3.6.2 skrll entry->next = bucket[i];
174 1.3.6.2 skrll bucket[i] = entry;
175 1.3.6.2 skrll }
176 1.3.6.2 skrll }
177 1.3.6.2 skrll if (hmap->bucket)
178 1.3.6.2 skrll kmem_free(hmap->bucket, hmap->hashsize * sizeof(lpm_ent_t *));
179 1.3.6.2 skrll hmap->bucket = bucket;
180 1.3.6.2 skrll hmap->hashsize = hashsize;
181 1.3.6.2 skrll return true;
182 1.3.6.2 skrll }
183 1.3.6.2 skrll
184 1.3.6.2 skrll static lpm_ent_t *
185 1.3.6.2 skrll hashmap_insert(lpm_hmap_t *hmap, const void *key, size_t len)
186 1.3.6.2 skrll {
187 1.3.6.2 skrll const uint32_t target = hmap->nitems + LPM_HASH_STEP;
188 1.3.6.2 skrll const size_t entlen = offsetof(lpm_ent_t, key[len]);
189 1.3.6.2 skrll uint32_t hash, i;
190 1.3.6.2 skrll lpm_ent_t *entry;
191 1.3.6.2 skrll
192 1.3.6.2 skrll if (hmap->hashsize < target && !hashmap_rehash(hmap, target)) {
193 1.3.6.2 skrll return NULL;
194 1.3.6.2 skrll }
195 1.3.6.2 skrll
196 1.3.6.2 skrll hash = fnv1a_hash(key, len);
197 1.3.6.2 skrll i = hash & (hmap->hashsize - 1);
198 1.3.6.2 skrll entry = hmap->bucket[i];
199 1.3.6.2 skrll while (entry) {
200 1.3.6.2 skrll if (entry->len == len && memcmp(entry->key, key, len) == 0) {
201 1.3.6.2 skrll return entry;
202 1.3.6.2 skrll }
203 1.3.6.2 skrll entry = entry->next;
204 1.3.6.2 skrll }
205 1.3.6.2 skrll
206 1.3.6.2 skrll if ((entry = kmem_alloc(entlen, KM_SLEEP)) == NULL)
207 1.3.6.2 skrll return NULL;
208 1.3.6.2 skrll
209 1.3.6.2 skrll memcpy(entry->key, key, len);
210 1.3.6.2 skrll entry->next = hmap->bucket[i];
211 1.3.6.2 skrll entry->len = len;
212 1.3.6.2 skrll
213 1.3.6.2 skrll hmap->bucket[i] = entry;
214 1.3.6.2 skrll hmap->nitems++;
215 1.3.6.2 skrll return entry;
216 1.3.6.2 skrll }
217 1.3.6.2 skrll
218 1.3.6.2 skrll static lpm_ent_t *
219 1.3.6.2 skrll hashmap_lookup(lpm_hmap_t *hmap, const void *key, size_t len)
220 1.3.6.2 skrll {
221 1.3.6.2 skrll const uint32_t hash = fnv1a_hash(key, len);
222 1.3.6.2 skrll const uint32_t i = hash & (hmap->hashsize - 1);
223 1.3.6.2 skrll lpm_ent_t *entry = hmap->bucket[i];
224 1.3.6.2 skrll
225 1.3.6.2 skrll while (entry) {
226 1.3.6.2 skrll if (entry->len == len && memcmp(entry->key, key, len) == 0) {
227 1.3.6.2 skrll return entry;
228 1.3.6.2 skrll }
229 1.3.6.2 skrll entry = entry->next;
230 1.3.6.2 skrll }
231 1.3.6.2 skrll return NULL;
232 1.3.6.2 skrll }
233 1.3.6.2 skrll
234 1.3.6.2 skrll static int
235 1.3.6.2 skrll hashmap_remove(lpm_hmap_t *hmap, const void *key, size_t len)
236 1.3.6.2 skrll {
237 1.3.6.2 skrll const uint32_t hash = fnv1a_hash(key, len);
238 1.3.6.2 skrll const uint32_t i = hash & (hmap->hashsize - 1);
239 1.3.6.2 skrll lpm_ent_t *prev = NULL, *entry = hmap->bucket[i];
240 1.3.6.2 skrll
241 1.3.6.2 skrll while (entry) {
242 1.3.6.2 skrll if (entry->len == len && memcmp(entry->key, key, len) == 0) {
243 1.3.6.2 skrll if (prev) {
244 1.3.6.2 skrll prev->next = entry->next;
245 1.3.6.2 skrll } else {
246 1.3.6.2 skrll hmap->bucket[i] = entry->next;
247 1.3.6.2 skrll }
248 1.3.6.2 skrll kmem_free(entry, offsetof(lpm_ent_t, key[len]));
249 1.3.6.2 skrll return 0;
250 1.3.6.2 skrll }
251 1.3.6.2 skrll prev = entry;
252 1.3.6.2 skrll entry = entry->next;
253 1.3.6.2 skrll }
254 1.3.6.2 skrll return -1;
255 1.3.6.2 skrll }
256 1.3.6.2 skrll
257 1.3.6.2 skrll /*
258 1.3.6.2 skrll * compute_prefix: given the address and prefix length, compute and
259 1.3.6.2 skrll * return the address prefix.
260 1.3.6.2 skrll */
261 1.3.6.2 skrll static inline void
262 1.3.6.2 skrll compute_prefix(const unsigned nwords, const uint32_t *addr,
263 1.3.6.2 skrll unsigned preflen, uint32_t *prefix)
264 1.3.6.2 skrll {
265 1.3.6.2 skrll uint32_t addr2[4];
266 1.3.6.2 skrll
267 1.3.6.2 skrll if ((uintptr_t)addr & 3) {
268 1.3.6.2 skrll /* Unaligned address: just copy for now. */
269 1.3.6.2 skrll memcpy(addr2, addr, nwords * 4);
270 1.3.6.2 skrll addr = addr2;
271 1.3.6.2 skrll }
272 1.3.6.2 skrll for (unsigned i = 0; i < nwords; i++) {
273 1.3.6.2 skrll if (preflen == 0) {
274 1.3.6.2 skrll prefix[i] = 0;
275 1.3.6.2 skrll continue;
276 1.3.6.2 skrll }
277 1.3.6.2 skrll if (preflen < 32) {
278 1.3.6.2 skrll uint32_t mask = htonl(0xffffffff << (32 - preflen));
279 1.3.6.2 skrll prefix[i] = addr[i] & mask;
280 1.3.6.2 skrll preflen = 0;
281 1.3.6.2 skrll } else {
282 1.3.6.2 skrll prefix[i] = addr[i];
283 1.3.6.2 skrll preflen -= 32;
284 1.3.6.2 skrll }
285 1.3.6.2 skrll }
286 1.3.6.2 skrll }
287 1.3.6.2 skrll
288 1.3.6.2 skrll /*
289 1.3.6.2 skrll * lpm_insert: insert the CIDR into the LPM table.
290 1.3.6.2 skrll *
291 1.3.6.2 skrll * => Returns zero on success and -1 on failure.
292 1.3.6.2 skrll */
293 1.3.6.2 skrll int
294 1.3.6.2 skrll lpm_insert(lpm_t *lpm, const void *addr,
295 1.3.6.2 skrll size_t len, unsigned preflen, void *val)
296 1.3.6.2 skrll {
297 1.3.6.2 skrll const unsigned nwords = LPM_TO_WORDS(len);
298 1.3.6.2 skrll uint32_t prefix[LPM_MAX_WORDS];
299 1.3.6.2 skrll lpm_ent_t *entry;
300 1.3.6.2 skrll
301 1.3.6.2 skrll if (preflen == 0) {
302 1.3.6.2 skrll /* Default is a special case. */
303 1.3.6.2 skrll lpm->defval = val;
304 1.3.6.2 skrll return 0;
305 1.3.6.2 skrll }
306 1.3.6.2 skrll compute_prefix(nwords, addr, preflen, prefix);
307 1.3.6.2 skrll entry = hashmap_insert(&lpm->prefix[preflen], prefix, len);
308 1.3.6.2 skrll if (entry) {
309 1.3.6.2 skrll const unsigned n = --preflen >> 5;
310 1.3.6.2 skrll lpm->bitmask[n] |= 0x80000000U >> (preflen & 31);
311 1.3.6.2 skrll entry->val = val;
312 1.3.6.2 skrll return 0;
313 1.3.6.2 skrll }
314 1.3.6.2 skrll return -1;
315 1.3.6.2 skrll }
316 1.3.6.2 skrll
317 1.3.6.2 skrll /*
318 1.3.6.2 skrll * lpm_remove: remove the specified prefix.
319 1.3.6.2 skrll */
320 1.3.6.2 skrll int
321 1.3.6.2 skrll lpm_remove(lpm_t *lpm, const void *addr, size_t len, unsigned preflen)
322 1.3.6.2 skrll {
323 1.3.6.2 skrll const unsigned nwords = LPM_TO_WORDS(len);
324 1.3.6.2 skrll uint32_t prefix[LPM_MAX_WORDS];
325 1.3.6.2 skrll
326 1.3.6.2 skrll if (preflen == 0) {
327 1.3.6.2 skrll lpm->defval = NULL;
328 1.3.6.2 skrll return 0;
329 1.3.6.2 skrll }
330 1.3.6.2 skrll compute_prefix(nwords, addr, preflen, prefix);
331 1.3.6.2 skrll return hashmap_remove(&lpm->prefix[preflen], prefix, len);
332 1.3.6.2 skrll }
333 1.3.6.2 skrll
334 1.3.6.2 skrll /*
335 1.3.6.2 skrll * lpm_lookup: find the longest matching prefix given the IP address.
336 1.3.6.2 skrll *
337 1.3.6.2 skrll * => Returns the associated value on success or NULL on failure.
338 1.3.6.2 skrll */
339 1.3.6.2 skrll void *
340 1.3.6.2 skrll lpm_lookup(lpm_t *lpm, const void *addr, size_t len)
341 1.3.6.2 skrll {
342 1.3.6.2 skrll const unsigned nwords = LPM_TO_WORDS(len);
343 1.3.6.2 skrll unsigned i, n = nwords;
344 1.3.6.2 skrll uint32_t prefix[LPM_MAX_WORDS];
345 1.3.6.2 skrll
346 1.3.6.2 skrll while (n--) {
347 1.3.6.2 skrll uint32_t bitmask = lpm->bitmask[n];
348 1.3.6.2 skrll
349 1.3.6.2 skrll while ((i = ffs(bitmask)) != 0) {
350 1.3.6.2 skrll const unsigned preflen = (32 * n) + (32 - --i);
351 1.3.6.2 skrll lpm_hmap_t *hmap = &lpm->prefix[preflen];
352 1.3.6.2 skrll lpm_ent_t *entry;
353 1.3.6.2 skrll
354 1.3.6.2 skrll compute_prefix(nwords, addr, preflen, prefix);
355 1.3.6.2 skrll entry = hashmap_lookup(hmap, prefix, len);
356 1.3.6.2 skrll if (entry) {
357 1.3.6.2 skrll return entry->val;
358 1.3.6.2 skrll }
359 1.3.6.2 skrll bitmask &= ~(1U << i);
360 1.3.6.2 skrll }
361 1.3.6.2 skrll }
362 1.3.6.2 skrll return lpm->defval;
363 1.3.6.2 skrll }
364 1.3.6.2 skrll
365 1.3.6.2 skrll #if !defined(_KERNEL)
366 1.3.6.2 skrll /*
367 1.3.6.2 skrll * lpm_strtobin: convert CIDR string to the binary IP address and mask.
368 1.3.6.2 skrll *
369 1.3.6.2 skrll * => The address will be in the network byte order.
370 1.3.6.2 skrll * => Returns 0 on success or -1 on failure.
371 1.3.6.2 skrll */
372 1.3.6.2 skrll int
373 1.3.6.2 skrll lpm_strtobin(const char *cidr, void *addr, size_t *len, unsigned *preflen)
374 1.3.6.2 skrll {
375 1.3.6.2 skrll char *p, buf[INET6_ADDRSTRLEN];
376 1.3.6.2 skrll
377 1.3.6.2 skrll strncpy(buf, cidr, sizeof(buf));
378 1.3.6.2 skrll buf[sizeof(buf) - 1] = '\0';
379 1.3.6.2 skrll
380 1.3.6.2 skrll if ((p = strchr(buf, '/')) != NULL) {
381 1.3.6.2 skrll const ptrdiff_t off = p - buf;
382 1.3.6.2 skrll *preflen = atoi(&buf[off + 1]);
383 1.3.6.2 skrll buf[off] = '\0';
384 1.3.6.2 skrll } else {
385 1.3.6.2 skrll *preflen = LPM_MAX_PREFIX;
386 1.3.6.2 skrll }
387 1.3.6.2 skrll
388 1.3.6.2 skrll if (inet_pton(AF_INET6, buf, addr) == 1) {
389 1.3.6.2 skrll *len = 16;
390 1.3.6.2 skrll return 0;
391 1.3.6.2 skrll }
392 1.3.6.2 skrll if (inet_pton(AF_INET, buf, addr) == 1) {
393 1.3.6.2 skrll if (*preflen == LPM_MAX_PREFIX) {
394 1.3.6.2 skrll *preflen = 32;
395 1.3.6.2 skrll }
396 1.3.6.2 skrll *len = 4;
397 1.3.6.2 skrll return 0;
398 1.3.6.2 skrll }
399 1.3.6.2 skrll return -1;
400 1.3.6.2 skrll }
401 1.3.6.2 skrll #endif
402