1.0.12.6: Removing UNIX-NAMESTRING, part 1

* Get NATIVE-NAMESTRING to do all and only the desired things for all
  accepted non-wild NAME and TYPE components.  Add a few tests for
  these cases.

* Add new user-visible features to PARSE-NATIVE-NAMESTRING and
  NATIVE-NAMESTRING for parsing/unparsing things "as files" or "as
  directories"; these are convenient for use with SB-POSIX, and will
  be handy in a few places in SBCL's internals, too.

1.0.12.5: WITH-ARRAY-DATA touchups

* Eliminate some double-bounds checks: since WITH-ARRAY-DATA does
  bounds checking, there is no need to vet START and END with
  %CHECK-VECTOR-SEQUENCE-BOUNDS.

* Eliminate some fill-pointer confusion: Since WITH-ARRAY-DATA is
  used both in contexts where fill-pointer needs to be used, and
  in contexts where we only care about the total array size, add
  a :CHECK-FILL-POINTER argument to WITH-ARRAY-DATA.

* Do bounds checking in WITH-ARRAY-DATA based on
  INSERT-ARRAY-BOUNDS-CHECKS policy -- not SPEED vs. SAFETY
  comparison. Adjust tests to check for this.

1.0.12.4: delete bad ROOM test

* Invalid on most platforms.

1.0.12.3: less weakening of type-checks

* WEAKEN-TYPE used to return T for any union-type.  Instead, handle
  union-types implemented by backend properly.

* Also, if no supertype is found, don't replaces with T, as
  eg. oddball union types weakened to T can easily lead to heap
  corruption if the unchecked object ends up being trusted by the
  compiler. (See: WEAKEN-UNION-2 in type.impure.lisp.)

1.0.12.2: oops, test in wrong place

1.0.12.1: more bogus FIXNUM declarations in ROOM

* Test-case by Sidney Markowitz.

1.0.12: release, will be tagged as sbcl_1_0_12

1.0.11.35: fixed bug 417

* Don't store non-unique objects like symbols, fixnums,
  or characters in *SOURCE-PATHS*.

* For future refactoring ease, always access *SOURCE-PATHS*
  via GET-SOURCE-PATH and NOTE-SOURCE-PATH.

1.0.11.34: better SUBSEQ on lists

* Be prepared to handle bignum cases (once we support
  them.)

* Better (and faster) error-checking.

1.0.11.33: Oops, restore REPLACE deftransforms that got dropped in refactoring

1.0.11.32: fix bogus fixnum declarations in ROOM

...conservative approximation: some of the changed
declaractions may have been safe after all.

1.0.11.31: Make SB-PROFILE cons less

        * dx allocate the closed over variables for the profiling wrapper
        * Fixes a bug where a profiled function A calling profiled function
          B would cause 6 words of consing to be attributed to A in the
          profiler.

1.0.11.30: restore buildability on Windows after 1.0.11.27.

src/runtime/wrap.c: move conditional definition of WIN32_LEAN_AND_MEAN
                    so that it precedes other #includes, to prevent
    conflicting win32 stuff from being pulled in by the
                    new wrap.h.

src/runtime/wrap.h: Add preprocessor conditionals to guard against repeated
                    inclusion.

tools-for-build/grovel-headers.c: grovel the wrapped stat types on win32.

1.0.11.29: Faster CONCATENATE on strings

        * Add a result-type dependent DEFTRANSFORM which open-codes directly
          to calls to REPLACE.
        * Constant-fold the array reads for constant string arguments
          in the transform (intended as a slezy benchmark trick, but actually
          it looks as if having some literal strings mixed in with
          variables is pretty common in real world CONCATENATE uses).
        * Add transforms for REPLACE on mixed SIMPLE-BASE-STRINGS and
          (SIMPLE-ARRAY CHARACTER (*)) to support.
        * Speeds up a simple benchmark of concatenating two three-character
          strings by a factor of 15, and by a factor of 30 when the strings
          are constant. For a more real-world example, doing DIRECTORY on
          a large set of files speeds up by 25%.

        Also:

        * Fix a broken test (extra close paren) that was uncovered by
          the write-no-partial-fasls change.

