movitz-cvs

movitz-cvs@common-lisp.net

2595 discussions

[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-serv15200 Modified Files: movitz.html Log Message: Some re-wording. Date: Tue Mar 30 03:21:19 2004 Author: ffjeld Index: public_html/movitz.html diff -u public_html/movitz.html:1.2 public_html/movitz.html:1.3 --- public_html/movitz.html:1.2 Tue Mar 30 03:04:00 2004 +++ public_html/movitz.html Tue Mar 30 03:21:18 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.2 2004/03/30 08:04:00 ffjeld Exp $ + $Id: movitz.html,v 1.3 2004/03/30 08:21:18 ffjeld Exp $ --> @@ -20,7 +20,7 @@ </head> <body> <h1>Movitz: A Common Lisp OS development platform</h1> -<tt>$Id: movitz.html,v 1.2 2004/03/30 08:04:00 ffjeld Exp $</tt> +<tt>$Id: movitz.html,v 1.3 2004/03/30 08:21:18 ffjeld Exp $</tt> <h2><a href="files/">Files</a></h2> <p> The latest <a href="files/los0.img"> los0 kernel image</a> and its @@ -139,38 +139,45 @@ required to interface any hardware without resorting to inline assembly is either in place or can easily be added. -<h3>Garbage Collection</h3> +<h3>Garbage Collection</h3> <a name="GC"> There is now preliminary support for GC in Muerte. This support is two things. Firstly, the object layouts, stack discipline, etc. are such that the system as such is amenable to scanning for GC purposes. Secondly, there are two functions in Muerte that are -expectedly very useful for implementing many kinds of GC: +expectedly useful for implementing GC architectures: <ul> <li> <tt>map-heap-words</tt> maps a function over every potential -pointer in a specified memory region. This can be used both to -implement GC as such (if the function migrates objects according to -some GC scheme), and as a help for GC debugging (if the function -merely checks some invariant or prints information). </li> <li> -<tt>map-stack-words</tt> works similarly for a control stack. A stack -is wrapped as a vector specialized to <tt>(unsigned-byte 32)</tt> in -memory, so it will not recognized as pointers by +pointer in a specified memory region, denoted by start and end memory +locations. This can be used both to implement GC as such (if the +function migrates objects according to some GC scheme), and as a help +for GC debugging (if the function merely checks some invariant or +prints information). </li> + +<li> <tt>map-stack-words</tt> works similarly for a control stack. A +stack is wrapped as a vector specialized to <tt>(unsigned-byte +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 in order to capture all pointers in the system.</li> +explicitly over each live control stack in order to capture all +pointers in the system.</li> + </ul> The los0 image currently uses these two functions to implement a rather simple Cheney-style stop-and-copy GC architecture. In short, two 256 KB buffers are set up, and the memory allocation primitives -are changed to allocate from one of these buffers designated +are changed to allocate from one of these buffers designated as "newspace". When newspace goes full, the roles of oldspace and -newspace are switched, and the (newly demoted) oldspace is -evacuated. This evacuation is performed rather naively, namely by -scanning the entire 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. +newspace are switched, and the live objects in the (newly become) +oldspace are evacuated into the (newly become) newspace. This +evacuation is performed rather naively, namely by scanning the entire +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. <h2>About OS design in Common Lisp</h2>

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-serv31490 Modified Files: index.html Log Message: Typo fixes. Date: Tue Mar 30 03:09:21 2004 Author: ffjeld Index: public_html/index.html diff -u public_html/index.html:1.14 public_html/index.html:1.15 --- public_html/index.html:1.14 Tue Mar 30 03:07:42 2004 +++ public_html/index.html Tue Mar 30 03:09:20 2004 @@ -15,11 +15,11 @@ <h3>Recent news</h3> - <p> <i>March 30. 2004</i> There is now GC support in Muerte, and an + <p> <i>March 30, 2004:</i> There is now GC support in Muerte, and an almost functional GC architecture included in the los0 image. <p> For more news, see the <a - href="files/ChangeLog"><tt>ChageLog</tt></a>. + href="files/ChangeLog"><tt>ChangeLog</tt></a>. <h3>Introduction</h3>

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-serv10882 Modified Files: index.html Log Message: Added a "Recent news" section. Date: Tue Mar 30 03:07:42 2004 Author: ffjeld Index: public_html/index.html diff -u public_html/index.html:1.13 public_html/index.html:1.14 --- public_html/index.html:1.13 Tue Feb 10 06:42:30 2004 +++ public_html/index.html Tue Mar 30 03:07:42 2004 @@ -13,6 +13,14 @@ <h1>Movitz: a Common Lisp x86 development platform</h1> </div> + <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. + + <p> For more news, see the <a + href="files/ChangeLog"><tt>ChageLog</tt></a>. + <h3>Introduction</h3> <p> The Movitz system aspires to be an implementation of ANSI Common

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-serv15538 Modified Files: movitz.html Log Message: Added info about the new GC stuff. Date: Tue Mar 30 03:04:00 2004 Author: ffjeld Index: public_html/movitz.html diff -u public_html/movitz.html:1.1 public_html/movitz.html:1.2 --- public_html/movitz.html:1.1 Tue Jan 13 08:31:59 2004 +++ public_html/movitz.html Tue Mar 30 03:04:00 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.1 2004/01/13 13:31:59 ffjeld Exp $ + $Id: movitz.html,v 1.2 2004/03/30 08:04:00 ffjeld Exp $ --> @@ -20,7 +20,7 @@ </head> <body> <h1>Movitz: A Common Lisp OS development platform</h1> -<tt>$Id: movitz.html,v 1.1 2004/01/13 13:31:59 ffjeld Exp $</tt> +<tt>$Id: movitz.html,v 1.2 2004/03/30 08:04:00 ffjeld Exp $</tt> <h2><a href="files/">Files</a></h2> <p> The latest <a href="files/los0.img"> los0 kernel image</a> and its @@ -141,17 +141,36 @@ <h3>Garbage Collection</h3> -There is no garbage collection scheme implemented yet. Whether a fully -operational GC <em>can</em> be part of Muerte, or whether it requires -extensive support from the particular MoKA run-time, remains to be -seen. - -I expect that it turns out that some middle ground must be found: The -basic mechanisms and hooks needed to perform GC will be provided by -Muerte, and the MoKA uses this to provide full GC service (if it will -provide GC at all). In this spirit, I hope to add something like a -simple stop-and-copy GC to los0 soon. +There is now preliminary support for GC in Muerte. This support is two +things. Firstly, the object layouts, stack discipline, etc. are such +that the system as such is amenable to scanning for GC +purposes. Secondly, there are two functions in Muerte that are +expectedly very useful for implementing many kinds of GC: +<ul> + +<li> <tt>map-heap-words</tt> maps a function over every potential +pointer in a specified memory region. This can be used both to +implement GC as such (if the function migrates objects according to +some GC scheme), and as a help for GC debugging (if the function +merely checks some invariant or prints information). </li> <li> +<tt>map-stack-words</tt> works similarly for a control stack. A stack +is wrapped as a vector specialized to <tt>(unsigned-byte 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 in order to capture all pointers in the system.</li> +</ul> +The los0 image currently uses these two functions to implement a +rather simple Cheney-style stop-and-copy GC architecture. In short, +two 256 KB buffers are set up, and the memory allocation primitives +are changed to allocate from one of these buffers designated +"newspace". When newspace goes full, the roles of oldspace and +newspace are switched, and the (newly demoted) oldspace is +evacuated. This evacuation is performed rather naively, namely by +scanning the entire 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. <h2>About OS design in Common Lisp</h2>

1 0

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

29 Mar '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv18304 Modified Files: arrays.lisp Log Message: Properly allocate vectors specialized to (unsigned-byte 32). Date: Mon Mar 29 14:19:51 2004 Author: ffjeld Index: movitz/losp/muerte/arrays.lisp diff -u movitz/losp/muerte/arrays.lisp:1.13 movitz/losp/muerte/arrays.lisp:1.14 --- movitz/losp/muerte/arrays.lisp:1.13 Mon Mar 29 09:32:12 2004 +++ movitz/losp/muerte/arrays.lisp Mon Mar 29 14:19:51 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Sun Feb 11 23:14:04 2001 ;;;; -;;;; $Id: arrays.lisp,v 1.13 2004/03/29 14:32:12 ffjeld Exp $ +;;;; $Id: arrays.lisp,v 1.14 2004/03/29 19:19:51 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -546,30 +546,25 @@ (replace array initial-contents))) array)) ((member element-type '(u32 (unsigned-byte 32)) :test #'equal) - (let ((a (inline-malloc (+ #.(bt:sizeof 'movitz::movitz-vector) (* 4 dimensions)) - :other-tag :vector - :wide-other-tag #.(bt:enum-value 'movitz::movitz-vector-element-type - :u32)))) - (setf (memref a #.(bt:slot-offset 'movitz::movitz-vector 'movitz::flags) + (let ((array (malloc-words dimensions))) + (setf (memref array #.(bt:slot-offset 'movitz::movitz-vector 'movitz::flags) 0 :unsigned-byte16) 0) - (setf (memref a #.(bt:slot-offset 'movitz::movitz-vector 'movitz::num-elements) + (setf (memref array #.(bt:slot-offset 'movitz::movitz-vector 'movitz::num-elements) 0 :unsigned-byte16) dimensions) - (setf (fill-pointer a) fill-pointer) + (setf (memref array #.(bt:slot-offset 'movitz::movitz-vector 'movitz::type) + 0 :unsigned-byte16) + #.(movitz:vector-type-tag :u32)) + (setf (fill-pointer array) fill-pointer) (cond (initial-element (dotimes (i dimensions) - (setf (aref a i) initial-element))) + (setf (aref array i) initial-element))) (initial-contents - (replace a initial-contents))) - a)) - (t (let ((array (malloc-words dimensions) - #+ignore - (inline-malloc (+ #.(bt:sizeof 'movitz::movitz-vector) (* 4 dimensions)) - :other-tag :vector - :wide-other-tag #.(bt:enum-value 'movitz::movitz-vector-element-type - :any-t)))) + (replace array initial-contents))) + array)) + (t (let ((array (malloc-words dimensions))) (setf (memref array #.(bt:slot-offset 'movitz::movitz-vector 'movitz::flags) 0 :unsigned-byte16) 0)

1 0

[movitz-cvs] CVS update: movitz/losp/lib/repl.lisp
by Frode Vatvedt Fjeld 29 Mar '04

29 Mar '04

Update of /project/movitz/cvsroot/movitz/losp/lib In directory common-lisp.net:/tmp/cvs-serv26560 Modified Files: repl.lisp Log Message: Don't print the results of toplevel-commands. Date: Mon Mar 29 14:16:19 2004 Author: ffjeld Index: movitz/losp/lib/repl.lisp diff -u movitz/losp/lib/repl.lisp:1.7 movitz/losp/lib/repl.lisp:1.8 --- movitz/losp/lib/repl.lisp:1.7 Fri Mar 26 08:54:45 2004 +++ movitz/losp/lib/repl.lisp Mon Mar 29 14:16:19 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Wed Mar 19 14:58:12 2003 ;;;; -;;;; $Id: repl.lisp,v 1.7 2004/03/26 13:54:45 ffjeld Exp $ +;;;; $Id: repl.lisp,v 1.8 2004/03/29 19:16:19 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -52,34 +52,36 @@ (invoke-restart 'muerte::next-line (muerte.readline:contextual-readline *repl-readline-context*))))) (simple-read-from-string buffer-string t t)) - (multiple-value-call - (lambda (form previous-package &rest results) - (declare (dynamic-extent results)) - (unless (packagep *package*) - (warn "Resetting *package*") - (setf *package* previous-package)) - (unless (boundp '*) - (warn "* was unbound!") - (setf * nil)) - (apply #'format t *repl-print-format* results) - (psetq +++ ++ ++ + + form) - (psetq *** ** ** * * (car results)) - (psetq /// // // / / (if *repl-consless* - nil - (copy-list results))) - (values-list results)) - form previous-package + (flet ((process-expresion (form previous-package printp &rest results) + (declare (dynamic-extent results)) + (unless (packagep *package*) + (warn "Resetting *package*") + (setf *package* previous-package)) + (unless (boundp '*) + (warn "* was unbound!") + (setf * nil)) + (when printp + (apply #'format t *repl-print-format* results)) + (psetq +++ ++ ++ + + form) + (psetq *** ** ** * * (car results)) + (psetq /// // // / / (if *repl-consless* + nil + (copy-list results))) + (values-list results))) (if (not (keywordp form)) - (eval form) - (apply 'muerte.toplevel:invoke-toplevel-command - form - (loop for arg = (multiple-value-bind (arg x) - (simple-read-from-string buffer-string nil '#0=#:eof - :start buffer-pointer) - (setq buffer-pointer x) - arg) - until (eq arg '#0#) - collect arg))))))) + (multiple-value-call #'process-expresion + form previous-package t (eval form)) + (multiple-value-call #'process-expresion + form previous-package nil + (apply 'muerte.toplevel:invoke-toplevel-command + form + (loop for arg = (multiple-value-bind (arg x) + (simple-read-from-string buffer-string nil '#0=#:eof + :start buffer-pointer) + (setq buffer-pointer x) + arg) + until (eq arg '#0#) + collect arg)))))))) (muerte.readline::readline-break (c) (declare (ignore c)) (values))))

1 0

[movitz-cvs] CVS update: movitz/doc/ChangeLog
by Frode Vatvedt Fjeld 29 Mar '04

29 Mar '04

Update of /project/movitz/cvsroot/movitz/doc In directory common-lisp.net:/tmp/cvs-serv11714 Modified Files: ChangeLog Log Message: *** empty log message *** Date: Mon Mar 29 10:26:39 2004 Author: ffjeld Index: movitz/doc/ChangeLog diff -u movitz/doc/ChangeLog:1.2 movitz/doc/ChangeLog:1.3 --- movitz/doc/ChangeLog:1.2 Mon Jan 19 06:23:43 2004 +++ movitz/doc/ChangeLog Mon Mar 29 10:26:39 2004 @@ -1,3 +1,9 @@ +2004-03-29 Frode Vatvedt Fjeld <frodef(a)cs.uit.no> + + * Added basic GC functionality. The Movitz platform is now I + believe viable for at least some real-world applications! Also, + there have been many bug-fixes that I've forgotten to record here. + 2004-01-19 Frode Vatvedt Fjeld <frodef(a)cs.uit.no> * Fixed the bootloader slightly so it should now work with VMWare.

1 0

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

29 Mar '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv11138 Modified Files: inspect.lisp Log Message: Teach shallow-copy about structure-objects. Date: Mon Mar 29 10:26:26 2004 Author: ffjeld Index: movitz/losp/muerte/inspect.lisp diff -u movitz/losp/muerte/inspect.lisp:1.5 movitz/losp/muerte/inspect.lisp:1.6 --- movitz/losp/muerte/inspect.lisp:1.5 Mon Mar 29 09:33:29 2004 +++ movitz/losp/muerte/inspect.lisp Mon Mar 29 10:26:25 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Fri Oct 24 09:50:41 2003 ;;;; -;;;; $Id: inspect.lisp,v 1.5 2004/03/29 14:33:29 ffjeld Exp $ +;;;; $Id: inspect.lisp,v 1.6 2004/03/29 15:26:25 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -185,7 +185,8 @@ :fill-pointer (fill-pointer old))) (function (copy-funobj old)) - )) + (structure-object + (copy-structure old)))) (defun malloc-words (words) (malloc-clumps (1+ (truncate (1+ words) 2))))

1 0

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

29 Mar '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv20814 Modified Files: equalp.lisp Log Message: Make equalp behave for structure-objects. Date: Mon Mar 29 09:56:26 2004 Author: ffjeld Index: movitz/losp/muerte/equalp.lisp diff -u movitz/losp/muerte/equalp.lisp:1.2 movitz/losp/muerte/equalp.lisp:1.3 --- movitz/losp/muerte/equalp.lisp:1.2 Mon Jan 19 06:23:46 2004 +++ movitz/losp/muerte/equalp.lisp Mon Mar 29 09:56:26 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Tue Mar 13 17:09:08 2001 ;;;; -;;;; $Id: equalp.lisp,v 1.2 2004/01/19 11:23:46 ffjeld Exp $ +;;;; $Id: equalp.lisp,v 1.3 2004/03/29 14:56:26 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -57,4 +57,10 @@ ((= i length) t) (unless (equalp (aref x i) (aref y i)) (return nil))))))) + (structure-object + (and (eq (class-of x) (class-of y)) + (dotimes (i (structure-object-length x) t) + (unless (equalp (structure-ref x i) + (structure-ref y i)) + (return nil))))) (t (equal x y))))

1 0

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

29 Mar '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv16704 Modified Files: defstruct.lisp Log Message: Added standard function copy-structure. Date: Mon Mar 29 09:53:14 2004 Author: ffjeld Index: movitz/losp/muerte/defstruct.lisp diff -u movitz/losp/muerte/defstruct.lisp:1.4 movitz/losp/muerte/defstruct.lisp:1.5 --- movitz/losp/muerte/defstruct.lisp:1.4 Fri Mar 26 08:57:12 2004 +++ movitz/losp/muerte/defstruct.lisp Mon Mar 29 09:53:13 2004 @@ -9,7 +9,7 @@ ;;;; Created at: Mon Jan 22 13:10:59 2001 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: defstruct.lisp,v 1.4 2004/03/26 13:57:12 ffjeld Exp $ +;;;; $Id: defstruct.lisp,v 1.5 2004/03/29 14:53:13 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -19,9 +19,22 @@ (in-package muerte) -(defun structure-object-length (obj) - (check-type obj structure-object) - (movitz-accessor-u16 obj movitz-struct length)) +(defun structure-object-length (object) + (check-type object structure-object) + (movitz-accessor-u16 object movitz-struct length)) + +(defun copy-structure (object) + (check-type object structure-object) + (let* ((length (structure-object-length object)) + (copy (malloc-words length))) + (setf (memref copy -6 0 :lisp) + (memref object -6 0 :lisp)) + (setf (memref copy -6 1 :unsigned-byte32) + (memref object -6 1 :unsigned-byte32)) + (dotimes (i length) + (setf (structure-ref copy i) + (structure-ref object i))) + copy)) (defun struct-predicate-prototype (obj) "Prototype function for predicates of user-defined struct.

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