- cmucl-imp - mailman3.common-lisp.net

[cmucl-imp] compile-file with :output-file nil?
by Raymond Toy 18 Oct '11

18 Oct '11

Anyone use COMPILE-FILE with :output-file nil? Currently, this causes the file to be compiled, but no fasl is generated. I think strictly speaking the output-file must be a pathname designator and nil is not. In compile-file-pathname an :output-file nil signals an error, and this is slightly inconsistent with compile-file. Ray

1 0

[cmucl-imp] October snapshot tagged
by Raymond Toy 01 Oct '11

01 Oct '11

The October snapshot has been tagged "snapshot-2011-10". (I hope I did that right with that new-fangled git thing!) Key changes are: o Moved repo to git o Added command line options to control the size of the read-only space, static space, control stack and binding stack. The default sizes are unchanged. Other changes: Trac has been integrated with git so that commit messages are emailed to the appropriate lists, and commits can close Trac tickets. Binaries will be uploaded soon. Ray

1 0

[cmucl-imp] Git repo for cmucl
by Raymond Toy 21 Sep '11

21 Sep '11

Cmucl is now officially moving to git. The CVS repo will be turned off soon, and, in fact, should no longer be used at all. The repo will still be available for historical reasons, but no new code should be checked in to it. We had planned on moving to git almost a year ago, but for various reasons never got around to it until now. Additional information will be placed on cmucl's trac wiki, but for now, you can view the repo using trac (coming soon to http://trac.common-lisp.net/cmucl/browser) or directly at <http://common-lisp.net/gitweb?p=projects/cmucl/cmucl.git;a=summary;js=1> For now you can clone the repo using git clone git://common-lisp.net/projects/cmucl/cmucl.git src or for developers git clone ssh://<user>@common-lisp.net/var/git/projects/cmucl/cmucl.git src There is a minor issue to be taken care of: What to do with the RCS keywords that are in all of the files. I rather like seeing that information when you describe something. (Mostly to see when the file was last modified.) Ray

1 1

[cmucl-imp] Labor Day snapshot
by Raymond Toy 03 Sep '11

03 Sep '11

The Sept snapshot has been tagged and binaries will be uploaded soon. Notable changes in this snapshot: - ASDF2 updated to version 2.017. - Improve type propagation for LOAD-TIME-VALUE. - Getting documentation of a structure via DOCUMENTATION no longer signals an error. - Reduce unnecessary consing of SAPs in ROOM. - Make stack overflow checking actually work on Mac OS X. The implementation had the :stack-checking feature, but it didn't actually prevent stack overflows from crashing lisp. - Fix rounding of numbers larger than a fixnum. (This is an ancient bug, going back to the original CMU sources, I think.) Ray

1 0

[cmucl-imp] x86-validate.h
by Helmut Eller 31 Aug '11

31 Aug '11

Is it necessary that we reserve such large areas at startup? #define READ_ONLY_SPACE_SIZE (0x0ffff000) /* 256MB - 1 page */ #define STATIC_SPACE_SIZE (0x0ffff000) /* 256MB - 1 page */ #define BINDING_STACK_SIZE (0x07fff000) /* 128MB - 1 page */ #define CONTROL_STACK_SIZE (0x07fff000 - 8192) (about 128 MB) Why are read-only and static space so large when a core file is less than 30MB? And why do we need such huge stacks? The default stack limit for a JVM is less than 500KB. With such settings one needs at least 720MB to start. That's a problem unless overcommitting is enabled. Helmut

2 7

[cmucl-imp] Testing
by Raymond Toy 25 Aug '11

25 Aug '11

Testing for gmail. Ray

1 0

[cmucl-imp] ASDF 2.017 released
by Faré 24 Aug '11

24 Aug '11

