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

[cmucl-imp] New Year snapshot
by Raymond Toy 08 Jan '11

08 Jan '11

Happy (belated) New Year! Yet another month (and year!) has gone by so it's time for another snapshot. Just some random bugfixes for the most part, but NetBSD has received some updates to support printing of floating-point numbers during tracing. Backtraces on NetBSD also includes the foreign function name when possible, just like on Linux and Mac OS X. Also, the sources include support for running on Solaris X86. (This seems to work fine when running a 32-bit Solaris/X86 in VirtualBox. But it won't compile itself on a 64-bit Solaris/X86 system. Don't know why.) You might need to use boot-2010-12 to bootstrap this change. (Needed on sparc, but apparently not on Linux and Mac OS X.) Binaries will be uploaded soon. Happy New Year! Ray

1 0

Re: [cmucl-imp] [cmucl-commit] CMUCL commit: src/code (package.lisp)
by Madhu 26 Dec '10

26 Dec '10

|From: Raymond Toy <rtoy(a)common-lisp.net> |Date: Sun, 26 Dec 2010 09:03:48 -0500 |MIME-Version: 1.0 |Content-Type: text/plain; charset="us-ascii" | | Date: Sunday, December 26, 2010 @ 09:03:48 | Author: rtoy | Path: /project/cmucl/cvsroot/src/code | |Modified: package.lisp | |Unintern removes the wrong symbol. See |https://bugs.launchpad.net/sbcl/+bug/693796. [It would be nice to have the whole relevant description in the repository, as part of the commit, instead of citing some website which may or may not be offline] I believe this patch would break the following use case which used to work earlier $ cat test.l (in-package "CL-USER") (eval-when (load eval compile) (when (find-package "FOO-PACKAGE") (delete-package "FOO-PACKAGE")) (when (find-package "BAR-PACKAGE") (delete-package "BAR-PACKAGE"))) (defpackage "FOO-PACKAGE" (:export "BAR-SYMBOL")) (defpackage "BAR-PACKAGE") (eval-when (load eval compile) (unintern 'foo-package:bar-symbol "FOO-PACKAGE")) (assert (not (find-symbol "BAR-SYMBOL" "FOO-PACKAGE"))) * (load (compile-file "test.l")) |Index: src/code/package.lisp |diff -u src/code/package.lisp:1.80 src/code/package.lisp:1.81 |--- src/code/package.lisp:1.80 Tue Apr 20 13:57:45 2010 |+++ src/code/package.lisp Sun Dec 26 09:03:48 2010 |@@ -1444,8 +1444,8 @@ | (remove symbol shadowing-symbols))) | | (multiple-value-bind (s w) (find-symbol name package) |- (declare (ignore s)) |- (cond ((or (eq w :internal) (eq w :external)) |+ (cond ((not (eq symbol s)) nil) |+ ((or (eq w :internal) (eq w :external)) | (nuke-symbol (if (eq w :internal) | (package-internal-symbols package) | (package-external-symbols package))

3 8

[cmucl-imp] [CfP] 4th European Lisp Symposium, March 31 - April 1, 2010, Hamburg
by Didier Verna 14 Dec '10

