Use Gnulib's `count-one-bits' module.

* m4/gnulib-cache.m4 (gl_MODULES): Add `count-one-bits'.

Merge branch 'master' into strftime-gnulib

Conflicts:
libguile/ChangeLog
srfi/ChangeLog
test-suite/ChangeLog

Get rid of Automake's "maintainer mode".

* NEWS: Update.
* configure.in: Remove `AM_MAINTAINER_MODE' invocation.
* doc/Makefile.am, ice-9/Makefile.am: Ignore `MAINTAINER_MODE'
  conditional.

Update `NEWS' wrt. `mutex-lock' deadlock fix.

Update `NEWS' wrt. the removal of `scm_i_' symbols.

* eval.c: Mark #endif with comment.

Don't sanity check GC numbers on 64 bit platforms, while we
investigate a real fix.

Fix compilation of `libguile-i18n' on NetBSD.

* libguile/i18n.c (str_upcase, str_downcase, scm_char_locale_downcase,
  scm_char_locale_upcase): Cast chars to `int' when invoking `toupper ()'
  et al. to avoid "array subscript has type 'char'" on NetBSD.
  Reported by Greg Toxel <gdt@ir.bbn.com>.

Use Gnulib's `strftime' to address bug #24130.

* libguile/stime.c (scm_strftime): Use `nstrftime ()' from Gnulib.
  This provides the same semantics on all platforms, thereby fixing
  bug #24130.

* doc/ref/posix.texi (Time): Remove note about non-portable `%Z'
  behavior.  Describe the new, portable behavior.

