(rmail-edit-current-message, rmail-cease-edit):
[bpt/emacs.git] / src / alloc.c
index d33615a..0030de4 100644 (file)
@@ -1,5 +1,6 @@
 /* Storage allocation and gc for GNU Emacs Lisp interpreter.
-   Copyright (C) 1985, 86, 88, 93, 94, 95 Free Software Foundation, Inc.
+   Copyright (C) 1985, 86, 88, 93, 94, 95, 97, 1998
+      Free Software Foundation, Inc.
 
 This file is part of GNU Emacs.
 
@@ -15,8 +16,10 @@ GNU General Public License for more details.
 
 You should have received a copy of the GNU General Public License
 along with GNU Emacs; see the file COPYING.  If not, write to
-the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
+the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
+Boston, MA 02111-1307, USA.  */
 
+/* Note that this declares bzero on OSF/1.  How dumb.  */
 #include <signal.h>
 
 #include <config.h>
@@ -28,10 +31,18 @@ the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
 #include "window.h"
 #include "frame.h"
 #include "blockinput.h"
+#include "keyboard.h"
+#include "charset.h"
 #endif
 
 #include "syssignal.h"
 
+extern char *sbrk ();
+
+#ifdef DOUG_LEA_MALLOC
+#include <malloc.h>
+#define __malloc_size_t int
+#else
 /* The following come from gmalloc.c.  */
 
 #if defined (__STDC__) && __STDC__
@@ -42,8 +53,10 @@ the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
 #endif
 extern __malloc_size_t _bytes_used;
 extern int __malloc_extra_blocks;
+#endif /* !defined(DOUG_LEA_MALLOC) */
 
 #define max(A,B) ((A) > (B) ? (A) : (B))
+#define min(A,B) ((A) < (B) ? (A) : (B))
 
 /* Macro to verify that storage intended for Lisp objects is not
    out of range to fit in the space for a pointer.
@@ -67,12 +80,24 @@ static __malloc_size_t bytes_used_when_full;
 /* Number of bytes of consing done since the last gc */
 int consing_since_gc;
 
+/* Count the amount of consing of various sorts of space.  */
+int cons_cells_consed;
+int floats_consed;
+int vector_cells_consed;
+int symbols_consed;
+int string_chars_consed;
+int misc_objects_consed;
+int intervals_consed;
+
 /* Number of bytes of consing since gc before another gc should be done. */
 int gc_cons_threshold;
 
 /* Nonzero during gc */
 int gc_in_progress;
 
+/* Nonzero means display messages at beginning and end of GC.  */
+int garbage_collection_messages;
+
 #ifndef VIRT_ADDR_VARIES
 extern
 #endif /* VIRT_ADDR_VARIES */
@@ -87,6 +112,12 @@ extern
 int undo_limit;
 int undo_strong_limit;
 
+int total_conses, total_markers, total_symbols, total_string_size, total_vector_size;
+int total_free_conses, total_free_markers, total_free_symbols;
+#ifdef LISP_FLOAT_TYPE
+int total_free_floats, total_floats;
+#endif /* LISP_FLOAT_TYPE */
+
 /* Points to memory space allocated as "spare",
    to be freed if we run out of memory.  */
 static char *spare_memory;
@@ -97,6 +128,9 @@ static char *spare_memory;
 /* Number of extra blocks malloc should get when it needs more core.  */
 static int malloc_hysteresis;
 
+/* Nonzero when malloc is called for allocating Lisp object space.  */
+int allocating_for_lisp;
+
 /* Non-nil means defun should do purecopy on the function definition */
 Lisp_Object Vpurify_flag;
 
@@ -134,7 +168,7 @@ Lisp_Object memory_signal_data;
 /* Define DONT_COPY_FLAG to be some bit which will always be zero in a
    pointer to a Lisp_Object, when that pointer is viewed as an integer.
    (On most machines, pointers are even, so we can use the low bit.
-   Word-addressible architectures may need to override this in the m-file.)
+   Word-addressable architectures may need to override this in the m-file.)
    When linking references to small strings through the size field, we
    use this slot to hold the bit that would otherwise be interpreted as
    the GC mark bit.  */
@@ -142,10 +176,6 @@ Lisp_Object memory_signal_data;
 #define DONT_COPY_FLAG 1
 #endif /* no DONT_COPY_FLAG  */
 
-#if DONT_COPY_FLAG == MARKBIT
-you lose
-#endif
-
 /* Buffer in which we save a copy of the C stack at each GC.  */
 
 char *stack_copy;
@@ -154,9 +184,13 @@ int stack_copy_size;
 /* Non-zero means ignore malloc warnings.  Set during initialization.  */
 int ignore_warnings;
 
+Lisp_Object Qgc_cons_threshold, Qchar_table_extra_slots;
+
 static void mark_object (), mark_buffer (), mark_kboards ();
 static void clear_marks (), gc_sweep ();
 static void compact_strings ();
+
+extern int message_enable_multibyte;
 \f
 /* Versions of malloc and realloc that print warnings as memory gets full.  */
 
@@ -172,12 +206,15 @@ malloc_warning_1 (str)
 }
 
 /* malloc calls this if it finds we are near exhausting storage */
+
+void
 malloc_warning (str)
      char *str;
 {
   pending_malloc_warning = str;
 }
 
+void
 display_malloc_warning ()
 {
   register Lisp_Object val;
@@ -187,12 +224,19 @@ display_malloc_warning ()
   internal_with_output_to_temp_buffer (" *Danger*", malloc_warning_1, val);
 }
 
+#ifdef DOUG_LEA_MALLOC
+#  define BYTES_USED (mallinfo ().arena)
+#else
+#  define BYTES_USED _bytes_used
+#endif
+
 /* Called if malloc returns zero */
 
+void
 memory_full ()
 {
 #ifndef SYSTEM_MALLOC
-  bytes_used_when_full = _bytes_used;
+  bytes_used_when_full = BYTES_USED;
 #endif
 
   /* The first time we get here, free the spare memory.  */
@@ -205,7 +249,7 @@ memory_full ()
   /* This used to call error, but if we've run out of memory, we could get
      infinite recursion trying to build the string.  */
   while (1)
-    Fsignal (Qerror, memory_signal_data);
+    Fsignal (Qnil, memory_signal_data);
 }
 
 /* Called if we can't allocate relocatable space for a buffer.  */
@@ -312,7 +356,7 @@ emacs_blocked_free (ptr)
         The code here is correct as long as SPARE_MEMORY
         is substantially larger than the block size malloc uses.  */
       && (bytes_used_when_full
-         > _bytes_used + max (malloc_hysteresis, 4) * SPARE_MEMORY))
+         > BYTES_USED + max (malloc_hysteresis, 4) * SPARE_MEMORY))
     spare_memory = (char *) malloc (SPARE_MEMORY);
 
   __free_hook = emacs_blocked_free;
@@ -342,7 +386,11 @@ emacs_blocked_malloc (size)
 
   BLOCK_INPUT;
   __malloc_hook = old_malloc_hook;
-  __malloc_extra_blocks = malloc_hysteresis;
+#ifdef DOUG_LEA_MALLOC
+    mallopt (M_TOP_PAD, malloc_hysteresis * 4096);
+#else
+    __malloc_extra_blocks = malloc_hysteresis;
+#endif
   value = (void *) malloc (size);
   __malloc_hook = emacs_blocked_malloc;
   UNBLOCK_INPUT;
@@ -400,10 +448,12 @@ INTERVAL interval_free_list;
 static void
 init_intervals ()
 {
+  allocating_for_lisp = 1;
   interval_block
     = (struct interval_block *) malloc (sizeof (struct interval_block));
+  allocating_for_lisp = 0;
   interval_block->next = 0;
-  bzero (interval_block->intervals, sizeof interval_block->intervals);
+  bzero ((char *) interval_block->intervals, sizeof interval_block->intervals);
   interval_block_index = 0;
   interval_free_list = 0;
 }
@@ -424,9 +474,12 @@ make_interval ()
     {
       if (interval_block_index == INTERVAL_BLOCK_SIZE)
        {
-         register struct interval_block *newi
-           = (struct interval_block *) xmalloc (sizeof (struct interval_block));
+         register struct interval_block *newi;
+
+         allocating_for_lisp = 1;
+         newi = (struct interval_block *) xmalloc (sizeof (struct interval_block));
 
+         allocating_for_lisp = 0;
          VALIDATE_LISP_STORAGE (newi, sizeof *newi);
          newi->next = interval_block;
          interval_block = newi;
@@ -435,6 +488,7 @@ make_interval ()
       val = &interval_block->intervals[interval_block_index++];
     }
   consing_since_gc += sizeof (struct interval);
+  intervals_consed++;
   RESET_INTERVAL (val);
   return val;
 }