1.0.11.28: Fix one Win32 regression introduced by 1.0.11.26-27.

* grovel-headers.c now pulls in src/code/runtime.h, and so needs a
  kludge to keep Win32's definition of boolean from conflicting with
  SBCL's.  This kludge already existed in win32-os.c, so I moved it
  into runtime.h.

1.0.11.27: Oops-fix -- committed intermediate code to 1.0.11.26

1.0.11.26: correcting some types in SB-UNIX.

1.0.11.25: don't leave incomplete fasls around after compilation

* CLHS says the first return value of COMPILE-FILE is
  NIL if "file could not be created" -- interpret this
  to mean "fasl could not be created" and don't count
  incomplete fasls as fasls.

1.0.11.24: internal hash-table usage thread-safety, part 2

* Logical hosts.

* TRACE.

* Instrumenting profiler.

* Mapping over *PACKAGE-NAMES*.

1.0.11.23: internal hash-table usage thread-safety, part 1

* Use :SYNCHRONIZED hash-tables for the most part, and a light dash of
  WITH-LOCKED-HASH-TABLE as approriapte: *FORWARD-REFERENCED-LAYOUTS*,
  CLASSOID-SUBCLASSES, *COMPILED-DEBUG-FUNS*, *FUN-END-COOKIES*,
  *COMPONENT-BREAKPOINT-OFFSETS*, *EFFECTIVE-METHOD-CACHE*.

* Replace *FOREIGN-LOCK* with *SHARED-OBJECT-LOCK* and hash-table
  based locking for *LINKAGE-INFO* for efficiency.

1.0.11.22: hash-table synchronization support

* :SYNCHRONIZED argument to MAKE-HASH-TABLE.

* HASH-TABLE-SYNCHRONIZED-P predicate.

* WITH-LOCKED-HASH-TABLE for coarser locks.

* Additional MAPHASH & WITH-HASH-TABLE-ITERATOR documentation.

* :LOCKED argument added to DOHASH, and used where appropriate
  (some usages might be overly conservative, though, and could
  be removed.)

1.0.11.21: Give NO-PRIMARY-METHOD a reference.
Motivated by _deepfire's question on #lisp

1.0.11.20: fix with-pinned-objects stack corruption potential

* In the old WITH-PINNED-OBJECTS implementation we pushed pointers
  onto stack explicitly (without telling the compiler), executed
  the body, and _prior_to_returning_values_of_body_ popped the pointers.
  If the values from the body were in progress of being returned via
  unknown-values convention we would (try to) pop the pointers while
  the last callee stack frame (where the values to be returned are)
  is still on the stack. In many cases this was harmless, as the correct
  SP was restored soon enough, but there were bad interactions as well.

* Solution: instead of explicitly pushing pointers, use a LET to
  add binding to the current stack frame for the objects, and further
  use a magic TOUCH-OBJECT function implemented with an empty VOP
  to trick the compiler into keeping the variables live till the end
  of the body.

Probably not perfect, but seems to do the job. Of the added test-case,
the MULTIPLE variants used to fail prior to this.

1.0.11.19: hard failure for corrupted fixups vectors

* Prior to this SBCL used to only print an error message to stderr of
  the process, but since bogus fixups should only occur if something
  is badly wrong we prefer to lose().

1.0.11.18: Make fasls LISP-IMPLEMENTATION-VERSION specific

        * As discussed on sbcl-devel.
        * Reduce the support burden: We get a lot of bug reports that turn
          out to be caused by stale fasls, and even more people probably
          don't report these problems, but just end up thinking that SBCL
          crashes all the time.
        * +FASL-FILE-VERSION+ retained for backwards compability, but should
          only be incremented if the actual fasl format changes.

1.0.11.17: fixed dumb buglet in DEFMACRO NAMED-LET
Someone (jsnell?) on #lisp pointed out that there was still a
#!+SB-DOC left behind after some clod deleted the corresponding
doc string.:-|

