Merge branch 'boehm-demers-weiser-gc' into bdw-gc-static-alloc
[bpt/guile.git] / libguile / vectors.c
index f5f8d4d..5e71050 100644 (file)
@@ -1,22 +1,26 @@
-/* Copyright (C) 1995,1996,1998,1999,2000,2001 Free Software Foundation, Inc.
+/* Copyright (C) 1995,1996,1998,1999,2000,2001, 2006, 2008, 2009 Free Software Foundation, Inc.
  * 
  * This library is free software; you can redistribute it and/or
- * modify it under the terms of the GNU Lesser General Public
- * License as published by the Free Software Foundation; either
- * version 2.1 of the License, or (at your option) any later version.
+ * modify it under the terms of the GNU Lesser General Public License
+ * as published by the Free Software Foundation; either version 3 of
+ * the License, or (at your option) any later version.
  *
- * This library is distributed in the hope that it will be useful,
- * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * This library is distributed in the hope that it will be useful, but
+ * WITHOUT ANY WARRANTY; without even the implied warranty of
  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  * Lesser General Public License for more details.
  *
  * You should have received a copy of the GNU Lesser General Public
  * License along with this library; if not, write to the Free Software
- * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
+ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
+ * 02110-1301 USA
  */
 
 
 \f
+#ifdef HAVE_CONFIG_H
+# include <config.h>
+#endif
 
 #include "libguile/_scm.h"
 #include "libguile/eq.h"
 
 #include "libguile/validate.h"
 #include "libguile/vectors.h"
-#include "libguile/unif.h"
-#include "libguile/ramap.h"
+#include "libguile/generalized-vectors.h"
+#include "libguile/arrays.h"
+#include "libguile/bitvectors.h"
+#include "libguile/bytevectors.h"
+#include "libguile/array-map.h"
 #include "libguile/srfi-4.h"
 #include "libguile/strings.h"
 #include "libguile/srfi-13.h"
+#include "libguile/dynwind.h"
+#include "libguile/deprecation.h"
+
+#include "libguile/boehm-gc.h"
+
 
 \f
 
