- movitz-cvs@common-lisp.net - mailman3.common-lisp.net

[movitz-cvs] CVS update: movitz/losp/los0-gc.lisp
by Frode Vatvedt Fjeld 11 Apr '04

11 Apr '04

Update of /project/movitz/cvsroot/movitz/losp In directory common-lisp.net:/tmp/cvs-serv32035 Modified Files: los0-gc.lisp Log Message: Minor edit. Date: Sun Apr 11 14:57:06 2004 Author: ffjeld Index: movitz/losp/los0-gc.lisp diff -u movitz/losp/los0-gc.lisp:1.6 movitz/losp/los0-gc.lisp:1.7 --- movitz/losp/los0-gc.lisp:1.6 Wed Apr 7 09:55:10 2004 +++ movitz/losp/los0-gc.lisp Sun Apr 11 14:57:06 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Sat Feb 21 17:48:32 2004 ;;;; -;;;; $Id: los0-gc.lisp,v 1.6 2004/04/07 13:55:10 ffjeld Exp $ +;;;; $Id: los0-gc.lisp,v 1.7 2004/04/11 18:57:06 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -73,7 +73,7 @@ (:ret))) (defun new-malloc-clumps (clumps) - (check-type clumps (integer 0 200)) + (check-type clumps (integer 0 1000)) (with-inline-assembly (:returns :ebx) retry (:compile-form (:result-mode :eax) clumps)

1 0

[movitz-cvs] CVS update: movitz/losp/x86-pc/debugger.lisp
by Frode Vatvedt Fjeld 11 Apr '04

11 Apr '04

Update of /project/movitz/cvsroot/movitz/losp/x86-pc In directory common-lisp.net:/tmp/cvs-serv30760 Modified Files: debugger.lisp Log Message: Improved *stack-frame-setup-patterns* wrt. function prelude stack bounds-check. Date: Sun Apr 11 14:56:31 2004 Author: ffjeld Index: movitz/losp/x86-pc/debugger.lisp diff -u movitz/losp/x86-pc/debugger.lisp:1.6 movitz/losp/x86-pc/debugger.lisp:1.7 --- movitz/losp/x86-pc/debugger.lisp:1.6 Tue Apr 6 20:34:57 2004 +++ movitz/losp/x86-pc/debugger.lisp Sun Apr 11 14:56:31 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Fri Nov 22 10:09:18 2002 ;;;; -;;;; $Id: debugger.lisp,v 1.6 2004/04/07 00:34:57 ffjeld Exp $ +;;;; $Id: debugger.lisp,v 1.7 2004/04/11 18:56:31 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -318,7 +318,7 @@ (+ 2 (signed8-index result-position)))))))))))))) (defparameter *stack-frame-setup-patterns* - '(((:* 1 (#x64 #x62 #x67 #xe7)) ; #<asm (FS-OVERRIDE) BOUND [#x-19+%EDI] %ESP> + '(((:* 1 (#x64 #x62 #x67 (any-offset))) ; #<asm (FS-OVERRIDE) BOUND [#x-19+%EDI] %ESP> (:* 1 (#x55 #x8b #xec #x56)) ; pushl ebp, movl esp (:* 2 (#x80 #xf9 (cmpargs) (:or (#x72 (label))

1 0

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

11 Apr '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv28839 Modified Files: compiler.lisp Log Message: The inlined stack-check in the function prelude should access the limit using the thread-local segment prefix, not the global. Date: Sun Apr 11 14:55:24 2004 Author: ffjeld Index: movitz/compiler.lisp diff -u movitz/compiler.lisp:1.42 movitz/compiler.lisp:1.43 --- movitz/compiler.lisp:1.42 Tue Apr 6 10:34:45 2004 +++ movitz/compiler.lisp Sun Apr 11 14:55:24 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.42 2004/04/06 14:34:45 ffjeld Exp $ +;;;; $Id: compiler.lisp,v 1.43 2004/04/11 18:55:24 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -3847,7 +3847,7 @@ (append (when (and do-check-stack-p *compiler-auto-stack-checks-p* (not (without-check-stack-limit-p env))) - `((,*compiler-global-segment-prefix* + `((,*compiler-local-segment-prefix* :bound (:edi ,(global-constant-offset 'stack-bottom)) :esp))) (when use-stack-frame-p `((:pushl :ebp)

1 0

[movitz-cvs] CVS update: movitz/losp/lib/net/ip6.lisp
by Frode Vatvedt Fjeld 11 Apr '04

11 Apr '04

Update of /project/movitz/cvsroot/movitz/losp/lib/net In directory common-lisp.net:/tmp/cvs-serv16353 Modified Files: ip6.lisp Log Message: Minor edits. Date: Sun Apr 11 14:53:42 2004 Author: ffjeld Index: movitz/losp/lib/net/ip6.lisp diff -u movitz/losp/lib/net/ip6.lisp:1.5 movitz/losp/lib/net/ip6.lisp:1.6 --- movitz/losp/lib/net/ip6.lisp:1.5 Thu Feb 26 06:27:07 2004 +++ movitz/losp/lib/net/ip6.lisp Sun Apr 11 14:53:42 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Wed Nov 14 17:25:31 2001 ;;;; -;;;; $Id: ip6.lisp,v 1.5 2004/02/26 11:27:07 ffjeld Exp $ +;;;; $Id: ip6.lisp,v 1.6 2004/04/11 18:53:42 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -574,7 +574,6 @@ (let* ((link-local-address (link-local-address-by-mac (mac-address ne2000))) (solicited-node-address (solicited-node-address link-local-address)) (neighbor-cache (make-neighbor-cache))) - ;; (ne2000-multicast-join ne2000 (mac-by-multicast-address solicited-node-address)) (pushnew (mac-by-multicast-address solicited-node-address) (accept-multicast-addresses ne2000) :test #'equal) @@ -594,7 +593,7 @@ (setf (fill-pointer p) 0) (vector-push p packet-pool))) (loop with timings = (make-array 20 :fill-pointer t) - with eval-buffer = (make-array 16384 :element-type 'character :fill-pointer 0) + with eval-buffer = (make-array 4096 :element-type 'character :fill-pointer 0) with eval-prev-seqno = 0 with request-queue = nil with offset = 54

1 0

[movitz-cvs] CVS update: movitz/losp/los0-gc.lisp
by Frode Vatvedt Fjeld 07 Apr '04

07 Apr '04

Update of /project/movitz/cvsroot/movitz/losp In directory common-lisp.net:/tmp/cvs-serv10915 Modified Files: los0-gc.lisp Log Message: Use interrupt 113 for los0-gc, avoiding any confusion with the old consing regime. Date: Wed Apr 7 09:55:10 2004 Author: ffjeld Index: movitz/losp/los0-gc.lisp diff -u movitz/losp/los0-gc.lisp:1.5 movitz/losp/los0-gc.lisp:1.6 --- movitz/losp/los0-gc.lisp:1.5 Tue Apr 6 20:45:54 2004 +++ movitz/losp/los0-gc.lisp Wed Apr 7 09:55:10 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Sat Feb 21 17:48:32 2004 ;;;; -;;;; $Id: los0-gc.lisp,v 1.5 2004/04/07 00:45:54 ffjeld Exp $ +;;;; $Id: los0-gc.lisp,v 1.6 2004/04/07 13:55:10 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -62,7 +62,8 @@ (:movl (:edx 2) :ecx) (:cmpl #x3fff4 :ecx) (:jge '(:sub-program () - (:int 112) + (:int 113) + ;; This interrupt can be retried. (:jmp 'retry-cons))) (:movl :eax (:edx :ecx 2)) (:movl :ebx (:edx :ecx 6)) @@ -112,7 +113,7 @@ (symbol-function 'new-malloc-clumps)) (setf (symbol-function 'new-malloc-clumps) old-malloc)) - (setf (interrupt-handler 112) 'los0-handle-out-of-memory) + (setf (interrupt-handler 113) 'los0-handle-out-of-memory) (values)) (defun install-old-consing ()

1 0

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

07 Apr '04

Update of /project/movitz/cvsroot/public_html In directory common-lisp.net:/tmp/cvs-serv13569 Modified Files: movitz.html Log Message: Slight change to description of GC: interrupt frames are now somewhat supported. Date: Tue Apr 6 21:13:41 2004 Author: ffjeld Index: public_html/movitz.html diff -u public_html/movitz.html:1.6 public_html/movitz.html:1.7 --- public_html/movitz.html:1.6 Tue Mar 30 03:35:32 2004 +++ public_html/movitz.html Tue Apr 6 21:13:41 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.6 2004/03/30 08:35:32 ffjeld Exp $ + $Id: movitz.html,v 1.7 2004/04/07 01:13:41 ffjeld Exp $ --> @@ -20,7 +20,7 @@ </head> <body> <h1>Movitz: A Common Lisp OS development platform</h1> -<tt>$Id: movitz.html,v 1.6 2004/03/30 08:35:32 ffjeld Exp $</tt> +<tt>$Id: movitz.html,v 1.7 2004/04/07 01:13:41 ffjeld Exp $</tt> <h2><a href="files/">Files</a></h2> <p> The latest <a href="files/los0.img"> los0 kernel image</a> and its @@ -157,7 +157,7 @@ <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 +32)</tt> in memory, so it will not be 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. Another reason why stacks are special, is that @@ -179,8 +179,10 @@ 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>(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. +there are still rough edges remaining this GC implementation. +E.g. there is no support for code-vectors migrating yet, although this +will only become an issue when new code-vectors are consed up (i.e. by +incremental compilation of some sort). <h2>About OS design in Common Lisp</h2>

1 0

[movitz-cvs] CVS update: movitz/losp/los0-gc.lisp
by Frode Vatvedt Fjeld 07 Apr '04

07 Apr '04

Update of /project/movitz/cvsroot/movitz/losp In directory common-lisp.net:/tmp/cvs-serv13793 Modified Files: los0-gc.lisp Log Message: Added a handler for the out-of-memory exception to automatically call stop-and-copy. So now the GC architecture should in principle be complete! Date: Tue Apr 6 20:45:54 2004 Author: ffjeld Index: movitz/losp/los0-gc.lisp diff -u movitz/losp/los0-gc.lisp:1.4 movitz/losp/los0-gc.lisp:1.5 --- movitz/losp/los0-gc.lisp:1.4 Tue Apr 6 19:47:26 2004 +++ movitz/losp/los0-gc.lisp Tue Apr 6 20:45:54 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Sat Feb 21 17:48:32 2004 ;;;; -;;;; $Id: los0-gc.lisp,v 1.4 2004/04/06 23:47:26 ffjeld Exp $ +;;;; $Id: los0-gc.lisp,v 1.5 2004/04/07 00:45:54 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -57,10 +57,13 @@ (define-primitive-function new-fast-cons () "Allocate a cons cell from nursery-space." (with-inline-assembly (:returns :eax) + retry-cons (:locally (:movl (:edi (:edi-offset nursery-space)) :edx)) (:movl (:edx 2) :ecx) (:cmpl #x3fff4 :ecx) - (:jge '(:sub-program () (:int 112))) + (:jge '(:sub-program () + (:int 112) + (:jmp 'retry-cons))) (:movl :eax (:edx :ecx 2)) (:movl :ebx (:edx :ecx 6)) (:leal (:edx :ecx 3) :eax) @@ -92,6 +95,11 @@ (:jb 'init-loop) (:movl #.(movitz:tag :infant-object) (:ebx -2)))) +(defun los0-handle-out-of-memory (exception interrupt-frame) + (declare (ignore exception interrupt-frame)) + (format t "~&;; Handling out-of-memory exception..") + (stop-and-copy)) + (defun install-los0-consing () (setf (%run-time-context-slot 'nursery-space) (allocate-duo-space)) @@ -104,6 +112,7 @@ (symbol-function 'new-malloc-clumps)) (setf (symbol-function 'new-malloc-clumps) old-malloc)) + (setf (interrupt-handler 112) 'los0-handle-out-of-memory) (values)) (defun install-old-consing ()

1 0

[movitz-cvs] CVS update: movitz/losp/los0.lisp
by Frode Vatvedt Fjeld 07 Apr '04

07 Apr '04

Update of /project/movitz/cvsroot/movitz/losp In directory common-lisp.net:/tmp/cvs-serv20592 Modified Files: los0.lisp Log Message: Minor edits. Date: Tue Apr 6 20:35:51 2004 Author: ffjeld Index: movitz/losp/los0.lisp diff -u movitz/losp/los0.lisp:1.10 movitz/losp/los0.lisp:1.11 --- movitz/losp/los0.lisp:1.10 Tue Apr 6 09:36:42 2004 +++ movitz/losp/los0.lisp Tue Apr 6 20:35:51 2004 @@ -9,14 +9,13 @@ ;;;; Created at: Fri Dec 1 18:08:32 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: los0.lisp,v 1.10 2004/04/06 13:36:42 ffjeld Exp $ +;;;; $Id: los0.lisp,v 1.11 2004/04/07 00:35:51 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ (provide :los0 :load-priority 0) (require :common-lisp) -(require :x86-pc/interrupt) (require :x86-pc/all) (require :x86-pc/io-space) (require :x86-pc/ne2k) @@ -37,7 +36,6 @@ muerte.ip6 muerte.ip4 muerte.mop - muerte.debug #+ignore muerte.x86-pc.serial)) (require :los0-gc)

1 0

[movitz-cvs] CVS update: movitz/losp/x86-pc/debugger.lisp
by Frode Vatvedt Fjeld 07 Apr '04

07 Apr '04

Update of /project/movitz/cvsroot/movitz/losp/x86-pc In directory common-lisp.net:/tmp/cvs-serv1866 Modified Files: debugger.lisp Log Message: Renamed int-frame- to interrupt-frame- Date: Tue Apr 6 20:34:57 2004 Author: ffjeld Index: movitz/losp/x86-pc/debugger.lisp diff -u movitz/losp/x86-pc/debugger.lisp:1.5 movitz/losp/x86-pc/debugger.lisp:1.6 --- movitz/losp/x86-pc/debugger.lisp:1.5 Tue Apr 6 10:45:24 2004 +++ movitz/losp/x86-pc/debugger.lisp Tue Apr 6 20:34:57 2004 @@ -10,14 +10,14 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Fri Nov 22 10:09:18 2002 ;;;; -;;;; $Id: debugger.lisp,v 1.5 2004/04/06 14:45:24 ffjeld Exp $ +;;;; $Id: debugger.lisp,v 1.6 2004/04/07 00:34:57 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ (provide :x86-pc/debugger) -(defpackage muerte.debug - (:use #:muerte.cl #:muerte #:muerte.x86-pc) +(defpackage muerte + ;; (:use #:muerte.cl #:muerte #:muerte.x86-pc) (:export #:*debugger-function* #:*debugger-condition* #:*backtrace-conflate-names* @@ -33,7 +33,7 @@ #:backtrace )) -(in-package muerte.debug) +(in-package muerte) (defparameter *backtrace-be-spartan-p* nil) @@ -481,8 +481,8 @@ (format t "#x~X " stack-frame)))) (typecase funobj (integer - (let* ((int-frame stack-frame) - (funobj (int-frame-ref int-frame :esi :lisp))) + (let* ((interrupt-frame stack-frame) + (funobj (interrupt-frame-ref interrupt-frame :esi :lisp))) (if (and conflate ;; When the interrupted function has a stack-frame, conflate it. (typep funobj 'function) @@ -492,18 +492,19 @@ (incf count) (print-leadin stack-frame count conflate-count) (setf conflate-count 0) - (let ((exception (int-frame-ref int-frame :exception :unsigned-byte32)) - (eip (int-frame-ref int-frame :eip :unsigned-byte32))) + (let ((exception (interrupt-frame-ref interrupt-frame :exception + :unsigned-byte32)) + (eip (interrupt-frame-ref interrupt-frame :eip :unsigned-byte32))) (typecase funobj (function (let ((delta (code-vector-offset (funobj-code-vector funobj) eip))) (if delta (format t "{Interrupt ~D in ~W at offset ~D. [#x~X]}" - exception (funobj-name funobj) delta int-frame) + exception (funobj-name funobj) delta interrupt-frame) (format t "{Interrupt ~D in ~W at EIP=#x~X. [#x~X]}" - exception (funobj-name funobj) eip int-frame)))) + exception (funobj-name funobj) eip interrupt-frame)))) (t (format t "{Interrupt ~D with ESI=#x~Z and EIP=#x~X. [#x~X]}" - exception funobj eip int-frame)))))))) + exception funobj eip interrupt-frame)))))))) (function (let ((name (funobj-name funobj))) (cond

1 0

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

07 Apr '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv27542 Modified Files: scavenge.lisp Log Message: Renamed int-frame- to interrupt-frame- Date: Tue Apr 6 20:34:52 2004 Author: ffjeld Index: movitz/losp/muerte/scavenge.lisp diff -u movitz/losp/muerte/scavenge.lisp:1.5 movitz/losp/muerte/scavenge.lisp:1.6 --- movitz/losp/muerte/scavenge.lisp:1.5 Tue Apr 6 20:16:38 2004 +++ movitz/losp/muerte/scavenge.lisp Tue Apr 6 20:34:52 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.5 2004/04/07 00:16:38 ffjeld Exp $ +;;;; $Id: scavenge.lisp,v 1.6 2004/04/07 00:34:52 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -108,10 +108,10 @@ ;; 1. Scavenge the interrupt-frame (map-heap-words function (+ nether-frame 2) - (+ frame (int-frame-index :ecx))) + (+ frame (interrupt-frame-index :ecx))) (let* ((interrupt-frame frame) (interrupted-eip-loc - (int-frame-ref interrupt-frame :eip :signed-byte30+2))) + (interrupt-frame-ref interrupt-frame :eip :signed-byte30+2))) ;; 2. Pop to interrupted frame (setf nether-frame frame frame (stack-frame-uplink frame))

1 0