]>
Commit | Line | Data |
---|---|---|
955bd501 KS |
1 | /*** |
2 | This file is part of systemd. | |
3 | ||
1298001e | 4 | Copyright 2012 Kay Sievers <kay@vrfy.org> |
955bd501 KS |
5 | |
6 | systemd is free software; you can redistribute it and/or modify it | |
7 | under the terms of the GNU Lesser General Public License as published by | |
8 | the Free Software Foundation; either version 2.1 of the License, or | |
9 | (at your option) any later version. | |
10 | ||
11 | systemd is distributed in the hope that it will be useful, but | |
12 | WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | |
14 | Lesser General Public License for more details. | |
15 | ||
16 | You should have received a copy of the GNU Lesser General Public License | |
17 | along with systemd; If not, see <http://www.gnu.org/licenses/>. | |
18 | ***/ | |
19 | ||
11c3a366 | 20 | #include <errno.h> |
955bd501 KS |
21 | #include <stdlib.h> |
22 | #include <string.h> | |
23 | ||
b5efdb8a | 24 | #include "alloc-util.h" |
955bd501 KS |
25 | #include "strbuf.h" |
26 | ||
4693cfb3 | 27 | /* |
ab06eef8 | 28 | * Strbuf stores given strings in a single continuous allocated memory |
f1c0ece1 KS |
29 | * area. Identical strings are de-duplicated and return the same offset |
30 | * as the first string stored. If the tail of a string already exists | |
31 | * in the buffer, the tail is returned. | |
4693cfb3 | 32 | * |
f1c0ece1 KS |
33 | * A trie (http://en.wikipedia.org/wiki/Trie) is used to maintain the |
34 | * information about the stored strings. | |
4693cfb3 KS |
35 | * |
36 | * Example of udev rules: | |
37 | * $ ./udevadm test . | |
38 | * ... | |
39 | * read rules file: /usr/lib/udev/rules.d/99-systemd.rules | |
40 | * rules contain 196608 bytes tokens (16384 * 12 bytes), 39742 bytes strings | |
41 | * 23939 strings (207859 bytes), 20404 de-duplicated (171653 bytes), 3536 trie nodes used | |
42 | * ... | |
43 | */ | |
44 | ||
955bd501 KS |
45 | struct strbuf *strbuf_new(void) { |
46 | struct strbuf *str; | |
47 | ||
48 | str = new0(struct strbuf, 1); | |
49 | if (!str) | |
50 | return NULL; | |
51 | ||
52 | str->buf = new0(char, 1); | |
53 | if (!str->buf) | |
54 | goto err; | |
55 | str->len = 1; | |
56 | ||
57 | str->root = new0(struct strbuf_node, 1); | |
58 | if (!str->root) | |
59 | goto err; | |
60 | str->nodes_count = 1; | |
61 | return str; | |
62 | err: | |
63 | free(str->buf); | |
64 | free(str->root); | |
6b430fdb | 65 | return mfree(str); |
955bd501 KS |
66 | } |
67 | ||
68 | static void strbuf_node_cleanup(struct strbuf_node *node) { | |
69 | size_t i; | |
70 | ||
71 | for (i = 0; i < node->children_count; i++) | |
72 | strbuf_node_cleanup(node->children[i].child); | |
73 | free(node->children); | |
74 | free(node); | |
75 | } | |
76 | ||
4693cfb3 | 77 | /* clean up trie data, leave only the string buffer */ |
955bd501 KS |
78 | void strbuf_complete(struct strbuf *str) { |
79 | if (!str) | |
80 | return; | |
81 | if (str->root) | |
82 | strbuf_node_cleanup(str->root); | |
83 | str->root = NULL; | |
84 | } | |
85 | ||
4693cfb3 | 86 | /* clean up everything */ |
955bd501 KS |
87 | void strbuf_cleanup(struct strbuf *str) { |
88 | if (!str) | |
89 | return; | |
90 | if (str->root) | |
91 | strbuf_node_cleanup(str->root); | |
92 | free(str->buf); | |
93 | free(str); | |
94 | } | |
95 | ||
3c8bed4e ZJS |
96 | static int strbuf_children_cmp(const struct strbuf_child_entry *n1, |
97 | const struct strbuf_child_entry *n2) { | |
955bd501 KS |
98 | return n1->c - n2->c; |
99 | } | |
100 | ||
3c8bed4e ZJS |
101 | static void bubbleinsert(struct strbuf_node *node, |
102 | uint8_t c, | |
103 | struct strbuf_node *node_child) { | |
104 | ||
105 | struct strbuf_child_entry new = { | |
106 | .c = c, | |
107 | .child = node_child, | |
108 | }; | |
109 | int left = 0, right = node->children_count; | |
110 | ||
111 | while (right > left) { | |
112 | int middle = (right + left) / 2 ; | |
113 | if (strbuf_children_cmp(&node->children[middle], &new) <= 0) | |
114 | left = middle + 1; | |
115 | else | |
116 | right = middle; | |
117 | } | |
118 | ||
119 | memmove(node->children + left + 1, node->children + left, | |
120 | sizeof(struct strbuf_child_entry) * (node->children_count - left)); | |
121 | node->children[left] = new; | |
122 | ||
313cefa1 | 123 | node->children_count++; |
3c8bed4e ZJS |
124 | } |
125 | ||
4693cfb3 | 126 | /* add string, return the index/offset into the buffer */ |
955bd501 KS |
127 | ssize_t strbuf_add_string(struct strbuf *str, const char *s, size_t len) { |
128 | uint8_t c; | |
129 | struct strbuf_node *node; | |
130 | size_t depth; | |
131 | char *buf_new; | |
132 | struct strbuf_child_entry *child; | |
133 | struct strbuf_node *node_child; | |
134 | ssize_t off; | |
135 | ||
136 | if (!str->root) | |
137 | return -EINVAL; | |
138 | ||
139 | /* search string; start from last character to find possibly matching tails */ | |
140 | if (len == 0) | |
141 | return 0; | |
142 | str->in_count++; | |
143 | str->in_len += len; | |
144 | ||
145 | node = str->root; | |
146 | c = s[len-1]; | |
147 | for (depth = 0; depth <= len; depth++) { | |
148 | struct strbuf_child_entry search; | |
149 | ||
150 | /* match against current node */ | |
151 | off = node->value_off + node->value_len - len; | |
152 | if (depth == len || (node->value_len >= len && memcmp(str->buf + off, s, len) == 0)) { | |
153 | str->dedup_len += len; | |
154 | str->dedup_count++; | |
155 | return off; | |
156 | } | |
157 | ||
c45606eb LR |
158 | c = s[len - 1 - depth]; |
159 | ||
82501b3f ZJS |
160 | /* bsearch is not allowed on a NULL sequence */ |
161 | if (node->children_count == 0) | |
162 | break; | |
163 | ||
955bd501 | 164 | /* lookup child node */ |
955bd501 | 165 | search.c = c; |
3c8bed4e ZJS |
166 | child = bsearch(&search, node->children, node->children_count, |
167 | sizeof(struct strbuf_child_entry), | |
168 | (__compar_fn_t) strbuf_children_cmp); | |
955bd501 KS |
169 | if (!child) |
170 | break; | |
171 | node = child->child; | |
172 | } | |
173 | ||
174 | /* add new string */ | |
175 | buf_new = realloc(str->buf, str->len + len+1); | |
176 | if (!buf_new) | |
177 | return -ENOMEM; | |
178 | str->buf = buf_new; | |
179 | off = str->len; | |
180 | memcpy(str->buf + off, s, len); | |
181 | str->len += len; | |
182 | str->buf[str->len++] = '\0'; | |
183 | ||
184 | /* new node */ | |
185 | node_child = new0(struct strbuf_node, 1); | |
186 | if (!node_child) | |
187 | return -ENOMEM; | |
955bd501 KS |
188 | node_child->value_off = off; |
189 | node_child->value_len = len; | |
190 | ||
191 | /* extend array, add new entry, sort for bisection */ | |
192 | child = realloc(node->children, (node->children_count + 1) * sizeof(struct strbuf_child_entry)); | |
a9c307e5 ZJS |
193 | if (!child) { |
194 | free(node_child); | |
955bd501 | 195 | return -ENOMEM; |
a9c307e5 ZJS |
196 | } |
197 | ||
198 | str->nodes_count++; | |
199 | ||
955bd501 | 200 | node->children = child; |
3c8bed4e | 201 | bubbleinsert(node, c, node_child); |
955bd501 KS |
202 | |
203 | return off; | |
204 | } |