@@ -472,7 +526,7 @@ mark_interval_tree (tree)
 #define MARK_INTERVAL_TREE(i)                          \
   do {                                                 \
     if (!NULL_INTERVAL_P (i)                           \
-       && ! XMARKBIT ((Lisp_Object) i->parent))        \
+       && ! XMARKBIT (*(Lisp_Object *) &i->parent))    \
       mark_interval_tree (i);                          \
   } while (0)
 
@@ -527,18 +581,21 @@ struct Lisp_Float *float_free_list;
 void
 init_float ()
 {
+  allocating_for_lisp = 1;
   float_block = (struct float_block *) malloc (sizeof (struct float_block));
+  allocating_for_lisp = 0;
   float_block->next = 0;
-  bzero (float_block->floats, sizeof float_block->floats);
+  bzero ((char *) float_block->floats, sizeof float_block->floats);
   float_block_index = 0;
   float_free_list = 0;
 }
 
 /* Explicitly free a float cell.  */
+void
 free_float (ptr)
      struct Lisp_Float *ptr;
 {
-  *(struct Lisp_Float **)&ptr->type = float_free_list;
+  *(struct Lisp_Float **)&ptr->data = float_free_list;
   float_free_list = ptr;
 }
 
@@ -550,14 +607,20 @@ make_float (float_value)
 
   if (float_free_list)
     {
+      /* We use the data field for chaining the free list
+        so that we won't use the same field that has the mark bit.  */
       XSETFLOAT (val, float_free_list);
-      float_free_list = *(struct Lisp_Float **)&float_free_list->type;
+      float_free_list = *(struct Lisp_Float **)&float_free_list->data;
     }
   else
     {
       if (float_block_index == FLOAT_BLOCK_SIZE)
        {
-         register struct float_block *new = (struct float_block *) xmalloc (sizeof (struct float_block));
+         register struct float_block *new;
+
+         allocating_for_lisp = 1;
+         new = (struct float_block *) xmalloc (sizeof (struct float_block));
+         allocating_for_lisp = 0;
          VALIDATE_LISP_STORAGE (new, sizeof *new);
          new->next = float_block;
          float_block = new;
@@ -568,6 +631,7 @@ make_float (float_value)
   XFLOAT (val)->data = float_value;
   XSETFASTINT (XFLOAT (val)->type, 0); /* bug chasing -wsr */
   consing_since_gc += sizeof (struct Lisp_Float);
+  floats_consed++;
   return val;
 }
 
@@ -600,18 +664,22 @@ struct Lisp_Cons *cons_free_list;
 void
 init_cons ()
 {
+  allocating_for_lisp = 1;
   cons_block = (struct cons_block *) malloc (sizeof (struct cons_block));
+  allocating_for_lisp = 0;
   cons_block->next = 0;
-  bzero (cons_block->conses, sizeof cons_block->conses);
+  bzero ((char *) cons_block->conses, sizeof cons_block->conses);
   cons_block_index = 0;
   cons_free_list = 0;
 }
 
 /* Explicitly free a cons cell.  */
+
+void
 free_cons (ptr)
      struct Lisp_Cons *ptr;
 {
-  *(struct Lisp_Cons **)&ptr->car = cons_free_list;
+  *(struct Lisp_Cons **)&ptr->cdr = cons_free_list;
   cons_free_list = ptr;
 }
 
@@ -624,14 +692,19 @@ DEFUN ("cons", Fcons, Scons, 2, 2, 0,
 
   if (cons_free_list)
     {
+      /* We use the cdr for chaining the free list
+        so that we won't use the same field that has the mark bit.  */
       XSETCONS (val, cons_free_list);
-      cons_free_list = *(struct Lisp_Cons **)&cons_free_list->car;
+      cons_free_list = *(struct Lisp_Cons **)&cons_free_list->cdr;
     }
   else
     {
       if (cons_block_index == CONS_BLOCK_SIZE)
        {
-         register struct cons_block *new = (struct cons_block *) xmalloc (sizeof (struct cons_block));
+         register struct cons_block *new;
+         allocating_for_lisp = 1;
+         new = (struct cons_block *) xmalloc (sizeof (struct cons_block));
+         allocating_for_lisp = 0;
          VALIDATE_LISP_STORAGE (new, sizeof *new);
          new->next = cons_block;
          cons_block = new;
@@ -642,8 +715,40 @@ DEFUN ("cons", Fcons, Scons, 2, 2, 0,
   XCONS (val)->car = car;
   XCONS (val)->cdr = cdr;
   consing_since_gc += sizeof (struct Lisp_Cons);
+  cons_cells_consed++;
   return val;
 }
+\f
+/* Make a list of 2, 3, 4 or 5 specified objects.  */
+
+Lisp_Object
+list2 (arg1, arg2)
+     Lisp_Object arg1, arg2;
+{
+  return Fcons (arg1, Fcons (arg2, Qnil));
+}
+
+Lisp_Object
+list3 (arg1, arg2, arg3)
+     Lisp_Object arg1, arg2, arg3;
+{
+  return Fcons (arg1, Fcons (arg2, Fcons (arg3, Qnil)));
+}
+
+Lisp_Object
+list4 (arg1, arg2, arg3, arg4)
+     Lisp_Object arg1, arg2, arg3, arg4;
+{
+  return Fcons (arg1, Fcons (arg2, Fcons (arg3, Fcons (arg4, Qnil))));
+}
+
+Lisp_Object
+list5 (arg1, arg2, arg3, arg4, arg5)
+     Lisp_Object arg1, arg2, arg3, arg4, arg5;
+{
+  return Fcons (arg1, Fcons (arg2, Fcons (arg3, Fcons (arg4,
+                                                      Fcons (arg5, Qnil)))));
+}
 
 DEFUN ("list", Flist, Slist, 0, MANY, 0,
   "Return a newly created list with specified arguments as elements.\n\
@@ -652,15 +757,13 @@ Any number of arguments, even zero arguments, are allowed.")
      int nargs;
      register Lisp_Object *args;
 {
-  register Lisp_Object len, val, val_tail;
+  register Lisp_Object val;
+  val = Qnil;
 
-  XSETFASTINT (len, nargs);
-  val = Fmake_list (len, Qnil);
-  val_tail = val;
-  while (!NILP (val_tail))
+  while (nargs > 0)
     {
-      XCONS (val_tail)->car = *args++;
-      val_tail = XCONS (val_tail)->cdr;
+      nargs--;
+      val = Fcons (args[nargs], val);
     }
   return val;
 }
@@ -692,11 +795,22 @@ allocate_vectorlike (len)
 {
   struct Lisp_Vector *p;
 
+  allocating_for_lisp = 1;
+#ifdef DOUG_LEA_MALLOC
+  /* Prevent mmap'ing the chunk (which is potentially very large). */
+  mallopt (M_MMAP_MAX, 0);
+#endif
   p = (struct Lisp_Vector *)xmalloc (sizeof (struct Lisp_Vector)
                                     + (len - 1) * sizeof (Lisp_Object));
+#ifdef DOUG_LEA_MALLOC
+  /* Back to a reasonable maximum of mmap'ed areas. */
+  mallopt (M_MMAP_MAX, 64);
+#endif
+  allocating_for_lisp = 0;
   VALIDATE_LISP_STORAGE (p, 0);
   consing_since_gc += (sizeof (struct Lisp_Vector)
                       + (len - 1) * sizeof (Lisp_Object));
+  vector_cells_consed += len;
 
   p->next = all_vectors;
   all_vectors = p;
@@ -726,6 +840,47 @@ See also the function `vector'.")
   return vector;
 }
 
+DEFUN ("make-char-table", Fmake_char_table, Smake_char_table, 1, 2, 0,
+  "Return a newly created char-table, with purpose PURPOSE.\n\
+Each element is initialized to INIT, which defaults to nil.\n\
+PURPOSE should be a symbol which has a `char-table-extra-slots' property.\n\
+The property's value should be an integer between 0 and 10.")
+  (purpose, init)
+     register Lisp_Object purpose, init;
+{
+  Lisp_Object vector;
+  Lisp_Object n;
+  CHECK_SYMBOL (purpose, 1);
+  n = Fget (purpose, Qchar_table_extra_slots);
+  CHECK_NUMBER (n, 0);
+  if (XINT (n) < 0 || XINT (n) > 10)
+    args_out_of_range (n, Qnil);
+  /* Add 2 to the size for the defalt and parent slots.  */
+  vector = Fmake_vector (make_number (CHAR_TABLE_STANDARD_SLOTS + XINT (n)),
+                        init);
+  XCHAR_TABLE (vector)->top = Qt;
+  XCHAR_TABLE (vector)->parent = Qnil;
+  XCHAR_TABLE (vector)->purpose = purpose;
+  XSETCHAR_TABLE (vector, XCHAR_TABLE (vector));
+  return vector;
+}
+
+/* Return a newly created sub char table with default value DEFALT.
+   Since a sub char table does not appear as a top level Emacs Lisp
+   object, we don't need a Lisp interface to make it.  */
+
+Lisp_Object
+make_sub_char_table (defalt)
+     Lisp_Object defalt;
+{
+  Lisp_Object vector
+    = Fmake_vector (make_number (SUB_CHAR_TABLE_STANDARD_SLOTS), Qnil);
+  XCHAR_TABLE (vector)->top = Qnil;
+  XCHAR_TABLE (vector)->defalt = defalt;
+  XSETCHAR_TABLE (vector, XCHAR_TABLE (vector));
+  return vector;
+}
+
 DEFUN ("vector", Fvector, Svector, 0, MANY, 0,
   "Return a newly created vector with specified arguments as elements.\n\
 Any number of arguments, even zero arguments, are allowed.")
@@ -761,7 +916,7 @@ significance.")
 
   XSETFASTINT (len, nargs);
   if (!NILP (Vpurify_flag))
-    val = make_pure_vector (len);
+    val = make_pure_vector ((EMACS_INT) nargs);
   else
     val = Fmake_vector (len, Qnil);
   p = XVECTOR (val);
@@ -771,7 +926,7 @@ significance.")
        args[index] = Fpurecopy (args[index]);
       p->contents[index] = args[index];
     }
-  XSETCOMPILED (val, val);
+  XSETCOMPILED (val, p);
   return val;
 }
 \f
@@ -799,9 +954,11 @@ struct Lisp_Symbol *symbol_free_list;
 void
 init_symbol ()
 {
+  allocating_for_lisp = 1;
   symbol_block = (struct symbol_block *) malloc (sizeof (struct symbol_block));
+  allocating_for_lisp = 0;
   symbol_block->next = 0;
-  bzero (symbol_block->symbols, sizeof symbol_block->symbols);
+  bzero ((char *) symbol_block->symbols, sizeof symbol_block->symbols);
   symbol_block_index = 0;
   symbol_free_list = 0;
 }
@@ -809,13 +966,13 @@ init_symbol ()
 DEFUN ("make-symbol", Fmake_symbol, Smake_symbol, 1, 1, 0,
   "Return a newly allocated uninterned symbol whose name is NAME.\n\
 Its value and function definition are void, and its property list is nil.")
-  (str)
-     Lisp_Object str;
+  (name)
+     Lisp_Object name;
 {
   register Lisp_Object val;
   register struct Lisp_Symbol *p;
 
-  CHECK_STRING (str, 0);
+  CHECK_STRING (name, 0);
 
   if (symbol_free_list)
     {
@@ -826,7 +983,10 @@ Its value and function definition are void, and its property list is nil.")
     {
       if (symbol_block_index == SYMBOL_BLOCK_SIZE)
        {
-         struct symbol_block *new = (struct symbol_block *) xmalloc (sizeof (struct symbol_block));
+         struct symbol_block *new;
+         allocating_for_lisp = 1;
+         new = (struct symbol_block *) xmalloc (sizeof (struct symbol_block));
+         allocating_for_lisp = 0;
          VALIDATE_LISP_STORAGE (new, sizeof *new);
          new->next = symbol_block;
          symbol_block = new;
@@ -835,12 +995,14 @@ Its value and function definition are void, and its property list is nil.")
       XSETSYMBOL (val, &symbol_block->symbols[symbol_block_index++]);
     }
   p = XSYMBOL (val);
-  p->name = XSTRING (str);
+  p->name = XSTRING (name);
+  p->obarray = Qnil;
   p->plist = Qnil;
   p->value = Qunbound;
   p->function = Qunbound;
   p->next = 0;
   consing_since_gc += sizeof (struct Lisp_Symbol);
+  symbols_consed++;
   return val;
 }
 \f
@@ -864,9 +1026,11 @@ union Lisp_Misc *marker_free_list;
 void
 init_marker ()
 {
+  allocating_for_lisp = 1;
   marker_block = (struct marker_block *) malloc (sizeof (struct marker_block));
+  allocating_for_lisp = 0;
   marker_block->next = 0;
-  bzero (marker_block->markers, sizeof marker_block->markers);
+  bzero ((char *) marker_block->markers, sizeof marker_block->markers);
   marker_block_index = 0;
   marker_free_list = 0;
 }
@@ -886,8 +1050,10 @@ allocate_misc ()
     {
       if (marker_block_index == MARKER_BLOCK_SIZE)
        {
-         struct marker_block *new
-           = (struct marker_block *) xmalloc (sizeof (struct marker_block));
+         struct marker_block *new;
+         allocating_for_lisp = 1;
+         new = (struct marker_block *) xmalloc (sizeof (struct marker_block));
+         allocating_for_lisp = 0;
          VALIDATE_LISP_STORAGE (new, sizeof *new);
          new->next = marker_block;
          marker_block = new;
@@ -896,6 +1062,7 @@ allocate_misc ()
       XSETMISC (val, &marker_block->markers[marker_block_index++]);
     }
   consing_since_gc += sizeof (union Lisp_Misc);
+  misc_objects_consed++;
   return val;
 }
 
@@ -907,13 +1074,30 @@ DEFUN ("make-marker", Fmake_marker, Smake_marker, 0, 0, 0,
   register struct Lisp_Marker *p;
 
   val = allocate_misc ();
-  XMISC (val)->type = Lisp_Misc_Marker;
+  XMISCTYPE (val) = Lisp_Misc_Marker;
   p = XMARKER (val);
   p->buffer = 0;
-  p->bufpos = 0;
+  p->bytepos = 0;
+  p->charpos = 0;
   p->chain = Qnil;
+  p->insertion_type = 0;
   return val;
 }
+
+/* Put MARKER back on the free list after using it temporarily.  */
+
+void
+free_marker (marker)
+     Lisp_Object marker;
+{
+  unchain_marker (marker);
+
+  XMISC (marker)->u_marker.type = Lisp_Misc_Free;
+  XMISC (marker)->u_free.chain = marker_free_list;
+  marker_free_list = XMISC (marker);
+
+  total_free_markers++;
+}
 \f
 /* Allocation of strings */
 
@@ -942,7 +1126,7 @@ DEFUN ("make-marker", Fmake_marker, Smake_marker, 0, 0, 0,
 struct string_block_head
   {
     struct string_block *next, *prev;
-    int pos;
+    EMACS_INT pos;
   };
 
 struct string_block
@@ -967,9 +1151,14 @@ struct string_block *large_string_blocks;
 /* If SIZE is the length of a string, this returns how many bytes
    the string occupies in a string_block (including padding).  */
 
-#define STRING_FULLSIZE(size) (((size) + sizeof (struct Lisp_String) + PAD) \
-                              & ~(PAD - 1))
-#define PAD (sizeof (EMACS_INT))
+#define STRING_FULLSIZE(size) (((size) + 1 + STRING_BASE_SIZE + STRING_PAD - 1) \
+                              & ~(STRING_PAD - 1))
+     /* Add 1 for the null terminator,
+       and add STRING_PAD - 1 as part of rounding up.  */
+
+#define STRING_PAD (sizeof (EMACS_INT))
+/* Size of the stuff in the string not including its data.  */
+#define STRING_BASE_SIZE (((sizeof (struct Lisp_String) - 1) / STRING_PAD) * STRING_PAD)
 
 #if 0
 #define STRING_FULLSIZE(SIZE)   \
@@ -979,7 +1168,9 @@ struct string_block *large_string_blocks;
 void
 init_strings ()
 {
+  allocating_for_lisp = 1;
   current_string_block = (struct string_block *) malloc (sizeof (struct string_block));
+  allocating_for_lisp = 0;
   first_string_block = current_string_block;
   consing_since_gc += sizeof (struct string_block);
   current_string_block->next = 0;
@@ -987,7 +1178,7 @@ init_strings ()
   current_string_block->pos = 0;
   large_string_blocks = 0;
 }
-
+\f
 DEFUN ("make-string", Fmake_string, Smake_string, 2, 2, 0,
   "Return a newly created string of length LENGTH, with each element being INIT.\n\
 Both LENGTH and INIT must be numbers.")
@@ -995,44 +1186,185 @@ Both LENGTH and INIT must be numbers.")
      Lisp_Object length, init;
 {
   register Lisp_Object val;
-  register unsigned char *p, *end, c;
+  register unsigned char *p, *end;
+  int c, nbytes;
 
   CHECK_NATNUM (length, 0);
   CHECK_NUMBER (init, 1);
-  val = make_uninit_string (XFASTINT (length));
+
   c = XINT (init);
-  p = XSTRING (val)->data;
-  end = p + XSTRING (val)->size;
-  while (p != end)
-    *p++ = c;
+  if (SINGLE_BYTE_CHAR_P (c))
+    {
+      nbytes = XINT (length);
+      val = make_uninit_string (nbytes);
+      p = XSTRING (val)->data;
+      end = p + XSTRING (val)->size;
+      while (p != end)
+       *p++ = c;
+    }
+  else
+    {
+      unsigned char work[4], *str;
+      int len = CHAR_STRING (c, work, str);
+
+      nbytes = len * XINT (length);
+      val = make_uninit_multibyte_string (XINT (length), nbytes);
+      p = XSTRING (val)->data;
+      end = p + nbytes;
+      while (p != end)
+       {
+         bcopy (str, p, len);
+         p += len;
+       }
+    }
   *p = 0;
   return val;
 }
 
+DEFUN ("make-bool-vector", Fmake_bool_vector, Smake_bool_vector, 2, 2, 0,
+  "Return a new bool-vector of length LENGTH, using INIT for as each element.\n\
+LENGTH must be a number.  INIT matters only in whether it is t or nil.")
+  (length, init)
+     Lisp_Object length, init;
+{
+  register Lisp_Object val;
+  struct Lisp_Bool_Vector *p;
+  int real_init, i;
+  int length_in_chars, length_in_elts, bits_per_value;
+
+  CHECK_NATNUM (length, 0);
+
+  bits_per_value = sizeof (EMACS_INT) * BITS_PER_CHAR;
+
+  length_in_elts = (XFASTINT (length) + bits_per_value - 1) / bits_per_value;
+  length_in_chars = ((XFASTINT (length) + BITS_PER_CHAR - 1) / BITS_PER_CHAR);
+
+  /* We must allocate one more elements than LENGTH_IN_ELTS for the
+     slot `size' of the struct Lisp_Bool_Vector.  */
+  val = Fmake_vector (make_number (length_in_elts + 1), Qnil);
+  p = XBOOL_VECTOR (val);
+  /* Get rid of any bits that would cause confusion.  */
+  p->vector_size = 0;
+  XSETBOOL_VECTOR (val, p);
+  p->size = XFASTINT (length);
+  
+  real_init = (NILP (init) ? 0 : -1);
+  for (i = 0; i < length_in_chars ; i++)
+    p->data[i] = real_init;
+  /* Clear the extraneous bits in the last byte.  */
+  if (XINT (length) != length_in_chars * BITS_PER_CHAR)
+    XBOOL_VECTOR (val)->data[length_in_chars - 1]
+      &= (1 << (XINT (length) % BITS_PER_CHAR)) - 1;
+
+  return val;
+}
+\f
+/* Make a string from NBYTES bytes at CONTENTS,
+   and compute the number of characters from the contents.
+   This string may be unibyte or multibyte, depending on the contents.  */
+
+Lisp_Object
+make_string (contents, nbytes)
+     char *contents;
+     int nbytes;
+{
+  register Lisp_Object val;
+  int nchars = chars_in_text (contents, nbytes);
+  val = make_uninit_multibyte_string (nchars, nbytes);
+  bcopy (contents, XSTRING (val)->data, nbytes);
+  if (STRING_BYTES (XSTRING (val)) == XSTRING (val)->size)
+    SET_STRING_BYTES (XSTRING (val), -1);
+  return val;
+}
+
+/* Make a unibyte string from LENGTH bytes at CONTENTS.  */
+
 Lisp_Object
-make_string (contents, length)
+make_unibyte_string (contents, length)
      char *contents;
      int length;
 {
   register Lisp_Object val;
   val = make_uninit_string (length);
   bcopy (contents, XSTRING (val)->data, length);
+  SET_STRING_BYTES (XSTRING (val), -1);
+  return val;
+}
+
+/* Make a multibyte string from NCHARS characters
+   occupying NBYTES bytes at CONTENTS.  */
+
+Lisp_Object
+make_multibyte_string (contents, nchars, nbytes)
+     char *contents;
+     int nchars, nbytes;
+{
+  register Lisp_Object val;
+  val = make_uninit_multibyte_string (nchars, nbytes);
+  bcopy (contents, XSTRING (val)->data, nbytes);
+  return val;
+}
+
+/* Make a string from NCHARS characters
+   occupying NBYTES bytes at CONTENTS.
+   It is a multibyte string if NBYTES != NCHARS.  */
+
+Lisp_Object
+make_string_from_bytes (contents, nchars, nbytes)
+     char *contents;
+     int nchars, nbytes;
+{
+  register Lisp_Object val;
+  val = make_uninit_multibyte_string (nchars, nbytes);
+  bcopy (contents, XSTRING (val)->data, nbytes);
+  if (STRING_BYTES (XSTRING (val)) == XSTRING (val)->size)
+    SET_STRING_BYTES (XSTRING (val), -1);
+  return val;
+}
+
+/* Make a multibyte string from NCHARS characters
+   occupying NBYTES bytes at CONTENTS.  */
+
+Lisp_Object
+make_specified_string (contents, nchars, nbytes, multibyte)
+     char *contents;
+     int nchars, nbytes;
+     int multibyte;
+{
+  register Lisp_Object val;
+  val = make_uninit_multibyte_string (nchars, nbytes);
+  bcopy (contents, XSTRING (val)->data, nbytes);
+  if (!multibyte)
+    SET_STRING_BYTES (XSTRING (val), -1);
   return val;
 }
 
+/* Make a string from the data at STR,
+   treating it as multibyte if the data warrants.  */
+
 Lisp_Object
 build_string (str)
      char *str;
 {
   return make_string (str, strlen (str));
 }
-
+\f
 Lisp_Object
 make_uninit_string (length)
      int length;
+{
+  Lisp_Object val;
+  val = make_uninit_multibyte_string (length, length);
+  SET_STRING_BYTES (XSTRING (val), -1);
+  return val;
+}
+
+Lisp_Object
+make_uninit_multibyte_string (length, length_byte)
+     int length, length_byte;
 {
   register Lisp_Object val;
-  register int fullsize = STRING_FULLSIZE (length);
+  register int fullsize = STRING_FULLSIZE (length_byte);
 
   if (length < 0) abort ();
 
@@ -1047,8 +1379,18 @@ make_uninit_string (length)
   else if (fullsize > STRING_BLOCK_OUTSIZE)
     /* This string gets its own string block */
     {
-      register struct string_block *new
-       = (struct string_block *) xmalloc (sizeof (struct string_block_head) + fullsize);
+      register struct string_block *new;
+      allocating_for_lisp = 1;
+#ifdef DOUG_LEA_MALLOC
+      /* Prevent mmap'ing the chunk (which is potentially very large).  */
+      mallopt (M_MMAP_MAX, 0);
+#endif
+      new = (struct string_block *) xmalloc (sizeof (struct string_block_head) + fullsize);
+#ifdef DOUG_LEA_MALLOC
+      /* Back to a reasonable maximum of mmap'ed areas. */
+      mallopt (M_MMAP_MAX, 64);
+#endif
+      allocating_for_lisp = 0;
       VALIDATE_LISP_STORAGE (new, 0);
       consing_since_gc += sizeof (struct string_block_head) + fullsize;
       new->pos = fullsize;
@@ -1061,8 +1403,10 @@ make_uninit_string (length)
   else
     /* Make a new current string block and start it off with this string */
     {
-      register struct string_block *new
-       = (struct string_block *) xmalloc (sizeof (struct string_block));
+      register struct string_block *new;
+      allocating_for_lisp = 1;
+      new = (struct string_block *) xmalloc (sizeof (struct string_block));
+      allocating_for_lisp = 0;
       VALIDATE_LISP_STORAGE (new, sizeof *new);
       consing_since_gc += sizeof (struct string_block);
       current_string_block->next = new;
@@ -1074,13 +1418,15 @@ make_uninit_string (length)
                  (struct Lisp_String *) current_string_block->chars);
     }
     
+  string_chars_consed += fullsize;
   XSTRING (val)->size = length;
-  XSTRING (val)->data[length] = 0;
+  SET_STRING_BYTES (XSTRING (val), length_byte);
+  XSTRING (val)->data[length_byte] = 0;
   INITIALIZE_INTERVAL (XSTRING (val), NULL_INTERVAL);
 
   return val;
 }
-
+\f
 /* Return a newly created vector or string with specified arguments as
    elements.  If all the arguments are characters that can fit
    in a string of events, make a string; otherwise, make a vector.
@@ -1107,7 +1453,7 @@ make_event_array (nargs, args)
   {
     Lisp_Object result;
     
-    result = Fmake_string (nargs, make_number (0));
+    result = Fmake_string (make_number (nargs), make_number (0));
     for (i = 0; i < nargs; i++)
       {
        XSTRING (result)->data[i] = XINT (args[i]);
@@ -1128,27 +1474,30 @@ make_event_array (nargs, args)
  then the string is not protected from gc. */
 
 Lisp_Object
-make_pure_string (data, length)
+make_pure_string (data, length, length_byte, multibyte)
      char *data;
      int length;
+     int length_byte;
+     int multibyte;
 {
+
   register Lisp_Object new;
-  register int size = sizeof (EMACS_INT) + INTERVAL_PTR_SIZE + length + 1;
+  register int size = STRING_FULLSIZE (length_byte);
 
   if (pureptr + size > PURESIZE)
     error ("Pure Lisp storage exhausted");
   XSETSTRING (new, PUREBEG + pureptr);
   XSTRING (new)->size = length;
-  bcopy (data, XSTRING (new)->data, length);
-  XSTRING (new)->data[length] = 0;
+  SET_STRING_BYTES (XSTRING (new), (multibyte ? length_byte : -1));
+  bcopy (data, XSTRING (new)->data, length_byte);
+  XSTRING (new)->data[length_byte] = 0;
 
   /* We must give strings in pure storage some kind of interval.  So we
      give them a null one.  */
 #if defined (USE_TEXT_PROPERTIES)
   XSTRING (new)->intervals = NULL_INTERVAL;
 #endif
-  pureptr += (size + sizeof (EMACS_INT) - 1)
-            / sizeof (EMACS_INT) * sizeof (EMACS_INT);
+  pureptr += size;
   return new;
 }
 
@@ -1244,7 +1593,9 @@ Does not copy symbols.")
     return make_pure_float (XFLOAT (obj)->data);
 #endif /* LISP_FLOAT_TYPE */
   else if (STRINGP (obj))
-    return make_pure_string (XSTRING (obj)->data, XSTRING (obj)->size);
+    return make_pure_string (XSTRING (obj)->data, XSTRING (obj)->size,
+                            STRING_BYTES (XSTRING (obj)),
+                            STRING_MULTIBYTE (obj));
   else if (COMPILEDP (obj) || VECTORP (obj))
     {
       register struct Lisp_Vector *vec;
@@ -1253,7 +1604,7 @@ Does not copy symbols.")
       size = XVECTOR (obj)->size;
       if (size & PSEUDOVECTOR_FLAG)
        size &= PSEUDOVECTOR_SIZE_MASK;
-      vec = XVECTOR (make_pure_vector (size));
+      vec = XVECTOR (make_pure_vector ((EMACS_INT) size));
       for (i = 0; i < size; i++)
        vec->contents[i] = Fpurecopy (XVECTOR (obj)->contents[i]);
       if (COMPILEDP (obj))
@@ -1294,7 +1645,9 @@ struct catchtag
     Lisp_Object tag;
     Lisp_Object val;
     struct catchtag *next;
-/*    jmp_buf jmp;  /* We don't need this for GC purposes */
+#if 0 /* We don't need this for GC purposes */
+    jmp_buf jmp;
+#endif
   };
 
 struct backtrace
@@ -1309,18 +1662,28 @@ struct backtrace
 \f
 /* Garbage collection!  */
 
-int total_conses, total_markers, total_symbols, total_string_size, total_vector_size;
-int total_free_conses, total_free_markers, total_free_symbols;
-#ifdef LISP_FLOAT_TYPE
-int total_free_floats, total_floats;
-#endif /* LISP_FLOAT_TYPE */
+/* Temporarily prevent garbage collection.  */
+
+int
+inhibit_garbage_collection ()
+{
+  int count = specpdl_ptr - specpdl;
+  Lisp_Object number;
+  int nbits = min (VALBITS, BITS_PER_INT);
+
+  XSETINT (number, ((EMACS_INT) 1 << (nbits - 1)) - 1);
+
+  specbind (Qgc_cons_threshold, number);
+
+  return count;
+}
 
 DEFUN ("garbage-collect", Fgarbage_collect, Sgarbage_collect, 0, 0, "",
   "Reclaim storage for Lisp objects no longer needed.\n\
 Returns info on amount of space in use:\n\
  ((USED-CONSES . FREE-CONSES) (USED-SYMS . FREE-SYMS)\n\
   (USED-MARKERS . FREE-MARKERS) USED-STRING-CHARS USED-VECTOR-SLOTS\n\
-  (USED-FLOATS . FREE-FLOATS))\n\
+  (USED-FLOATS . FREE-FLOATS) (USED-INTERVALS . FREE-INTERVALS))\n\
 Garbage collection happens automatically if you cons more than\n\
 `gc-cons-threshold' bytes of Lisp data since previous garbage collection.")
   ()
@@ -1333,9 +1696,14 @@ Garbage collection happens automatically if you cons more than\n\
   register Lisp_Object tem;
   char *omessage = echo_area_glyphs;
   int omessage_length = echo_area_glyphs_length;
+  int oldmultibyte = message_enable_multibyte;
   char stack_top_variable;
   register int i;
 
+  /* In case user calls debug_print during GC,
+     don't let that cause a recursive GC.  */
+  consing_since_gc = 0;
+
   /* Save a copy of the contents of the stack, for debugging.  */
 #if MAX_SAVE_STACK > 0
   if (NILP (Vpurify_flag))
@@ -1359,15 +1727,12 @@ Garbage collection happens automatically if you cons more than\n\
     }
 #endif /* MAX_SAVE_STACK > 0 */
 
-  if (!noninteractive)
+  if (garbage_collection_messages)
     message1_nolog ("Garbage collecting...");
 
-  /* Don't keep command history around forever */
-  tem = Fnthcdr (make_number (30), Vcommand_history);
-  if (CONSP (tem))
-    XCONS (tem)->cdr = Qnil;
+  shrink_regexp_cache ();
 
-  /* Likewise for undo information.  */
+  /* Don't keep undo information around forever.  */
   {
     register struct buffer *nextb = all_buffers;
 
@@ -1387,7 +1752,7 @@ Garbage collection happens automatically if you cons more than\n\
 
   gc_in_progress = 1;
 
-/*  clear_marks ();  */
+  /* clear_marks (); */
 
   /* In each "large string", set the MARKBIT of the size field.
      That enables mark_object to recognize them.  */
@@ -1448,6 +1813,46 @@ Garbage collection happens automatically if you cons more than\n\
     }  
   mark_kboards ();
 
+  /* Look thru every buffer's undo list
+     for elements that update markers that were not marked,
+     and delete them.  */
+  {
+    register struct buffer *nextb = all_buffers;
+
+    while (nextb)
+      {
+       /* If a buffer's undo list is Qt, that means that undo is
+          turned off in that buffer.  Calling truncate_undo_list on
+          Qt tends to return NULL, which effectively turns undo back on.
+          So don't call truncate_undo_list if undo_list is Qt.  */
+       if (! EQ (nextb->undo_list, Qt))
+         {
+           Lisp_Object tail, prev;
+           tail = nextb->undo_list;
+           prev = Qnil;
+           while (CONSP (tail))
+             {
+               if (GC_CONSP (XCONS (tail)->car)
+                   && GC_MARKERP (XCONS (XCONS (tail)->car)->car)
+                   && ! XMARKBIT (XMARKER (XCONS (XCONS (tail)->car)->car)->chain))
+                 {
+                   if (NILP (prev))
+                     nextb->undo_list = tail = XCONS (tail)->cdr;
+                   else
+                     tail = XCONS (prev)->cdr = XCONS (tail)->cdr;
+                 }
+               else
+                 {
+                   prev = tail;
+                   tail = XCONS (tail)->cdr;
+                 }
+             }
+         }
+
+       nextb = nextb->next;
+      }
+  }
+
   gc_sweep ();
 
   /* Clear the mark bits that we set in certain root slots.  */
@@ -1468,17 +1873,20 @@ Garbage collection happens automatically if you cons more than\n\
   XUNMARK (buffer_defaults.name);
   XUNMARK (buffer_local_symbols.name);
 
-/*  clear_marks (); */
+  /* clear_marks (); */
   gc_in_progress = 0;
 
   consing_since_gc = 0;
   if (gc_cons_threshold < 10000)
     gc_cons_threshold = 10000;
 
-  if (omessage || minibuf_level > 0)
-    message2_nolog (omessage, omessage_length);
-  else if (!noninteractive)
-    message1_nolog ("Garbage collecting...done");
+  if (garbage_collection_messages)
+    {
+      if (omessage || minibuf_level > 0)
+       message2_nolog (omessage, omessage_length, oldmultibyte);
+      else
+       message1_nolog ("Garbage collecting...done");
+    }
 
   return Fcons (Fcons (make_number (total_conses),
                       make_number (total_free_conses)),
@@ -1488,15 +1896,21 @@ Garbage collection happens automatically if you cons more than\n\
                                     make_number (total_free_markers)),
                              Fcons (make_number (total_string_size),
                                     Fcons (make_number (total_vector_size),
-
+        Fcons (Fcons
 #ifdef LISP_FLOAT_TYPE
-                                           Fcons (Fcons (make_number (total_floats),
-                                                         make_number (total_free_floats)),
-                                                  Qnil)
+               (make_number (total_floats),
+                make_number (total_free_floats)),
 #else /* not LISP_FLOAT_TYPE */
-                                           Qnil
+               (make_number (0), make_number (0)),
 #endif /* not LISP_FLOAT_TYPE */
-                                           )))));
+               Fcons (Fcons
+#ifdef USE_TEXT_PROPERTIES
+                      (make_number (total_intervals),
+                       make_number (total_free_intervals)),
+#else /* not USE_TEXT_PROPERTIES */
+                      (make_number (0), make_number (0)),
+#endif /* not USE_TEXT_PROPERTIES */
+                      Qnil)))))));
 }
 \f
 #if 0
