- armedbear-devel - mailman3.common-lisp.net

[armedbear-devel] abcl and maxima
by Reinhard Oldenburg 27 Feb '11

27 Feb '11

Dear All, after quite a while I came back to running maxima on abcl becaus there is an increasing interest in incorporationg maxima in Java based projects. Some time ago Mark explained that in principal loadinf form jars can be done, but it seems that it ned some time to twea maxima-load.lisp so that it loadsfrom a jar containing all the abcl files. Has anything happend on this in the meantime? Reinhard -- Prof. Dr. Reinhard Oldenburg Goethe-Universität Frankfurt Institut für Didaktik der Mathematik und Informatik Senckenberganlage 9 (Sekretariat) Robert-Mayer-Str. 10 (Dienstzimmer) D-60325 Frankfurt/Main Telefon +49 (0)69 798 23770 Telefax +49 (0)69 798 22553 E-Mail oldenbur(a)math.uni-frankfurt.de WWW www.math.uni-frankfurt.de/~oldenbur

2 1

[armedbear-devel] Support for -- in parameter lists
by Ville Voutilainen 20 Feb '11

20 Feb '11

It's common that a double-dash (--) alone can be used to tell a command line parser to stop interpreting further arguments. So, I implemented that very feature for ABCL in r13226. Lo and behold: given a test snippet, saved in cmdline.lisp: (loop for item in *command-line-argument-list* do (format t "got arg ~a~%" item)) we can do ./abcl --batch --eval '(load "cmdlinetest.lisp")' -- hops hups jee jee --eval '(format t "hah~%")' -- -- -- Armed Bear Common Lisp 0.25.0-dev-svn-13225M Java 1.6.0_22 Sun Microsystems Inc. Java HotSpot(TM) Server VM Low-level initialization completed in 0.626 seconds. Startup completed in 1.778 seconds. got arg hops got arg hups got arg jee got arg jee got arg --eval got arg (format t "hah~%") got arg -- got arg -- got arg --

1 0

Re: [armedbear-devel] newbie question
by Lukas Georgieff 17 Feb '11

17 Feb '11

Hi "all", thanks for the great amount of answers. Seems that the best way to handle my problem is to pack the necessary file within the jar file. Best regards Lukas -----Original Message----- From: Alessio Stalla Sent: Wednesday, February 16, 2011 5:35 PM To: Mark Evenson Cc: armedbear-devel(a)common-lisp.net Subject: Re: [armedbear-devel] newbie question On Wed, Feb 16, 2011 at 5:23 PM, Mark Evenson <evenson(a)panix.com> wrote: > To use more CL-like language: a file "test.lisp" has a FASL "test.abcl". > Our FASL is a zip of the initialization code ('%%%._'), the classes > our bytecode compiler emits ('%%%-nnn.cls') for each top-level form in > the corresponding ('%%%.lisp') source file. The contents of the > bootstraip ('%%%._') are executed when this FASL is (re)loaded. Replace "for each top-level form" with "for each function definition" and it's 100% correct ;) A. _______________________________________________ armedbear-devel mailing list armedbear-devel(a)common-lisp.net http://common-lisp.net/cgi-bin/mailman/listinfo/armedbear-devel

1 0

[armedbear-devel] newbie question
by Lukas Georgieff 16 Feb '11

16 Feb '11

Hi, I am new to ABCL and have a question to it's capabilities:My goal is to load an exsting part of a system coded in lisp into Java and to use the lisp code as basic library for a java application. Currently my approach is to load the lisp code with:Interpreter interpreter = Interpreter.createInstance();interpreter.eval("(load \"my-lisp-code.lisp\")");... So the lisp code must be present in the project every time it is running.Is there any chance to translate the lisp code to a Java source file by using ABCL? So it would not be necessary to provide the lisp code in the java application after it is translated once. Best regards Lukas

4 6

[armedbear-devel] 'unsafe-p-removal' branch integrated in trunk
by Erik Huelsmann 15 Feb '11

15 Feb '11

Just a second ago, I've merged the unsafe-p-removal branch to trunk. It's been sitting in its own branch, completed, for about 4 weeks, waiting for us to release 0.24.0 - which cleared trunk for destabilizing changes. The purpose of the change is to push the responsibility of maintaining stack consistency (ie. prevent 'stack inconsistency' class verification exceptions) to pass2. Before, this responsibility was a joint effort between pass1 and pass2, with a heavy focus on pass1. However since we started inlining local functions, not enough information is available in pass1 anymore to execute its responsibilities correctly. In pass2 all information is available to take on this responsibility and with some additional infrastructure, that's what this change achieves. Due to the fact that quite a bit of pass2 code has been refactored, the change could have a slightly destabilizing effect on trunk. Please help test your software on ABCL to make sure we release - when we do - code as stable as ever! Bye, Erik.

