movitz-cvs

movitz-cvs@common-lisp.net

2595 discussions

[movitz-cvs] CVS update: movitz/losp/muerte/print.lisp
by Frode Vatvedt Fjeld 30 Mar '04

30 Mar '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv6785 Modified Files: print.lisp Log Message: Add a declaration of the *print-circle* variable. Not that write implements it. Date: Tue Mar 30 16:32:12 2004 Author: ffjeld Index: movitz/losp/muerte/print.lisp diff -u movitz/losp/muerte/print.lisp:1.3 movitz/losp/muerte/print.lisp:1.4 --- movitz/losp/muerte/print.lisp:1.3 Mon Mar 22 09:38:13 2004 +++ movitz/losp/muerte/print.lisp Tue Mar 30 16:32:12 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Mon Sep 3 11:48:19 2001 ;;;; -;;;; $Id: print.lisp,v 1.3 2004/03/22 14:38:13 ffjeld Exp $ +;;;; $Id: print.lisp,v 1.4 2004/03/30 21:32:12 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -31,6 +31,7 @@ (defvar *print-length* 8) (defvar *print-level* 3) (defvar *print-pretty* t) +(defvar *print-circle* nil) (defvar *standard-output* #'muerte.x86-pc::textmode-console) (defvar *standard-input* #'muerte.x86-pc::textmode-console)

1 0

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

30 Mar '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv6657 Modified Files: special-operators-cl.lisp Log Message: Fix the block operator's compiler not to return mode :ignore, rather :nothing. Date: Tue Mar 30 14:36:15 2004 Author: ffjeld Index: movitz/special-operators-cl.lisp diff -u movitz/special-operators-cl.lisp:1.12 movitz/special-operators-cl.lisp:1.13 --- movitz/special-operators-cl.lisp:1.12 Wed Mar 24 13:36:41 2004 +++ movitz/special-operators-cl.lisp Tue Mar 30 14:36:15 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.12 2004/03/24 18:36:41 ffjeld Exp $ +;;;; $Id: special-operators-cl.lisp,v 1.13 2004/03/30 19:36:15 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -724,6 +724,7 @@ (t :eax))) (block-returns-mode (case block-result-mode (:function :multiple-values) + (:ignore :nothing) (t block-result-mode))) (block-env (make-instance 'lexical-exit-point-env :uplink env

1 0

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

30 Mar '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv27744 Modified Files: compiler.lisp Log Message: Have the :untagged-fixnum-ecx mode accept (signed-byte 30) values. Date: Tue Mar 30 14:23:40 2004 Author: ffjeld Index: movitz/compiler.lisp diff -u movitz/compiler.lisp:1.37 movitz/compiler.lisp:1.38 --- movitz/compiler.lisp:1.37 Sun Mar 28 10:09:27 2004 +++ movitz/compiler.lisp Tue Mar 30 14:23:40 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.37 2004/03/28 15:09:27 ffjeld Exp $ +;;;; $Id: compiler.lisp,v 1.38 2004/03/30 19:23:40 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -3432,7 +3432,7 @@ (make-immediate-move value :eax))) (:untagged-fixnum-ecx (let ((value (movitz-fixnum-value object))) - (check-type value (unsigned-byte 16)) + (check-type value (signed-byte 30)) (make-immediate-move value :ecx))) (:push `((:pushl ,x)))

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/memref.lisp
by Frode Vatvedt Fjeld 30 Mar '04

30 Mar '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv25089 Modified Files: memref.lisp Log Message: Remove the rather bogus :lisp-code-vector type. Date: Tue Mar 30 04:36:50 2004 Author: ffjeld Index: movitz/losp/muerte/memref.lisp diff -u movitz/losp/muerte/memref.lisp:1.4 movitz/losp/muerte/memref.lisp:1.5 --- movitz/losp/muerte/memref.lisp:1.4 Sun Mar 28 11:19:20 2004 +++ movitz/losp/muerte/memref.lisp Tue Mar 30 04:36:50 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Tue Mar 6 21:25:49 2001 ;;;; -;;;; $Id: memref.lisp,v 1.4 2004/03/28 16:19:20 ffjeld Exp $ +;;;; $Id: memref.lisp,v 1.5 2004/03/30 09:36:50 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -151,32 +151,26 @@ (:popl :ecx) ; pop object (:sarl #.movitz::+movitz-fixnum-shift+ :ebx) ; scale offset+index (:movb (:ebx :ecx ,(offset-by 1)) :ah))))) - ((:lisp :lisp-code-vector) - (let ((fix-when-code-vector - (when (eq type :lisp-code-vector) - `((:subl ,movitz::+code-vector-word-offset+ :eax))))) - (cond - ((and (eq 0 index) (eq 0 offset)) - `(with-inline-assembly (:returns :eax) - (:compile-form (:result-mode :eax) ,object) - (:movl (:eax ,(offset-by 4)) :eax) - ,@fix-when-code-vector)) - ((eq 0 offset) - `(with-inline-assembly (:returns :eax) - (:compile-two-forms (:eax :ecx) ,object ,index) + (:lisp + (cond + ((and (eq 0 index) (eq 0 offset)) + `(with-inline-assembly (:returns :register) + (:compile-form (:result-mode :register) ,object) + (:movl ((:result-register) ,(offset-by 4)) (:result-register)))) + ((eq 0 offset) + `(with-inline-assembly (:returns :eax) + (:compile-two-forms (:eax :ecx) ,object ,index) + ,@(when (cl:plusp (cl:- movitz::+movitz-fixnum-shift+ 2)) + `((:sarl ,(cl:- movitz::+movitz-fixnum-shift+ 2)) :ecx)) + (:movl (:eax :ecx ,(offset-by 4)) :eax))) + (t `(with-inline-assembly (:returns :eax) + (:compile-form (:result-mode :push) ,object) + (:compile-two-forms (:untagged-fixnum-eax :ecx) ,offset ,index) ,@(when (cl:plusp (cl:- movitz::+movitz-fixnum-shift+ 2)) `((:sarl ,(cl:- movitz::+movitz-fixnum-shift+ 2)) :ecx)) - (:movl (:eax :ecx ,(offset-by 4)) :eax) - ,@fix-when-code-vector)) - (t `(with-inline-assembly (:returns :eax) - (:compile-form (:result-mode :push) ,object) - (:compile-two-forms (:untagged-fixnum-eax :ecx) ,offset ,index) - ,@(when (cl:plusp (cl:- movitz::+movitz-fixnum-shift+ 2)) - `((:sarl ,(cl:- movitz::+movitz-fixnum-shift+ 2)) :ecx)) - (:addl :ecx :eax) - (:popl :ebx) ; pop object - (:movl (:eax :ebx ,(offset-by 4)) :eax) - ,@fix-when-code-vector))))) + (:addl :ecx :eax) + (:popl :ebx) ; pop object + (:movl (:eax :ebx ,(offset-by 4)) :eax))))) (t (error "Unknown memref type: ~S" (movitz::eval-form type nil nil)) form))))))))) @@ -187,7 +181,6 @@ (:unsigned-byte32 (memref object offset index :unsigned-byte32)) (:character (memref object offset index :character)) (:lisp (memref object offset index :lisp)) - (:lisp-code-vector (memref object offset index :lisp-code-vector)) (:signed-byte30+2 (memref object offset index :signed-byte30+2)) (:unsigned-byte29+3 (memref object offset index :unsigned-byte29+3))))

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/run-time-context.lisp
by Frode Vatvedt Fjeld 30 Mar '04

30 Mar '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv7228 Modified Files: run-time-context.lisp Log Message: Write %run-time-context-slot in terms of %word-offset. Date: Tue Mar 30 04:12:35 2004 Author: ffjeld Index: movitz/losp/muerte/run-time-context.lisp diff -u movitz/losp/muerte/run-time-context.lisp:1.2 movitz/losp/muerte/run-time-context.lisp:1.3 --- movitz/losp/muerte/run-time-context.lisp:1.2 Thu Mar 18 04:23:01 2004 +++ movitz/losp/muerte/run-time-context.lisp Tue Mar 30 04:12:35 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Wed Nov 12 18:33:02 2003 ;;;; -;;;; $Id: run-time-context.lisp,v 1.2 2004/03/18 09:23:01 ffjeld Exp $ +;;;; $Id: run-time-context.lisp,v 1.3 2004/03/30 09:12:35 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -56,7 +56,7 @@ (word (memref context -6 (third slot) :lisp)) (code-vector-word - (memref context -6 (third slot) :lisp-code-vector)) + (%word-offset (memref context -6 (third slot) :lisp) -2)) (lu32 (memref context -6 (third slot) :unsigned-byte32)))))

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/scavenge.lisp
by Frode Vatvedt Fjeld 30 Mar '04

30 Mar '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv13258 Modified Files: scavenge.lisp Log Message: In map-heap-words, only write back the new word if the function changes it. Seems like an obvious way to reduce pressure on the memory subsystem, and increased speed by about 5% on my test HW. Date: Tue Mar 30 03:50:12 2004 Author: ffjeld Index: movitz/losp/muerte/scavenge.lisp diff -u movitz/losp/muerte/scavenge.lisp:1.1 movitz/losp/muerte/scavenge.lisp:1.2 --- movitz/losp/muerte/scavenge.lisp:1.1 Mon Mar 29 09:30:22 2004 +++ movitz/losp/muerte/scavenge.lisp Tue Mar 30 03:50:12 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Mon Mar 29 14:54:08 2004 ;;;; -;;;; $Id: scavenge.lisp,v 1.1 2004/03/29 14:30:22 ffjeld Exp $ +;;;; $Id: scavenge.lisp,v 1.2 2004/03/30 08:50:12 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -87,7 +87,8 @@ ((typep x 'pointer) (let ((new (funcall function x))) (check-type new pointer) - (setf (memref i 0 0 :lisp) new))))))) + (unless (eq x new) + (setf (memref i 0 0 :lisp) new)))))))) (values)) (defun map-stack-words (function start-stack-frame)

1 0

[movitz-cvs] CVS update: public_html/movitz.html
by Frode Vatvedt Fjeld 30 Mar '04

30 Mar '04

Update of /project/movitz/cvsroot/public_html In directory common-lisp.net:/tmp/cvs-serv12770 Modified Files: movitz.html Log Message: dumdidum. Date: Tue Mar 30 03:35:32 2004 Author: ffjeld Index: public_html/movitz.html diff -u public_html/movitz.html:1.5 public_html/movitz.html:1.6 --- public_html/movitz.html:1.5 Tue Mar 30 03:31:10 2004 +++ public_html/movitz.html Tue Mar 30 03:35:32 2004 @@ -10,7 +10,7 @@ Author: Frode Vatvedt Fjeld <frodef(a)acm.org> Created at: Wed Nov 5 09:55:54 2003 - $Id: movitz.html,v 1.5 2004/03/30 08:31:10 ffjeld Exp $ + $Id: movitz.html,v 1.6 2004/03/30 08:35:32 ffjeld Exp $ --> @@ -20,7 +20,7 @@ </head> <body> <h1>Movitz: A Common Lisp OS development platform</h1> -<tt>$Id: movitz.html,v 1.5 2004/03/30 08:31:10 ffjeld Exp $</tt> +<tt>$Id: movitz.html,v 1.6 2004/03/30 08:35:32 ffjeld Exp $</tt> <h2><a href="files/">Files</a></h2> <p> The latest <a href="files/los0.img"> los0 kernel image</a> and its @@ -178,9 +178,9 @@ los0. Note that under this simple scheme there is no way for objects to be promoted from the two 256 KB buffers, so you cannot have more than this amount of live, dynamically allocated data. You may trigger -the GC process explicitly with <tt>(init::stop-and-copy)</tt>. Note -that there are still several rough edges remaining this GC -implementation, e.g. it will not behave across any kind of interrupt. +the GC process explicitly with <tt>(stop-and-copy)</tt>. Note that +there are still several rough edges remaining this GC implementation, +e.g. it will not behave across any kind of interrupt. <h2>About OS design in Common Lisp</h2>

1 0

[movitz-cvs] CVS update: public_html/movitz.html
by Frode Vatvedt Fjeld 30 Mar '04

30 Mar '04

Update of /project/movitz/cvsroot/public_html In directory common-lisp.net:/tmp/cvs-serv18848 Modified Files: movitz.html Log Message: ..and a bit more. Date: Tue Mar 30 03:31:10 2004 Author: ffjeld Index: public_html/movitz.html diff -u public_html/movitz.html:1.4 public_html/movitz.html:1.5 --- public_html/movitz.html:1.4 Tue Mar 30 03:27:57 2004 +++ public_html/movitz.html Tue Mar 30 03:31:10 2004 @@ -10,7 +10,7 @@ Author: Frode Vatvedt Fjeld <frodef(a)acm.org> Created at: Wed Nov 5 09:55:54 2003 - $Id: movitz.html,v 1.4 2004/03/30 08:27:57 ffjeld Exp $ + $Id: movitz.html,v 1.5 2004/03/30 08:31:10 ffjeld Exp $ --> @@ -20,7 +20,7 @@ </head> <body> <h1>Movitz: A Common Lisp OS development platform</h1> -<tt>$Id: movitz.html,v 1.4 2004/03/30 08:27:57 ffjeld Exp $</tt> +<tt>$Id: movitz.html,v 1.5 2004/03/30 08:31:10 ffjeld Exp $</tt> <h2><a href="files/">Files</a></h2> <p> The latest <a href="files/los0.img"> los0 kernel image</a> and its @@ -177,9 +177,10 @@ heap, which tends to be somewhere between one and two megabytes in los0. Note that under this simple scheme there is no way for objects to be promoted from the two 256 KB buffers, so you cannot have more -than this amount of live, dynamically allocated data. Note that there -are still several rough edges remaining this GC implementation, -e.g. it will not behave across e.g. any kind of interrupt. +than this amount of live, dynamically allocated data. You may trigger +the GC process explicitly with <tt>(init::stop-and-copy)</tt>. Note +that there are still several rough edges remaining this GC +implementation, e.g. it will not behave across any kind of interrupt. <h2>About OS design in Common Lisp</h2>

1 0

[movitz-cvs] CVS update: public_html/movitz.html
by Frode Vatvedt Fjeld 30 Mar '04

30 Mar '04

Update of /project/movitz/cvsroot/public_html In directory common-lisp.net:/tmp/cvs-serv19780 Modified Files: movitz.html Log Message: Added a bit more about map-stack-words. Date: Tue Mar 30 03:27:57 2004 Author: ffjeld Index: public_html/movitz.html diff -u public_html/movitz.html:1.3 public_html/movitz.html:1.4 --- public_html/movitz.html:1.3 Tue Mar 30 03:21:18 2004 +++ public_html/movitz.html Tue Mar 30 03:27:57 2004 @@ -10,7 +10,7 @@ Author: Frode Vatvedt Fjeld <frodef(a)acm.org> Created at: Wed Nov 5 09:55:54 2003 - $Id: movitz.html,v 1.3 2004/03/30 08:21:18 ffjeld Exp $ + $Id: movitz.html,v 1.4 2004/03/30 08:27:57 ffjeld Exp $ --> @@ -20,7 +20,7 @@ </head> <body> <h1>Movitz: A Common Lisp OS development platform</h1> -<tt>$Id: movitz.html,v 1.3 2004/03/30 08:21:18 ffjeld Exp $</tt> +<tt>$Id: movitz.html,v 1.4 2004/03/30 08:27:57 ffjeld Exp $</tt> <h2><a href="files/">Files</a></h2> <p> The latest <a href="files/los0.img"> los0 kernel image</a> and its @@ -160,7 +160,9 @@ 32)</tt> in memory, so it will not recognized as pointers by e.g. <tt>map-heap-words</tt>. Hence, this function must be used explicitly over each live control stack in order to capture all -pointers in the system.</li> +pointers in the system. Another reason why stacks are special, is that +they contain untagged pointers to code-vectors, and this requires +special treatment. </li> </ul>

1 0

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

30 Mar '04

Update of /project/movitz/cvsroot/public_html In directory common-lisp.net:/tmp/cvs-serv19120 Modified Files: index.html Log Message: Add link to GC info in movitz.html. Date: Tue Mar 30 03:22:10 2004 Author: ffjeld Index: public_html/index.html diff -u public_html/index.html:1.15 public_html/index.html:1.16 --- public_html/index.html:1.15 Tue Mar 30 03:09:20 2004 +++ public_html/index.html Tue Mar 30 03:22:10 2004 @@ -16,7 +16,8 @@ <h3>Recent news</h3> <p> <i>March 30, 2004:</i> There is now GC support in Muerte, and an - almost functional GC architecture included in the los0 image. + almost functional GC architecture included in the los0 image. Some + info is also added <a href="movitz.html#GC">here</a>. <p> For more news, see the <a href="files/ChangeLog"><tt>ChangeLog</tt></a>.

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

movitz-cvs