also a few comment tweaks

1.0.11.16: Fix tyops in the manual
  * Patch submitted by Eugene Ossintsev

1.0.11.15: Fix sb-posix building on Windows
  * This should unbreak slime on Windows (First reported by Jerry van Dijk)
  * Fix suggested by nyef on #lisp

1.0.11.14: thread-safe FORM-NUMBER-TRANSLATIONS

* Instead of keeping global tables, allocate new ones for each
  call. Since common case seems to be a "decently small" form,
  use a list instead of hash-table.

  ...but we could really do with a better internal set representation
  for arbitrary objects -- both here and in MEMBER type machinery.

1.0.11.13: dead code deletion

* *IR1-LAMBDA-DEBUG-FUN* and *IR1-BLOCK-DEBUG-BLOCK* have been
  unused for a looong time...

1.0.11.12: MAPHASH and WITH-HASH-TABLE documentation

* paraphrase the hash-table traversal/side-effect rule

1.0.11.11: expand zero-object WITH-PINNED-OBJECTS to a PROGN

* x86 and x86-64 only.

1.0.11.10: remove useless WITHOUT-GCING

* The surrounding WITH-RECURSIVE-SYSTEM-SPINLOCK
  has :WITHOUT-GCING T.

1.0.11.9: whitespace

* Fix indentation of target-hash-table.lisp.

1.0.11.8: also fix install-info on Debian
  Also reported by Eugene Ossintsev

1.0.11.7: Don't try to register info-* files using install-info
  Reported by Eugene Ossintsev

1.0.11.6: canonicalize whitespaces only on updated files

1.0.11.5: update tests for newer macos version

 * use MAC_OS_X_VERSION_10_5 instead of __DARWIN_UNIX03

1.0.11.4: Unset GREP_OPTIONS when filtering nm output in linux-nm
  * Nuke it since there is no grep option (that I could see) to
    reverse -i or ignore the GREP_OPTIONS variable
  * Patch by Daniel Lowe

1.0.11.3: belatedly recognizing STREAM-ERROR and PARSE-ERROR printing is OK
* (In my 1.0.9.60 patch, I fixed a READER-ERROR printing bug and
  wrote that parallel PARSE-ERROR and STREAM-ERROR printing bugs
  remained and that I would fix them. Now finally returning to
  fix them, I find that they were fixed already, the tests work
  with with no additional fixes needed.)
* so I just un-#+NILed-out the tests
        * also made a few trivial rearrangements in
          src/code/condition.lisp, moving things around without changing
          meaning

1.0.11.2: defer package creation of defpackage
  Patch by Zach Beane to sbcl-devel 2007-10-09

1.0.11.1: Handle set-but-empty environment variables

  ... SBCL_HOME= sbcl crashed on startup
  ... Patch by Michael Weber

1.0.11: release, will be tagged as sbcl_1_0_11

1.0.10.55: Remove non-portable arguments to find, xargs

1.0.10.54: Fix build with old gcc

Surround code fragment with braces for variable declarations.

1.0.10.53: fix undefined-alien errors on darwin

 * the new mach exception handling stuff was checking to see if there
   were two faults on the page by checking the region's protection
   status and bailing out assuming that there were two faults on the
   same page. The problem was that it was following this code path for
   undefined-alien errors (and presumably control-stack-exhausted)
   thereby just resignalling an EXC_BAD_ACCESS, ad infinitum. Moved
   the checks for the page address being undefined_alien_address, or
   the control stack guard pages up before checking the page
   protection.

1.0.10.52: fix clean.sh for whitespace-containing source directories

1.0.10.51: New function: THREAD-YIELD

An interface to sched_yield().  And use it in busy loops in some tests.

1.0.10.50: short-circuit LVAR type derivation when type becomes T

* Even if there are uses we have not considered yet,
  %LVAR-DERIVED-TYPE can stop if the type turns into the universal
  type.

1.0.10.49: deadline refinements

* Deadlines are per-thread. (Children do no inherit their parents
  deadlines.)

* SIGNAL-DEADLINE estabilishes a DEFER-DEADLINE restart.