1 0

[armedbear-devel] GSoC2011 project proposals
by Erik Huelsmann 15 Feb '11

15 Feb '11

Hi, In order to see if we have enough material to contend timeslots in GSoC2011, I've started a list of proposed projects right here: http://trac.common-lisp.net/armedbear/wiki/GSoC2011 Please, if you have Trac access feel free to nominate and describe your project directly on the wiki, or send your reaction as a response to this one if you don't! Bye, Erik.

1 0

[armedbear-devel] [CfPart] 4th European Lisp Symposium, registration open!
by Didier Verna 15 Feb '11

15 Feb '11

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 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, TUHH, Lispworks, Franz Inc., NovaSparks and Freiheit ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Registration is now open! See http://www.european-lisp-symposium.org/content-registration-full.html for details. The deadline for early registration is March 12. There is a reduced fee for students and accompanying persons. You may also subscribe to mailing lists for this year's occurrence on the registration page. Invited Speakers: ~~~~~~~~~~~~~~~~~ Craig Zilles -- Compiling for the common case Marc Battyani -- Reconfigurable computing on steroids Apostolos Syropoulos -- Scala: an OO surprise The complete program will be available shortly. 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, SKILL and so on. We encourage everyone interested in Lisp to participate. 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

1 0

[armedbear-devel] Registering Java Exceptions
by William 14 Feb '11

14 Feb '11