14 Dec '10

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 4th European Lisp Symposium Special Focus on Parallelism & Efficiency March 31 - April 1st, 2011 TUHH, Hamburg University of Technology Hamburg, Germany http://www.european-lisp-symposium.org/ Sponsored by EPITA, Lispworks, Franz Inc. and Nova Sparks ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Invited Speakers: ~~~~~~~~~~~~~~~~~ Marc Battyani (Nova Sparks) Craig Zilles (University of Illinois) Important Dates ~~~~~~~~~~~~~~~~ + Submission Deadline: January 09, 2011 + Author Notification: February 06, 2011 + Final Paper Due: February 28, 2011 + Symposium: March 31 - April 1st, 2011 Authors of accepted research contributions will be invited to submit an extended version of their papers for journal publication. Scope ~~~~~~ The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket and so on. We encourage everyone interested in Lisp to participate. The European Lisp Symposium 2011 invites high quality papers about novel research results, insights and lessons learned from practical applications, and educational perspectives. We also encourage submissions about known ideas as long as they are presented in a new setting and/or in a highly elegant way. This year's focus will be directed towards "Parallelism & Efficiency". We especially invite submissions in the following areas: + Parallel and distributed computing + Code generation for multi-core architectures + Code generation for HTM + Large and ultra-large systems + Optimization techniques + Embedded applications Contributions are also welcome in other areas, including but not limited to: + Context-, aspect-, domain-oriented and generative programming + Macro-, reflective-, meta- and/or rule-based development approaches + Language design and implementation + Language integration, inter-operation and deployment + Development methodologies, support and environments + Educational approaches and perspectives + Experience reports and case studies Technical Program: ~~~~~~~~~~~~~~~~~~ We invite submissions in the following forms: * Papers: Technical papers of up to 15 pages that describe original results or explain known ideas in new and elegant ways. * Demonstrations: Abstracts of up to 4 pages for demonstrations of tools, libraries, and applications. * Tutorials: Abstracts of up to 4 pages for in-depth presentations about topics of special interest for at least 90 minutes and up to 180 minutes. * Lightning talks: Abstracts of up to one page for talks to last for no more than 5 minutes. All submissions should be formatted following the ACM SIGS guidelines and include ACM classification categories and terms. For more information on the submission guidelines and the ACM keywords, see: http://www.acm.org/sigs/publications/proceedings-templates http://www.acm.org/about/class/1998 Submissions should be uploaded to Easy Chair, at the following address: http://www.easychair.org/conferences/?conf=els2011 Programme Chair ~~~~~~~~~~~~~~~~ Didier Verna - EPITA Research and Development Laboratory, France Local Chair ~~~~~~~~~~~~ Ralf Moeller - Hamburg University of Technology, Germany Programme Committee ~~~~~~~~~~~~~~~~~~~~ Antonio Leitao - Instituto Superior Tecnico/INESC-ID, Portugal Christophe Rhodes - Goldsmiths College, University of London, UK David Edgar Liebke - Relevance Inc., USA Didier Verna - EPITA Research and Development Laboratory, France Henry Lieberman - MIT Media Laboratory, USA Jay McCarthy - Brigham Young University, USA Jose Luis Ruiz Reina - Universidad de Sevilla, Spain Marco Antoniotti - Universita Milano Bicocca, Italy Manuel Serrano - INRIA, France Michael Sperber - DeinProgramm, Germany Pascal Costanza - Vrije Universiteit of Brussel, Belgium Scott McKay - ITA Software, USA -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22

1 0

[cmucl-imp] Dec snapshots
by Raymond Toy 03 Dec '10

03 Dec '10

The December snapshot has been tagged. Binaries will be uploaded soon. A cross-compile is needed for this snapshot; use the boot-2010-11-1-cross.lisp files as the cross-compile script. You will get a restart so just choose the clobber-it restart. The compiler backend structure has changed to add a couple of new slots to hold the foreign linkage address and size. With this change (and a few more that will be coming soon), I can successfully do a cross-compile from x86 (OSX) to sparc.[1] This hasn't worked ever since linkage-tables was added because the linkage addresses of the compiling system were leaking into the target system. Ray [1] However, the resulting system cannot compile itself unless you comment out the callback stuff. I don't know why this happens. But if you do that, it compiles, and the result will also then compile itself with callback stuff enabled.

1 0

[cmucl-imp] format-related warning
by Didier Verna 11 Nov '10

11 Nov '10

