drd/tests/swapcontext: Improve the portability of this test further
[valgrind.git] / include / pub_tool_oset.h
blobbbd3e088858cc8e43cbd3992e3f943d8d06c1c32
2 /*--------------------------------------------------------------------*/
3 /*--- OSet: a fast data structure with no dups. pub_tool_oset.h ---*/
4 /*--------------------------------------------------------------------*/
6 /*
7 This file is part of Valgrind, a dynamic binary instrumentation
8 framework.
10 Copyright (C) 2005-2017 Nicholas Nethercote
11 njn@valgrind.org
13 This program is free software; you can redistribute it and/or
14 modify it under the terms of the GNU General Public License as
15 published by the Free Software Foundation; either version 2 of the
16 License, or (at your option) any later version.
18 This program is distributed in the hope that it will be useful, but
19 WITHOUT ANY WARRANTY; without even the implied warranty of
20 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
21 General Public License for more details.
23 You should have received a copy of the GNU General Public License
24 along with this program; if not, see <http://www.gnu.org/licenses/>.
26 The GNU General Public License is contained in the file COPYING.
29 #ifndef __PUB_TOOL_OSET_H
30 #define __PUB_TOOL_OSET_H
32 #include "pub_tool_basics.h" // Word
34 // This module implements an ordered set, a data structure with fast
35 // (eg. amortised log(n) or better) insertion, lookup and deletion of
36 // elements. It does not allow duplicates, and will assert if you insert a
37 // duplicate to an OSet.
39 // It has two interfaces.
41 // - The "OSetWord_" interface provides an easier-to-use interface for the
42 // case where you just want to store UWord-sized values. The user
43 // provides the allocation and deallocation functions, and possibly a
44 // comparison function.
46 // - The "OSetGen_" interface provides a totally generic interface, which
47 // allows any kind of structure to be put into the set. The user provides
48 // the allocation and deallocation functions. Also, each element has a
49 // key, which the lookup is done with. The key may be the whole element
50 // (eg. in an OSet of integers, each integer serves both as an element and
51 // a key), or it may be only part of it (eg. if the key is a single field
52 // in a struct). The user can provide a function that compares an element
53 // with a key; this is very flexible, and with the right comparison
54 // function even a (non-overlapping) interval list can be created. But
55 // the cost of calling a function for every comparison can be high during
56 // lookup. If no comparison function is provided, we assume that keys are
57 // unsigned words, and that the key is the first word in each
58 // element. This fast comparison is suitable for an OSet containing
59 // structs where the first element is an Addr, for example.
60 // Do not assume fast comparison works properly with signed words.
61 // A.o. iterating over the values will not return them in the correct
62 // order.
64 // Each OSet interface also has an iterator, which makes it simple to
65 // traverse all the nodes in order. Note that the iterator maintains state
66 // and so is non-reentrant.
68 // Note that once you insert an element into an OSet, if you modify any part
69 // of it looked at by your cmp() function, this may cause incorrect
70 // behaviour as the sorted order maintained will be wrong.
72 /*--------------------------------------------------------------------*/
73 /*--- Types ---*/
74 /*--------------------------------------------------------------------*/
76 typedef struct _OSet OSet;
78 // - OSetCmp_t: returns -1, 0 or 1 if key is <, == or > elem.
79 typedef Word (*OSetCmp_t) ( const void* key, const void* elem );
81 /*--------------------------------------------------------------------*/
82 /*--- Creating and destroying OSets (UWord) ---*/
83 /*--------------------------------------------------------------------*/
85 // * Create: allocates and initialises the OSet. Never returns NULL.
86 // Parameters:
87 // - alloc_fn The allocation function used internally for allocating the
88 // OSet and all its nodes. It must not return NULL (that is,
89 // if it returns it must have succeeded.)
90 // - cc Cost centre string used by 'alloc'.
91 // - free_fn The deallocation function used internally for freeing nodes
92 // called by VG_(OSetWord_Destroy)().
94 // * Destroy: frees all nodes in the table, plus the memory used by
95 // the table itself. The passed-in function is called on each node first
96 // to allow the destruction of any attached resources; if NULL it is not
97 // called.
99 extern OSet* VG_(OSetWord_Create) ( Alloc_Fn_t alloc_fn, const HChar* cc,
100 Free_Fn_t free_fn );
101 extern void VG_(OSetWord_Destroy) ( OSet* os );
103 /*--------------------------------------------------------------------*/
104 /*--- Operations on OSets (UWord) ---*/
105 /*--------------------------------------------------------------------*/
107 // In everything that follows, the parameter 'key' is always the *address*
108 // of the key, and 'elem' is *address* of the elem, as are the return values
109 // of the functions that return elems.
111 // * Size: The number of elements in the set.
113 // * Contains: Determines if the value is in the set.
115 // * Insert: Inserts a new element into the set. Duplicates are forbidden,
116 // and will cause assertion failures.
118 // * Remove: Removes the value from the set, if present. Returns a Bool
119 // indicating if the value was removed.
121 // * ResetIter: Each OSet has an iterator. This resets it to point to the
122 // first element in the OSet.
124 // * Next: Copies the next value according to the OSet's iterator into &val,
125 // advances the iterator by one, and returns True; the elements are
126 // visited in increasing order of unsigned words (UWord). Or, returns
127 // False if the iterator has reached the set's end.
129 // You can thus iterate in order through a set like this:
131 // Word val;
132 // VG_(OSetWord_ResetIter)(oset);
133 // while ( VG_(OSetWord_Next)(oset, &val) ) {
134 // ... do stuff with 'val' ...
135 // }
137 // Note that iterators are cleared any time an element is inserted or
138 // removed from the OSet, to avoid possible mayhem caused by the iterator
139 // getting out of sync with the OSet's contents. "Cleared" means that
140 // they will return False if VG_(OSetWord_Next)() is called without an
141 // intervening call to VG_(OSetWord_ResetIter)().
143 extern Word VG_(OSetWord_Size) ( const OSet* os );
144 extern void VG_(OSetWord_Insert) ( OSet* os, UWord val );
145 extern Bool VG_(OSetWord_Contains) ( const OSet* os, UWord val );
146 extern Bool VG_(OSetWord_Remove) ( OSet* os, UWord val );
147 extern void VG_(OSetWord_ResetIter) ( OSet* os );
148 extern Bool VG_(OSetWord_Next) ( OSet* os, /*OUT*/UWord* val );
151 /*--------------------------------------------------------------------*/
152 /*--- Creating and destroying OSets and OSet members (Gen) ---*/
153 /*--------------------------------------------------------------------*/
155 // * Create: allocates and initialises the OSet. Never returns NULL.
156 // Parameters:
157 // - keyOff The offset of the key within the element.
158 // - cmp The comparison function between keys and elements, or NULL
159 // if the OSet should use fast comparisons.
160 // - alloc_fn The allocation function used for allocating the OSet itself;
161 // It must not return NULL (that is, if it returns it must
162 // have succeeded.)
163 // If a pool allocator is used, it's called to allocate pool of
164 // nodes.
165 // If no pool allocator is used, it's called for each
166 // invocation of VG_(OSetGen_AllocNode)().
167 // - cc Cost centre string used by 'alloc'.
168 // - free_fn If no pool allocator is used, this is the deallocation
169 // function used by VG_(OSetGen_FreeNode)() and
170 // VG_(OSetGen_Destroy)().
171 // If a pool allocator is used, the memory used by the nodes is
172 // deallocated when the pool is deleted.
173 // (for more details about pool allocators, see pub_tool_poolalloc.h).
176 // If cmp is NULL, keyOff must be zero. This is checked.
178 // * Destroy: frees all nodes in the table, plus the memory used by
179 // the table itself. The passed-in function is called on each node first
180 // to allow the destruction of any attached resources; if NULL it is not
181 // called.
183 // * AllocNode: Allocate and zero memory for a node to go into the OSet.
184 // If a pool allocator is used, it uses the pool allocator to allocate a node.
185 // Otherwise, uses the alloc function given to VG_(OSetGen_Create)() to
186 // allocate a node which is big enough for both an element and the OSet
187 // metadata.
188 // Not all elements in one OSet have to be the same size.
189 // However, if a pool allocator is used, elements will all have a size equal
190 // to the max user data size given at creation + the node meta data size.
192 // Note that the element allocated will be at most word-aligned, which may
193 // be less aligned than the element type would normally be.
195 // * FreeNode: Deallocate a node allocated with OSetGen_AllocNode(). Using
196 // a deallocation function (such as VG_(free)()) directly will likely
197 // lead to assertions in Valgrind's allocator.
199 extern OSet* VG_(OSetGen_Create) ( PtrdiffT keyOff, OSetCmp_t cmp,
200 Alloc_Fn_t alloc_fn, const HChar* cc,
201 Free_Fn_t free_fn);
204 extern OSet* VG_(OSetGen_Create_With_Pool) ( PtrdiffT keyOff, OSetCmp_t cmp,
205 Alloc_Fn_t alloc_fn,
206 const HChar* cc,
207 Free_Fn_t free_fn,
208 SizeT poolSize,
209 SizeT maxEltSize);
210 // Same as VG_(OSetGen_Create) but created OSet will use a pool allocator to
211 // allocate the nodes.
212 // The node size is the sum of a fixed small meta data size needed for OSet
213 // + the size of the user data element.
214 // The maximum size for the user data element is specified by maxEltSize.
215 // (if poolSize is 0, maxEltSize is not relevant for the OSet).
216 // It is interesting to use a pool allocator when an OSet has many elements,
217 // and these elements have a small fixed size, or have a variable size, but
218 // always <= than a (small) maximum value.
219 // In such a case, allocating the nodes in pools reduces significantly
220 // the memory overhead needed by each node.
221 // When a node is freed (i.e. OSetGen_Freenode is called), the node is
222 // put back in the pool allocator free list (for sub-sequent re-use by
223 // OSetGen_AllocNode). Note that the pool memory is only released when
224 // the pool is destroyed : calls to VG_(OSetGen_Free) do not cause
225 // any calls to OSetFree_t _free function.
226 // If there are several OSet managing similar such elements, it might be
227 // interesting to use a shared pool for these OSet.
228 // To have multiple OSets sharing a pool allocator, create the first OSet
229 // with VG_(OSetGen_Create_With_Pool). Create subsequent OSet with
230 // VG_(OSetGen_EmptyClone).
232 extern void VG_(OSetGen_Destroy) ( OSet* os );
233 extern void* VG_(OSetGen_AllocNode) ( const OSet* os, SizeT elemSize );
234 extern void VG_(OSetGen_FreeNode) ( const OSet* os, void* elem );
236 extern OSet* VG_(OSetGen_EmptyClone) (const OSet* os);
237 // Creates a new empty OSet.
238 // The new OSet will have the same characteristics as os.
239 // If os uses a pool allocator, this pool allocator will be shared with
240 // the new OSet. A shared pool allocator is only deleted (and its memory is
241 // released) when the last OSet using the shared pool is destroyed.
243 /*-------------------------------------------------------------------*/
244 /*--- Operations on OSets (Gen) ---*/
245 /*--------------------------------------------------------------------*/
247 // In everything that follows, the parameter 'key' is always the *address*
248 // of the key, and 'elem' is *address* of the elem, as are the return values
249 // of the functions that return elems.
251 // * Size: The number of elements in the set.
253 // * Insert: Inserts a new element into the set. Note that 'elem' must
254 // have been allocated using VG_(OSetGen_AllocNode)(), otherwise you will
255 // get assertion failures about "bad magic". Duplicates are forbidden,
256 // and will also cause assertion failures.
258 // * Contains: Determines if any element in the OSet matches the key.
260 // * Lookup: Returns a pointer to the element matching the key, if there is
261 // one, otherwise returns NULL.
263 // * LookupWithCmp: Like Lookup, but you specify the comparison function,
264 // which overrides the OSet's normal one.
266 // * Remove: Removes the element matching the key, if there is one. Returns
267 // NULL if no element matches the key.
269 // * ResetIter: Each OSet has an iterator. This resets it to point to the
270 // first element in the OSet.
272 // * ResetIterAt: Like ResetIter, but instead of resetting the iterator to the
273 // smallest element, it resets the iterator to point to the smallest element
274 // in the set whose key is greater-than-or-equal to the given key. (In many
275 // cases this will be the element whose key equals that of the given key.)
277 // * Next: Returns a pointer to the element pointed to by the OSet's
278 // iterator, and advances the iterator by one; the elements are visited
279 // in order. Or, returns NULL if the iterator has reached the OSet's end.
281 // You can thus iterate in order through a set like this:
283 // VG_(OSetGen_ResetIter)(oset);
284 // while ( (elem = VG_(OSetGen_Next)(oset)) ) {
285 // ... do stuff with 'elem' ...
286 // }
288 // Note that iterators are cleared any time an element is inserted or
289 // removed from the OSet, to avoid possible mayhem caused by the iterator
290 // getting out of sync with the OSet's contents. "Cleared" means that
291 // they will return NULL if VG_(OSetGen_Next)() is called without an
292 // intervening call to VG_(OSetGen_ResetIter)().
294 extern UInt VG_(OSetGen_Size) ( const OSet* os );
295 extern void VG_(OSetGen_Insert) ( OSet* os, void* elem );
296 extern Bool VG_(OSetGen_Contains) ( const OSet* os, const void* key );
297 extern void* VG_(OSetGen_Lookup) ( const OSet* os, const void* key );
298 extern void* VG_(OSetGen_LookupWithCmp)( OSet* os,
299 const void* key, OSetCmp_t cmp );
300 extern void* VG_(OSetGen_Remove) ( OSet* os, const void* key );
301 extern void VG_(OSetGen_ResetIter) ( OSet* os );
302 extern void VG_(OSetGen_ResetIterAt) ( OSet* os, const void* key );
303 extern void* VG_(OSetGen_Next) ( OSet* os );
306 #endif // __PUB_TOOL_OSET_H
308 /*--------------------------------------------------------------------*/
309 /*--- end ---*/
310 /*--------------------------------------------------------------------*/