1 | @node Obstacks,Licenses,Functions,Top
|
---|
2 | @chapter Obstacks
|
---|
3 | @cindex obstacks
|
---|
4 |
|
---|
5 | An @dfn{obstack} is a pool of memory containing a stack of objects. You
|
---|
6 | can create any number of separate obstacks, and then allocate objects in
|
---|
7 | specified obstacks. Within each obstack, the last object allocated must
|
---|
8 | always be the first one freed, but distinct obstacks are independent of
|
---|
9 | each other.
|
---|
10 |
|
---|
11 | Aside from this one constraint of order of freeing, obstacks are totally
|
---|
12 | general: an obstack can contain any number of objects of any size. They
|
---|
13 | are implemented with macros, so allocation is usually very fast as long as
|
---|
14 | the objects are usually small. And the only space overhead per object is
|
---|
15 | the padding needed to start each object on a suitable boundary.
|
---|
16 |
|
---|
17 | @menu
|
---|
18 | * Creating Obstacks:: How to declare an obstack in your program.
|
---|
19 | * Preparing for Obstacks:: Preparations needed before you can
|
---|
20 | use obstacks.
|
---|
21 | * Allocation in an Obstack:: Allocating objects in an obstack.
|
---|
22 | * Freeing Obstack Objects:: Freeing objects in an obstack.
|
---|
23 | * Obstack Functions:: The obstack functions are both
|
---|
24 | functions and macros.
|
---|
25 | * Growing Objects:: Making an object bigger by stages.
|
---|
26 | * Extra Fast Growing:: Extra-high-efficiency (though more
|
---|
27 | complicated) growing objects.
|
---|
28 | * Status of an Obstack:: Inquiries about the status of an obstack.
|
---|
29 | * Obstacks Data Alignment:: Controlling alignment of objects in obstacks.
|
---|
30 | * Obstack Chunks:: How obstacks obtain and release chunks;
|
---|
31 | efficiency considerations.
|
---|
32 | * Summary of Obstacks::
|
---|
33 | @end menu
|
---|
34 |
|
---|
35 | @node Creating Obstacks
|
---|
36 | @section Creating Obstacks
|
---|
37 |
|
---|
38 | The utilities for manipulating obstacks are declared in the header
|
---|
39 | file @file{obstack.h}.
|
---|
40 | @pindex obstack.h
|
---|
41 |
|
---|
42 | @comment obstack.h
|
---|
43 | @comment GNU
|
---|
44 | @deftp {Data Type} {struct obstack}
|
---|
45 | An obstack is represented by a data structure of type @code{struct
|
---|
46 | obstack}. This structure has a small fixed size; it records the status
|
---|
47 | of the obstack and how to find the space in which objects are allocated.
|
---|
48 | It does not contain any of the objects themselves. You should not try
|
---|
49 | to access the contents of the structure directly; use only the functions
|
---|
50 | described in this chapter.
|
---|
51 | @end deftp
|
---|
52 |
|
---|
53 | You can declare variables of type @code{struct obstack} and use them as
|
---|
54 | obstacks, or you can allocate obstacks dynamically like any other kind
|
---|
55 | of object. Dynamic allocation of obstacks allows your program to have a
|
---|
56 | variable number of different stacks. (You can even allocate an
|
---|
57 | obstack structure in another obstack, but this is rarely useful.)
|
---|
58 |
|
---|
59 | All the functions that work with obstacks require you to specify which
|
---|
60 | obstack to use. You do this with a pointer of type @code{struct obstack
|
---|
61 | *}. In the following, we often say ``an obstack'' when strictly
|
---|
62 | speaking the object at hand is such a pointer.
|
---|
63 |
|
---|
64 | The objects in the obstack are packed into large blocks called
|
---|
65 | @dfn{chunks}. The @code{struct obstack} structure points to a chain of
|
---|
66 | the chunks currently in use.
|
---|
67 |
|
---|
68 | The obstack library obtains a new chunk whenever you allocate an object
|
---|
69 | that won't fit in the previous chunk. Since the obstack library manages
|
---|
70 | chunks automatically, you don't need to pay much attention to them, but
|
---|
71 | you do need to supply a function which the obstack library should use to
|
---|
72 | get a chunk. Usually you supply a function which uses @code{malloc}
|
---|
73 | directly or indirectly. You must also supply a function to free a chunk.
|
---|
74 | These matters are described in the following section.
|
---|
75 |
|
---|
76 | @node Preparing for Obstacks
|
---|
77 | @section Preparing for Using Obstacks
|
---|
78 |
|
---|
79 | Each source file in which you plan to use the obstack functions
|
---|
80 | must include the header file @file{obstack.h}, like this:
|
---|
81 |
|
---|
82 | @smallexample
|
---|
83 | #include <obstack.h>
|
---|
84 | @end smallexample
|
---|
85 |
|
---|
86 | @findex obstack_chunk_alloc
|
---|
87 | @findex obstack_chunk_free
|
---|
88 | Also, if the source file uses the macro @code{obstack_init}, it must
|
---|
89 | declare or define two functions or macros that will be called by the
|
---|
90 | obstack library. One, @code{obstack_chunk_alloc}, is used to allocate
|
---|
91 | the chunks of memory into which objects are packed. The other,
|
---|
92 | @code{obstack_chunk_free}, is used to return chunks when the objects in
|
---|
93 | them are freed. These macros should appear before any use of obstacks
|
---|
94 | in the source file.
|
---|
95 |
|
---|
96 | Usually these are defined to use @code{malloc} via the intermediary
|
---|
97 | @code{xmalloc} (@pxref{Unconstrained Allocation, , , libc, The GNU C Library Reference Manual}). This is done with
|
---|
98 | the following pair of macro definitions:
|
---|
99 |
|
---|
100 | @smallexample
|
---|
101 | #define obstack_chunk_alloc xmalloc
|
---|
102 | #define obstack_chunk_free free
|
---|
103 | @end smallexample
|
---|
104 |
|
---|
105 | @noindent
|
---|
106 | Though the memory you get using obstacks really comes from @code{malloc},
|
---|
107 | using obstacks is faster because @code{malloc} is called less often, for
|
---|
108 | larger blocks of memory. @xref{Obstack Chunks}, for full details.
|
---|
109 |
|
---|
110 | At run time, before the program can use a @code{struct obstack} object
|
---|
111 | as an obstack, it must initialize the obstack by calling
|
---|
112 | @code{obstack_init}.
|
---|
113 |
|
---|
114 | @comment obstack.h
|
---|
115 | @comment GNU
|
---|
116 | @deftypefun int obstack_init (struct obstack *@var{obstack-ptr})
|
---|
117 | Initialize obstack @var{obstack-ptr} for allocation of objects. This
|
---|
118 | function calls the obstack's @code{obstack_chunk_alloc} function. If
|
---|
119 | allocation of memory fails, the function pointed to by
|
---|
120 | @code{obstack_alloc_failed_handler} is called. The @code{obstack_init}
|
---|
121 | function always returns 1 (Compatibility notice: Former versions of
|
---|
122 | obstack returned 0 if allocation failed).
|
---|
123 | @end deftypefun
|
---|
124 |
|
---|
125 | Here are two examples of how to allocate the space for an obstack and
|
---|
126 | initialize it. First, an obstack that is a static variable:
|
---|
127 |
|
---|
128 | @smallexample
|
---|
129 | static struct obstack myobstack;
|
---|
130 | @dots{}
|
---|
131 | obstack_init (&myobstack);
|
---|
132 | @end smallexample
|
---|
133 |
|
---|
134 | @noindent
|
---|
135 | Second, an obstack that is itself dynamically allocated:
|
---|
136 |
|
---|
137 | @smallexample
|
---|
138 | struct obstack *myobstack_ptr
|
---|
139 | = (struct obstack *) xmalloc (sizeof (struct obstack));
|
---|
140 |
|
---|
141 | obstack_init (myobstack_ptr);
|
---|
142 | @end smallexample
|
---|
143 |
|
---|
144 | @comment obstack.h
|
---|
145 | @comment GNU
|
---|
146 | @defvar obstack_alloc_failed_handler
|
---|
147 | The value of this variable is a pointer to a function that
|
---|
148 | @code{obstack} uses when @code{obstack_chunk_alloc} fails to allocate
|
---|
149 | memory. The default action is to print a message and abort.
|
---|
150 | You should supply a function that either calls @code{exit}
|
---|
151 | (@pxref{Program Termination, , , libc, The GNU C Library Reference Manual}) or @code{longjmp} (@pxref{Non-Local
|
---|
152 | Exits, , , libc, The GNU C Library Reference Manual}) and doesn't return.
|
---|
153 |
|
---|
154 | @smallexample
|
---|
155 | void my_obstack_alloc_failed (void)
|
---|
156 | @dots{}
|
---|
157 | obstack_alloc_failed_handler = &my_obstack_alloc_failed;
|
---|
158 | @end smallexample
|
---|
159 |
|
---|
160 | @end defvar
|
---|
161 |
|
---|
162 | @node Allocation in an Obstack
|
---|
163 | @section Allocation in an Obstack
|
---|
164 | @cindex allocation (obstacks)
|
---|
165 |
|
---|
166 | The most direct way to allocate an object in an obstack is with
|
---|
167 | @code{obstack_alloc}, which is invoked almost like @code{malloc}.
|
---|
168 |
|
---|
169 | @comment obstack.h
|
---|
170 | @comment GNU
|
---|
171 | @deftypefun {void *} obstack_alloc (struct obstack *@var{obstack-ptr}, int @var{size})
|
---|
172 | This allocates an uninitialized block of @var{size} bytes in an obstack
|
---|
173 | and returns its address. Here @var{obstack-ptr} specifies which obstack
|
---|
174 | to allocate the block in; it is the address of the @code{struct obstack}
|
---|
175 | object which represents the obstack. Each obstack function or macro
|
---|
176 | requires you to specify an @var{obstack-ptr} as the first argument.
|
---|
177 |
|
---|
178 | This function calls the obstack's @code{obstack_chunk_alloc} function if
|
---|
179 | it needs to allocate a new chunk of memory; it calls
|
---|
180 | @code{obstack_alloc_failed_handler} if allocation of memory by
|
---|
181 | @code{obstack_chunk_alloc} failed.
|
---|
182 | @end deftypefun
|
---|
183 |
|
---|
184 | For example, here is a function that allocates a copy of a string @var{str}
|
---|
185 | in a specific obstack, which is in the variable @code{string_obstack}:
|
---|
186 |
|
---|
187 | @smallexample
|
---|
188 | struct obstack string_obstack;
|
---|
189 |
|
---|
190 | char *
|
---|
191 | copystring (char *string)
|
---|
192 | @{
|
---|
193 | size_t len = strlen (string) + 1;
|
---|
194 | char *s = (char *) obstack_alloc (&string_obstack, len);
|
---|
195 | memcpy (s, string, len);
|
---|
196 | return s;
|
---|
197 | @}
|
---|
198 | @end smallexample
|
---|
199 |
|
---|
200 | To allocate a block with specified contents, use the function
|
---|
201 | @code{obstack_copy}, declared like this:
|
---|
202 |
|
---|
203 | @comment obstack.h
|
---|
204 | @comment GNU
|
---|
205 | @deftypefun {void *} obstack_copy (struct obstack *@var{obstack-ptr}, void *@var{address}, int @var{size})
|
---|
206 | This allocates a block and initializes it by copying @var{size}
|
---|
207 | bytes of data starting at @var{address}. It calls
|
---|
208 | @code{obstack_alloc_failed_handler} if allocation of memory by
|
---|
209 | @code{obstack_chunk_alloc} failed.
|
---|
210 | @end deftypefun
|
---|
211 |
|
---|
212 | @comment obstack.h
|
---|
213 | @comment GNU
|
---|
214 | @deftypefun {void *} obstack_copy0 (struct obstack *@var{obstack-ptr}, void *@var{address}, int @var{size})
|
---|
215 | Like @code{obstack_copy}, but appends an extra byte containing a null
|
---|
216 | character. This extra byte is not counted in the argument @var{size}.
|
---|
217 | @end deftypefun
|
---|
218 |
|
---|
219 | The @code{obstack_copy0} function is convenient for copying a sequence
|
---|
220 | of characters into an obstack as a null-terminated string. Here is an
|
---|
221 | example of its use:
|
---|
222 |
|
---|
223 | @smallexample
|
---|
224 | char *
|
---|
225 | obstack_savestring (char *addr, int size)
|
---|
226 | @{
|
---|
227 | return obstack_copy0 (&myobstack, addr, size);
|
---|
228 | @}
|
---|
229 | @end smallexample
|
---|
230 |
|
---|
231 | @noindent
|
---|
232 | Contrast this with the previous example of @code{savestring} using
|
---|
233 | @code{malloc} (@pxref{Basic Allocation, , , libc, The GNU C Library Reference Manual}).
|
---|
234 |
|
---|
235 | @node Freeing Obstack Objects
|
---|
236 | @section Freeing Objects in an Obstack
|
---|
237 | @cindex freeing (obstacks)
|
---|
238 |
|
---|
239 | To free an object allocated in an obstack, use the function
|
---|
240 | @code{obstack_free}. Since the obstack is a stack of objects, freeing
|
---|
241 | one object automatically frees all other objects allocated more recently
|
---|
242 | in the same obstack.
|
---|
243 |
|
---|
244 | @comment obstack.h
|
---|
245 | @comment GNU
|
---|
246 | @deftypefun void obstack_free (struct obstack *@var{obstack-ptr}, void *@var{object})
|
---|
247 | If @var{object} is a null pointer, everything allocated in the obstack
|
---|
248 | is freed. Otherwise, @var{object} must be the address of an object
|
---|
249 | allocated in the obstack. Then @var{object} is freed, along with
|
---|
250 | everything allocated in @var{obstack} since @var{object}.
|
---|
251 | @end deftypefun
|
---|
252 |
|
---|
253 | Note that if @var{object} is a null pointer, the result is an
|
---|
254 | uninitialized obstack. To free all memory in an obstack but leave it
|
---|
255 | valid for further allocation, call @code{obstack_free} with the address
|
---|
256 | of the first object allocated on the obstack:
|
---|
257 |
|
---|
258 | @smallexample
|
---|
259 | obstack_free (obstack_ptr, first_object_allocated_ptr);
|
---|
260 | @end smallexample
|
---|
261 |
|
---|
262 | Recall that the objects in an obstack are grouped into chunks. When all
|
---|
263 | the objects in a chunk become free, the obstack library automatically
|
---|
264 | frees the chunk (@pxref{Preparing for Obstacks}). Then other
|
---|
265 | obstacks, or non-obstack allocation, can reuse the space of the chunk.
|
---|
266 |
|
---|
267 | @node Obstack Functions
|
---|
268 | @section Obstack Functions and Macros
|
---|
269 | @cindex macros
|
---|
270 |
|
---|
271 | The interfaces for using obstacks may be defined either as functions or
|
---|
272 | as macros, depending on the compiler. The obstack facility works with
|
---|
273 | all C compilers, including both @w{ISO C} and traditional C, but there are
|
---|
274 | precautions you must take if you plan to use compilers other than GNU C.
|
---|
275 |
|
---|
276 | If you are using an old-fashioned @w{non-ISO C} compiler, all the obstack
|
---|
277 | ``functions'' are actually defined only as macros. You can call these
|
---|
278 | macros like functions, but you cannot use them in any other way (for
|
---|
279 | example, you cannot take their address).
|
---|
280 |
|
---|
281 | Calling the macros requires a special precaution: namely, the first
|
---|
282 | operand (the obstack pointer) may not contain any side effects, because
|
---|
283 | it may be computed more than once. For example, if you write this:
|
---|
284 |
|
---|
285 | @smallexample
|
---|
286 | obstack_alloc (get_obstack (), 4);
|
---|
287 | @end smallexample
|
---|
288 |
|
---|
289 | @noindent
|
---|
290 | you will find that @code{get_obstack} may be called several times.
|
---|
291 | If you use @code{*obstack_list_ptr++} as the obstack pointer argument,
|
---|
292 | you will get very strange results since the incrementation may occur
|
---|
293 | several times.
|
---|
294 |
|
---|
295 | In @w{ISO C}, each function has both a macro definition and a function
|
---|
296 | definition. The function definition is used if you take the address of the
|
---|
297 | function without calling it. An ordinary call uses the macro definition by
|
---|
298 | default, but you can request the function definition instead by writing the
|
---|
299 | function name in parentheses, as shown here:
|
---|
300 |
|
---|
301 | @smallexample
|
---|
302 | char *x;
|
---|
303 | void *(*funcp) ();
|
---|
304 | /* @r{Use the macro}. */
|
---|
305 | x = (char *) obstack_alloc (obptr, size);
|
---|
306 | /* @r{Call the function}. */
|
---|
307 | x = (char *) (obstack_alloc) (obptr, size);
|
---|
308 | /* @r{Take the address of the function}. */
|
---|
309 | funcp = obstack_alloc;
|
---|
310 | @end smallexample
|
---|
311 |
|
---|
312 | @noindent
|
---|
313 | This is the same situation that exists in @w{ISO C} for the standard library
|
---|
314 | functions. @xref{Macro Definitions, , , libc, The GNU C Library Reference Manual}.
|
---|
315 |
|
---|
316 | @strong{Warning:} When you do use the macros, you must observe the
|
---|
317 | precaution of avoiding side effects in the first operand, even in @w{ISO C}.
|
---|
318 |
|
---|
319 | If you use the GNU C compiler, this precaution is not necessary, because
|
---|
320 | various language extensions in GNU C permit defining the macros so as to
|
---|
321 | compute each argument only once.
|
---|
322 |
|
---|
323 | @node Growing Objects
|
---|
324 | @section Growing Objects
|
---|
325 | @cindex growing objects (in obstacks)
|
---|
326 | @cindex changing the size of a block (obstacks)
|
---|
327 |
|
---|
328 | Because memory in obstack chunks is used sequentially, it is possible to
|
---|
329 | build up an object step by step, adding one or more bytes at a time to the
|
---|
330 | end of the object. With this technique, you do not need to know how much
|
---|
331 | data you will put in the object until you come to the end of it. We call
|
---|
332 | this the technique of @dfn{growing objects}. The special functions
|
---|
333 | for adding data to the growing object are described in this section.
|
---|
334 |
|
---|
335 | You don't need to do anything special when you start to grow an object.
|
---|
336 | Using one of the functions to add data to the object automatically
|
---|
337 | starts it. However, it is necessary to say explicitly when the object is
|
---|
338 | finished. This is done with the function @code{obstack_finish}.
|
---|
339 |
|
---|
340 | The actual address of the object thus built up is not known until the
|
---|
341 | object is finished. Until then, it always remains possible that you will
|
---|
342 | add so much data that the object must be copied into a new chunk.
|
---|
343 |
|
---|
344 | While the obstack is in use for a growing object, you cannot use it for
|
---|
345 | ordinary allocation of another object. If you try to do so, the space
|
---|
346 | already added to the growing object will become part of the other object.
|
---|
347 |
|
---|
348 | @comment obstack.h
|
---|
349 | @comment GNU
|
---|
350 | @deftypefun void obstack_blank (struct obstack *@var{obstack-ptr}, int @var{size})
|
---|
351 | The most basic function for adding to a growing object is
|
---|
352 | @code{obstack_blank}, which adds space without initializing it.
|
---|
353 | @end deftypefun
|
---|
354 |
|
---|
355 | @comment obstack.h
|
---|
356 | @comment GNU
|
---|
357 | @deftypefun void obstack_grow (struct obstack *@var{obstack-ptr}, void *@var{data}, int @var{size})
|
---|
358 | To add a block of initialized space, use @code{obstack_grow}, which is
|
---|
359 | the growing-object analogue of @code{obstack_copy}. It adds @var{size}
|
---|
360 | bytes of data to the growing object, copying the contents from
|
---|
361 | @var{data}.
|
---|
362 | @end deftypefun
|
---|
363 |
|
---|
364 | @comment obstack.h
|
---|
365 | @comment GNU
|
---|
366 | @deftypefun void obstack_grow0 (struct obstack *@var{obstack-ptr}, void *@var{data}, int @var{size})
|
---|
367 | This is the growing-object analogue of @code{obstack_copy0}. It adds
|
---|
368 | @var{size} bytes copied from @var{data}, followed by an additional null
|
---|
369 | character.
|
---|
370 | @end deftypefun
|
---|
371 |
|
---|
372 | @comment obstack.h
|
---|
373 | @comment GNU
|
---|
374 | @deftypefun void obstack_1grow (struct obstack *@var{obstack-ptr}, char @var{c})
|
---|
375 | To add one character at a time, use the function @code{obstack_1grow}.
|
---|
376 | It adds a single byte containing @var{c} to the growing object.
|
---|
377 | @end deftypefun
|
---|
378 |
|
---|
379 | @comment obstack.h
|
---|
380 | @comment GNU
|
---|
381 | @deftypefun void obstack_ptr_grow (struct obstack *@var{obstack-ptr}, void *@var{data})
|
---|
382 | Adding the value of a pointer one can use the function
|
---|
383 | @code{obstack_ptr_grow}. It adds @code{sizeof (void *)} bytes
|
---|
384 | containing the value of @var{data}.
|
---|
385 | @end deftypefun
|
---|
386 |
|
---|
387 | @comment obstack.h
|
---|
388 | @comment GNU
|
---|
389 | @deftypefun void obstack_int_grow (struct obstack *@var{obstack-ptr}, int @var{data})
|
---|
390 | A single value of type @code{int} can be added by using the
|
---|
391 | @code{obstack_int_grow} function. It adds @code{sizeof (int)} bytes to
|
---|
392 | the growing object and initializes them with the value of @var{data}.
|
---|
393 | @end deftypefun
|
---|
394 |
|
---|
395 | @comment obstack.h
|
---|
396 | @comment GNU
|
---|
397 | @deftypefun {void *} obstack_finish (struct obstack *@var{obstack-ptr})
|
---|
398 | When you are finished growing the object, use the function
|
---|
399 | @code{obstack_finish} to close it off and return its final address.
|
---|
400 |
|
---|
401 | Once you have finished the object, the obstack is available for ordinary
|
---|
402 | allocation or for growing another object.
|
---|
403 |
|
---|
404 | This function can return a null pointer under the same conditions as
|
---|
405 | @code{obstack_alloc} (@pxref{Allocation in an Obstack}).
|
---|
406 | @end deftypefun
|
---|
407 |
|
---|
408 | When you build an object by growing it, you will probably need to know
|
---|
409 | afterward how long it became. You need not keep track of this as you grow
|
---|
410 | the object, because you can find out the length from the obstack just
|
---|
411 | before finishing the object with the function @code{obstack_object_size},
|
---|
412 | declared as follows:
|
---|
413 |
|
---|
414 | @comment obstack.h
|
---|
415 | @comment GNU
|
---|
416 | @deftypefun int obstack_object_size (struct obstack *@var{obstack-ptr})
|
---|
417 | This function returns the current size of the growing object, in bytes.
|
---|
418 | Remember to call this function @emph{before} finishing the object.
|
---|
419 | After it is finished, @code{obstack_object_size} will return zero.
|
---|
420 | @end deftypefun
|
---|
421 |
|
---|
422 | If you have started growing an object and wish to cancel it, you should
|
---|
423 | finish it and then free it, like this:
|
---|
424 |
|
---|
425 | @smallexample
|
---|
426 | obstack_free (obstack_ptr, obstack_finish (obstack_ptr));
|
---|
427 | @end smallexample
|
---|
428 |
|
---|
429 | @noindent
|
---|
430 | This has no effect if no object was growing.
|
---|
431 |
|
---|
432 | @cindex shrinking objects
|
---|
433 | You can use @code{obstack_blank} with a negative size argument to make
|
---|
434 | the current object smaller. Just don't try to shrink it beyond zero
|
---|
435 | length---there's no telling what will happen if you do that.
|
---|
436 |
|
---|
437 | @node Extra Fast Growing
|
---|
438 | @section Extra Fast Growing Objects
|
---|
439 | @cindex efficiency and obstacks
|
---|
440 |
|
---|
441 | The usual functions for growing objects incur overhead for checking
|
---|
442 | whether there is room for the new growth in the current chunk. If you
|
---|
443 | are frequently constructing objects in small steps of growth, this
|
---|
444 | overhead can be significant.
|
---|
445 |
|
---|
446 | You can reduce the overhead by using special ``fast growth''
|
---|
447 | functions that grow the object without checking. In order to have a
|
---|
448 | robust program, you must do the checking yourself. If you do this checking
|
---|
449 | in the simplest way each time you are about to add data to the object, you
|
---|
450 | have not saved anything, because that is what the ordinary growth
|
---|
451 | functions do. But if you can arrange to check less often, or check
|
---|
452 | more efficiently, then you make the program faster.
|
---|
453 |
|
---|
454 | The function @code{obstack_room} returns the amount of room available
|
---|
455 | in the current chunk. It is declared as follows:
|
---|
456 |
|
---|
457 | @comment obstack.h
|
---|
458 | @comment GNU
|
---|
459 | @deftypefun int obstack_room (struct obstack *@var{obstack-ptr})
|
---|
460 | This returns the number of bytes that can be added safely to the current
|
---|
461 | growing object (or to an object about to be started) in obstack
|
---|
462 | @var{obstack} using the fast growth functions.
|
---|
463 | @end deftypefun
|
---|
464 |
|
---|
465 | While you know there is room, you can use these fast growth functions
|
---|
466 | for adding data to a growing object:
|
---|
467 |
|
---|
468 | @comment obstack.h
|
---|
469 | @comment GNU
|
---|
470 | @deftypefun void obstack_1grow_fast (struct obstack *@var{obstack-ptr}, char @var{c})
|
---|
471 | The function @code{obstack_1grow_fast} adds one byte containing the
|
---|
472 | character @var{c} to the growing object in obstack @var{obstack-ptr}.
|
---|
473 | @end deftypefun
|
---|
474 |
|
---|
475 | @comment obstack.h
|
---|
476 | @comment GNU
|
---|
477 | @deftypefun void obstack_ptr_grow_fast (struct obstack *@var{obstack-ptr}, void *@var{data})
|
---|
478 | The function @code{obstack_ptr_grow_fast} adds @code{sizeof (void *)}
|
---|
479 | bytes containing the value of @var{data} to the growing object in
|
---|
480 | obstack @var{obstack-ptr}.
|
---|
481 | @end deftypefun
|
---|
482 |
|
---|
483 | @comment obstack.h
|
---|
484 | @comment GNU
|
---|
485 | @deftypefun void obstack_int_grow_fast (struct obstack *@var{obstack-ptr}, int @var{data})
|
---|
486 | The function @code{obstack_int_grow_fast} adds @code{sizeof (int)} bytes
|
---|
487 | containing the value of @var{data} to the growing object in obstack
|
---|
488 | @var{obstack-ptr}.
|
---|
489 | @end deftypefun
|
---|
490 |
|
---|
491 | @comment obstack.h
|
---|
492 | @comment GNU
|
---|
493 | @deftypefun void obstack_blank_fast (struct obstack *@var{obstack-ptr}, int @var{size})
|
---|
494 | The function @code{obstack_blank_fast} adds @var{size} bytes to the
|
---|
495 | growing object in obstack @var{obstack-ptr} without initializing them.
|
---|
496 | @end deftypefun
|
---|
497 |
|
---|
498 | When you check for space using @code{obstack_room} and there is not
|
---|
499 | enough room for what you want to add, the fast growth functions
|
---|
500 | are not safe. In this case, simply use the corresponding ordinary
|
---|
501 | growth function instead. Very soon this will copy the object to a
|
---|
502 | new chunk; then there will be lots of room available again.
|
---|
503 |
|
---|
504 | So, each time you use an ordinary growth function, check afterward for
|
---|
505 | sufficient space using @code{obstack_room}. Once the object is copied
|
---|
506 | to a new chunk, there will be plenty of space again, so the program will
|
---|
507 | start using the fast growth functions again.
|
---|
508 |
|
---|
509 | Here is an example:
|
---|
510 |
|
---|
511 | @smallexample
|
---|
512 | @group
|
---|
513 | void
|
---|
514 | add_string (struct obstack *obstack, const char *ptr, int len)
|
---|
515 | @{
|
---|
516 | while (len > 0)
|
---|
517 | @{
|
---|
518 | int room = obstack_room (obstack);
|
---|
519 | if (room == 0)
|
---|
520 | @{
|
---|
521 | /* @r{Not enough room. Add one character slowly,}
|
---|
522 | @r{which may copy to a new chunk and make room.} */
|
---|
523 | obstack_1grow (obstack, *ptr++);
|
---|
524 | len--;
|
---|
525 | @}
|
---|
526 | else
|
---|
527 | @{
|
---|
528 | if (room > len)
|
---|
529 | room = len;
|
---|
530 | /* @r{Add fast as much as we have room for.} */
|
---|
531 | len -= room;
|
---|
532 | while (room-- > 0)
|
---|
533 | obstack_1grow_fast (obstack, *ptr++);
|
---|
534 | @}
|
---|
535 | @}
|
---|
536 | @}
|
---|
537 | @end group
|
---|
538 | @end smallexample
|
---|
539 |
|
---|
540 | @node Status of an Obstack
|
---|
541 | @section Status of an Obstack
|
---|
542 | @cindex obstack status
|
---|
543 | @cindex status of obstack
|
---|
544 |
|
---|
545 | Here are functions that provide information on the current status of
|
---|
546 | allocation in an obstack. You can use them to learn about an object while
|
---|
547 | still growing it.
|
---|
548 |
|
---|
549 | @comment obstack.h
|
---|
550 | @comment GNU
|
---|
551 | @deftypefun {void *} obstack_base (struct obstack *@var{obstack-ptr})
|
---|
552 | This function returns the tentative address of the beginning of the
|
---|
553 | currently growing object in @var{obstack-ptr}. If you finish the object
|
---|
554 | immediately, it will have that address. If you make it larger first, it
|
---|
555 | may outgrow the current chunk---then its address will change!
|
---|
556 |
|
---|
557 | If no object is growing, this value says where the next object you
|
---|
558 | allocate will start (once again assuming it fits in the current
|
---|
559 | chunk).
|
---|
560 | @end deftypefun
|
---|
561 |
|
---|
562 | @comment obstack.h
|
---|
563 | @comment GNU
|
---|
564 | @deftypefun {void *} obstack_next_free (struct obstack *@var{obstack-ptr})
|
---|
565 | This function returns the address of the first free byte in the current
|
---|
566 | chunk of obstack @var{obstack-ptr}. This is the end of the currently
|
---|
567 | growing object. If no object is growing, @code{obstack_next_free}
|
---|
568 | returns the same value as @code{obstack_base}.
|
---|
569 | @end deftypefun
|
---|
570 |
|
---|
571 | @comment obstack.h
|
---|
572 | @comment GNU
|
---|
573 | @deftypefun int obstack_object_size (struct obstack *@var{obstack-ptr})
|
---|
574 | This function returns the size in bytes of the currently growing object.
|
---|
575 | This is equivalent to
|
---|
576 |
|
---|
577 | @smallexample
|
---|
578 | obstack_next_free (@var{obstack-ptr}) - obstack_base (@var{obstack-ptr})
|
---|
579 | @end smallexample
|
---|
580 | @end deftypefun
|
---|
581 |
|
---|
582 | @node Obstacks Data Alignment
|
---|
583 | @section Alignment of Data in Obstacks
|
---|
584 | @cindex alignment (in obstacks)
|
---|
585 |
|
---|
586 | Each obstack has an @dfn{alignment boundary}; each object allocated in
|
---|
587 | the obstack automatically starts on an address that is a multiple of the
|
---|
588 | specified boundary. By default, this boundary is 4 bytes.
|
---|
589 |
|
---|
590 | To access an obstack's alignment boundary, use the macro
|
---|
591 | @code{obstack_alignment_mask}, whose function prototype looks like
|
---|
592 | this:
|
---|
593 |
|
---|
594 | @comment obstack.h
|
---|
595 | @comment GNU
|
---|
596 | @deftypefn Macro int obstack_alignment_mask (struct obstack *@var{obstack-ptr})
|
---|
597 | The value is a bit mask; a bit that is 1 indicates that the corresponding
|
---|
598 | bit in the address of an object should be 0. The mask value should be one
|
---|
599 | less than a power of 2; the effect is that all object addresses are
|
---|
600 | multiples of that power of 2. The default value of the mask is 3, so that
|
---|
601 | addresses are multiples of 4. A mask value of 0 means an object can start
|
---|
602 | on any multiple of 1 (that is, no alignment is required).
|
---|
603 |
|
---|
604 | The expansion of the macro @code{obstack_alignment_mask} is an lvalue,
|
---|
605 | so you can alter the mask by assignment. For example, this statement:
|
---|
606 |
|
---|
607 | @smallexample
|
---|
608 | obstack_alignment_mask (obstack_ptr) = 0;
|
---|
609 | @end smallexample
|
---|
610 |
|
---|
611 | @noindent
|
---|
612 | has the effect of turning off alignment processing in the specified obstack.
|
---|
613 | @end deftypefn
|
---|
614 |
|
---|
615 | Note that a change in alignment mask does not take effect until
|
---|
616 | @emph{after} the next time an object is allocated or finished in the
|
---|
617 | obstack. If you are not growing an object, you can make the new
|
---|
618 | alignment mask take effect immediately by calling @code{obstack_finish}.
|
---|
619 | This will finish a zero-length object and then do proper alignment for
|
---|
620 | the next object.
|
---|
621 |
|
---|
622 | @node Obstack Chunks
|
---|
623 | @section Obstack Chunks
|
---|
624 | @cindex efficiency of chunks
|
---|
625 | @cindex chunks
|
---|
626 |
|
---|
627 | Obstacks work by allocating space for themselves in large chunks, and
|
---|
628 | then parceling out space in the chunks to satisfy your requests. Chunks
|
---|
629 | are normally 4096 bytes long unless you specify a different chunk size.
|
---|
630 | The chunk size includes 8 bytes of overhead that are not actually used
|
---|
631 | for storing objects. Regardless of the specified size, longer chunks
|
---|
632 | will be allocated when necessary for long objects.
|
---|
633 |
|
---|
634 | The obstack library allocates chunks by calling the function
|
---|
635 | @code{obstack_chunk_alloc}, which you must define. When a chunk is no
|
---|
636 | longer needed because you have freed all the objects in it, the obstack
|
---|
637 | library frees the chunk by calling @code{obstack_chunk_free}, which you
|
---|
638 | must also define.
|
---|
639 |
|
---|
640 | These two must be defined (as macros) or declared (as functions) in each
|
---|
641 | source file that uses @code{obstack_init} (@pxref{Creating Obstacks}).
|
---|
642 | Most often they are defined as macros like this:
|
---|
643 |
|
---|
644 | @smallexample
|
---|
645 | #define obstack_chunk_alloc malloc
|
---|
646 | #define obstack_chunk_free free
|
---|
647 | @end smallexample
|
---|
648 |
|
---|
649 | Note that these are simple macros (no arguments). Macro definitions with
|
---|
650 | arguments will not work! It is necessary that @code{obstack_chunk_alloc}
|
---|
651 | or @code{obstack_chunk_free}, alone, expand into a function name if it is
|
---|
652 | not itself a function name.
|
---|
653 |
|
---|
654 | If you allocate chunks with @code{malloc}, the chunk size should be a
|
---|
655 | power of 2. The default chunk size, 4096, was chosen because it is long
|
---|
656 | enough to satisfy many typical requests on the obstack yet short enough
|
---|
657 | not to waste too much memory in the portion of the last chunk not yet used.
|
---|
658 |
|
---|
659 | @comment obstack.h
|
---|
660 | @comment GNU
|
---|
661 | @deftypefn Macro int obstack_chunk_size (struct obstack *@var{obstack-ptr})
|
---|
662 | This returns the chunk size of the given obstack.
|
---|
663 | @end deftypefn
|
---|
664 |
|
---|
665 | Since this macro expands to an lvalue, you can specify a new chunk size by
|
---|
666 | assigning it a new value. Doing so does not affect the chunks already
|
---|
667 | allocated, but will change the size of chunks allocated for that particular
|
---|
668 | obstack in the future. It is unlikely to be useful to make the chunk size
|
---|
669 | smaller, but making it larger might improve efficiency if you are
|
---|
670 | allocating many objects whose size is comparable to the chunk size. Here
|
---|
671 | is how to do so cleanly:
|
---|
672 |
|
---|
673 | @smallexample
|
---|
674 | if (obstack_chunk_size (obstack_ptr) < @var{new-chunk-size})
|
---|
675 | obstack_chunk_size (obstack_ptr) = @var{new-chunk-size};
|
---|
676 | @end smallexample
|
---|
677 |
|
---|
678 | @node Summary of Obstacks
|
---|
679 | @section Summary of Obstack Functions
|
---|
680 |
|
---|
681 | Here is a summary of all the functions associated with obstacks. Each
|
---|
682 | takes the address of an obstack (@code{struct obstack *}) as its first
|
---|
683 | argument.
|
---|
684 |
|
---|
685 | @table @code
|
---|
686 | @item void obstack_init (struct obstack *@var{obstack-ptr})
|
---|
687 | Initialize use of an obstack. @xref{Creating Obstacks}.
|
---|
688 |
|
---|
689 | @item void *obstack_alloc (struct obstack *@var{obstack-ptr}, int @var{size})
|
---|
690 | Allocate an object of @var{size} uninitialized bytes.
|
---|
691 | @xref{Allocation in an Obstack}.
|
---|
692 |
|
---|
693 | @item void *obstack_copy (struct obstack *@var{obstack-ptr}, void *@var{address}, int @var{size})
|
---|
694 | Allocate an object of @var{size} bytes, with contents copied from
|
---|
695 | @var{address}. @xref{Allocation in an Obstack}.
|
---|
696 |
|
---|
697 | @item void *obstack_copy0 (struct obstack *@var{obstack-ptr}, void *@var{address}, int @var{size})
|
---|
698 | Allocate an object of @var{size}+1 bytes, with @var{size} of them copied
|
---|
699 | from @var{address}, followed by a null character at the end.
|
---|
700 | @xref{Allocation in an Obstack}.
|
---|
701 |
|
---|
702 | @item void obstack_free (struct obstack *@var{obstack-ptr}, void *@var{object})
|
---|
703 | Free @var{object} (and everything allocated in the specified obstack
|
---|
704 | more recently than @var{object}). @xref{Freeing Obstack Objects}.
|
---|
705 |
|
---|
706 | @item void obstack_blank (struct obstack *@var{obstack-ptr}, int @var{size})
|
---|
707 | Add @var{size} uninitialized bytes to a growing object.
|
---|
708 | @xref{Growing Objects}.
|
---|
709 |
|
---|
710 | @item void obstack_grow (struct obstack *@var{obstack-ptr}, void *@var{address}, int @var{size})
|
---|
711 | Add @var{size} bytes, copied from @var{address}, to a growing object.
|
---|
712 | @xref{Growing Objects}.
|
---|
713 |
|
---|
714 | @item void obstack_grow0 (struct obstack *@var{obstack-ptr}, void *@var{address}, int @var{size})
|
---|
715 | Add @var{size} bytes, copied from @var{address}, to a growing object,
|
---|
716 | and then add another byte containing a null character. @xref{Growing
|
---|
717 | Objects}.
|
---|
718 |
|
---|
719 | @item void obstack_1grow (struct obstack *@var{obstack-ptr}, char @var{data-char})
|
---|
720 | Add one byte containing @var{data-char} to a growing object.
|
---|
721 | @xref{Growing Objects}.
|
---|
722 |
|
---|
723 | @item void *obstack_finish (struct obstack *@var{obstack-ptr})
|
---|
724 | Finalize the object that is growing and return its permanent address.
|
---|
725 | @xref{Growing Objects}.
|
---|
726 |
|
---|
727 | @item int obstack_object_size (struct obstack *@var{obstack-ptr})
|
---|
728 | Get the current size of the currently growing object. @xref{Growing
|
---|
729 | Objects}.
|
---|
730 |
|
---|
731 | @item void obstack_blank_fast (struct obstack *@var{obstack-ptr}, int @var{size})
|
---|
732 | Add @var{size} uninitialized bytes to a growing object without checking
|
---|
733 | that there is enough room. @xref{Extra Fast Growing}.
|
---|
734 |
|
---|
735 | @item void obstack_1grow_fast (struct obstack *@var{obstack-ptr}, char @var{data-char})
|
---|
736 | Add one byte containing @var{data-char} to a growing object without
|
---|
737 | checking that there is enough room. @xref{Extra Fast Growing}.
|
---|
738 |
|
---|
739 | @item int obstack_room (struct obstack *@var{obstack-ptr})
|
---|
740 | Get the amount of room now available for growing the current object.
|
---|
741 | @xref{Extra Fast Growing}.
|
---|
742 |
|
---|
743 | @item int obstack_alignment_mask (struct obstack *@var{obstack-ptr})
|
---|
744 | The mask used for aligning the beginning of an object. This is an
|
---|
745 | lvalue. @xref{Obstacks Data Alignment}.
|
---|
746 |
|
---|
747 | @item int obstack_chunk_size (struct obstack *@var{obstack-ptr})
|
---|
748 | The size for allocating chunks. This is an lvalue. @xref{Obstack Chunks}.
|
---|
749 |
|
---|
750 | @item void *obstack_base (struct obstack *@var{obstack-ptr})
|
---|
751 | Tentative starting address of the currently growing object.
|
---|
752 | @xref{Status of an Obstack}.
|
---|
753 |
|
---|
754 | @item void *obstack_next_free (struct obstack *@var{obstack-ptr})
|
---|
755 | Address just after the end of the currently growing object.
|
---|
756 | @xref{Status of an Obstack}.
|
---|
757 | @end table
|
---|
758 |
|
---|