Hello, I just discovered a small bug in a format string of mine thanks to CCL. It is illustrated below: the ~:; control sequence is meaningless in this context. (defun test () (format t "~:[[~A]~:;~A~]" t "foo") (format t "~:[[~A]~:;~A~]" nil "bar") (values)) This function still works correctly, but perhaps a warning would be nice to have, as CCL does. -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com

2 1

[cmucl-imp] Working set
by Helmut Eller 07 Nov '10

07 Nov '10

Is there an easy way to determine the working set size (resident size) that is needed to evaluate some form? TIME prints various things but not what I need. The Linux top command shows a column with the resident size; essentially I'd like to see the maximum of the those values sampled while executing the form. Does the GC have this information already? Would it be difficult/expensive to use getrusage in GC hooks to collect the information? Helmut

2 3

Re: [cmucl-imp] Test
by Raymond Toy 02 Nov '10

02 Nov '10

On 11/1/10 6:37 PM, Martin Cracauer wrote: > Raymond Toy wrote on Mon, Nov 01, 2010 at 06:33:34PM -0400: >> On 11/1/10 6:25 PM, Martin Cracauer wrote: >>> Raymond Toy wrote on Sun, Oct 31, 2010 at 09:34:25AM -0400: >>>> Testing list after move. >>> Looks like replying through Gmane is broken. Can somebody confirm >>> this? I'm not using it. >> It's been broken ever since we closed the lists. >> >> I think I brought this up back then and you said gmane was subscribed. >> I didn't pursue it any further. > I think something just got hosed there, even I cannot post to the list > anymore :-) > Post to which list? Sending messages using gmane? Or sending messages to cmucl-imp and having to archived by gmane? The latter is working for me. Oh, wait. I see that your messages aren't getting archived by gmane after you moved the list. But my messages are. Don't know what's up with that. :-( Ray

2 1

Re: [cmucl-imp] Test
by Raymond Toy 01 Nov '10

01 Nov '10

On 11/1/10 6:25 PM, Martin Cracauer wrote: > Raymond Toy wrote on Sun, Oct 31, 2010 at 09:34:25AM -0400: >> Testing list after move. > Looks like replying through Gmane is broken. Can somebody confirm > this? I'm not using it. It's been broken ever since we closed the lists. I think I brought this up back then and you said gmane was subscribed. I didn't pursue it any further. Ray

1 0

[cmucl-imp] 20b patch 000 available
by Raymond Toy 01 Nov '10

01 Nov '10

Well, that didn't last long. I've discovered a bug in REALPART and IMAGPART for x86/sse2 builds. Here is an example of the bug: (defun zot-r (z) (declare (type (simple-array (complex double-float) (*)) z)) (realpart (aref z 0))) (compile 'zot-r) (let ((z (make-array 1 :element-type '(complex double-float) :initial-element #c(42d0 -42d0)))) (zot-r z)) This returns 0d0 instead of 42d0. If you replace realpart with imagpart, you also get 0d0 instead of -42d0. This has been fixed in 2010-11 snapshot. For 20b, you can find a patch for this at <http://common-lisp.net/project/cmucl/downloads/release/20b/patches/cmucl-20…> As usual, download this patch, untar it somewhere. Load cmucl-20b-patch-000.asd, and (asdf:oos 'asdf:load-op :cmucl-20b-patch-000). (Alternatively, you can untar it somewhere where asdf can find the patch-000.asd file.) Sorry for the trouble, Ray

1 0

[cmucl-imp] Happy Halloween snapshot
by Raymond Toy 31 Oct '10

31 Oct '10

The Happy Halloween snapshot has been tagged (snapshot-2010-11). This snapshot requires a cross-compile because some changes in the fd-stream structure. You can just use the normal cross-build-world procedure. Nothing special required. This also fixes a scary critical bug in sse2 support where (realpart (aref <complex-array> n)) always returned 0 in certain situations. Same bug for imagpart. (I'm debating whether to provide a patch for this for 20b.) See the release notes for more info about the changes. Binaries will be uploaded soon. Ray

1 0