* Handle SIGNAL-DEADLINE returning due to deferred deadlines where
  necessary.

* Documentation.

1.0.10.48: new function TRY-RESTART

* Factor out all "find-restart and maybe invoke-restart" logic to one
  place.

1.0.10.47: proper fix for "high-debug-known-function-inlining"

* Add ALLOW-INSTRUMENTING slot to CLAMBDA, taking it's value
  from *ALLOW-INSTRUMENTING*.

* Require LAMBDA-ALLOW-INSTRUMENTING to be true for emission
  of BIND/UNBIND-SENTINEL.

* Remove the earlier KLUDGE workaround.

1.0.10.46: Inline the local functions in MAYBE-REHASH

        * Fixes small hash-table speed regression introduced in
          1.0.10.14 (and hidden by the other improvements in that
          commit).
        * 15-30% speedup over .14 on common hash operations.

1.0.10.45: save typecheck-function in slot-table even if location is not saved

 * Otherwise non-standard metaclasses for which optimized instance
   accessors can be used don't get the typecheck-fun from the wrapper
   in the function returned from MAKE-OPTIMIZED-STD-WRITER-FUNCTION.

 * Test-case.

 * Missing NEWS entry for .44.

1.0.10.44: BUFFER-P, not BUFFERP

 * Reported by Yuri Vishnevsky on sbcl-devel.

 * Test-case coming Real Soon.

1.0.10.43: Fix NaN comparison on x86-64

Comisd and comiss sets all of ZF, PF, and CF of EFLAGS if its
operand contains NaN.  Because PF is never set by normal
comparison, we use it to check NaN.  This is same as "=" vops.

1.0.10.42: change dynamic space area on FreeBSD

If KVA_PAGES is extended from 256 to 384 (1GB to 1.5GB), stack starts
0x9FC00000.  So change dynamic space from 0x60000000-0xA0000000 to
0x58000000-0x98000000.

Nowadays, 4GB of address space is too small, isn't it?

1.0.10.41: Remove unnecessary sched_yield()

Don't call sched_yield() on thread creation and retirement, since
the cost of sched_yield() is very high on FreeBSD 7.

1.0.10.40: Fix build for windows when source directory contains spaces

1.0.10.39: .gitignore additions for windows

1.0.10.38: fix get-host-by-address on Darwin
  sockaddr_in has a length field on Darwin but not on linux

1.0.10.37: fix x86-64/darwin build

 * use MAC_OS_X_VERSION_10_5 instead of __DARWIN_UNIX03 as the test
   for new style headers as __DARWIN_UNIX03 is defined when building
   x86-64 on 10.4

1.0.10.36: support for Darwin versions that support __DARWIN_UNIX03

 * on some versions of darwin symbols without a leading _ are dropped
   by the linker. Use a leading _ on Darwin ldso_stub functions.

 * Add a FIXME about 128-bit integeer passing being broken on x86-64

 * _DARWIN_UNIX03 support
   ** os_context_t is now __darwin_ucontext
   ** eip -> __eip (and friends) - use macro hackery EIP etc...
   ** use darwin_ucontext/darwin_mcontext instead of struct
      ucontext/mcontext where appropriate.
   ** struct ucontext -> os_context_t where appropriate

 * allow socket-error for the aceptable errors in inet-socket error
   test cases

 * Add a fix me about a rumored OS bug fix that in name-service tests

1.0.10.35: fix sb-posix test on linux

 * look for sys instead of wheel when testing getgrnam

1.0.10.34: Fix sb-posix:get{{gr,pw}nam},pwuid,grgid} for non-existing entries.

Used to signal memory fault, now returns NIL on queries for non-existing
users or groups.

1.0.10.33: Lesson: Test before commit.

1.0.10.32: better mach exception handling

 * Patch from Ole Myren Rohne for better mach exception handling. This
   deals with the case where the kernel started a signal handler
   before our mach exception handler got a chance to run. This was
   causing us to inappropriately SIGILL and die. This patch fixes
   this, along with some general cleanup issues, including the
   call_handler_on_thread wrapper function.

 * TODO: this logic needs to be applied to the x86-64/darwin port as
   well