Hi, I am trying to register Java exceptions using REGISTER-JAVA-EXCEPTION but it does not seem to work for me as evidenced by the transcript below. Is there anything that I may have missed? Armed Bear Common Lisp 0.23.1 Java 1.6.0_20 Sun Microsystems Inc. Java HotSpot(TM) 64-Bit Server VM Low-level initialization completed in 0.354 seconds. Startup completed in 1.579 seconds. Type ":help" for a list of available commands. CL-USER(1): (define-condition java-illegal-argument-error (java-exception) ()) JAVA-ILLEGAL-ARGUMENT-ERROR CL-USER(2): (register-java-exception "java.lang.IllegalArgumentException" 'java-illegal-argument-error) NIL CL-USER(3): (ignore-errors (jstatic (jmethod "java.lang.String" "valueOf" "int") "java.lang.String" "12")) NIL #<JAVA-EXCEPTION {4A6F19D5}> CL-USER(4): (jstatic (jmethod "java.lang.String" "valueOf" "int") "java.lang.String" "12") #<THREAD "interpreter" {2690ED81}>: Debugger invoked on condition of type JAVA-EXCEPTION #<JAVA-EXCEPTION {74D8C3EE}> Restarts: 0: TOP-LEVEL Return to top level. [1] CL-USER(5): 0 CL-USER(6): Kind regards, Martin.

2 1

Re: [armedbear-devel] [armedbear-cvs] r13219 - trunk/abcl/src/org/armedbear/lisp
by Erik Huelsmann 13 Feb '11

13 Feb '11

Some testing showed that this commit increases instance creation throughput by 100% (ie. doubles the number of instances created in a certain amount of time.) With this change, I was creating 1000 instances of the slot-less class A in 0.020 and 0.018 seconds. That's still way too slow: clisp does it in 0.007s but anyway, before the change it was 0.038. Would be nice to find out how the others get their performance from - which tricks and optimizations. Bye, Erik. On Sun, Feb 13, 2011 at 10:08 PM, Erik Huelsmann <ehuelsmann(a)common-lisp.net> wrote: > Author: ehuelsmann > Date: Sun Feb 13 16:08:31 2011 > New Revision: 13219 > > Log: > Add caching to CHECK-INITARGS: cache sets of allowable initargs > per class. > > Note: This change *only* implements caching for "case 1" out of the 4 > cases that check-initargs now supports. (Case 1 being instance creation.) > > Modified: > trunk/abcl/src/org/armedbear/lisp/clos.lisp > > Modified: trunk/abcl/src/org/armedbear/lisp/clos.lisp > ============================================================================== > --- trunk/abcl/src/org/armedbear/lisp/clos.lisp (original) > +++ trunk/abcl/src/org/armedbear/lisp/clos.lisp Sun Feb 13 16:08:31 2011 > @@ -693,7 +693,8 @@ > (let ((class (std-allocate-instance +the-standard-class+))) > (check-initargs (list #'allocate-instance #'initialize-instance) > (list* class initargs) > - class t initargs) > + class t initargs > + *make-instance-initargs-cache*) > (%set-class-name name class) > (%set-class-layout nil class) > (%set-class-direct-subclasses () class) > @@ -740,6 +741,10 @@ > (list (find-class 'sequence) > (find-class 'java:java-object))) > > +(defvar *make-instance-initargs-cache* > + (make-hash-table :test #'eq) > + "Cached sets of allowable initargs, keyed on the class they belong to.") > + > (defun ensure-class (name &rest all-keys &key metaclass &allow-other-keys) > ;; Check for duplicate slots. > (remf all-keys :metaclass) > @@ -786,11 +791,14 @@ > new-class)) > (t > ;; We're redefining the class. > + (remhash old-class *make-instance-initargs-cache*) > (%make-instances-obsolete old-class) > (setf (class-finalized-p old-class) nil) > - (check-initargs (list #'allocate-instance #'initialize-instance) > + (check-initargs (list #'allocate-instance > + #'initialize-instance) > (list* old-class all-keys) > - old-class t all-keys) > + old-class t all-keys > + nil) > (apply #'std-after-initialization-for-classes old-class all-keys) > old-class))) > (t > @@ -1585,10 +1593,31 @@ > all of the keyword arguments defined for the ~ > generic function." method-lambda-list name))))) > > +(defvar *gf-initialize-instance* nil > + "Cached value of the INITIALIZE-INSTANCE generic function. > +Initialized with the true value near the end of the file.") > +(defvar *gf-allocate-instance* nil > + "Cached value of the ALLOCATE-INSTANCE generic function. > +Initialized with the true value near the end of the file.") > +(defvar *gf-shared-initialize* nil > + "Cached value of the SHARED-INITIALIZE generic function. > +Initialized with the true value near the end of the file.") > +(defvar *gf-reinitialize-instance* nil > + "Cached value of the REINITIALIZE-INSTANCE generic function. > +Initialized with the true value near the end of the file.") > + > (declaim (ftype (function * method) ensure-method)) > (defun ensure-method (name &rest all-keys) > (let ((method-lambda-list (getf all-keys :lambda-list)) > (gf (find-generic-function name nil))) > + (when (or (eq gf *gf-initialize-instance*) > + (eq gf *gf-allocate-instance*) > + (eq gf *gf-shared-initialize*) > + (eq gf *gf-reinitialize-instance*)) > + ;; ### Clearly, this can be targeted much more exact > + ;; as we only need to remove the specializing class and all > + ;; its subclasses from the hash. > + (clrhash *make-instance-initargs-cache*)) > (if gf > (check-method-lambda-list name method-lambda-list > (generic-function-lambda-list gf)) > @@ -2565,18 +2594,11 @@ > ;; methods, along with the predefined initialization argument :ALLOW-OTHER-KEYS." > ;; 7.1.2 > > -(defun check-initargs (gf-list args instance shared-initialize-param initargs) > - "Checks the validity of `initargs' for the generic functions in `gf-list' when > -called with `args' by calculating the applicable methods for each gf. > -The applicable methods for SHARED-INITIALIZE based on `instance', > -`shared-initialize-param' and `initargs' are added to the list of > -applicable methods." > - (when (oddp (length initargs)) > - (error 'program-error > - :format-control "Odd number of keyword arguments.")) > - (unless (getf initargs :allow-other-keys) > - (let* ((methods > - (nconc > +(defun calculate-allowable-initargs (gf-list args instance > + shared-initialize-param > + initargs) > + (let* ((methods > + (nconc > (compute-applicable-methods #'shared-initialize > (list* instance > shared-initialize-param > @@ -2584,26 +2606,48 @@ > (mapcan #'(lambda (gf) > (compute-applicable-methods gf args)) > gf-list))) > - (method-keyword-args > - (reduce #'merge-initargs-sets > - (mapcar #'method-lambda-list methods) > - :key #'extract-lambda-list-keywords > - :initial-value nil)) > - (slots-initargs > - (mapappend #'slot-definition-initargs > - (class-slots (class-of instance)))) > - (allowable-initargs > - (merge-initargs-sets > - (merge-initargs-sets slots-initargs method-keyword-args) > - '(:allow-other-keys)))) ;; allow-other-keys is always allowed > - (unless (eq t allowable-initargs) > - (do* ((tail initargs (cddr tail)) > - (initarg (car tail) (car tail))) > - ((null tail)) > - (unless (memq initarg allowable-initargs) > - (error 'program-error > - :format-control "Invalid initarg ~S." > - :format-arguments (list initarg)))))))) > + (method-keyword-args > + (reduce #'merge-initargs-sets > + (mapcar #'method-lambda-list methods) > + :key #'extract-lambda-list-keywords > + :initial-value nil)) > + (slots-initargs > + (mapappend #'slot-definition-initargs > + (class-slots (class-of instance))))) > + (merge-initargs-sets > + (merge-initargs-sets slots-initargs method-keyword-args) > + '(:allow-other-keys)))) ;; allow-other-keys is always allowed > + > +(defun check-initargs (gf-list args instance > + shared-initialize-param initargs > + cache) > + "Checks the validity of `initargs' for the generic functions in `gf-list' > +when called with `args' by calculating the applicable methods for each gf. > +The applicable methods for SHARED-INITIALIZE based on `instance', > +`shared-initialize-param' and `initargs' are added to the list of > +applicable methods." > + (when (oddp (length initargs)) > + (error 'program-error > + :format-control "Odd number of keyword arguments.")) > + (unless (getf initargs :allow-other-keys) > + (multiple-value-bind (allowable-initargs present-p) > + (when cache > + (gethash (class-of instance) cache)) > + (unless present-p > + (setf allowable-initargs > + (calculate-allowable-initargs gf-list args instance > + shared-initialize-param initargs)) > + (when cache > + (setf (gethash (class-of instance) cache) > + allowable-initargs))) > + (unless (eq t allowable-initargs) > + (do* ((tail initargs (cddr tail)) > + (initarg (car tail) (car tail))) > + ((null tail)) > + (unless (memq initarg allowable-initargs) > + (error 'program-error > + :format-control "Invalid initarg ~S." > + :format-arguments (list initarg)))))))) > > (defun merge-initargs-sets (list1 list2) > (cond > @@ -2648,7 +2692,8 @@ > (let ((instance (std-allocate-instance class))) > (check-initargs (list #'allocate-instance #'initialize-instance) > (list* instance initargs) > - instance t initargs) > + instance t initargs > + *make-instance-initargs-cache*) > (apply #'initialize-instance instance initargs) > instance)) > > @@ -2670,7 +2715,8 @@ > ;; it received." > (defmethod reinitialize-instance ((instance standard-object) &rest initargs) > (check-initargs (list #'reinitialize-instance) (list* instance initargs) > - instance () initargs) > + instance () initargs > + nil) > (apply #'shared-initialize instance () initargs)) > > (defun std-shared-initialize (instance slot-names all-keys) > @@ -2761,7 +2807,8 @@ > (class-slots (class-of new)))))) > (check-initargs (list #'update-instance-for-different-class) > (list old new initargs) > - new added-slots initargs) > + new added-slots initargs > + nil) > (apply #'shared-initialize new added-slots initargs))) > > ;;; make-instances-obsolete > @@ -2793,7 +2840,8 @@ > (check-initargs (list #'update-instance-for-redefined-class) > (list* instance added-slots discarded-slots > property-list initargs) > - instance added-slots initargs) > + instance added-slots initargs > + nil) > (apply #'shared-initialize instance added-slots initargs)) > > ;;; Methods having to do with class metaobjects. > @@ -3101,6 +3149,11 @@ > ;; FIXME > (defgeneric function-keywords (method)) > > + > +(setf *gf-initialize-instance* (symbol-function 'initialize-instance)) > +(setf *gf-allocate-instance* (symbol-function 'allocate-instance)) > +(setf *gf-shared-initialize* (symbol-function 'shared-initialize)) > +(setf *gf-reinitialize-instance* (symbol-function 'reinitialize-instance)) > (setf *clos-booting* nil) > > (defgeneric class-prototype (class)) > > _______________________________________________ > armedbear-cvs mailing list > armedbear-cvs(a)common-lisp.net > http://common-lisp.net/cgi-bin/mailman/listinfo/armedbear-cvs >

1 0

[armedbear-devel] couple of difficult to debug clos situations
by Alan Ruttenberg 13 Feb '11

13 Feb '11

(defclass a (b)) (make-instance 'a) ; Evaluation aborted on NIL. ;; no backtrace in slime The problem is that b is not defined, but the error makes this difficult to discern. --- Trying to fix the problem in some ways leads to more: (defclass a1 (b1)) (defclass b2 ()) CL-USER> (make-instance 'a1) ; Evaluation aborted on NIL. ;; no backtrace in slime CL-USER> (defclass a1 (b2)) ; Evaluation aborted on NIL. ;; no backtrace in slime --- (defclass a3 (b3)) (mop::class-prototype (find-class 'a3)) ;; here we get a backtrace: #<STANDARD-CLASS A3 {1E8E471}> is not finalized. However it is hard to figure out what the problem is. Now try to fix it: (defclass b3 ()) (mop::class-prototype (find-class 'a3)) ;; still get "is not finalized" error (make-instance 'a3) ;; succeeds (mop::class-prototype (find-class 'a3)) ;; now it succeeds -Alan

2 1