* test-suite/tests/time.test ("strftime")["strftime %Z doesn't return
  garbage"]: Reinstate.
  ["C99 %z format"](have-strftime-%z): Remove.
  ("GMT", "EST+5"): Don't use `have-strftime-%z'.

Add Gnulib `strftime' module, update Gnulib files.

* m4/gnulib-cache.m4 (gl_MODULES): Add `strftime'.

Resolve a deadlock caused by not checking mutex state after calling `SCM_TICK'.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

Raise error on SRFI-18 load if Guile built without threading support

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

Remove `coop-threads' files that had been useless since 2005-03-02.

Fix builds `--without-threads'.

Merge branch 'master' of git://git.sv.gnu.org/guile into nits

Only sanity check numbers if SCM_DEBUG_CELL_ACCESSES is unset.

SCM_DEBUG_CELL_ACCESSES uses the mark bits for its own purposes.

Set SRCPROP{PLIST,COPY} through a macro, so SCM_DEBUG_CELL_ACCESSES compiles.

Use $(GCC_CFLAGS) for `-Werror' et al. so that it's not used to compile
Gnulib code.

Use $(GCC_CFLAGS) for `-Werror' et al. so that it's not used to compile
Gnulib code.

Fix 2 indentation nitpicks.

Style nitpicks: space before () in function call.

Add Gnulib-provided files for convenience.

These come from Gnulib's Git commit
ae3a0d62f26d8156b403e40d6007475006f3136f, dated 2008-08-19.

Never define `_GNU_SOURCE' explicitly since `AC_USE_SYSTEM_EXTENSIONS'
takes care of it.

Conflicts:

ChangeLog
configure.in
libguile/eval.c
libguile/srfi-14.c
libguile/threads.c

Add test case for the GOOPS `class-redefinition' memory corruption.

Add ChangeLog and NEWS entry for the GOOPS `class-redefinition' memory
corruption fix.

Complete fix of `hell' allocation in GOOPS.

Fix sizeof() nitpick for goops corruption.

Make marked conservatively statistic accumulative.

If realloc() fails in scm_realloc, then do a complete GC with complete
sweep directly.

Add a statistic for tracking how many cells are marked conservatively.

This allows an informed choice for deciding how many segments to
create.  After startup, ~2% of the cells are scanned conservatively.

Garbage collection cleanup.

* New file gc-segment-table.c: hold code for the segment table.

* Remove data that might be out of date; remove
  scm_i_adjust_min_yield().  We don't store min_yields, since they
  are only accurate at one point in time (when the sweep finishes).
  We decide the min yield at that point from min_yield_fraction and
  freelist->collected / freelist->swept

* Introduce scm_i_gc_heap_size_delta() replacing
  scm_i_gc_grow_heap_p().

* Remove foo_1 fields containing penultimate results.

* After GC, count mark bit vector to discover number of live
  objects. This simplifies hairy updates.

* Many formatting and layout cleanups.

* Fix in scm_i_sweep_card(): return the length of free_list returned,
  rather than number of deleted objects.

* For mtrigger GCs: do not also run a full sweep after the gc() call, as
  this is inconsistent with lazy sweeping.

* Remove scm_i_make_initial_segment().

* Use calloc in scm_i_make_empty_heap_segment() to save on
  initialization code.

* New function scm_i_sweep_for_freelist() which sweeps, with proper
  statistic variable updates.

* New segments are conceptually blocks with 100% reclaimable cells.

* Remove some useless constants/comments: SCM_HEAP_SIZE,
  SCM_INIT_HEAP_SIZE, SCM_EXPHEAP, SCM_HEAP_SEG_SIZE

* Do not increment scm_cells_allocated() from the
  scm_[double]cell(). This would be a race condition.

* Move some deprecation checks in separate functions to not distract
  from main code flow.

Remove comments about removed variables.

Introduce scm_i_marking to detect when GC mark bits are touched
outside of marking stage.

Remove unused macro UNMARKED_CELL_P()

Use word_2 to store mark bits for freeing structs and vtables in the
correct order.

This ensures that we only use GC Marks during the actual GC Mark.

Do not include private-gc.h in srfi-60.

Fix memory corruption issue with hell[] array: realloc/calloc need to
factor in sizeof(scm_t_bits)

Include min-yields in gc-stats output.

Whitespace and formatting fixes.

Conflicts:

libguile/gc-freelist.c
libguile/gc-segment.c
libguile/gc.h

Remove the now useless `qthreads.m4'.

Fix build failure on Debian hppa architecture (bad stack growth detection)

* configure.in (SCM_I_GSC_STACK_GROWS_UP): Remove use of
AC_CACHE_CHECK, which was inadvertently causing
SCM_I_GSC_STACK_GROWS_UP _always_ to be 0.

Fix misleading output from `(help rationalize)'

* numbers.c (scm_rationalize): Update docstring to match the
manual (which is more correct).  Change argument "err" to "eps",
also to match the manual.

Single stepping through code from Emacs

When you use GDS to evaluate Scheme code from Emacs, you can now use
`C-u' to indicate that you want to single step through that code. See
`Evaluating Scheme Code' in the manual for more details.

* scheme-using.texi (Evaluating Scheme Code): Document use of
        `C-u' prefix with evaluation commands.

        * gds-scheme.el (gds-eval-region, gds-eval-expression)
        (gds-eval-defun, gds-eval-last-sexp): Support `C-u' prefix,
        meaning that user wants to single step through the code.

        * gds-client.scm (handle-nondebug-protocol): Add support for
        setting a trap on code that is about to be evaluated.

ChangeLog for "Improve stack direction test"

ChangeLog for "Improved MIPS/Linux gc_os_dep.c definitions"

Handle lack of `struct dirent64' and `readdir64_r ()' on HP-UX 11.11.

Improve stack direction test

* configure.in: Update stack direction test to be like that in
Autoconf _AC_LIBOBJ_ALLOCA and Gnulib; specifically in involving a
function calling itself.

Improved MIPS/Linux gc_os_dep.c definitions

From Thiemo Seufer <ths@networkno.de>:

* gc_os_dep.c (CPP_WORDSZ, ALIGN_DOUBLE, DATAEND,
DYNAMIC_LOADING): Added #defines.
(_fdata, _end): Added declarations.
(DATASTART): Use _fdata instead of __data_start.
(STACKBOTTOM): Changed from 0x80000000 to 0x7fff8000.

Use `-q' when running standalone tests.

Update `INSTALL'.

Update to Autoconf 2.61.

Update Gnulib files.

Add `scm_c_symbol_length ()'.

Don't declare `scm_i_locale_mutex' as `SCM_INTERNAL'.

Update `THANKS'.

Fix `SCM_INTERNAL' with GCC 4.3.

Add `NEWS' entry for SRFI-18.

srfi-modules.texi (SRFI-18): New sections.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

Modernize Automake files.

Fix doc typo regarding `use-syntax' and "syntax transformers".

Fix harmless typo in SRFI-19.

Disable type-checking of `SCM_UNPACK' for the broken HP compilers.

Update `THANKS'.

guile-config: Show `-L$libdir' before `-lguile'.

Work around `#define except' on Tru64.

Support systems whose <inttypes.h> doesn't define `PRIiMAX'.

Fix SRFI-88 URL in the manual.

Update `NEWS'.

Add `SCM_INTERNAL' macro, use it.

Scheme SRFI-18 implementation and tests file

Delete trailing whitespace.

ChangeLog updates for latest set of SRFI-18 changes

Delete trailing whitespace.

latest set of SRFI-18 support changes to core threads

Expand DEFFROM and DEFTO macros in discouraged.c

* discouraged.c: Expand DEFFROM and DEFTO macros, to avoid
compiler warnings about excess semicolons.  (Reported by Didier
Godefroy.)

Fix continuation problems on IA64.

* Specific problems in IA64 make check

** test-unwind

Representation of the relevant dynamic context:

                  non-rewindable
           catch      frame       make cont.
  o----o-----a----------b-------------c
        \
         \             call cont.
          o-----o-----------d

A continuation is captured at (c), with a non-rewindable frame in the
dynamic context at (b).  If a rewind through that frame was attempted,
Guile would throw to the catch at (a).  Then the context unwinds back
past (a), then winds forwards again, and the captured continuation is
called at (d).

We should end up at the catch at (a).  On ia64, we get an "illegal
instruction".

The problem is that Guile does not restore the ia64 register backing
store (RBS) stack (which is saved off when the continuation is
captured) until all the unwinding and rewinding is done.  Therefore,
when the rewind code (scm_i_dowinds) hits the non-rewindable frame at
(b), the RBS stack hasn't yet been restored.  The throw finds the
jmp_buf (for the catch at (a)) correctly from the dynamic context, and
jumps back to (a), but the RBS stack is invalid, hence the illegal
instruction.

This could be fixed by restoring the RBS stack earlier, at the same
point (copy_stack) where the normal stack is restored.  But that
causes a problem in the next test...

** continuations.test

The dynamic context diagram for this case is similar:

                   non-rewindable
  catch                 frame       make cont.
    a----x-----o----------b-------------c
          \
           \    call cont.
            o-------d

The only significant difference is that the catch point (a) is
upstream of where the dynamic context forks.  This means that the RBS
stack at (d) already contains the correct RBS contents for throwing
back to (a), so it doesn't matter whether the RBS stack that was saved
off with the continuation gets restored.

This test passes with the Guile 1.8.4 code, but fails (with an
"illegal instruction") when the code is changed to restore the RBS
stack earlier as described above.

The problem now is that the RBS stack is being restored _too_ early;
specifically when there is still stuff to do that relies on the old
RBS contents.  When a continuation is called, the sequence of relevant
events is:

  (1) Grow the (normal) stack until it is bigger than the (normal)
      stack saved off in the continuation.  (scm_dynthrow, grow_stack)

  (2) scm_i_dowinds calls itself recursively, such that

      (2.1) for each rewind (from (x) to (c)) that will be needed,
            another frame is added to the stack (both normal and RBS),
            with local variables specifying the required rewind; the
            rewinds don't actually happen yet, they will happen when
            the stack unwinds again through these frames

      (2.2) required unwinds - back from where the continuation was
            called (d) to the fork point (x) - are done immediately.

  (3) The normal (i.e. non-RBS) stack that was stored in the
      continuation is restored (i.e. copied on top of the actual
      stack).

      Note that this doesn't overwrite the frames that were added in
      (2.1), because the growth in (1) ensures that the added frames
      are beyond the end of the restored stack.

  (4) ? Restore the RBS stack here too ?

  (5) Return (from copy_stack) through the (2.1) frames, which means
      that the rewinds now happen.

  (6) setcontext (or longjmp) to the context (c) where the
      continuation was captured.

The trouble is that step (1) does not create space in the RBS stack in
the same kind of way that it does for the normal stack.  Therefore, if
the saved (in the continuation) RBS stack is big enough, it can
overwrite the RBS of the (2.1) frames that still need to complete.
This causes an illegal instruction when we return through those frames
and try to perform the rewinds.

* Fix

The key to the fix is that the saved RBS stack only needs to be
restored at some point before the next setcontext call, and that doing
it as close to the setcontext call as possible will avoid bad
interactions with the pre-setcontext stack.  Therefore we do the
restoration at the last possible point, immediately before the next
setcontext call.

The situation is complicated by there being two ways that the next
setcontext call can happen.

  - If the unwinding and rewinding is all successful, the next
    setcontext will be the one from step (6) above.  This is the
    "normal" continuation invocation case.

  - If one of the rewinds throws an error, the next setcontext will
    come from the throw implementation code.  (And the one in step (6)
    will never happen.)  This is the rewind error case.

In the rewind error case, the code calling setcontext knows nothing
about the continuation.  So to cover both cases, we:

  - copy (in step (4) above) the address and length of the
    continuation's saved RBS stack to the current thread state
    (SCM_I_CURRENT_THREAD)

  - modify all setcontext callers so that they check the current
    thread state for a saved RBS stack, and restore it if so before
    calling setcontext.

* Notes

** I think rewinders cannot rely on using any stack data

Unless it can be guaranteed that the data won't go into a register.
I'm not 100% sure about this, but I think it follows from the fact
that the RBS stack is not restored until after the rewinds have
happened.

Note that this isn't a regression caused by the current fix.  In Guile
1.8.4, the RBS stack was restored _after_ the rewinds, and this is
still the case now.

** Most setcontext calls for `throw' don't need to change the RBS stack

In the absence of continuation invocation, the setcontext call in the
throw implementation code always sets context to a place higher up the
same stack (both normal and RBS), hence no stack restoration is
needed.

* Other changes

** Using setcontext for all non-local jumps (for __ia64__)

Along the way, I read a claim somewhere that setcontext was more
reliable than longjmp, in cases where the stack has been manipulated.

I don't now have any reason to believe this, but it seems reasonable
anyway to leave the __ia64__ code using getcontext/setcontext, instead
of setjmp/longjmp.

(I think the only possible argument against this would be performance -
if getcontext was significantly slower than setjmp.  It that proves to
be the case, we should revisit this.)

** Capping RBS base for non-main threads

Somewhere else along the way, I hit a problem in GC, involving the RBS
stack of a non-main thread.  The problem was, in
SCM_MARK_BACKING_STORE, that scm_ia64_register_backing_store_base was
returning a value that was massively greater than the value of
scm_ia64_ar_bsp, leading to a seg fault.  This is because the
implementation of scm_ia64_register_backing_store_base is only valid
for the main thread.  I couldn't find a neat way of getting the true
RBS base of a non-main thread, but one idea is simply to call
scm_ia64_ar_bsp when guilifying a thread, and use the value returned
as an upper bound for that thread's RBS base.  (Note that the RBS
stack grows upwards.)

(Were it not for scm_init_guile, we could be much more definitive
about this.  We could take the value of scm_ia64_ar_bsp as a
definitive base address for the part of the RBS stack that Guile cares
about.  We could also then discard
scm_ia64_register_backing_store_base.)

Merge changes for 1.8.5.

Remove uses of non-portable makefile constructs.

Avoid warning with GCC on FreeBSD 6.2 in `numbers.c'.

Fix c-tokenize.c error: 'input' defined but not used, when compiling with GCC 4.3.0

Add NEWS and concept index entries for traps infrastructure and Emacs support.

Fix omissions and typos in previous commit.

Add `pkg-config' support.

Fix type-checking of SRFI-1 `partition'.

Include <config.h> in SRFI-1.

Only run `test-with-guile-module' when pthread support is built.

Remove extraneous semi-colon in `read.c'.

Make `(srfi srfi-35)' visible through `cond-expand'.

Add `(srfi srfi-88)'.

Fix dangling references to files that have been removed.

Don't use "-I$(srcdir)", so that our "random.h" doesn't shadow libc's on Tru64.

Document file-exists?

Add `read' benchmark.

Update `NEWS'.

Inline `scm_getc', `scm_putc' and `scm_puts'.

Merge branch 'master' of ssh://civodul@git.sv.gnu.org/srv/git/guile

Don't use "echo -n" in `guile-readline/configure.in'.

Add TAGS to .gitignore

A few elisp fixes and enhancements

* gds-client.scm (gds-debug-trap): Ensure that frame index passed to Emacs is always positive.