Dear CL users, I released ASDF 2.016.3 as 2.017. (This version has been "stable" for over a month.) Please test and upon success update your implementations and distributions. Since 2.016, we have the following improvements: * ABCL: jar translation happier with recent compile-file-pathname* change. * CCL: see truenamize change below. * GCL: vain partially reverted attempts at making GCL 2.6 and 2.7 fail less. * LispWorks: use probe-file for probe-file* * RMCL: location strings are now POSIX namestrings. You can thus share configuration files and environment variables between RMCL and other Lisp implementations on same host. Use #p"" syntax when you insist on using MacOS 9 style MCL pathnames. * truenamize: happier when e.g. the *default-pathname-defaults* is #p"", which is the case notably on CCL by default, or otherwise relative. * Logical pathnames: now preserved by the source-registry's tree directive. * Upgrade: instead of unintern'ing symbols, use fmakunbound; however, treat compilation of asdf specially, by always making sure it is loaded as source before it is compiled, so that compilation is never an upgrade and never calls fmakunbound, thus ensuring functions in the continuation of compilation are always fbound. * Obsolete: dropped support for *system-cache* and get-uid. * Internals: refactored resolve-relative-location-component. * Documentation: update wrt to the location DSL. Happy Lisping! —♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics• http://fare.tunes.org When my time on earth is completed, I want to go quietly in my sleep, like my grandfather ... not screaming in terror, like his passengers.

2 1

[cmucl-imp] Type propagation for load-time-value
by Helmut Eller 21 Aug '11

21 Aug '11

I'm proposing a patch to improve type propagation for load-time-value. Sorry for the long message: Let's say we have a file bar.lisp containing: (defun bar (x y) (declare (ignore x y))) (defun fun () #'bar) (defun baz (x y) (funcall #'bar x y)) and another file foo.lisp: (defun foo (x y) (funcall (load-time-value (let ((f (funcall 'fun))) (etypecase f (function f))) t) x y)) (defun frob () (time (dotimes (i 10000000) (foo 1 2))) (time (dotimes (i 10000000) (baz 1 2)))) and then do (load (compile-file "bar.lisp")) (load (compile-file "foo.lisp")) (frob) we see that foo runs a bit slower than baz. If we repeat the same with the in-memory compiler then foo and baz run at about the same speed: (compile (defun foo (x y) (funcall (load-time-value (let ((f (funcall 'fun))) (etypecase f (function f))) t) x y))) (frob) The cause seems to be that the ir1-translator for load-time-value throws type information away when producing fasl files an so the typecheck is executed at run time. The patch does two things: 1. in the ir1-translator actually use the type and insert a truly-the form. I only touched the read-only case; not sure what can be done in the other case. 2. change compile-load-time-value a bit: look at the result type of the return node instead of looking only at the function type of the load-time-lambda. This type seems to be more precise. I left the function type thing as fallback, though it looks dubious. With the patch applied the file compiler produces the same code as the in-memory compiler. I only tested it with this example. Helmut

2 2

[cmucl-imp] maybe-finish-mapping in map-allocated-objects must be inline
by Helmut Eller 21 Aug '11

21 Aug '11

The local function MAYBE-FINISH-MAPPING in MAP-ALLOCATED-OBJECTS must be inlined otherwise the CURRENT pointer is boxed and moved into a value cell for every object. That boxing allocates something like 1MB of saps when (room t) is called with an almost empty heap and much more for if there is something on the heap. There's also a unused variable TESTED. It looks like some parts were written by a drunk :-) Helmut --- a/code/room.lisp +++ b/code/room.lisp @@ -368,7 +368,7 @@ (fixnum (sap+ current size)) (memory-size (sap+ current size))))) (setf current c)))) - (declare (inline next)) + (declare (inline next maybe-finish-mapping)) (loop (maybe-finish-mapping) (maybe-skip-page)

2 2

[cmucl-imp] No snapshot for Aug
by Raymond Toy 05 Aug '11

05 Aug '11

For various reasons (not least of which is that my computers are on boxes), there won't be a snapshot for this month. Unfortunately, there was an important unicode fix that when in last month; that won't go in until next month. Ray

1 0