January 2004 - movitz-cvs@common-lisp.net

[movitz-cvs] CVS update: movitz/special-operators.lisp
by Frode Vatvedt Fjeld 15 Jan '04

15 Jan '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv15680 Modified Files: special-operators.lisp Log Message: Use newly created movitz-macro-expander-make-function. Date: Thu Jan 15 11:40:40 2004 Author: ffjeld Index: movitz/special-operators.lisp diff -u movitz/special-operators.lisp:1.1.1.1 movitz/special-operators.lisp:1.2 --- movitz/special-operators.lisp:1.1.1.1 Tue Jan 13 06:04:59 2004 +++ movitz/special-operators.lisp Thu Jan 15 11:40:40 2004 @@ -8,7 +8,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Fri Nov 24 16:22:59 2000 ;;;; -;;;; $Id: special-operators.lisp,v 1.1.1.1 2004/01/13 11:04:59 ffjeld Exp $ +;;;; $Id: special-operators.lisp,v 1.2 2004/01/15 16:40:40 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -344,19 +344,22 @@ (parse-docstring-declarations-and-body cl-macro-body 'cl:declare) (declare (ignore doc-string)) (setf (movitz-env-get access-fn :setf-expander nil) - (let ((form-formal (or wholevar (gensym))) - (env-formal (or envvar (gensym)))) - (if (null cl-lambda-list) - `(lambda (,form-formal ,env-formal) - (declare ,@declarations) - (translate-program (block ,access-fn ,@cl-body) :cl :muerte.cl)) - `(lambda (,form-formal ,env-formal) - (declare ,@declarations) - (destructuring-bind ,cl-lambda-list - (translate-program (rest ,form-formal) :muerte.cl :cl) - (values-list - (translate-program (multiple-value-list (block ,access-fn ,@cl-body)) - :cl :muerte.cl))))))))))) + (let* ((form-formal (or wholevar (gensym))) + (env-formal (or envvar (gensym))) + (expander (if (null cl-lambda-list) + `(lambda (,form-formal ,env-formal) + (declare (ignorable ,form-formal ,env-formal) + ,@declarations) + (translate-program (block ,access-fn ,@cl-body) :cl :muerte.cl)) + `(lambda (,form-formal ,env-formal) + (declare (ignorable ,form-formal ,env-formal) + ,@declarations) + (destructuring-bind ,cl-lambda-list + (translate-program (rest ,form-formal) :muerte.cl :cl) + (values-list + (translate-program (multiple-value-list (block ,access-fn ,@cl-body)) + :cl :muerte.cl))))))) + (movitz-macro-expander-make-function expander :type :setf))))))) (compiler-values ())) (define-special-operator muerte::defmacro-compile-time (&form form) @@ -396,9 +399,9 @@ (declare ,@declarations) (translate-program (block ,name ,@cl-body) :cl :muerte.cl))))))) (setf (movitz-macro-function name) - (if *compiler-compile-macro-expanders* - (compile expander-name expander-lambda) - expander-lambda))))))) + (movitz-macro-expander-make-function expander-lambda + :name expander-name + :type :defmacro))))))) (compiler-values ())) (define-special-operator muerte::define-compiler-macro-compile-time (&form form) @@ -438,9 +441,9 @@ ,form-formal ; declined (translate-program ,expansion-var :cl :muerte.cl))))))) (setf (movitz-compiler-macro-function operator-name nil) - (if *compiler-compile-macro-expanders* - (compile (make-symbol (format nil "~A-compiler-macro" name)) expander) - expander)))))))) + (movitz-macro-expander-make-function expander + :name (gensym (format nil "~A-compiler-macro-" name)) + :type :compiler-macro)))))))) (compiler-values ())) (define-special-operator muerte::with-inline-assembly-case

1 0

[movitz-cvs] CVS update: movitz/special-operators-cl.lisp
by Frode Vatvedt Fjeld 15 Jan '04

15 Jan '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv15096 Modified Files: special-operators-cl.lisp Log Message: Use newly created movitz-macro-expander-make-function. Date: Thu Jan 15 11:40:34 2004 Author: ffjeld Index: movitz/special-operators-cl.lisp diff -u movitz/special-operators-cl.lisp:1.1.1.1 movitz/special-operators-cl.lisp:1.2 --- movitz/special-operators-cl.lisp:1.1.1.1 Tue Jan 13 06:04:59 2004 +++ movitz/special-operators-cl.lisp Thu Jan 15 11:40:33 2004 @@ -9,7 +9,7 @@ ;;;; Created at: Fri Nov 24 16:31:11 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: special-operators-cl.lisp,v 1.1.1.1 2004/01/13 11:04:59 ffjeld Exp $ +;;;; $Id: special-operators-cl.lisp,v 1.2 2004/01/15 16:40:33 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -271,15 +271,18 @@ (loop for (name local-lambda-list . local-body) in macrolet-specs as cl-local-lambda-list = (translate-program local-lambda-list :muerte.cl :cl) as cl-local-body = (translate-program local-body :muerte.cl :cl) + as expander = `(lambda (form env) + (declare (ignorable env)) + (destructuring-bind ,cl-local-lambda-list + (translate-program (rest form) :muerte.cl :cl) + (translate-program (block ,name (let () ,@cl-local-body)) + :cl :muerte.cl))) do (movitz-env-add-binding local-env (make-instance 'macro-binding :name name - :expander - `(lambda (form env) - (destructuring-bind ,cl-local-lambda-list - (translate-program (rest form) :muerte.cl :cl) - (translate-program (block ,name (let () ,@cl-local-body)) - :cl :muerte.cl)))))) + :expander (movitz-macro-expander-make-function expander + :name name + :type :macrolet)))) (compiler-values-bind (&all body-values &code body-code) (compiler-call #'compile-implicit-progn :defaults forward

1 0

[movitz-cvs] CVS update: movitz/compiler.lisp
by Frode Vatvedt Fjeld 15 Jan '04

15 Jan '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv29669 Modified Files: compiler.lisp Log Message: Added function movitz-macro-expander-make-function which is supposed to take care of compiling (or not) all macro-expander code. Date: Thu Jan 15 11:38:52 2004 Author: ffjeld Index: movitz/compiler.lisp diff -u movitz/compiler.lisp:1.1.1.1 movitz/compiler.lisp:1.2 --- movitz/compiler.lisp:1.1.1.1 Tue Jan 13 06:04:59 2004 +++ movitz/compiler.lisp Thu Jan 15 11:38:52 2004 @@ -8,7 +8,7 @@ ;;;; Created at: Wed Oct 25 12:30:49 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: compiler.lisp,v 1.1.1.1 2004/01/13 11:04:59 ffjeld Exp $ +;;;; $Id: compiler.lisp,v 1.2 2004/01/15 16:38:52 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -107,6 +107,16 @@ (when (slot-boundp object 'name) (write (movitz-funobj-name object) :stream stream))) object) + +(defun movitz-macro-expander-make-function (lambda-form + &key (name (gensym "macro-expander-")) + (type :unknown)) + "Make a lambda-form that is a macro-expander into a proper function." + (declare (ignore type)) + (check-type name symbol) + (if *compiler-compile-macro-expanders* + (compile name lambda-form) + (coerce lambda-form 'function))) (defun make-compiled-funobj (&rest args) (handler-bind (((or warning error)

1 0

[movitz-cvs] CVS update: movitz/parse.lisp
by Frode Vatvedt Fjeld 15 Jan '04

15 Jan '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv29683 Modified Files: parse.lisp Log Message: Don't intern a symbol, intern its name. Date: Thu Jan 15 11:13:00 2004 Author: ffjeld Index: movitz/parse.lisp diff -u movitz/parse.lisp:1.1.1.1 movitz/parse.lisp:1.2 --- movitz/parse.lisp:1.1.1.1 Tue Jan 13 06:04:59 2004 +++ movitz/parse.lisp Thu Jan 15 11:13:00 2004 @@ -9,7 +9,7 @@ ;;;; Created at: Fri Nov 24 16:49:17 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: parse.lisp,v 1.1.1.1 2004/01/13 11:04:59 ffjeld Exp $ +;;;; $Id: parse.lisp,v 1.2 2004/01/15 16:13:00 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -222,11 +222,17 @@ (null (error "Illegal keyword formal: ~S" formal)) (symbol - (values formal (intern (string formal) :keyword) nil nil)) + (values formal + (intern (string formal) :keyword) + nil + nil)) (cons (if (consp (car formal)) (values (cadar formal) (caar formal) (second formal) (third formal)) - (values (car formal) (intern (car formal) :keyword) (second formal) (third formal)))))) + (values (car formal) + (intern (string (car formal)) :keyword) + (second formal) + (third formal)))))) (defun decode-aux-formal (formal) "Return variable-name and init-form."

1 0

[movitz-cvs] CVS update: binary-types/binary-types.lisp
by Frode Vatvedt Fjeld 15 Jan '04

15 Jan '04

Update of /project/movitz/cvsroot/binary-types In directory common-lisp.net:/tmp/cvs-serv15098 Modified Files: binary-types.lisp Log Message: If you get this complaint from PCL: non-symbol and non-interned symbol slot name accessorsare not yet implemented you can set *ignore-hidden-slots-for-pcl* to true. This will disable a certain feature in a quite crude way, but it's not really a feature required to get Movitz going. Newer versions of PCL don't have this misfeature, it seems, so do update. Date: Thu Jan 15 08:18:29 2004 Author: ffjeld Index: binary-types/binary-types.lisp diff -u binary-types/binary-types.lisp:1.1.1.1 binary-types/binary-types.lisp:1.2 --- binary-types/binary-types.lisp:1.1.1.1 Tue Jan 13 06:13:13 2004 +++ binary-types/binary-types.lisp Thu Jan 15 08:18:29 2004 @@ -1,6 +1,6 @@ ;;;;------------------------------------------------------------------ ;;;; -;;;; Copyright (C) 200120001999, 2003, +;;;; Copyright (C) 200120001999, 2003-2004, ;;;; Department of Computer Science, University of Tromsø, Norway ;;;; ;;;; Filename: binary-types.lisp @@ -9,7 +9,7 @@ ;;;; Created at: Fri Nov 19 18:53:57 1999 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: binary-types.lisp,v 1.1.1.1 2004/01/13 11:13:13 ffjeld Exp $ +;;;; $Id: binary-types.lisp,v 1.2 2004/01/15 13:18:29 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -68,6 +68,10 @@ (in-package binary-types) +(defvar *ignore-hidden-slots-for-pcl* nil + "Really ugly hack to allow older PCL-infested lisps to work in the +precense of :map-binary-read-delayed.") + (defvar *binary-write-byte* #'common-lisp:write-byte "The low-level WRITE-BYTE function used by binary-types.") (defvar *binary-read-byte* #'common-lisp:read-byte @@ -611,7 +615,8 @@ :hidden-read-slot ',hidden-read-slot-name :tags ',tags) binslot-forms) - (when hidden-read-slot-name + (when (and hidden-read-slot-name + (not *ignore-hidden-slots-for-pcl*)) (push (list hidden-read-slot-name slot-name map-read-delayed bintype) hidden-slots)) (push bintype binslot-types))))

1 0

[movitz-cvs] CVS update: movitz/doc/ideas.txt
by Frode Vatvedt Fjeld 15 Jan '04

15 Jan '04

Update of /project/movitz/cvsroot/movitz/doc In directory common-lisp.net:/tmp/cvs-serv31034 Modified Files: ideas.txt Log Message: Some ideas about function calling. Date: Thu Jan 15 05:47:58 2004 Author: ffjeld Index: movitz/doc/ideas.txt diff -u movitz/doc/ideas.txt:1.1.1.1 movitz/doc/ideas.txt:1.2 --- movitz/doc/ideas.txt:1.1.1.1 Tue Jan 13 06:05:01 2004 +++ movitz/doc/ideas.txt Thu Jan 15 05:47:57 2004 @@ -1,6 +1,6 @@ ###################################################################### ## -## Copyright (C) 2003, +## Copyright (C) 2003-2004, ## Department of Computer Science, University of Tromsoe, Norway. ## ## For distribution policy, see the accompanying file COPYING. @@ -10,7 +10,7 @@ ## Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ## Created at: Fri Dec 12 19:19:39 2003 ## -## $Id: ideas.txt,v 1.1.1.1 2004/01/13 11:05:01 ffjeld Exp $ +## $Id: ideas.txt,v 1.2 2004/01/15 10:47:57 ffjeld Exp $ ## ###################################################################### @@ -20,3 +20,27 @@ if we add one cache slot to each (caller) funobj. In many cases this would allow for a cache-size of 1 or 2, say. And it'd be possible to determine these cases dynamically. + + +** Function calls via symbols + + - It's a CPU-cache utilization problem that whenever a function is + called via a symbol, the entire symbol is likely to be loaded into + the cache (cache-lines are 32 bytes or more), whereas only the + function-value cell is likely to be used. If symbols are assigned + a small structure, like a cons cell, for holding their + function-value, then funcalls can go via this cell rather than the + symbol. If suchs cells are located cleverly wrt. CPU caching, a + substantial improvement in cache performance might be feasible. + + - The above idea can be taken one step further. Observe that a cons + cell such as described above will represent a mapping from a + symbol S to a function F. Now, we can represent this same mapping + by a funobj FS which is a copy of the funobj F, and with the same + code-vectors. This way, the entire indirect reference to get a + symbol's function-value can be eliminated in the normal case. The + cost is the space overhead of the funobj copies, and a somewhat + more complicated (setf symbol-function). I.e. it would have to + install in the old FS a code-vector that updates the caller + function's references to the new FS, before trampolining to the + new FS. The performance gain could be substantial.

1 0

[movitz-cvs] CVS update: ia-x86/postload.lisp
by Frode Vatvedt Fjeld 14 Jan '04

14 Jan '04

Update of /project/movitz/cvsroot/ia-x86 In directory common-lisp.net:/tmp/cvs-serv18145 Modified Files: postload.lisp Log Message: Patch from jdz to avoid hitting CALL-ARGUMENTS-LIMIT in e.g. LW. Date: Wed Jan 14 17:22:30 2004 Author: ffjeld Index: ia-x86/postload.lisp diff -u ia-x86/postload.lisp:1.1.1.1 ia-x86/postload.lisp:1.2 --- ia-x86/postload.lisp:1.1.1.1 Mon Jan 12 10:23:55 2004 +++ ia-x86/postload.lisp Wed Jan 14 17:22:30 2004 @@ -1,6 +1,6 @@ ;;;;------------------------------------------------------------------ ;;;; -;;;; Copyright (C) 20012000, 2003, +;;;; Copyright (C) 20012000, 2003-2004, ;;;; Department of Computer Science, University of Tromsø, Norway ;;;; ;;;; Filename: postload.lisp @@ -9,7 +9,7 @@ ;;;; Created at: Mon Jan 31 16:33:23 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: postload.lisp,v 1.1.1.1 2004/01/12 15:23:55 ffjeld Exp $ +;;;; $Id: postload.lisp,v 1.2 2004/01/14 22:22:30 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -23,7 +23,7 @@ (format t "~&;; ~A Longest lookup list (#x~2,'0X) has ~D elements.~%" prefix - (position #0=(apply #'max (map 'list #'length + (position #0=(reduce #'max (map 'list #'length table)) (map 'list #'length table))

1 0

[movitz-cvs] CVS update: public_html/index.html
by Frode Vatvedt Fjeld 14 Jan '04

14 Jan '04

Update of /project/movitz/cvsroot/public_html In directory common-lisp.net:/tmp/cvs-serv30528 Modified Files: index.html Log Message: Let's save some vertical space. Date: Wed Jan 14 11:48:01 2004 Author: ffjeld Index: public_html/index.html diff -u public_html/index.html:1.10 public_html/index.html:1.11 --- public_html/index.html:1.10 Wed Jan 14 11:39:00 2004 +++ public_html/index.html Wed Jan 14 11:48:01 2004 @@ -30,15 +30,15 @@ <li> <a href="http://www.common-lisp.net/mailman/listinfo/movitz-devel"> - Movitz-devel</a><br/>for developers</li> + Movitz-devel</a> for developers</li> <li> <a href="http://www.common-lisp.net/mailman/listinfo/movitz-cvs"> - Movitz-cvs</a><br/>CVS log feed.</li> + Movitz-cvs</a> CVS log feed.</li> <li> <a href="http://www.common-lisp.net/mailman/listinfo/movitz-announce"> - Movitz-announce</a><br/>for announcements.</li> + Movitz-announce</a> for announcements.</li> </ul> @@ -58,9 +58,9 @@ <p> There are currently three modules in the repository: <ul> - <li><pre>ia-x86</pre></li> - <li><pre>binary-types</pre></li> - <li><pre>movitz</pre></li> + <li><tt>ia-x86</tt></li> + <li><tt>binary-types</tt></li> + <li><tt>movitz</tt></li> </ul> <p> The former two are required for building and using the latter. @@ -73,12 +73,8 @@ <div class="footer"> - <a href="ffjeld (at) common-lisp (dot) net">Frode V. Fjeld</a>, 13 Jan. 2004. + <a href="ffjeld (at) common-lisp (dot) net">Frode V. Fjeld</a> </div> - <div class="check"> - <a href="http://validator.w3.org/check/referer"> - Valid XHTML 1.0 Strict</a> - </div </body> </html>

1 0

[movitz-cvs] CVS update: public_html/index.html
by Frode Vatvedt Fjeld 14 Jan '04

14 Jan '04

Update of /project/movitz/cvsroot/public_html In directory common-lisp.net:/tmp/cvs-serv29024 Modified Files: index.html Log Message: Added info about the downloadable files directory. Date: Wed Jan 14 11:39:01 2004 Author: ffjeld Index: public_html/index.html diff -u public_html/index.html:1.9 public_html/index.html:1.10 --- public_html/index.html:1.9 Wed Jan 14 04:32:06 2004 +++ public_html/index.html Wed Jan 14 11:39:00 2004 @@ -44,7 +44,8 @@ <h3>Download</h3> - <p>This project has not released any files.</p> + <p> The file area is available through <a href="files/">HTTP</a> and + <a href="ftp://common-lisp.net/pub/project/movitz/">FTP</a>. <h3>CVS</h3> @@ -63,12 +64,9 @@ </ul> <p> The former two are required for building and using the latter. - - <p> Also, both ia-x86 and binary-types have been somewhat tested for + Also, both ia-x86 and binary-types have been somewhat tested for portability, whereas Movitz itself has only ever been used with - Allegro CL. - - <p> I'm hoping that someone with experience with other lisp + Allegro CL. I'm hoping that someone with experience with other lisp implementations than Allegro can make movitz runnable under their system, and submit patches to that effect to movitz-devel(a)common-lisp.net.

1 0

[movitz-cvs] CVS update: public_html/index.html
by Frode Vatvedt Fjeld 14 Jan '04

14 Jan '04

Update of /project/movitz/cvsroot/public_html In directory common-lisp.net:/tmp/cvs-serv2913 Modified Files: index.html Log Message: Added info about the CVS repository. Date: Wed Jan 14 04:32:06 2004 Author: ffjeld Index: public_html/index.html diff -u public_html/index.html:1.8 public_html/index.html:1.9 --- public_html/index.html:1.8 Tue Jan 13 10:23:55 2004 +++ public_html/index.html Wed Jan 14 04:32:06 2004 @@ -10,8 +10,7 @@ <body> <div class="header"> - <h1>Movitz</h1> - <h2>A movitz common-lisp.net project</h2> + <h1>Movitz: a Common Lisp x86 development platform</h1> </div> <h3>Introduction</h3> @@ -49,11 +48,31 @@ <h3>CVS</h3> - <p>You can <a + <p>You can <a href="http://common-lisp.net/cgi-bin/viewcvs.cgi/?cvsroot=movitz#dirlist"> browse our CVS repository</a> or download the current development tree via anonymous cvs, as described <a href="http://www.common-lisp.net/faq.shtml">here</a></p> + + <p> There are currently three modules in the repository: + + <ul> + <li><pre>ia-x86</pre></li> + <li><pre>binary-types</pre></li> + <li><pre>movitz</pre></li> + </ul> + + <p> The former two are required for building and using the latter. + + <p> Also, both ia-x86 and binary-types have been somewhat tested for + portability, whereas Movitz itself has only ever been used with + Allegro CL. + + <p> I'm hoping that someone with experience with other lisp + implementations than Allegro can make movitz runnable under their + system, and submit patches to that effect to + movitz-devel(a)common-lisp.net. + <div class="footer"> <a href="ffjeld (at) common-lisp (dot) net">Frode V. Fjeld</a>, 13 Jan. 2004.

1 0