add rdoc.
[ruby-svn.git] / missing / alloca.c
blob067f76b183b89e5f95537f4d1206e49b54c3b9d2
1 /* alloca -- (mostly) portable public-domain implementation -- D A Gwyn
3 last edit: 86/05/30 rms
4 include config.h, since on VMS it renames some symbols.
5 Use xmalloc instead of malloc.
7 This implementation of the PWB library alloca() function,
8 which is used to allocate space off the run-time stack so
9 that it is automatically reclaimed upon procedure exit,
10 was inspired by discussions with J. Q. Johnson of Cornell.
12 It should work under any C implementation that uses an
13 actual procedure stack (as opposed to a linked list of
14 frames). There are some preprocessor constants that can
15 be defined when compiling for your specific system, for
16 improved efficiency; however, the defaults should be okay.
18 The general concept of this implementation is to keep
19 track of all alloca()-allocated blocks, and reclaim any
20 that are found to be deeper in the stack than the current
21 invocation. This heuristic does not reclaim storage as
22 soon as it becomes invalid, but it will do so eventually.
24 As a special case, alloca(0) reclaims storage without
25 allocating any. It is a good idea to use alloca(0) in
26 your main control loop, etc. to force garbage collection.
28 #ifndef lint
29 static char SCCSid[] = "@(#)alloca.c 1.1"; /* for the "what" utility */
30 #endif
32 #include "ruby/config.h"
33 #ifdef emacs
34 #ifdef static
35 /* actually, only want this if static is defined as ""
36 -- this is for usg, in which emacs must undefine static
37 in order to make unexec workable
39 #ifndef STACK_DIRECTION
40 you
41 lose
42 -- must know STACK_DIRECTION at compile-time
43 #endif /* STACK_DIRECTION undefined */
44 #endif /* static */
45 #endif /* emacs */
47 #ifdef X3J11
48 typedef void *pointer; /* generic pointer type */
49 #else
50 typedef char *pointer; /* generic pointer type */
51 #endif /* X3J11 */
53 #define NULL 0 /* null pointer constant */
55 #ifdef RUBY_LIB
56 #define xmalloc ruby_xmalloc
57 #define xfree ruby_xfree
58 #endif
60 extern void xfree();
61 extern pointer xmalloc();
64 Define STACK_DIRECTION if you know the direction of stack
65 growth for your system; otherwise it will be automatically
66 deduced at run-time.
68 STACK_DIRECTION > 0 => grows toward higher addresses
69 STACK_DIRECTION < 0 => grows toward lower addresses
70 STACK_DIRECTION = 0 => direction of growth unknown
73 #ifndef STACK_DIRECTION
74 #define STACK_DIRECTION 0 /* direction unknown */
75 #endif
77 #if STACK_DIRECTION != 0
79 #define STACK_DIR STACK_DIRECTION /* known at compile-time */
81 #else /* STACK_DIRECTION == 0; need run-time code */
83 static int stack_dir; /* 1 or -1 once known */
84 #define STACK_DIR stack_dir
86 static void
87 find_stack_direction (/* void */)
89 static char *addr = NULL; /* address of first
90 `dummy', once known */
91 auto char dummy; /* to get stack address */
93 if (addr == NULL)
94 { /* initial entry */
95 addr = &dummy;
97 find_stack_direction (); /* recurse once */
99 else /* second entry */
100 if (&dummy > addr)
101 stack_dir = 1; /* stack grew upward */
102 else
103 stack_dir = -1; /* stack grew downward */
106 #endif /* STACK_DIRECTION == 0 */
109 An "alloca header" is used to:
110 (a) chain together all alloca()ed blocks;
111 (b) keep track of stack depth.
113 It is very important that sizeof(header) agree with malloc()
114 alignment chunk size. The following default should work okay.
117 #ifndef ALIGN_SIZE
118 #define ALIGN_SIZE sizeof(double)
119 #endif
121 typedef union hdr
123 char align[ALIGN_SIZE]; /* to force sizeof(header) */
124 struct
126 union hdr *next; /* for chaining headers */
127 char *deep; /* for stack depth measure */
128 } h;
129 } header;
132 alloca( size ) returns a pointer to at least `size' bytes of
133 storage which will be automatically reclaimed upon exit from
134 the procedure that called alloca(). Originally, this space
135 was supposed to be taken from the current stack frame of the
136 caller, but that method cannot be made to work for some
137 implementations of C, for example under Gould's UTX/32.
140 static header *last_alloca_header = NULL; /* -> last alloca header */
142 pointer
143 alloca (size) /* returns pointer to storage */
144 unsigned size; /* # bytes to allocate */
146 auto char probe; /* probes stack depth: */
147 register char *depth = &probe;
149 #if STACK_DIRECTION == 0
150 if (STACK_DIR == 0) /* unknown growth direction */
151 find_stack_direction ();
152 #endif
154 /* Reclaim garbage, defined as all alloca()ed storage that
155 was allocated from deeper in the stack than currently. */
157 register header *hp; /* traverses linked list */
159 for (hp = last_alloca_header; hp != NULL;)
160 if (STACK_DIR > 0 && hp->h.deep > depth
161 || STACK_DIR < 0 && hp->h.deep < depth)
163 register header *np = hp->h.next;
165 xfree ((pointer) hp); /* collect garbage */
167 hp = np; /* -> next header */
169 else
170 break; /* rest are not deeper */
172 last_alloca_header = hp; /* -> last valid storage */
175 if (size == 0)
176 return NULL; /* no allocation required */
178 /* Allocate combined header + user data storage. */
181 register pointer new = xmalloc (sizeof (header) + size);
182 /* address of header */
184 ((header *)new)->h.next = last_alloca_header;
185 ((header *)new)->h.deep = depth;
187 last_alloca_header = (header *)new;
189 /* User storage begins just after header. */
191 return (pointer)((char *)new + sizeof(header));