+#define VECTOR_MAX_LENGTH (SCM_T_BITS_MAX >> 8)
+
 int
 scm_is_vector (SCM obj)
 {
-  return (SCM_VECTORP (obj)
-         || (SCM_ARRAYP (obj) && SCM_ARRAY_NDIM (obj) == 1));
+  if (SCM_I_IS_VECTOR (obj))
+    return 1;
+  if  (SCM_I_ARRAYP (obj) && SCM_I_ARRAY_NDIM (obj) == 1)
+    {
+      SCM v = SCM_I_ARRAY_V (obj);
+      return SCM_I_IS_VECTOR (v);
+    }
+  return 0;
+}
+
+int
+scm_is_simple_vector (SCM obj)
+{
+  return SCM_I_IS_VECTOR (obj);
+}
+
+const SCM *
+scm_vector_elements (SCM vec, scm_t_array_handle *h,
+                    size_t *lenp, ssize_t *incp)
+{
+  if (SCM_I_WVECTP (vec))
+    /* FIXME: We should check each (weak) element of the vector for NULL and
+       convert it to SCM_BOOL_F.  */
+    abort ();
+
+  scm_generalized_vector_get_handle (vec, h);
+  if (lenp)
+    {
+      scm_t_array_dim *dim = scm_array_handle_dims (h);
+      *lenp = dim->ubnd - dim->lbnd + 1;
+      *incp = dim->inc;
+    }
+  return scm_array_handle_elements (h);
+}
+
+SCM *
+scm_vector_writable_elements (SCM vec, scm_t_array_handle *h,
+                             size_t *lenp, ssize_t *incp)
+{
+  if (SCM_I_WVECTP (vec))
+    /* FIXME: We should check each (weak) element of the vector for NULL and
+       convert it to SCM_BOOL_F.  */
+    abort ();
+
+  scm_generalized_vector_get_handle (vec, h);
+  if (lenp)
+    {
+      scm_t_array_dim *dim = scm_array_handle_dims (h);
+      *lenp = dim->ubnd - dim->lbnd + 1;
+      *incp = dim->inc;
+    }
+  return scm_array_handle_writable_elements (h);
 }
 
 SCM_DEFINE (scm_vector_p, "vector?", 1, 0, 0, 
@@ -56,11 +120,11 @@ SCM_GPROC (s_vector_length, "vector-length", 1, 0, 0, scm_vector_length, g_vecto
 SCM
 scm_vector_length (SCM v)
 {
-  if (SCM_VECTORP (v))
-    return scm_from_size_t (SCM_VECTOR_LENGTH (v));
-  else if (SCM_ARRAYP (v) && SCM_ARRAY_NDIM (v) == 1)
+  if (SCM_I_IS_VECTOR (v))
+    return scm_from_size_t (SCM_I_VECTOR_LENGTH (v));
+  else if (SCM_I_ARRAYP (v) && SCM_I_ARRAY_NDIM (v) == 1)
     {
-      scm_t_array_dim *dim = SCM_ARRAY_DIMS (v);
+      scm_t_array_dim *dim = SCM_I_ARRAY_DIMS (v);
       return scm_from_size_t (dim->ubnd - dim->lbnd + 1);
     }
   else
@@ -70,8 +134,8 @@ scm_vector_length (SCM v)
 size_t
 scm_c_vector_length (SCM v)
 {
-  if (SCM_VECTORP (v))
-    return SCM_VECTOR_LENGTH (v);
+  if (SCM_I_IS_VECTOR (v))
+    return SCM_I_VECTOR_LENGTH (v);
   else
     return scm_to_size_t (scm_vector_length (v));
 }
@@ -98,23 +162,23 @@ SCM_DEFINE (scm_vector, "vector", 0, 0, 1,
 {
   SCM res;
   SCM *data;
-  long i;
+  long i, len;
+  scm_t_array_handle handle;
 
-  /* Dirk:FIXME:: In case of multiple threads, the list might get corrupted
-     while the vector is being created. */
-  SCM_VALIDATE_LIST_COPYLEN (1, l, i);
-  res = scm_c_make_vector (i, SCM_UNSPECIFIED);
+  SCM_VALIDATE_LIST_COPYLEN (1, l, len);
 
-  /*
-    this code doesn't alloc. -- accessing RES is safe. 
-  */
-  data = SCM_WRITABLE_VELTS (res);
-  while (!SCM_NULL_OR_NIL_P (l)) 
+  res = scm_c_make_vector (len, SCM_UNSPECIFIED);
+  data = scm_vector_writable_elements (res, &handle, NULL, NULL);
+  i = 0;
+  while (scm_is_pair (l) && i < len) 
     {
-      *data++ = SCM_CAR (l);
+      data[i] = SCM_CAR (l);
       l = SCM_CDR (l);
+      i += 1;
     }
 
+  scm_array_handle_release (&handle);
+
   return res;
 }
 #undef FUNC_NAME
@@ -146,19 +210,40 @@ scm_vector_ref (SCM v, SCM k)
 SCM
 scm_c_vector_ref (SCM v, size_t k)
 {
-  if (SCM_VECTORP (v))
+  if (SCM_I_IS_VECTOR (v))
     {
-      if (k >= SCM_VECTOR_LENGTH (v))
-       scm_out_of_range (NULL, scm_from_size_t (k)); 
-      return SCM_VECTOR_REF (v, k);
+      register SCM elt;
+
+      if (k >= SCM_I_VECTOR_LENGTH (v))
+       scm_out_of_range (NULL, scm_from_size_t (k));
+      elt = (SCM_I_VECTOR_ELTS(v))[k];
+
+      if ((elt == SCM_PACK (NULL)) && SCM_I_WVECTP (v))
+       /* ELT was a weak pointer and got nullified by the GC.  */
+       return SCM_BOOL_F;
+
+      return elt;
     }
-  else if (SCM_ARRAYP (v) && SCM_ARRAY_NDIM (v) == 1)
+  else if (SCM_I_ARRAYP (v) && SCM_I_ARRAY_NDIM (v) == 1)
     {
-      scm_t_array_dim *dim = SCM_ARRAY_DIMS (v);
-      if (k >= dim->ubnd - dim->lbnd + 1)
-       scm_out_of_range (NULL, scm_from_size_t (k));
-      k = SCM_ARRAY_BASE (v) + k*dim->inc;
-      return scm_c_generalized_vector_ref (SCM_ARRAY_V (v), k);
+      scm_t_array_dim *dim = SCM_I_ARRAY_DIMS (v);
+      SCM vv = SCM_I_ARRAY_V (v);
+      if (SCM_I_IS_VECTOR (vv))
+       {
+         register SCM elt;
+
+         if (k >= dim->ubnd - dim->lbnd + 1)
+           scm_out_of_range (NULL, scm_from_size_t (k));
+         k = SCM_I_ARRAY_BASE (v) + k*dim->inc;
+         elt = (SCM_I_VECTOR_ELTS (vv))[k];
+
+         if ((elt == SCM_PACK (NULL)) && (SCM_I_WVECTP (vv)))
+           /* ELT was a weak pointer and got nullified by the GC.  */
+           return SCM_BOOL_F;
+
+         return elt;
+       }
+      scm_wrong_type_arg_msg (NULL, 0, v, "non-uniform vector");
     }
   else
     SCM_WTA_DISPATCH_2 (g_vector_ref, v, scm_from_size_t (k), 2, NULL);
@@ -189,19 +274,38 @@ scm_vector_set_x (SCM v, SCM k, SCM obj)
 void
 scm_c_vector_set_x (SCM v, size_t k, SCM obj)
 {
-  if (SCM_VECTORP (v))
+  if (SCM_I_IS_VECTOR (v))
     {
-      if (k >= SCM_VECTOR_LENGTH (v))
+      if (k >= SCM_I_VECTOR_LENGTH (v))
        scm_out_of_range (NULL, scm_from_size_t (k)); 
-      SCM_VECTOR_SET (v, k, obj);
+      (SCM_I_VECTOR_WELTS(v))[k] = obj;
+      if (SCM_I_WVECTP (v))
+       {
+         /* Make it a weak pointer.  */
+         GC_PTR link = (GC_PTR) & ((SCM_I_VECTOR_WELTS (v))[k]);
+         SCM_I_REGISTER_DISAPPEARING_LINK (link, obj);
+       }
     }
-  else if (SCM_ARRAYP (v) && SCM_ARRAY_NDIM (v) == 1)
+  else if (SCM_I_ARRAYP (v) && SCM_I_ARRAY_NDIM (v) == 1)
     {
-      scm_t_array_dim *dim = SCM_ARRAY_DIMS (v);
-      if (k >= dim->ubnd - dim->lbnd + 1)
-       scm_out_of_range (NULL, scm_from_size_t (k));
-      k = SCM_ARRAY_BASE (v) + k*dim->inc;
-      scm_c_generalized_vector_set_x (SCM_ARRAY_V (v), k, obj);
+      scm_t_array_dim *dim = SCM_I_ARRAY_DIMS (v);
+      SCM vv = SCM_I_ARRAY_V (v);
+      if (SCM_I_IS_VECTOR (vv))
+       {
+         if (k >= dim->ubnd - dim->lbnd + 1)
+           scm_out_of_range (NULL, scm_from_size_t (k));
+         k = SCM_I_ARRAY_BASE (v) + k*dim->inc;
+         (SCM_I_VECTOR_WELTS (vv))[k] = obj;
+
+         if (SCM_I_WVECTP (vv))
+           {
+             /* Make it a weak pointer.  */
+             GC_PTR link = (GC_PTR) & ((SCM_I_VECTOR_WELTS (vv))[k]);
+             SCM_I_REGISTER_DISAPPEARING_LINK (link, obj);
+           }
+       }
+      else
+       scm_wrong_type_arg_msg (NULL, 0, v, "non-uniform vector");
     }
   else
     {
@@ -221,7 +325,7 @@ SCM_DEFINE (scm_make_vector, "make-vector", 1, 1, 0,
            "unspecified.")
 #define FUNC_NAME s_scm_make_vector
 {
-  size_t l = scm_to_unsigned_integer (k, 0, SCM_VECTOR_MAX_LENGTH);
+  size_t l = scm_to_unsigned_integer (k, 0, VECTOR_MAX_LENGTH);
 
   if (SCM_UNBNDP (fill))
     fill = SCM_UNSPECIFIED;
@@ -236,29 +340,136 @@ scm_c_make_vector (size_t k, SCM fill)
 #define FUNC_NAME s_scm_make_vector
 {
   SCM v;
-  scm_t_bits *base;
+  SCM *base;
 
   if (k > 0) 
     {
       unsigned long int j;
 
-      SCM_ASSERT_RANGE (1, scm_from_ulong (k), k <= SCM_VECTOR_MAX_LENGTH);
+      SCM_ASSERT_RANGE (1, scm_from_ulong (k), k <= VECTOR_MAX_LENGTH);
 
-      base = scm_gc_malloc (k * sizeof (scm_t_bits), "vector");
+      base = scm_gc_malloc (k * sizeof (SCM), "vector");
       for (j = 0; j != k; ++j)
-       base[j] = SCM_UNPACK (fill);
+       base[j] = fill;
     }
   else
     base = NULL;
 
-  v = scm_cell (SCM_MAKE_VECTOR_TAG (k, scm_tc7_vector), (scm_t_bits) base);
+  v = scm_immutable_cell ((k << 8) | scm_tc7_vector, (scm_t_bits) base);
   scm_remember_upto_here_1 (fill);
 
   return v;
 }
 #undef FUNC_NAME
 
+SCM_DEFINE (scm_vector_copy, "vector-copy", 1, 0, 0,
+           (SCM vec),
+           "Return a copy of @var{vec}.")
+#define FUNC_NAME s_scm_vector_copy
+{
+  scm_t_array_handle handle;
+  size_t i, len;
+  ssize_t inc;
+  const SCM *src;
+  SCM *dst;
+
+  src = scm_vector_elements (vec, &handle, &len, &inc);
+  dst = scm_gc_malloc (len * sizeof (SCM), "vector");
+  for (i = 0; i < len; i++, src += inc)
+    dst[i] = *src;
+  scm_array_handle_release (&handle);
+
+  return scm_cell ((len << 8) | scm_tc7_vector, (scm_t_bits) dst);
+}
+#undef FUNC_NAME
+
+void
+scm_i_vector_free (SCM vec)
+{
+  scm_gc_free (SCM_I_VECTOR_WELTS (vec),
+              SCM_I_VECTOR_LENGTH (vec) * sizeof(SCM),
+              "vector");
+}
+
+\f
+/* Weak vectors.  */
+
+
+/* Initialize RET as a weak vector of type TYPE of SIZE elements pointed to
+   by BASE.  */
+#define MAKE_WEAK_VECTOR(_ret, _type, _size, _base)            \
+  (_ret) = scm_double_cell ((_size << 8) | scm_tc7_wvect,      \
+                           (scm_t_bits) (_base),               \
+                           (_type),                            \
+                           SCM_UNPACK (SCM_EOL));
+
+
+/* Allocate memory for the elements of a weak vector on behalf of the
+   caller.  */
+static SCM *
+allocate_weak_vector (scm_t_bits type, size_t c_size)
+{
+  SCM *base;
+
+  if (c_size > 0)
+    /* The base itself should not be scanned for pointers otherwise those
+       pointers will always be reachable.  */
+    base = scm_gc_malloc_pointerless (c_size * sizeof (SCM), "weak vector");
+  else
+    base = NULL;
+
+  return base;
+}
+
+/* Return a new weak vector.  The allocated vector will be of the given weak
+   vector subtype.  It will contain SIZE elements which are initialized with
+   the FILL object, or, if FILL is undefined, with an unspecified object.  */
+SCM
+scm_i_make_weak_vector (scm_t_bits type, SCM size, SCM fill)
+{
+  SCM wv, *base;
+  size_t c_size, j;
+
+  if (SCM_UNBNDP (fill))
+    fill = SCM_UNSPECIFIED;
+
+  c_size = scm_to_unsigned_integer (size, 0, VECTOR_MAX_LENGTH);
+  base = allocate_weak_vector (type, c_size);
+
+  for (j = 0; j != c_size; ++j)
+    base[j] = fill;
+
+  MAKE_WEAK_VECTOR (wv, type, c_size, base);
+
+  return wv;
+}
+
+/* Return a new weak vector with type TYPE and whose content are taken from
+   list LST.  */
+SCM
+scm_i_make_weak_vector_from_list (scm_t_bits type, SCM lst)
+{
+  SCM wv, *base, *elt;
+  long c_size;
+
+  c_size = scm_ilength (lst);
+  SCM_ASSERT (c_size >= 0, lst, SCM_ARG2, "scm_i_make_weak_vector_from_list");
 
+  base = allocate_weak_vector (type, (size_t)c_size);
+  for (elt = base;
+       scm_is_pair (lst);
+       lst = SCM_CDR (lst), elt++)
+    {
+      *elt = SCM_CAR (lst);
+    }
+
+  MAKE_WEAK_VECTOR (wv, type, (size_t)c_size, base);
+
+  return wv;
+}
+
+
+\f
 SCM_DEFINE (scm_vector_to_list, "vector->list", 1, 0, 0, 
            (SCM v),
            "Return a newly allocated list composed of the elements of @var{v}.\n"
@@ -269,20 +480,20 @@ SCM_DEFINE (scm_vector_to_list, "vector->list", 1, 0, 0,
            "@end lisp")
 #define FUNC_NAME s_scm_vector_to_list
 {
-  if (SCM_VECTORP (v))
-    {
-      SCM res = SCM_EOL;
-      long i;
-      SCM const *data;
-      data = SCM_VELTS(v);
-      for(i = SCM_VECTOR_LENGTH(v)-1; i >= 0; i--)
-       res = scm_cons(data[i], res);
-      return res;
-    }
-  else if (SCM_ARRAYP (v) && SCM_ARRAY_NDIM (v) == 1)
-    return scm_array_to_list (v);
-  else
-    scm_wrong_type_arg_msg (NULL, 0, v, "vector");
+  SCM res = SCM_EOL;
+  const SCM *data;
+  scm_t_array_handle handle;
+  size_t i, count, len;
+  ssize_t inc;
+
+  data = scm_vector_elements (v, &handle, &len, &inc);
+  for (i = (len - 1) * inc, count = 0;
+       count < len;
+       i -= inc, count++)
+    res = scm_cons (data[i], res);
+
+  scm_array_handle_release (&handle);
+  return res;
 }
 #undef FUNC_NAME
 
@@ -293,27 +504,27 @@ SCM_DEFINE (scm_vector_fill_x, "vector-fill!", 2, 0, 0,
            "returned by @code{vector-fill!} is unspecified.")
 #define FUNC_NAME s_scm_vector_fill_x
 {
-  if (SCM_VECTORP (v))
-    {
-      register long i;
-      for (i = SCM_VECTOR_LENGTH (v) - 1; i >= 0; i--)
-       SCM_VECTOR_SET (v, i, fill);
-      return SCM_UNSPECIFIED;
-    }
-  else if (SCM_ARRAYP (v) && SCM_ARRAY_NDIM (v) == 1)
-    return scm_array_fill_x (v, fill);
-  else
-    scm_wrong_type_arg_msg (NULL, 0, v, "vector");
+  scm_t_array_handle handle;
+  SCM *data;
+  size_t i, len;
+  ssize_t inc;
+
+  data = scm_vector_writable_elements (v, &handle, &len, &inc);
+  for (i = 0; i < len; i += inc)
+    data[i] = fill;
+  scm_array_handle_release (&handle);
+  return SCM_UNSPECIFIED;
 }
 #undef FUNC_NAME
 
 
 SCM
-scm_vector_equal_p(SCM x, SCM y)
+scm_i_vector_equal_p (SCM x, SCM y)
 {
   long i;
-  for(i = SCM_VECTOR_LENGTH (x) - 1; i >= 0; i--)
-    if (scm_is_false (scm_equal_p (SCM_VELTS (x)[i], SCM_VELTS (y)[i])))
+  for (i = SCM_I_VECTOR_LENGTH (x) - 1; i >= 0; i--)
+    if (scm_is_false (scm_equal_p (SCM_I_VECTOR_ELTS (x)[i],
+                                  SCM_I_VECTOR_ELTS (y)[i])))
       return SCM_BOOL_F;
   return SCM_BOOL_T;
 }
@@ -330,28 +541,29 @@ SCM_DEFINE (scm_vector_move_left_x, "vector-move-left!", 5, 0, 0,
            "@var{start1} is greater than @var{start2}.")
 #define FUNC_NAME s_scm_vector_move_left_x
 {
+  scm_t_array_handle handle1, handle2;
+  const SCM *elts1;
+  SCM *elts2;
   size_t len1, len2;
+  ssize_t inc1, inc2;
   size_t i, j, e;
+  
+  elts1 = scm_vector_elements (vec1, &handle1, &len1, &inc1);
+  elts2 = scm_vector_writable_elements (vec2, &handle2, &len2, &inc2);
 
-  len1 = scm_c_vector_length (vec1);
-  len2 = scm_c_vector_length (vec2);
   i = scm_to_unsigned_integer (start1, 0, len1);
   e = scm_to_unsigned_integer (end1, i, len1);
   j = scm_to_unsigned_integer (start2, 0, len2 - (i-e));
   
-  /* Optimize common case of two regular vectors. 
-   */
-  if (SCM_VECTORP (vec1) && SCM_VECTORP (vec2))
-    {
-      for (; i < e; i++, j++)
-       SCM_VECTOR_SET (vec2, j, SCM_VECTOR_REF (vec1, i));
-    }
-  else
-    {
-      for (; i < e; i++, j++)
-       scm_c_vector_set_x (vec2, j, scm_c_vector_ref (vec1, i));
-    }
-  
+  i *= inc1;
+  e *= inc1;
+  j *= inc2;
+  for (; i < e; i += inc1, j += inc2)
+    elts2[j] = elts1[i];
+
+  scm_array_handle_release (&handle2);
+  scm_array_handle_release (&handle1);
+
   return SCM_UNSPECIFIED;
 }
 #undef FUNC_NAME
@@ -367,154 +579,74 @@ SCM_DEFINE (scm_vector_move_right_x, "vector-move-right!", 5, 0, 0,
            "@var{start1} is less than @var{start2}.")
 #define FUNC_NAME s_scm_vector_move_right_x
 {
+  scm_t_array_handle handle1, handle2;
+  const SCM *elts1;
+  SCM *elts2;
   size_t len1, len2;
+  ssize_t inc1, inc2;
   size_t i, j, e;
+  
+  elts1 = scm_vector_elements (vec1, &handle1, &len1, &inc1);
+  elts2 = scm_vector_writable_elements (vec2, &handle2, &len2, &inc2);
 
-  len1 = scm_c_vector_length (vec1);
-  len2 = scm_c_vector_length (vec2);
   i = scm_to_unsigned_integer (start1, 0, len1);
   e = scm_to_unsigned_integer (end1, i, len1);
   j = scm_to_unsigned_integer (start2, 0, len2 - (i-e));
   
-  /* Optimize common case of two regular vectors. 
-   */
-  j += e - i;
-  if (SCM_VECTORP (vec1) && SCM_VECTORP (vec2))
+  i *= inc1;
+  e *= inc1;
+  j *= inc2;
+  while (i < e)
     {
-      while (i < e)
-       {
-         e--, j--;
-         SCM_VECTOR_SET (vec2, j, SCM_VECTOR_REF (vec1, e));
-       }
+      e -= inc1;
+      j -= inc2;
+      elts2[j] = elts1[e];
     }
-  else
-    {
-      while (i < e)
-       {
-         e--, j--;
-         scm_c_vector_set_x (vec2, j, scm_c_vector_ref (vec1, e));
-       }
-    }
-  
-  return SCM_UNSPECIFIED;
-}
-#undef FUNC_NAME
-
-
-/* Generalized vectors. */
-
-int
-scm_is_generalized_vector (SCM obj)
-{
-  return (scm_is_vector (obj)
-         || scm_is_string (obj)
-         || scm_is_bitvector (obj)
-         || scm_is_uniform_vector (obj));
-}
-
-SCM_DEFINE (scm_generalized_vector_p, "generalized-vector?", 1, 0, 0,
-           (SCM obj),
-           "Return @code{#t} if @var{obj} is a vector, string,\n"
-           "bitvector, or uniform numeric vector.")
-#define FUNC_NAME s_scm_generalized_vector_p
-{
-  return scm_from_bool (scm_is_generalized_vector (obj));
-}
-#undef FUNC_NAME
 
-size_t
-scm_c_generalized_vector_length (SCM v)
-{
-  if (scm_is_vector (v))
-    return scm_c_vector_length (v);
-  else if (scm_is_string (v))
-    return scm_c_string_length (v);
-  else if (scm_is_bitvector (v))
-    return scm_c_bitvector_length (v);
-  else if (scm_is_uniform_vector (v))
-    return scm_c_uniform_vector_length (v);
-  else
-    scm_wrong_type_arg_msg (NULL, 0, v, "generalized vector");
-}
+  scm_array_handle_release (&handle2);
+  scm_array_handle_release (&handle1);
 
-SCM_DEFINE (scm_generalized_vector_length, "generalized-vector-length", 1, 0, 0,
-           (SCM v),
-           "Return the length of the generalized vector @var{v}.")
-#define FUNC_NAME s_scm_generalized_vector_length
-{
-  return scm_from_size_t (scm_c_generalized_vector_length (v));
+  return SCM_UNSPECIFIED;
 }
 #undef FUNC_NAME
 
-SCM
-scm_c_generalized_vector_ref (SCM v, size_t idx)
-{
-  if (scm_is_vector (v))
-    return scm_c_vector_ref (v, idx);
-  else if (scm_is_string (v))
-    return scm_c_string_ref (v, idx);
-  else if (scm_is_bitvector (v))
-    return scm_c_bitvector_ref (v, idx);
-  else if (scm_is_uniform_vector (v))
-    return scm_c_uniform_vector_ref (v, idx);
-  else
-    scm_wrong_type_arg_msg (NULL, 0, v, "generalized vector");
-}
-
-SCM_DEFINE (scm_generalized_vector_ref, "generalized-vector-ref", 2, 0, 0,
-           (SCM v, SCM idx),
-           "Return the element at index @var{idx} of the\n"
-           "generalized vector @var{v}.")
-#define FUNC_NAME s_scm_generalized_vector_ref
+\f
+static SCM
+vector_handle_ref (scm_t_array_handle *h, size_t idx)
 {
-  return scm_c_generalized_vector_ref (v, scm_to_size_t (idx));
+  if (idx > h->dims[0].ubnd)
+    scm_out_of_range ("vector-handle-ref", scm_from_size_t (idx));
+  return ((SCM*)h->elements)[idx];
 }
-#undef FUNC_NAME
 
-void
-scm_c_generalized_vector_set_x (SCM v, size_t idx, SCM val)
+static void
+vector_handle_set (scm_t_array_handle *h, size_t idx, SCM val)
 {
-  if (scm_is_vector (v))
-    scm_c_vector_set_x (v, idx, val);
-  else if (scm_is_string (v))
-    scm_c_string_set_x (v, idx, val);
-  else if (scm_is_bitvector (v))
-    scm_c_bitvector_set_x (v, idx, val);
-  else if (scm_is_uniform_vector (v))
-    scm_c_uniform_vector_set_x (v, idx, val);
-  else
-    scm_wrong_type_arg_msg (NULL, 0, v, "generalized vector");
+  if (idx > h->dims[0].ubnd)
+    scm_out_of_range ("vector-handle-set!", scm_from_size_t (idx));
+  ((SCM*)h->writable_elements)[idx] = val;
 }
 
-SCM_DEFINE (scm_generalized_vector_set_x, "generalized-vector-set!", 3, 0, 0,
-           (SCM v, SCM idx, SCM val),
-           "Set the element at index @var{idx} of the\n"
-           "generalized vector @var{v} to @var{val}.")
-#define FUNC_NAME s_scm_generalized_vector_set_x
+static void
+vector_get_handle (SCM v, scm_t_array_handle *h)
 {
-  scm_c_generalized_vector_set_x (v, scm_to_size_t (idx), val);
-  return SCM_UNSPECIFIED;
+  h->array = v;
+  h->ndims = 1;
+  h->dims = &h->dim0;
+  h->dim0.lbnd = 0;
+  h->dim0.ubnd = SCM_I_VECTOR_LENGTH (v) - 1;
+  h->dim0.inc = 1;
+  h->element_type = SCM_ARRAY_ELEMENT_TYPE_SCM;
+  h->elements = h->writable_elements = SCM_I_VECTOR_WELTS (v);
 }
-#undef FUNC_NAME
 
-SCM_DEFINE (scm_generalized_vector_to_list, "generalized-vector->list", 1, 0, 0,
-           (SCM v),
-           "Return a new list whose elements are the elements of the\n"
-           "generalized vector @var{v}.")
-#define FUNC_NAME s_scm_generalized_vector_to_list
-{
-  if (scm_is_vector (v))
-    return scm_vector_to_list (v);
-  else if (scm_is_string (v))
-    return scm_string_to_list (v);
-  else if (scm_is_bitvector (v))
-    return scm_bitvector_to_list (v);
-  else if (scm_is_uniform_vector (v))
-    return scm_uniform_vector_to_list (v);
-  else
-    scm_wrong_type_arg_msg (NULL, 0, v, "generalized vector");
-}
-#undef FUNC_NAME
+SCM_ARRAY_IMPLEMENTATION (scm_tc7_vector, 0x7f & ~2,
+                          vector_handle_ref, vector_handle_set,
+                          vector_get_handle);
+SCM_ARRAY_IMPLEMENTATION (scm_tc7_wvect, 0x7f & ~2,
+                          vector_handle_ref, vector_handle_set,
+                          vector_get_handle);
+SCM_VECTOR_IMPLEMENTATION (SCM_ARRAY_ELEMENT_TYPE_SCM, scm_make_vector);
 
 
 void