@@ -1540,7 +1954,7 @@ clear_marks ()
       {
        register int i;
        for (i = 0; i < lim; i++)
-         if (sblk->markers[i].type == Lisp_Misc_Marker)
+         if (sblk->markers[i].u_marker.type == Lisp_Misc_Marker)
            XUNMARK (sblk->markers[i].u_marker.chain);
        lim = MARKER_BLOCK_SIZE;
       }
@@ -1573,9 +1987,10 @@ Lisp_Object *last_marked[LAST_MARKED_SIZE];
 int last_marked_index;
 
 static void
-mark_object (objptr)
-     Lisp_Object *objptr;
+mark_object (argptr)
+     Lisp_Object *argptr;
 {
+  Lisp_Object *objptr = argptr;
   register Lisp_Object obj;
 
  loop:
@@ -1658,7 +2073,6 @@ mark_object (objptr)
          objptr = (Lisp_Object *) &ptr1->contents[COMPILED_CONSTANTS];
          goto loop;
        }
-#ifdef MULTI_FRAME
       else if (GC_FRAMEP (obj))
        {
          /* See comment above under Lisp_Vector for why this is volatile.  */
@@ -1669,6 +2083,8 @@ mark_object (objptr)
          ptr->size |= ARRAY_MARK_FLAG; /* Else mark it */
 
          mark_object (&ptr->name);
+         mark_object (&ptr->icon_name);
+         mark_object (&ptr->title);
          mark_object (&ptr->focus_frame);
          mark_object (&ptr->selected_window);
          mark_object (&ptr->minibuffer_window);
@@ -1679,8 +2095,16 @@ mark_object (objptr)
          mark_object (&ptr->face_alist);
          mark_object (&ptr->menu_bar_vector);
          mark_object (&ptr->buffer_predicate);
+         mark_object (&ptr->buffer_list);
+       }
+      else if (GC_BOOL_VECTOR_P (obj))
+       {
+         register struct Lisp_Vector *ptr = XVECTOR (obj);
+
+         if (ptr->size & ARRAY_MARK_FLAG)
+           break;   /* Already marked */
+         ptr->size |= ARRAY_MARK_FLAG; /* Else mark it */
        }