1.0.10.31: sb-posix support for getgrnam and getgrgid

 * add alien-group and group protocol-class

 * add define-gr-call macro a la define-pw-call

 * alien definitions for getgrnam and getgrgid

 * trivial test for above calls

1.0.10.30: Fix build without sb-thread

1.0.10.29: MUTEX refactoring & optimization

 * (SETF MUTEX-VALUE) removed entirely. Using it was never sane,
   and in the new setup entirely broken.

 * On futex platforms, keep track of state of the mutex: free, taken,
   or contested (taken and may have one ore more threads waiting).

 * On release, if the mutex is not contested, there is no need to
   perform the wakeup.

 * Document assumptions made by GET-MUTEX & RELEASE-MUTEX better.

 * Update FASL version.

1.0.10.28: export semaphore interface

 * Semaphores are a fundamental threading construct -- export them.
   Clean up the interface slightly: not (SETF SEMAPHORE-COUNT), note
   that being a subclass of STRUCTURE-OBJECT is not guaranteed, etc.

1.0.10.27: Change unportable find option "-path"

The find option "-path" is not portable.  Use "-prune" not to
recurse into CVS directory.

1.0.10.26: More sb-posix documentation, thanks to Richard M Kreuter

1.0.10.25: Build fix, add a missing bit of hashtable rewrite.

1.0.10.24: Don't include CVS cruft in binary distributions.

1.0.10.23: Shuffle def* foo around for less compiler warnings.

1.0.10.22: Code formatting.

1.0.10.21: MIPS will soon need an explicit -fPIC flag, too.

1.0.10.20: Code provision for a future MIPS gencgc port.

1.0.10.19: Check also for MIPS foreign_function_call lossage
... and fix a spelling typo.

1.0.10.18: Define __USE_GNU only if it wasn't already defined.

1.0.10.17: Reformat string, and fix compiler warning.

1.0.10.16: Add some documentation for sb-posix

  Mutilated contrib/sb-posix/README, removing
  non-implementation-specific bits and referring to sb-alien instead.
  ... Some examples would be nice.

1.0.10.15: Some sb-posix constants for stat().

    Define S_IFMT and its friends S_IFIFO, S_IFDIR etc.

1.0.10.14: remove locking and gc inhibition from hash-tables, power of 2 sizes

        This commit removes a bunch of bottlenecks from the hash-table
        implementation. It speeds up GETHASH, (SETF GETHASH) and
        REMHASH by a factor of 2-4x (on platforms with a real
        WITH-PINNED-OBJECTS) depending on the operation. On the flip
        side, no automatic locking is done on tables any more, so
        multi-threaded applications must do their own locking. (The
        locking done by SBCL was always just an implementation detail,
        not a part of the external interface). By popular demand it's
        also still safe to have multiple readers on the same table
        without locking.

Originally GCs were inhibited during most hash-table
        operations for two reasons. To prevent the GC from rehashing a
        table while a Lisp-side operation is going on, and to prevent
        the GC from moving the key after the hash-value has been
        calculated.

        More recently, most hash-tables operations have acquired a
        lock on the table in order to prevent two concurrent writers
        from corrupting the chains. While it's never been the intent
        for the standard data structures to be automatically
        thread-safe in SBCL, this locking had to be done since corrupt
        tables could lead to infinite GC loops.

        Both the locking and the without-gcing are expensive
        operations relative to the total cost of a hash-table lookup.
        This commit removes both the gc inhibition and the locks.
        Additionally we switch to power of two table size, which
        allows calculating a cheaper hash -> bucket with cheaper
        operations than MOD.

        * The GC no longer does the rehashing itself, but just marks
          the hash-table as needing a rehash, which will then be done
          Lisp-side when the table is next accessed. While it's
          possible to find cases where the former behaviour has better
          performance, they're very contrived.
        * The hash-table operations that work on the chains now check
          for loops in the chains, and signal an error if one is found.
        * The hash-table operations now pin the key before calculating
          the hash value (needed for EQ-based hash functions).
        * Add a GC epoch value that GETHASH can use to check whether
          a GC happened during the lookup. This is needed since another
          thread calling GETHASH on the same table might have caused it
          to be rehashed.
        * Kill the old MUST-REHASH vector header, and replace it with a
          slot in the HASH-TABLE structure. The overloading of the header
          caused missed rehashings when both the GC and %%PUTHASH modified
          it at the same time.
        * Switch to power of two table sizes, with a slightly more complex
          hash value -> bucket calculation than just taking the low bits,
          which in many cases have a very skewed distribution for the existing
          SBCL hash functions. Still a lot faster than using MOD.
        * Leave in locking and GC inhibition during rehashing (needed to
          allow multiple readers to coexist) and for weak hash-tables
          (they need some GC support, and the code is much simpler when
          all of the logic is in the GC instead of interleaved in the GC and
          Lisp-side). Neither of these cases is performance critical.

