|
1318
|
1 /* Support for dynamic arrays.
|
|
428
|
2 Copyright (C) 1993 Sun Microsystems, Inc.
|
|
2367
|
3 Copyright (C) 2002, 2003, 2004 Ben Wing.
|
|
428
|
4
|
|
|
5 This file is part of XEmacs.
|
|
|
6
|
|
|
7 XEmacs is free software; you can redistribute it and/or modify it
|
|
|
8 under the terms of the GNU General Public License as published by the
|
|
|
9 Free Software Foundation; either version 2, or (at your option) any
|
|
|
10 later version.
|
|
|
11
|
|
|
12 XEmacs is distributed in the hope that it will be useful, but WITHOUT
|
|
|
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
|
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
|
15 for more details.
|
|
|
16
|
|
|
17 You should have received a copy of the GNU General Public License
|
|
|
18 along with XEmacs; see the file COPYING. If not, write to
|
|
|
19 the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
|
|
|
20 Boston, MA 02111-1307, USA. */
|
|
|
21
|
|
|
22 /* Synched up with: Not in FSF. */
|
|
|
23
|
|
|
24 /* Written by Ben Wing, December 1993. */
|
|
|
25
|
|
|
26 /*
|
|
|
27
|
|
|
28 A "dynamic array" is a contiguous array of fixed-size elements where there
|
|
|
29 is no upper limit (except available memory) on the number of elements in the
|
|
|
30 array. Because the elements are maintained contiguously, space is used
|
|
|
31 efficiently (no per-element pointers necessary) and random access to a
|
|
|
32 particular element is in constant time. At any one point, the block of memory
|
|
|
33 that holds the array has an upper limit; if this limit is exceeded, the
|
|
|
34 memory is realloc()ed into a new array that is twice as big. Assuming that
|
|
|
35 the time to grow the array is on the order of the new size of the array
|
|
|
36 block, this scheme has a provably constant amortized time (i.e. average
|
|
|
37 time over all additions).
|
|
|
38
|
|
|
39 When you add elements or retrieve elements, pointers are used. Note that
|
|
|
40 the element itself (of whatever size it is), and not the pointer to it,
|
|
|
41 is stored in the array; thus you do not have to allocate any heap memory
|
|
|
42 on your own. Also, returned pointers are only guaranteed to be valid
|
|
|
43 until the next operation that changes the length of the array.
|
|
|
44
|
|
|
45 This is a container object. Declare a dynamic array of a specific type
|
|
|
46 as follows:
|
|
|
47
|
|
2367
|
48 typedef struct
|
|
|
49 {
|
|
|
50 Dynarr_declare (mytype);
|
|
|
51 } mytype_dynarr;
|
|
428
|
52
|
|
|
53 Use the following functions/macros:
|
|
|
54
|
|
|
55 void *Dynarr_new(type)
|
|
|
56 [MACRO] Create a new dynamic-array object, with each element of the
|
|
|
57 specified type. The return value is cast to (type##_dynarr).
|
|
|
58 This requires following the convention that types are declared in
|
|
|
59 such a way that this type concatenation works. In particular, TYPE
|
|
|
60 must be a symbol, not an arbitrary C type.
|
|
|
61
|
|
|
62 Dynarr_add(d, el)
|
|
|
63 [MACRO] Add an element to the end of a dynamic array. EL is a pointer
|
|
|
64 to the element; the element itself is stored in the array, however.
|
|
|
65 No function call is performed unless the array needs to be resized.
|
|
|
66
|
|
|
67 Dynarr_add_many(d, base, len)
|
|
|
68 [MACRO] Add LEN elements to the end of the dynamic array. The elements
|
|
771
|
69 should be contiguous in memory, starting at BASE. If BASE if NULL,
|
|
|
70 just make space for the elements; don't actually add them.
|
|
428
|
71
|
|
|
72 Dynarr_insert_many_at_start(d, base, len)
|
|
|
73 [MACRO] Append LEN elements to the beginning of the dynamic array.
|
|
|
74 The elements should be contiguous in memory, starting at BASE.
|
|
771
|
75 If BASE if NULL, just make space for the elements; don't actually
|
|
|
76 add them.
|
|
428
|
77
|
|
|
78 Dynarr_insert_many(d, base, len, start)
|
|
|
79 Insert LEN elements to the dynamic array starting at position
|
|
|
80 START. The elements should be contiguous in memory, starting at BASE.
|
|
771
|
81 If BASE if NULL, just make space for the elements; don't actually
|
|
|
82 add them.
|
|
|
83
|
|
|
84 Dynarr_delete(d, i)
|
|
|
85 [MACRO] Delete an element from the dynamic array at position I.
|
|
|
86
|
|
|
87 Dynarr_delete_many(d, start, len)
|
|
|
88 Delete LEN elements from the dynamic array starting at position
|
|
|
89 START.
|
|
|
90
|
|
|
91 Dynarr_delete_by_pointer(d, p)
|
|
|
92 [MACRO] Delete an element from the dynamic array at pointer P,
|
|
|
93 which must point within the block of memory that stores the data.
|
|
|
94 P should be obtained using Dynarr_atp().
|
|
428
|
95
|
|
|
96 int Dynarr_length(d)
|
|
|
97 [MACRO] Return the number of elements currently in a dynamic array.
|
|
|
98
|
|
|
99 int Dynarr_largest(d)
|
|
|
100 [MACRO] Return the maximum value that Dynarr_length(d) would
|
|
|
101 ever have returned.
|
|
|
102
|
|
|
103 type Dynarr_at(d, i)
|
|
|
104 [MACRO] Return the element at the specified index (no bounds checking
|
|
|
105 done on the index). The element itself is returned, not a pointer
|
|
|
106 to it.
|
|
|
107
|
|
|
108 type *Dynarr_atp(d, i)
|
|
|
109 [MACRO] Return a pointer to the element at the specified index (no
|
|
|
110 bounds checking done on the index). The pointer may not be valid
|
|
|
111 after an element is added to or removed from the array.
|
|
|
112
|
|
|
113 Dynarr_reset(d)
|
|
|
114 [MACRO] Reset the length of a dynamic array to 0.
|
|
|
115
|
|
|
116 Dynarr_free(d)
|
|
|
117 Destroy a dynamic array and the memory allocated to it.
|
|
|
118
|
|
|
119 Use the following global variable:
|
|
|
120
|
|
|
121 Dynarr_min_size
|
|
440
|
122 Minimum allowable size for a dynamic array when it is resized.
|
|
428
|
123
|
|
|
124 */
|
|
|
125
|
|
|
126 #include <config.h>
|
|
|
127 #include "lisp.h"
|
|
|
128
|
|
440
|
129 static int Dynarr_min_size = 8;
|
|
428
|
130
|
|
|
131 static void
|
|
2367
|
132 Dynarr_realloc (Dynarr *dy, Bytecount new_size)
|
|
428
|
133 {
|
|
|
134 if (DUMPEDP (dy->base))
|
|
|
135 {
|
|
|
136 void *new_base = malloc (new_size);
|
|
771
|
137 memcpy (new_base, dy->base, dy->max > new_size ? dy->max : new_size);
|
|
428
|
138 dy->base = new_base;
|
|
|
139 }
|
|
|
140 else
|
|
|
141 dy->base = xrealloc (dy->base, new_size);
|
|
|
142 }
|
|
|
143
|
|
|
144 void *
|
|
|
145 Dynarr_newf (int elsize)
|
|
|
146 {
|
|
|
147 Dynarr *d = xnew_and_zero (Dynarr);
|
|
|
148 d->elsize = elsize;
|
|
|
149
|
|
|
150 return d;
|
|
|
151 }
|
|
|
152
|
|
3092
|
153 #ifdef NEW_GC
|
|
|
154 DEFINE_LRECORD_IMPLEMENTATION ("dynarr", dynarr,
|
|
|
155 1, /*dumpable-flag*/
|
|
|
156 0, 0, 0, 0, 0,
|
|
|
157 0,
|
|
|
158 Dynarr);
|
|
|
159
|
|
|
160 static void
|
|
|
161 Dynarr_lisp_realloc (Dynarr *dy, Elemcount new_size)
|
|
|
162 {
|
|
|
163 void *new_base = alloc_lrecord_array (dy->elsize, new_size, dy->lisp_imp);
|
|
|
164 void *old_base = dy->base;
|
|
|
165 if (dy->base)
|
|
|
166 memcpy (new_base, dy->base,
|
|
|
167 (dy->max > new_size ? dy->max : new_size) * dy->elsize);
|
|
|
168 dy->base = new_base;
|
|
|
169 if (old_base)
|
|
|
170 mc_free (old_base);
|
|
|
171 }
|
|
|
172
|
|
|
173 void *
|
|
|
174 Dynarr_lisp_newf (int elsize,
|
|
|
175 const struct lrecord_implementation *dynarr_imp,
|
|
|
176 const struct lrecord_implementation *imp)
|
|
|
177 {
|
|
|
178 Dynarr *d = (Dynarr *) alloc_lrecord (sizeof (Dynarr), dynarr_imp);
|
|
|
179 d->elsize = elsize;
|
|
|
180 d->lisp_imp = imp;
|
|
|
181
|
|
|
182 return d;
|
|
|
183 }
|
|
|
184 #endif /* not NEW_GC */
|
|
|
185
|
|
428
|
186 void
|
|
2367
|
187 Dynarr_resize (void *d, Elemcount size)
|
|
428
|
188 {
|
|
|
189 int newsize;
|
|
|
190 double multiplier;
|
|
1318
|
191 Dynarr *dy = (Dynarr *) Dynarr_verify (d);
|
|
428
|
192
|
|
|
193 if (dy->max <= 8)
|
|
|
194 multiplier = 2;
|
|
|
195 else
|
|
|
196 multiplier = 1.5;
|
|
|
197
|
|
|
198 for (newsize = dy->max; newsize < size;)
|
|
|
199 newsize = max (Dynarr_min_size, (int) (multiplier * newsize));
|
|
|
200
|
|
|
201 /* Don't do anything if the array is already big enough. */
|
|
|
202 if (newsize > dy->max)
|
|
|
203 {
|
|
3092
|
204 #ifdef NEW_GC
|
|
|
205 if (dy->lisp_imp)
|
|
|
206 Dynarr_lisp_realloc (dy, newsize);
|
|
|
207 else
|
|
|
208 Dynarr_realloc (dy, newsize*dy->elsize);
|
|
|
209 #else /* not NEW_GC */
|
|
428
|
210 Dynarr_realloc (dy, newsize*dy->elsize);
|
|
3092
|
211 #endif /* not NEW_GC */
|
|
428
|
212 dy->max = newsize;
|
|
|
213 }
|
|
|
214 }
|
|
|
215
|
|
|
216 /* Add a number of contiguous elements to the array starting at START. */
|
|
|
217 void
|
|
442
|
218 Dynarr_insert_many (void *d, const void *el, int len, int start)
|
|
428
|
219 {
|
|
793
|
220 Dynarr *dy = (Dynarr *) Dynarr_verify (d);
|
|
|
221
|
|
428
|
222 Dynarr_resize (dy, dy->cur+len);
|
|
1318
|
223 #if 0
|
|
|
224 /* WTF? We should be catching these problems. */
|
|
428
|
225 /* Silently adjust start to be valid. */
|
|
|
226 if (start > dy->cur)
|
|
|
227 start = dy->cur;
|
|
|
228 else if (start < 0)
|
|
|
229 start = 0;
|
|
1318
|
230 #else
|
|
|
231 assert (start >= 0 && start <= dy->cur);
|
|
|
232 #endif
|
|
428
|
233
|
|
|
234 if (start != dy->cur)
|
|
|
235 {
|
|
|
236 memmove ((char *) dy->base + (start + len)*dy->elsize,
|
|
|
237 (char *) dy->base + start*dy->elsize,
|
|
|
238 (dy->cur - start)*dy->elsize);
|
|
|
239 }
|
|
771
|
240 if (el)
|
|
|
241 memcpy ((char *) dy->base + start*dy->elsize, el, len*dy->elsize);
|
|
428
|
242 dy->cur += len;
|
|
|
243
|
|
|
244 if (dy->cur > dy->largest)
|
|
|
245 dy->largest = dy->cur;
|
|
|
246 }
|
|
|
247
|
|
|
248 void
|
|
|
249 Dynarr_delete_many (void *d, int start, int len)
|
|
|
250 {
|
|
1318
|
251 Dynarr *dy = (Dynarr *) Dynarr_verify (d);
|
|
428
|
252
|
|
|
253 assert (start >= 0 && len >= 0 && start + len <= dy->cur);
|
|
|
254 memmove ((char *) dy->base + start*dy->elsize,
|
|
|
255 (char *) dy->base + (start + len)*dy->elsize,
|
|
|
256 (dy->cur - start - len)*dy->elsize);
|
|
|
257 dy->cur -= len;
|
|
|
258 }
|
|
|
259
|
|
|
260 void
|
|
|
261 Dynarr_free (void *d)
|
|
|
262 {
|
|
|
263 Dynarr *dy = (Dynarr *) d;
|
|
|
264
|
|
3092
|
265 #ifdef NEW_GC
|
|
|
266 if (dy->base && !DUMPEDP (dy->base))
|
|
|
267 {
|
|
|
268 if (dy->lisp_imp)
|
|
|
269 mc_free (dy->base);
|
|
|
270 else
|
|
|
271 xfree (dy->base, void *);
|
|
|
272 }
|
|
|
273 if(!DUMPEDP (dy))
|
|
|
274 {
|
|
|
275 if (dy->lisp_imp)
|
|
|
276 mc_free (dy);
|
|
|
277 else
|
|
|
278 xfree (dy, Dynarr *);
|
|
|
279 }
|
|
|
280 #else /* not NEW_GC */
|
|
428
|
281 if (dy->base && !DUMPEDP (dy->base))
|
|
1726
|
282 xfree (dy->base, void *);
|
|
428
|
283 if(!DUMPEDP (dy))
|
|
1726
|
284 xfree (dy, Dynarr *);
|
|
3092
|
285 #endif /* not NEW_GC */
|
|
428
|
286 }
|
|
|
287
|
|
|
288 #ifdef MEMORY_USAGE_STATS
|
|
|
289
|
|
|
290 /* Return memory usage for Dynarr D. The returned value is the total
|
|
|
291 amount of bytes actually being used for the Dynarr, including all
|
|
|
292 overhead. The extra amount of space in the Dynarr that is
|
|
|
293 allocated beyond what was requested is returned in DYNARR_OVERHEAD
|
|
|
294 in STATS. The extra amount of space that malloc() allocates beyond
|
|
|
295 what was requested of it is returned in MALLOC_OVERHEAD in STATS.
|
|
|
296 See the comment above the definition of this structure. */
|
|
|
297
|
|
665
|
298 Bytecount
|
|
428
|
299 Dynarr_memory_usage (void *d, struct overhead_stats *stats)
|
|
|
300 {
|
|
665
|
301 Bytecount total = 0;
|
|
428
|
302 Dynarr *dy = (Dynarr *) d;
|
|
|
303
|
|
|
304 /* We have to be a bit tricky here because not all of the
|
|
|
305 memory that malloc() will claim as "requested" was actually
|
|
|
306 requested. */
|
|
|
307
|
|
|
308 if (dy->base)
|
|
|
309 {
|
|
665
|
310 Bytecount malloc_used = malloced_storage_size (dy->base,
|
|
1318
|
311 dy->elsize * dy->max, 0);
|
|
428
|
312 /* #### This may or may not be correct. Some Dynarrs would
|
|
|
313 prefer that we use dy->cur instead of dy->largest here. */
|
|
1318
|
314 Bytecount was_requested = dy->elsize * dy->largest;
|
|
|
315 Bytecount dynarr_overhead = dy->elsize * (dy->max - dy->largest);
|
|
428
|
316
|
|
|
317 total += malloc_used;
|
|
|
318 stats->was_requested += was_requested;
|
|
|
319 stats->dynarr_overhead += dynarr_overhead;
|
|
|
320 /* And the remainder must be malloc overhead. */
|
|
|
321 stats->malloc_overhead +=
|
|
|
322 malloc_used - was_requested - dynarr_overhead;
|
|
|
323 }
|
|
|
324
|
|
|
325 total += malloced_storage_size (d, sizeof (*dy), stats);
|
|
|
326
|
|
|
327 return total;
|
|
|
328 }
|
|
|
329
|
|
|
330 #endif /* MEMORY_USAGE_STATS */
|
|
2367
|
331
|
|
|
332 /* Version of malloc() that will be extremely efficient when allocation
|
|
|
333 nearly always occurs in LIFO (stack) order.
|
|
|
334
|
|
|
335 #### Perhaps shouldn't be in this file, but where else? */
|
|
|
336
|
|
|
337 typedef struct
|
|
|
338 {
|
|
|
339 Dynarr_declare (char_dynarr *);
|
|
|
340 } char_dynarr_dynarr;
|
|
|
341
|
|
|
342 char_dynarr_dynarr *stack_like_free_list;
|
|
|
343 char_dynarr_dynarr *stack_like_in_use_list;
|
|
|
344
|
|
|
345 void *
|
|
|
346 stack_like_malloc (Bytecount size)
|
|
|
347 {
|
|
|
348 char_dynarr *this_one;
|
|
|
349 if (!stack_like_free_list)
|
|
|
350 {
|
|
|
351 stack_like_free_list = Dynarr_new2 (char_dynarr_dynarr,
|
|
|
352 char_dynarr *);
|
|
|
353 stack_like_in_use_list = Dynarr_new2 (char_dynarr_dynarr,
|
|
|
354 char_dynarr *);
|
|
|
355 }
|
|
|
356
|
|
|
357 if (Dynarr_length (stack_like_free_list) > 0)
|
|
|
358 this_one = Dynarr_pop (stack_like_free_list);
|
|
|
359 else
|
|
|
360 this_one = Dynarr_new (char);
|
|
|
361 Dynarr_add (stack_like_in_use_list, this_one);
|
|
|
362 Dynarr_resize (this_one, size);
|
|
|
363 return Dynarr_atp (this_one, 0);
|
|
|
364 }
|
|
|
365
|
|
|
366 void
|
|
|
367 stack_like_free (void *val)
|
|
|
368 {
|
|
|
369 int len = Dynarr_length (stack_like_in_use_list);
|
|
|
370 assert (len > 0);
|
|
|
371 /* The vast majority of times, we will be called in a last-in first-out
|
|
|
372 order, and the item at the end of the list will be the one we're
|
|
|
373 looking for, so just check for this first and avoid any function
|
|
|
374 calls. */
|
|
|
375 if (Dynarr_atp (Dynarr_at (stack_like_in_use_list, len - 1), 0) == val)
|
|
|
376 {
|
|
|
377 char_dynarr *this_one = Dynarr_pop (stack_like_in_use_list);
|
|
|
378 Dynarr_add (stack_like_free_list, this_one);
|
|
|
379 }
|
|
|
380 else
|
|
|
381 {
|
|
|
382 /* Find the item and delete it. */
|
|
|
383 int i;
|
|
|
384 assert (len >= 2);
|
|
|
385 for (i = len - 2; i >= 0; i--)
|
|
|
386 if (Dynarr_atp (Dynarr_at (stack_like_in_use_list, i), 0) ==
|
|
|
387 val)
|
|
|
388 {
|
|
|
389 char_dynarr *this_one = Dynarr_at (stack_like_in_use_list, i);
|
|
|
390 Dynarr_add (stack_like_free_list, this_one);
|
|
|
391 Dynarr_delete (stack_like_in_use_list, i);
|
|
|
392 return;
|
|
|
393 }
|
|
|
394
|
|
2500
|
395 ABORT ();
|
|
2367
|
396 }
|
|
|
397 }
|