-#endif /* MULTI_FRAME */
       else
        {
          register struct Lisp_Vector *ptr = XVECTOR (obj);
@@ -1716,6 +2140,9 @@ mark_object (objptr)
        mark_object (&ptr->plist);
        XSETTYPE (*(Lisp_Object *) &ptr->name, Lisp_String);
        mark_object (&ptr->name);
+       /* Note that we do not mark the obarray of the symbol.
+          It is safe not to do so because nothing accesses that
+          slot except to check whether it is nil.  */
        ptr = ptr->next;
        if (ptr)
          {
@@ -1731,7 +2158,7 @@ mark_object (objptr)
       break;
 
     case Lisp_Misc:
-      switch (XMISC (obj)->type)
+      switch (XMISCTYPE (obj))
        {
        case Lisp_Misc_Marker:
          XMARK (XMARKER (obj)->chain);
@@ -1745,15 +2172,17 @@ mark_object (objptr)
          {
            register struct Lisp_Buffer_Local_Value *ptr
              = XBUFFER_LOCAL_VALUE (obj);
-           if (XMARKBIT (ptr->car)) break;
-           XMARK (ptr->car);
+           if (XMARKBIT (ptr->realvalue)) break;
+           XMARK (ptr->realvalue);
            /* If the cdr is nil, avoid recursion for the car.  */
            if (EQ (ptr->cdr, Qnil))
              {
-               objptr = &ptr->car;
+               objptr = &ptr->realvalue;
                goto loop;
              }
-           mark_object (&ptr->car);
+           mark_object (&ptr->realvalue);
+           mark_object (&ptr->buffer);
+           mark_object (&ptr->frame);
            /* See comment above under Lisp_Vector for why not use ptr here.  */
            objptr = &XBUFFER_LOCAL_VALUE (obj)->cdr;
            goto loop;
@@ -1836,6 +2265,39 @@ mark_buffer (buf)
 
   MARK_INTERVAL_TREE (BUF_INTERVALS (buffer));
 
+  if (CONSP (buffer->undo_list))
+    {
+      Lisp_Object tail;
+      tail = buffer->undo_list;
+
+      while (CONSP (tail))
+       {
+         register struct Lisp_Cons *ptr = XCONS (tail);
+
+         if (XMARKBIT (ptr->car))
+           break;
+         XMARK (ptr->car);
+         if (GC_CONSP (ptr->car)
+             && ! XMARKBIT (XCONS (ptr->car)->car)
+             && GC_MARKERP (XCONS (ptr->car)->car))
+           {
+             XMARK (XCONS (ptr->car)->car);
+             mark_object (&XCONS (ptr->car)->cdr);
+           }
+         else
+           mark_object (&ptr->car);
+
+         if (CONSP (ptr->cdr))
+           tail = ptr->cdr;
+         else
+           break;
+       }
+
+      mark_object (&XCONS (tail)->cdr);
+    }
+  else
+    mark_object (&buffer->undo_list);
+
 #if 0
   mark_object (buffer->syntax_table);
 
@@ -1874,12 +2336,23 @@ static void
 mark_kboards ()
 {
   KBOARD *kb;
+  Lisp_Object *p;
   for (kb = all_kboards; kb; kb = kb->next_kboard)
     {
-      mark_object (&kb->prefix_factor);
-      mark_object (&kb->prefix_value);
+      if (kb->kbd_macro_buffer)
+       for (p = kb->kbd_macro_buffer; p < kb->kbd_macro_ptr; p++)
+         mark_object (p);
+      mark_object (&kb->Voverriding_terminal_local_map);
+      mark_object (&kb->Vlast_command);
+      mark_object (&kb->Vreal_last_command);
+      mark_object (&kb->Vprefix_arg);
+      mark_object (&kb->Vlast_prefix_arg);
       mark_object (&kb->kbd_queue);
+      mark_object (&kb->defining_kbd_macro);
       mark_object (&kb->Vlast_kbd_macro);
+      mark_object (&kb->Vsystem_key_alist);
+      mark_object (&kb->system_key_syms);
+      mark_object (&kb->Vdefault_minibuffer_frame);
     }
 }
 \f
@@ -1894,19 +2367,21 @@ gc_sweep ()
   /* Put all unmarked conses on free list */
   {
     register struct cons_block *cblk;
+    struct cons_block **cprev = &cons_block;
     register int lim = cons_block_index;
     register int num_free = 0, num_used = 0;
 
     cons_free_list = 0;
   
-    for (cblk = cons_block; cblk; cblk = cblk->next)
+    for (cblk = cons_block; cblk; cblk = *cprev)
       {
        register int i;
+       int this_free = 0;
        for (i = 0; i < lim; i++)
          if (!XMARKBIT (cblk->conses[i].car))
            {
-             num_free++;
-             *(struct Lisp_Cons **)&cblk->conses[i].car = cons_free_list;
+             this_free++;
+             *(struct Lisp_Cons **)&cblk->conses[i].cdr = cons_free_list;
              cons_free_list = &cblk->conses[i];
            }
          else
@@ -1915,6 +2390,21 @@ gc_sweep ()
              XUNMARK (cblk->conses[i].car);
            }
        lim = CONS_BLOCK_SIZE;
+       /* If this block contains only free conses and we have already
+          seen more than two blocks worth of free conses then deallocate
+          this block.  */
+       if (this_free == CONS_BLOCK_SIZE && num_free > CONS_BLOCK_SIZE)
+         {
+           *cprev = cblk->next;
+           /* Unhook from the free list.  */
+           cons_free_list = *(struct Lisp_Cons **) &cblk->conses[0].cdr;
+           xfree (cblk);
+         }
+       else
+         {
+           num_free += this_free;
+           cprev = &cblk->next;
+         }
       }
     total_conses = num_used;
     total_free_conses = num_free;
@@ -1924,19 +2414,21 @@ gc_sweep ()
   /* Put all unmarked floats on free list */
   {
     register struct float_block *fblk;
+    struct float_block **fprev = &float_block;
     register int lim = float_block_index;
     register int num_free = 0, num_used = 0;
 
     float_free_list = 0;
   
-    for (fblk = float_block; fblk; fblk = fblk->next)
+    for (fblk = float_block; fblk; fblk = *fprev)
       {
        register int i;
+       int this_free = 0;
        for (i = 0; i < lim; i++)
          if (!XMARKBIT (fblk->floats[i].type))
            {
-             num_free++;
-             *(struct Lisp_Float **)&fblk->floats[i].type = float_free_list;
+             this_free++;
+             *(struct Lisp_Float **)&fblk->floats[i].data = float_free_list;
              float_free_list = &fblk->floats[i];
            }
          else
@@ -1945,6 +2437,21 @@ gc_sweep ()
              XUNMARK (fblk->floats[i].type);
            }
        lim = FLOAT_BLOCK_SIZE;
+       /* If this block contains only free floats and we have already
+          seen more than two blocks worth of free floats then deallocate
+          this block.  */
+       if (this_free == FLOAT_BLOCK_SIZE && num_free > FLOAT_BLOCK_SIZE)
+         {
+           *fprev = fblk->next;
+           /* Unhook from the free list.  */
+           float_free_list = *(struct Lisp_Float **) &fblk->floats[0].data;
+           xfree (fblk);
+         }
+       else
+         {
+           num_free += this_free;
+           fprev = &fblk->next;
+         }
       }
     total_floats = num_used;
     total_free_floats = num_free;
@@ -1955,14 +2462,16 @@ gc_sweep ()
   /* Put all unmarked intervals on free list */
   {
     register struct interval_block *iblk;
+    struct interval_block **iprev = &interval_block;
     register int lim = interval_block_index;
     register int num_free = 0, num_used = 0;
 
     interval_free_list = 0;
 
-    for (iblk = interval_block; iblk; iblk = iblk->next)
+    for (iblk = interval_block; iblk; iblk = *iprev)
       {
        register int i;
+       int this_free = 0;
 
        for (i = 0; i < lim; i++)
          {
@@ -1970,7 +2479,7 @@ gc_sweep ()
              {
                iblk->intervals[i].parent = interval_free_list;
                interval_free_list = &iblk->intervals[i];
-               num_free++;
+               this_free++;
              }
            else
              {
@@ -1979,6 +2488,21 @@ gc_sweep ()
              }
          }
        lim = INTERVAL_BLOCK_SIZE;
+       /* If this block contains only free intervals and we have already
+          seen more than two blocks worth of free intervals then
+          deallocate this block.  */
+       if (this_free == INTERVAL_BLOCK_SIZE && num_free > INTERVAL_BLOCK_SIZE)
+         {
+           *iprev = iblk->next;
+           /* Unhook from the free list.  */
+           interval_free_list = iblk->intervals[0].parent;
+           xfree (iblk);
+         }
+       else
+         {
+           num_free += this_free;
+           iprev = &iblk->next;
+         }
       }
     total_intervals = num_used;
     total_free_intervals = num_free;
@@ -1988,20 +2512,22 @@ gc_sweep ()
   /* Put all unmarked symbols on free list */
   {
     register struct symbol_block *sblk;
+    struct symbol_block **sprev = &symbol_block;
     register int lim = symbol_block_index;
     register int num_free = 0, num_used = 0;
 
     symbol_free_list = 0;
   
-    for (sblk = symbol_block; sblk; sblk = sblk->next)
+    for (sblk = symbol_block; sblk; sblk = *sprev)
       {
        register int i;
+       int this_free = 0;
        for (i = 0; i < lim; i++)
          if (!XMARKBIT (sblk->symbols[i].plist))
            {
              *(struct Lisp_Symbol **)&sblk->symbols[i].value = symbol_free_list;
              symbol_free_list = &sblk->symbols[i];
-             num_free++;
+             this_free++;
            }
          else
            {
@@ -2011,40 +2537,63 @@ gc_sweep ()
              XUNMARK (sblk->symbols[i].plist);
            }
        lim = SYMBOL_BLOCK_SIZE;
+       /* If this block contains only free symbols and we have already
+          seen more than two blocks worth of free symbols then deallocate
+          this block.  */
+       if (this_free == SYMBOL_BLOCK_SIZE && num_free > SYMBOL_BLOCK_SIZE)
+         {
+           *sprev = sblk->next;
+           /* Unhook from the free list.  */
+           symbol_free_list = *(struct Lisp_Symbol **)&sblk->symbols[0].value;
+           xfree (sblk);
+         }
+       else
+         {
+           num_free += this_free;
+           sprev = &sblk->next;
+         }
       }
     total_symbols = num_used;
     total_free_symbols = num_free;
   }
 
 #ifndef standalone
-  /* Put all unmarked markers on free list.
-     Dechain each one first from the buffer it points into,
-     but only if it's a real marker.  */
+  /* Put all unmarked misc's on free list.
+     For a marker, first unchain it from the buffer it points into.  */
   {
     register struct marker_block *mblk;
+    struct marker_block **mprev = &marker_block;
     register int lim = marker_block_index;
     register int num_free = 0, num_used = 0;
 
     marker_free_list = 0;
   
-    for (mblk = marker_block; mblk; mblk = mblk->next)
+    for (mblk = marker_block; mblk; mblk = *mprev)
       {
        register int i;
+       int this_free = 0;
+       EMACS_INT already_free = -1;
+
        for (i = 0; i < lim; i++)
          {
            Lisp_Object *markword;
-           switch (mblk->markers[i].type)
+           switch (mblk->markers[i].u_marker.type)
              {
              case Lisp_Misc_Marker:
                markword = &mblk->markers[i].u_marker.chain;
                break;
              case Lisp_Misc_Buffer_Local_Value:
              case Lisp_Misc_Some_Buffer_Local_Value:
-               markword = &mblk->markers[i].u_buffer_local_value.car;
+               markword = &mblk->markers[i].u_buffer_local_value.realvalue;
                break;
              case Lisp_Misc_Overlay:
                markword = &mblk->markers[i].u_overlay.plist;
                break;
+             case Lisp_Misc_Free:
+               /* If the object was already free, keep it
+                  on the free list.  */
+               markword = (Lisp_Object *) &already_free;
+               break;
              default:
                markword = 0;
                break;
@@ -2052,19 +2601,20 @@ gc_sweep ()
            if (markword && !XMARKBIT (*markword))
              {
                Lisp_Object tem;
-               if (mblk->markers[i].type == Lisp_Misc_Marker)
+               if (mblk->markers[i].u_marker.type == Lisp_Misc_Marker)
                  {
                    /* tem1 avoids Sun compiler bug */
                    struct Lisp_Marker *tem1 = &mblk->markers[i].u_marker;
                    XSETMARKER (tem, tem1);
                    unchain_marker (tem);
                  }
-               /* We could leave the type alone, since nobody checks it,
+               /* Set the type of the freed object to Lisp_Misc_Free.
+                  We could leave the type alone, since nobody checks it,
                   but this might catch bugs faster.  */
-               mblk->markers[i].type = Lisp_Misc_Free;
+               mblk->markers[i].u_marker.type = Lisp_Misc_Free;
                mblk->markers[i].u_free.chain = marker_free_list;
                marker_free_list = &mblk->markers[i];
-               num_free++;
+               this_free++;
              }
            else
              {
@@ -2074,6 +2624,21 @@ gc_sweep ()
              }
          }
        lim = MARKER_BLOCK_SIZE;
+       /* If this block contains only free markers and we have already
+          seen more than two blocks worth of free markers then deallocate
+          this block.  */
+       if (this_free == MARKER_BLOCK_SIZE && num_free > MARKER_BLOCK_SIZE)
+         {
+           *mprev = mblk->next;
+           /* Unhook from the free list.  */
+           marker_free_list = mblk->markers[0].u_free.chain;
+           xfree (mblk);
+         }
+       else
+         {
+           num_free += this_free;
+           mprev = &mblk->next;
+         }
       }
 
     total_markers = num_used;
@@ -2139,7 +2704,10 @@ gc_sweep ()
       else
        {
          vector->size &= ~ARRAY_MARK_FLAG;
-         total_vector_size += vector->size;
+         if (vector->size & PSEUDOVECTOR_FLAG)
+           total_vector_size += (PSEUDOVECTOR_SIZE_MASK & vector->size);
+         else
+           total_vector_size += vector->size;
          prev = vector, vector = vector->next;
        }
   }
@@ -2202,6 +2770,7 @@ compact_strings ()
 
          register struct Lisp_String *newaddr;
          register EMACS_INT size = nextstr->size;
+         EMACS_INT size_byte = nextstr->size_byte;
 
          /* NEXTSTR is the old address of the next string.
             Just skip it if it isn't marked.  */
@@ -2216,7 +2785,10 @@ compact_strings ()
                  size = *(EMACS_INT *)size & ~MARKBIT;
                }
 
-             total_string_size += size;
+             if (size_byte < 0)
+               size_byte = size;
+
+             total_string_size += size_byte;
 
              /* If it won't fit in TO_SB, close it out,
                 and move to the next sb.  Keep doing so until
@@ -2225,7 +2797,7 @@ compact_strings ()
                 since FROM_SB is large enough to contain this string.
                 Any string blocks skipped here
                 will be patched out and freed later.  */
-             while (to_pos + STRING_FULLSIZE (size)
+             while (to_pos + STRING_FULLSIZE (size_byte)
                     > max (to_sb->pos, STRING_BLOCK_SIZE))
                {
                  to_sb->pos = to_pos;
@@ -2235,12 +2807,11 @@ compact_strings ()
              /* Compute new address of this string
                 and update TO_POS for the space being used.  */
              newaddr = (struct Lisp_String *) &to_sb->chars[to_pos];
-             to_pos += STRING_FULLSIZE (size);
+             to_pos += STRING_FULLSIZE (size_byte);
 
              /* Copy the string itself to the new place.  */
              if (nextstr != newaddr)
-               bcopy (nextstr, newaddr, size + 1 + sizeof (EMACS_INT)
-                      + INTERVAL_PTR_SIZE);
+               bcopy (nextstr, newaddr, STRING_FULLSIZE (size_byte));
 
              /* Go through NEXTSTR's chain of references
                 and make each slot in the chain point to
@@ -2276,7 +2847,10 @@ compact_strings ()
                }
 #endif /* USE_TEXT_PROPERTIES */
            }
-         pos += STRING_FULLSIZE (size);
+         else if (size_byte < 0)
+           size_byte = size;
+
+         pos += STRING_FULLSIZE (size_byte);
        }
     }
 
@@ -2326,9 +2900,57 @@ We divide the value by 1024 to make sure it fits in a Lisp integer.")
   return end;
 }
 
+DEFUN ("memory-use-counts", Fmemory_use_counts, Smemory_use_counts, 0, 0, 0,
+  "Return a list of counters that measure how much consing there has been.\n\
+Each of these counters increments for a certain kind of object.\n\
+The counters wrap around from the largest positive integer to zero.\n\
+Garbage collection does not decrease them.\n\
+The elements of the value are as follows:\n\
+  (CONSES FLOATS VECTOR-CELLS SYMBOLS STRING-CHARS MISCS INTERVALS)\n\
+All are in units of 1 = one object consed\n\
+except for VECTOR-CELLS and STRING-CHARS, which count the total length of\n\
+objects consed.\n\
+MISCS include overlays, markers, and some internal types.\n\
+Frames, windows, buffers, and subprocesses count as vectors\n\
+  (but the contents of a buffer's text do not count here).")
+  ()
+{
+  Lisp_Object lisp_cons_cells_consed;
+  Lisp_Object lisp_floats_consed;
+  Lisp_Object lisp_vector_cells_consed;
+  Lisp_Object lisp_symbols_consed;
+  Lisp_Object lisp_string_chars_consed;
+  Lisp_Object lisp_misc_objects_consed;
+  Lisp_Object lisp_intervals_consed;
+
+  XSETINT (lisp_cons_cells_consed,
+          cons_cells_consed & ~(((EMACS_INT) 1) << (VALBITS - 1)));
+  XSETINT (lisp_floats_consed,
+          floats_consed & ~(((EMACS_INT) 1) << (VALBITS - 1)));
+  XSETINT (lisp_vector_cells_consed,
+          vector_cells_consed & ~(((EMACS_INT) 1) << (VALBITS - 1)));
+  XSETINT (lisp_symbols_consed,
+          symbols_consed & ~(((EMACS_INT) 1) << (VALBITS - 1)));
+  XSETINT (lisp_string_chars_consed,
+          string_chars_consed & ~(((EMACS_INT) 1) << (VALBITS - 1)));
+  XSETINT (lisp_misc_objects_consed,
+          misc_objects_consed & ~(((EMACS_INT) 1) << (VALBITS - 1)));
+  XSETINT (lisp_intervals_consed,
+          intervals_consed & ~(((EMACS_INT) 1) << (VALBITS - 1)));
+
+  return Fcons (lisp_cons_cells_consed,
+               Fcons (lisp_floats_consed,
+                      Fcons (lisp_vector_cells_consed,
+                             Fcons (lisp_symbols_consed,
+                                    Fcons (lisp_string_chars_consed,
+                                           Fcons (lisp_misc_objects_consed,
+                                                  Fcons (lisp_intervals_consed,
+                                                         Qnil)))))));
+}
 \f
 /* Initialization */
 
+void
 init_alloc_once ()
 {
   /* Used to do Vpurify_flag = Qt here, but Qt isn't set up yet!  */
@@ -2338,6 +2960,11 @@ init_alloc_once ()
 #endif
   all_vectors = 0;
   ignore_warnings = 1;
+#ifdef DOUG_LEA_MALLOC
+  mallopt (M_TRIM_THRESHOLD, 128*1024); /* trim threshold */
+  mallopt (M_MMAP_THRESHOLD, 64*1024); /* mmap threshold */
+  mallopt (M_MMAP_MAX, 64); /* max. number of mmap'ed areas */
+#endif
   init_strings ();
   init_cons ();
   init_symbol ();
@@ -2359,13 +2986,14 @@ init_alloc_once ()
   gcprolist = 0;
   staticidx = 0;
   consing_since_gc = 0;
-  gc_cons_threshold = 300000;
+  gc_cons_threshold = 100000 * sizeof (Lisp_Object);
 #ifdef VIRT_ADDR_VARIES
   malloc_sbrk_unused = 1<<22;  /* A large number */
   malloc_sbrk_used = 100000;   /* as reasonable as any number */
 #endif /* VIRT_ADDR_VARIES */
 }
 
+void
 init_alloc ()
 {
   gcprolist = 0;
@@ -2385,6 +3013,27 @@ prevent garbage collection during a part of the program.");
   DEFVAR_INT ("pure-bytes-used", &pureptr,
     "Number of bytes of sharable Lisp data allocated so far.");
 
+  DEFVAR_INT ("cons-cells-consed", &cons_cells_consed,
+    "Number of cons cells that have been consed so far.");
+
+  DEFVAR_INT ("floats-consed", &floats_consed,
+    "Number of floats that have been consed so far.");
+
+  DEFVAR_INT ("vector-cells-consed", &vector_cells_consed,
+    "Number of vector cells that have been consed so far.");
+
+  DEFVAR_INT ("symbols-consed", &symbols_consed,
+    "Number of symbols that have been consed so far.");
+
+  DEFVAR_INT ("string-chars-consed", &string_chars_consed,
+    "Number of string characters that have been consed so far.");
+
+  DEFVAR_INT ("misc-objects-consed", &misc_objects_consed,
+    "Number of miscellaneous objects that have been consed so far.");
+
+  DEFVAR_INT ("intervals-consed", &intervals_consed,
+    "Number of intervals that have been consed so far.");
+
 #if 0
   DEFVAR_INT ("data-bytes-used", &malloc_sbrk_used,
     "Number of bytes of unshared memory allocated in this session.");
@@ -2412,22 +3061,35 @@ The size is counted as the number of bytes occupied,\n\
 which includes both saved text and other data.");
   undo_strong_limit = 30000;
 
+  DEFVAR_BOOL ("garbage-collection-messages", &garbage_collection_messages,
+    "Non-nil means display messages at start and end of garbage collection.");
+  garbage_collection_messages = 0;
+
   /* We build this in advance because if we wait until we need it, we might
      not be able to allocate the memory to hold it.  */
   memory_signal_data
     = Fcons (Qerror, Fcons (build_string ("Memory exhausted--use M-x save-some-buffers RET"), Qnil));
   staticpro (&memory_signal_data);
 
+  staticpro (&Qgc_cons_threshold);
+  Qgc_cons_threshold = intern ("gc-cons-threshold");
+
+  staticpro (&Qchar_table_extra_slots);
+  Qchar_table_extra_slots = intern ("char-table-extra-slots");
+
   defsubr (&Scons);
   defsubr (&Slist);
   defsubr (&Svector);
   defsubr (&Smake_byte_code);
   defsubr (&Smake_list);
   defsubr (&Smake_vector);
+  defsubr (&Smake_char_table);
   defsubr (&Smake_string);
+  defsubr (&Smake_bool_vector);
   defsubr (&Smake_symbol);
   defsubr (&Smake_marker);
   defsubr (&Spurecopy);
   defsubr (&Sgarbage_collect);
   defsubr (&Smemory_limit);
+  defsubr (&Smemory_use_counts);
 }