Home | History | Annotate | Line # | Download | only in import
alloca.c revision 1.1
      1 /* alloca.c -- allocate automatically reclaimed memory
      2    (Mostly) portable public-domain implementation -- D A Gwyn
      3 
      4    This implementation of the PWB library alloca function,
      5    which is used to allocate space off the run-time stack so
      6    that it is automatically reclaimed upon procedure exit,
      7    was inspired by discussions with J. Q. Johnson of Cornell.
      8    J.Otto Tennant <jot (at) cray.com> contributed the Cray support.
      9 
     10    There are some preprocessor constants that can
     11    be defined when compiling for your specific system, for
     12    improved efficiency; however, the defaults should be okay.
     13 
     14    The general concept of this implementation is to keep
     15    track of all alloca-allocated blocks, and reclaim any
     16    that are found to be deeper in the stack than the current
     17    invocation.  This heuristic does not reclaim storage as
     18    soon as it becomes invalid, but it will do so eventually.
     19 
     20    As a special case, alloca(0) reclaims storage without
     21    allocating any.  It is a good idea to use alloca(0) in
     22    your main control loop, etc. to force garbage collection.  */
     23 
     24 #include <config.h>
     25 
     26 #include <alloca.h>
     27 
     28 #include <string.h>
     29 #include <stdlib.h>
     30 
     31 #ifdef emacs
     32 # include "lisp.h"
     33 # include "blockinput.h"
     34 # ifdef EMACS_FREE
     35 #  undef free
     36 #  define free EMACS_FREE
     37 # endif
     38 #else
     39 # define memory_full() abort ()
     40 #endif
     41 
     42 /* If compiling with GCC 2, this file's not needed.  */
     43 #if !defined (__GNUC__) || __GNUC__ < 2
     44 
     45 /* If someone has defined alloca as a macro,
     46    there must be some other way alloca is supposed to work.  */
     47 # ifndef alloca
     48 
     49 #  ifdef emacs
     50 #   ifdef static
     51 /* actually, only want this if static is defined as ""
     52    -- this is for usg, in which emacs must undefine static
     53    in order to make unexec workable
     54    */
     55 #    ifndef STACK_DIRECTION
     56 you
     57 lose
     58 -- must know STACK_DIRECTION at compile-time
     59 /* Using #error here is not wise since this file should work for
     60    old and obscure compilers.  */
     61 #    endif /* STACK_DIRECTION undefined */
     62 #   endif /* static */
     63 #  endif /* emacs */
     64 
     65 /* If your stack is a linked list of frames, you have to
     66    provide an "address metric" ADDRESS_FUNCTION macro.  */
     67 
     68 #  if defined (CRAY) && defined (CRAY_STACKSEG_END)
     69 long i00afunc ();
     70 #   define ADDRESS_FUNCTION(arg) (char *) i00afunc (&(arg))
     71 #  else
     72 #   define ADDRESS_FUNCTION(arg) &(arg)
     73 #  endif
     74 
     75 /* Define STACK_DIRECTION if you know the direction of stack
     76    growth for your system; otherwise it will be automatically
     77    deduced at run-time.
     78 
     79    STACK_DIRECTION > 0 => grows toward higher addresses
     80    STACK_DIRECTION < 0 => grows toward lower addresses
     81    STACK_DIRECTION = 0 => direction of growth unknown  */
     82 
     83 #  ifndef STACK_DIRECTION
     84 #   define STACK_DIRECTION      0       /* Direction unknown.  */
     85 #  endif
     86 
     87 #  if STACK_DIRECTION != 0
     88 
     89 #   define STACK_DIR    STACK_DIRECTION /* Known at compile-time.  */
     90 
     91 #  else /* STACK_DIRECTION == 0; need run-time code.  */
     92 
     93 static int stack_dir;           /* 1 or -1 once known.  */
     94 #   define STACK_DIR    stack_dir
     95 
     96 static int
     97 find_stack_direction (int *addr, int depth)
     98 {
     99   int dir, dummy = 0;
    100   if (! addr)
    101     addr = &dummy;
    102   *addr = addr < &dummy ? 1 : addr == &dummy ? 0 : -1;
    103   dir = depth ? find_stack_direction (addr, depth - 1) : 0;
    104   return dir + dummy;
    105 }
    106 
    107 #  endif /* STACK_DIRECTION == 0 */
    108 
    109 /* An "alloca header" is used to:
    110    (a) chain together all alloca'ed blocks;
    111    (b) keep track of stack depth.
    112 
    113    It is very important that sizeof(header) agree with malloc
    114    alignment chunk size.  The following default should work okay.  */
    115 
    116 #  ifndef       ALIGN_SIZE
    117 #   define ALIGN_SIZE   sizeof(double)
    118 #  endif
    119 
    120 typedef union hdr
    121 {
    122   char align[ALIGN_SIZE];       /* To force sizeof(header).  */
    123   struct
    124     {
    125       union hdr *next;          /* For chaining headers.  */
    126       char *deep;               /* For stack depth measure.  */
    127     } h;
    128 } header;
    129 
    130 static header *last_alloca_header = NULL;       /* -> last alloca header.  */
    131 
    132 /* Return a pointer to at least SIZE bytes of storage,
    133    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.  */
    138 
    139 void *
    140 alloca (size_t size)
    141 {
    142   auto char probe;              /* Probes stack depth: */
    143   register char *depth = ADDRESS_FUNCTION (probe);
    144 
    145 #  if STACK_DIRECTION == 0
    146   if (STACK_DIR == 0)           /* Unknown growth direction.  */
    147     STACK_DIR = find_stack_direction (NULL, (size & 1) + 20);
    148 #  endif
    149 
    150   /* Reclaim garbage, defined as all alloca'd storage that
    151      was allocated from deeper in the stack than currently.  */
    152 
    153   {
    154     register header *hp;        /* Traverses linked list.  */
    155 
    156 #  ifdef emacs
    157     BLOCK_INPUT;
    158 #  endif
    159 
    160     for (hp = last_alloca_header; hp != NULL;)
    161       if ((STACK_DIR > 0 && hp->h.deep > depth)
    162           || (STACK_DIR < 0 && hp->h.deep < depth))
    163         {
    164           register header *np = hp->h.next;
    165 
    166           free (hp);            /* Collect garbage.  */
    167 
    168           hp = np;              /* -> next header.  */
    169         }
    170       else
    171         break;                  /* Rest are not deeper.  */
    172 
    173     last_alloca_header = hp;    /* -> last valid storage.  */
    174 
    175 #  ifdef emacs
    176     UNBLOCK_INPUT;
    177 #  endif
    178   }
    179 
    180   if (size == 0)
    181     return NULL;                /* No allocation required.  */
    182 
    183   /* Allocate combined header + user data storage.  */
    184 
    185   {
    186     /* Address of header.  */
    187     register header *new;
    188 
    189     size_t combined_size = sizeof (header) + size;
    190     if (combined_size < sizeof (header))
    191       memory_full ();
    192 
    193     new = malloc (combined_size);
    194 
    195     if (! new)
    196       memory_full ();
    197 
    198     new->h.next = last_alloca_header;
    199     new->h.deep = depth;
    200 
    201     last_alloca_header = new;
    202 
    203     /* User storage begins just after header.  */
    204 
    205     return (void *) (new + 1);
    206   }
    207 }
    208 
    209 #  if defined (CRAY) && defined (CRAY_STACKSEG_END)
    210 
    211 #   ifdef DEBUG_I00AFUNC
    212 #    include <stdio.h>
    213 #   endif
    214 
    215 #   ifndef CRAY_STACK
    216 #    define CRAY_STACK
    217 #    ifndef CRAY2
    218 /* Stack structures for CRAY-1, CRAY X-MP, and CRAY Y-MP */
    219 struct stack_control_header
    220   {
    221     long shgrow:32;             /* Number of times stack has grown.  */
    222     long shaseg:32;             /* Size of increments to stack.  */
    223     long shhwm:32;              /* High water mark of stack.  */
    224     long shsize:32;             /* Current size of stack (all segments).  */
    225   };
    226 
    227 /* The stack segment linkage control information occurs at
    228    the high-address end of a stack segment.  (The stack
    229    grows from low addresses to high addresses.)  The initial
    230    part of the stack segment linkage control information is
    231    0200 (octal) words.  This provides for register storage
    232    for the routine which overflows the stack.  */
    233 
    234 struct stack_segment_linkage
    235   {
    236     long ss[0200];              /* 0200 overflow words.  */
    237     long sssize:32;             /* Number of words in this segment.  */
    238     long ssbase:32;             /* Offset to stack base.  */
    239     long:32;
    240     long sspseg:32;             /* Offset to linkage control of previous
    241                                    segment of stack.  */
    242     long:32;
    243     long sstcpt:32;             /* Pointer to task common address block.  */
    244     long sscsnm;                /* Private control structure number for
    245                                    microtasking.  */
    246     long ssusr1;                /* Reserved for user.  */
    247     long ssusr2;                /* Reserved for user.  */
    248     long sstpid;                /* Process ID for pid based multi-tasking.  */
    249     long ssgvup;                /* Pointer to multitasking thread giveup.  */
    250     long sscray[7];             /* Reserved for Cray Research.  */
    251     long ssa0;
    252     long ssa1;
    253     long ssa2;
    254     long ssa3;
    255     long ssa4;
    256     long ssa5;
    257     long ssa6;
    258     long ssa7;
    259     long sss0;
    260     long sss1;
    261     long sss2;
    262     long sss3;
    263     long sss4;
    264     long sss5;
    265     long sss6;
    266     long sss7;
    267   };
    268 
    269 #    else /* CRAY2 */
    270 /* The following structure defines the vector of words
    271    returned by the STKSTAT library routine.  */
    272 struct stk_stat
    273   {
    274     long now;                   /* Current total stack size.  */
    275     long maxc;                  /* Amount of contiguous space which would
    276                                    be required to satisfy the maximum
    277                                    stack demand to date.  */
    278     long high_water;            /* Stack high-water mark.  */
    279     long overflows;             /* Number of stack overflow ($STKOFEN) calls.  */
    280     long hits;                  /* Number of internal buffer hits.  */
    281     long extends;               /* Number of block extensions.  */
    282     long stko_mallocs;          /* Block allocations by $STKOFEN.  */
    283     long underflows;            /* Number of stack underflow calls ($STKRETN).  */
    284     long stko_free;             /* Number of deallocations by $STKRETN.  */
    285     long stkm_free;             /* Number of deallocations by $STKMRET.  */
    286     long segments;              /* Current number of stack segments.  */
    287     long maxs;                  /* Maximum number of stack segments so far.  */
    288     long pad_size;              /* Stack pad size.  */
    289     long current_address;       /* Current stack segment address.  */
    290     long current_size;          /* Current stack segment size.  This
    291                                    number is actually corrupted by STKSTAT to
    292                                    include the fifteen word trailer area.  */
    293     long initial_address;       /* Address of initial segment.  */
    294     long initial_size;          /* Size of initial segment.  */
    295   };
    296 
    297 /* The following structure describes the data structure which trails
    298    any stack segment.  I think that the description in 'asdef' is
    299    out of date.  I only describe the parts that I am sure about.  */
    300 
    301 struct stk_trailer
    302   {
    303     long this_address;          /* Address of this block.  */
    304     long this_size;             /* Size of this block (does not include
    305                                    this trailer).  */
    306     long unknown2;
    307     long unknown3;
    308     long link;                  /* Address of trailer block of previous
    309                                    segment.  */
    310     long unknown5;
    311     long unknown6;
    312     long unknown7;
    313     long unknown8;
    314     long unknown9;
    315     long unknown10;
    316     long unknown11;
    317     long unknown12;
    318     long unknown13;
    319     long unknown14;
    320   };
    321 
    322 #    endif /* CRAY2 */
    323 #   endif /* not CRAY_STACK */
    324 
    325 #   ifdef CRAY2
    326 /* Determine a "stack measure" for an arbitrary ADDRESS.
    327    I doubt that "lint" will like this much.  */
    328 
    329 static long
    330 i00afunc (long *address)
    331 {
    332   struct stk_stat status;
    333   struct stk_trailer *trailer;
    334   long *block, size;
    335   long result = 0;
    336 
    337   /* We want to iterate through all of the segments.  The first
    338      step is to get the stack status structure.  We could do this
    339      more quickly and more directly, perhaps, by referencing the
    340      $LM00 common block, but I know that this works.  */
    341 
    342   STKSTAT (&status);
    343 
    344   /* Set up the iteration.  */
    345 
    346   trailer = (struct stk_trailer *) (status.current_address
    347                                     + status.current_size
    348                                     - 15);
    349 
    350   /* There must be at least one stack segment.  Therefore it is
    351      a fatal error if "trailer" is null.  */
    352 
    353   if (trailer == NULL)
    354     abort ();
    355 
    356   /* Discard segments that do not contain our argument address.  */
    357 
    358   while (trailer != NULL)
    359     {
    360       block = (long *) trailer->this_address;
    361       size = trailer->this_size;
    362       if (block == NULL || size == 0)
    363         abort ();
    364       trailer = (struct stk_trailer *) trailer->link;
    365       if ((block <= address) && (address < (block + size)))
    366         break;
    367     }
    368 
    369   /* Set the result to the offset in this segment and add the sizes
    370      of all predecessor segments.  */
    371 
    372   result = address - block;
    373 
    374   if (trailer == NULL)
    375     {
    376       return result;
    377     }
    378 
    379   do
    380     {
    381       if (trailer->this_size <= 0)
    382         abort ();
    383       result += trailer->this_size;
    384       trailer = (struct stk_trailer *) trailer->link;
    385     }
    386   while (trailer != NULL);
    387 
    388   /* We are done.  Note that if you present a bogus address (one
    389      not in any segment), you will get a different number back, formed
    390      from subtracting the address of the first block.  This is probably
    391      not what you want.  */
    392 
    393   return (result);
    394 }
    395 
    396 #   else /* not CRAY2 */
    397 /* Stack address function for a CRAY-1, CRAY X-MP, or CRAY Y-MP.
    398    Determine the number of the cell within the stack,
    399    given the address of the cell.  The purpose of this
    400    routine is to linearize, in some sense, stack addresses
    401    for alloca.  */
    402 
    403 static long
    404 i00afunc (long address)
    405 {
    406   long stkl = 0;
    407 
    408   long size, pseg, this_segment, stack;
    409   long result = 0;
    410 
    411   struct stack_segment_linkage *ssptr;
    412 
    413   /* Register B67 contains the address of the end of the
    414      current stack segment.  If you (as a subprogram) store
    415      your registers on the stack and find that you are past
    416      the contents of B67, you have overflowed the segment.
    417 
    418      B67 also points to the stack segment linkage control
    419      area, which is what we are really interested in.  */
    420 
    421   stkl = CRAY_STACKSEG_END ();
    422   ssptr = (struct stack_segment_linkage *) stkl;
    423 
    424   /* If one subtracts 'size' from the end of the segment,
    425      one has the address of the first word of the segment.
    426 
    427      If this is not the first segment, 'pseg' will be
    428      nonzero.  */
    429 
    430   pseg = ssptr->sspseg;
    431   size = ssptr->sssize;
    432 
    433   this_segment = stkl - size;
    434 
    435   /* It is possible that calling this routine itself caused
    436      a stack overflow.  Discard stack segments which do not
    437      contain the target address.  */
    438 
    439   while (!(this_segment <= address && address <= stkl))
    440     {
    441 #    ifdef DEBUG_I00AFUNC
    442       fprintf (stderr, "%011o %011o %011o\n", this_segment, address, stkl);
    443 #    endif
    444       if (pseg == 0)
    445         break;
    446       stkl = stkl - pseg;
    447       ssptr = (struct stack_segment_linkage *) stkl;
    448       size = ssptr->sssize;
    449       pseg = ssptr->sspseg;
    450       this_segment = stkl - size;
    451     }
    452 
    453   result = address - this_segment;
    454 
    455   /* If you subtract pseg from the current end of the stack,
    456      you get the address of the previous stack segment's end.
    457      This seems a little convoluted to me, but I'll bet you save
    458      a cycle somewhere.  */
    459 
    460   while (pseg != 0)
    461     {
    462 #    ifdef DEBUG_I00AFUNC
    463       fprintf (stderr, "%011o %011o\n", pseg, size);
    464 #    endif
    465       stkl = stkl - pseg;
    466       ssptr = (struct stack_segment_linkage *) stkl;
    467       size = ssptr->sssize;
    468       pseg = ssptr->sspseg;
    469       result += size;
    470     }
    471   return (result);
    472 }
    473 
    474 #   endif /* not CRAY2 */
    475 #  endif /* CRAY */
    476 
    477 # endif /* no alloca */
    478 #endif /* not GCC 2 */
    479