1.0.10.13: trivial change: Print more explicit message upon entering LDB.

1.0.10.12: logged bug 417

1.0.10.11: Make FEATUREP accept only symbols or conses.

One more restriction on feature expressions: They can contain only conses
or symbols. The previous implementation allowed conses and atoms.

1.0.10.10: theoretical #!+long-float fix to MAKE-MEMBER-TYPE

* 0.0l0, not 0.0lo. Thanks to Peter Graves.

1.0.10.9: symbol-macro expansion uses *MACROEXPAND-HOOK*

Thanks to Tobias Rittweiler.

1.0.10.8: correct nested DX implementation

* Instead of just checking for BASIC-COMBINATION-P,
  HANDLE-NESTED-DYNAMIC-EXTENT needs to do the same check for each USE
  as RECHECK-DYNAMIC-EXTENT-LVARS does.

* Tests.

1.0.10.7: multiply-used DX LVARS

* HANDLE-NESTED-DYNAMIC-EXTENT maps over all the uses of the LVAR,
  collecting their argument lvars as well.

* RECHECK-DYNAMIC-EXTENT-LVARS accepts multiply-used DX LVARs,
  checking that all uses support stack allocation.

* UPDATE-UVL-LIVE-SETS accepts multiply-used DX LVARs, doing that
  lifetime merging with all uses.

* ...and OOPS, move the NEWS entries of .5 and .6 to a new section for
  1.0.11...

1.0.10.6: nested DX allocation

* RECOGNIZE-DYNAMIC-EXTENT-LVARS needs to propagate DX information to
  combination arguments, so that

  (LET ((X (LIST (LIST 1 2) (LIST 3 4))))
    (DECLARE (DYNAMIC-EXTENT X))
    (FOO X))

  does the right thing.

1.0.10.5: dynamic-extent CONS

* Extend EMIT-FIXED-ALLOC to support stack-allocation.

* Appropriate DEFOPTIMIZER for CONS.

Note: it seems like it should be a simple matter to support stack
allocation of all primitive objects allocated using the :ALLOC-TRANS
framework.

1.0.10.4: Use variable for SIG_MEMORY_FAULT on FreeBSD

When SIGBUS is signalled on FreeBSD 7, or SIGSEGV is signalled on
FreeBSD 6 or earlier, it's very hard to debug if both of the signals
are hooked for GC.

Instead to hook both signals, define SIG_MEMORY_FAULT as variable
and set it at startup.

1.0.10.3: Grovel suseconds_t

Instead to detect if suseconds_t exists by OS and architecture,
check it in grovel-features.sh.

1.0.10.2: Don't link unnecessary undefines.c on FreeBSD/i386

undefines.c is not required anymore on FreeBSD/i386.  Since I'm not
sure it's required or not on other *BSD, add it to OS_SRC in
Config.x86-*bsd.

1.0.10.1: Cleanup code

Shut GCC warnings up.

1.0.10: release, will be tagged as sbcl_1_0_10

1.0.9.64: Use umtx system call on FreeBSD to emulate futex.