movitz-cvs

movitz-cvs@common-lisp.net

2595 discussions

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

24 Mar '04

Update of /project/movitz/cvsroot/movitz/losp/x86-pc In directory common-lisp.net:/tmp/cvs-serv10722 Modified Files: debugger.lisp Log Message: Take pains not to have backtrace do any consing. It used to cons up the print-leadin flet, because it closed over a couple of variables and the compiler isn't too smart about such closures (yet). Date: Wed Mar 24 08:34:53 2004 Author: ffjeld Index: movitz/losp/x86-pc/debugger.lisp diff -u movitz/losp/x86-pc/debugger.lisp:1.3 movitz/losp/x86-pc/debugger.lisp:1.4 --- movitz/losp/x86-pc/debugger.lisp:1.3 Fri Feb 13 17:11:38 2004 +++ movitz/losp/x86-pc/debugger.lisp Wed Mar 24 08:34:53 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.3 2004/02/13 22:11:38 ffjeld Exp $ +;;;; $Id: debugger.lisp,v 1.4 2004/03/24 13:34:53 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -69,6 +69,7 @@ (defvar *backtrace-do-fresh-lines* t) (defvar *backtrace-print-length* 3) (defvar *backtrace-print-level* 2) +(defvar *backtrace-print-frames* nil) (defun pointer-in-range (x) (with-inline-assembly (:returns :boolean-cf=1) @@ -443,16 +444,17 @@ (or *debugger-invoked-stack-frame* (current-stack-frame))) ((:spartan *backtrace-be-spartan-p*)) + ((:fresh-lines *backtrace-do-fresh-lines*) *backtrace-do-fresh-lines*) (conflate *backtrace-do-conflate*) (length *backtrace-length*) - print-frames) + ((:print-frames *backtrace-print-frames*) *backtrace-print-frames*)) (let ((*standard-output* *debug-io*) (*print-length* *backtrace-print-length*) (*print-level* *backtrace-print-level*)) (loop with conflate-count = 0 with count = 0 for stack-frame = initial-stack-frame then (stack-frame-uplink stack-frame) as funobj = (stack-frame-funobj stack-frame t) - do (flet ((print-leadin (count conflate-count) + do (flet ((print-leadin (stack-frame count conflate-count) (when *backtrace-do-fresh-lines* (fresh-line)) (cond @@ -463,8 +465,8 @@ (write-string "=")) (write-char #\space)) (t (format t "~& |= "))) - (when print-frames - (format t "#x~X " stack-frame)))) + (when *backtrace-print-frames* + (format t "#x~X " stack-frame)))) (typecase funobj (integer (let* ((int-frame funobj) @@ -476,7 +478,7 @@ (incf conflate-count) (progn (incf count) - (print-leadin count conflate-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))) @@ -504,7 +506,7 @@ (< count length)) (write-string " ...") (return)) - (print-leadin count conflate-count) + (print-leadin stack-frame count conflate-count) (setf conflate-count 0) (write-char #\() (let* ((numargs (stack-frame-numargs stack-frame))

1 0

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

24 Mar '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv23657 Modified Files: functions.lisp Log Message: Rewrote %funobj-code-vector accessor in terms of memref and %word-offset. The reader apparently compiles to the same as my hand-written assembly :-) Date: Wed Mar 24 08:33:21 2004 Author: ffjeld Index: movitz/losp/muerte/functions.lisp diff -u movitz/losp/muerte/functions.lisp:1.3 movitz/losp/muerte/functions.lisp:1.4 --- movitz/losp/muerte/functions.lisp:1.3 Mon Mar 22 11:38:05 2004 +++ movitz/losp/muerte/functions.lisp Wed Mar 24 08:33:21 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Tue Mar 12 22:58:54 2002 ;;;; -;;;; $Id: functions.lisp,v 1.3 2004/03/22 16:38:05 ffjeld Exp $ +;;;; $Id: functions.lisp,v 1.4 2004/03/24 13:33:21 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -86,20 +86,14 @@ (defun funobj-code-vector (funobj) (check-type funobj compiled-function) - (with-inline-assembly (:returns :eax) - (:compile-form (:result-mode :eax) funobj) - (:movl (:eax #.(bt::slot-offset 'movitz:movitz-funobj 'movitz:code-vector)) :eax) - (:subl 2 :eax))) ; this cell stores word+2 + (%word-offset (memref funobj #.(bt:slot-offset 'movitz:movitz-funobj 'movitz::code-vector) 0 :lisp) + -2)) (defun (setf funobj-code-vector) (code-vector funobj) (check-type funobj compiled-function) (check-type code-vector vector-u8) - (with-inline-assembly (:returns :eax) - (:compile-form (:result-mode :ebx) funobj) - (:compile-form (:result-mode :eax) code-vector) - (:addl 2 :eax) ; this cell stores word+2 - (:movl :eax (:ebx #.(bt::slot-offset 'movitz:movitz-funobj 'movitz:code-vector))) - (:subl 2 :eax))) + (setf (memref funobj #.(bt:slot-offset 'movitz:movitz-funobj 'movitz::code-vector) 0 :lisp) + (%word-offset code-vector 2))) (defun funobj-code-vector%1op (funobj) "This slot is not a lisp value, it is a direct address to code entry point. In practice it is either

1 0

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

24 Mar '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv18306 Modified Files: symbols.lisp Log Message: In make-symbol, use %word-offset rather than %other-to-symbol. Date: Wed Mar 24 08:31:45 2004 Author: ffjeld Index: movitz/losp/muerte/symbols.lisp diff -u movitz/losp/muerte/symbols.lisp:1.3 movitz/losp/muerte/symbols.lisp:1.4 --- movitz/losp/muerte/symbols.lisp:1.3 Mon Mar 22 11:38:20 2004 +++ movitz/losp/muerte/symbols.lisp Wed Mar 24 08:31:43 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Tue Sep 4 23:55:41 2001 ;;;; -;;;; $Id: symbols.lisp,v 1.3 2004/03/22 16:38:20 ffjeld Exp $ +;;;; $Id: symbols.lisp,v 1.4 2004/03/24 13:31:43 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -120,20 +120,10 @@ (not (eq (movitz-accessor symbol movitz-symbol function-value) (load-global-constant movitz::unbound-function)))))) -(defun %other-to-symbol (x) - (with-inline-assembly (:returns :eax) - (:compile-form (:result-mode :eax) x) - (:leal (:eax 2) :ecx) - (:testb 7 :cl) - (:jnz '(:sub-program () - (:compile-form (:result-mode :ignore) - (error "Not an other heap-object: ~S" x)) - (:jmp 'continue))) - continue - (:addl 1 :eax))) - (defun make-symbol (name) - (let ((symbol (%other-to-symbol (malloc-clumps 3)))) + (eval-when (:compile-toplevel) + (assert (= 1 (- (movitz:tag :symbol) (movitz:tag :other))))) + (let ((symbol (%word-offset (malloc-clumps 3) 1))) (setf-movitz-accessor (symbol movitz-symbol package) nil) (setf-movitz-accessor (symbol movitz-symbol hash-key) (sxhash name)) (setf (symbol-flags symbol) 0

1 0

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

24 Mar '04

Update of /project/movitz/cvsroot/movitz/losp In directory common-lisp.net:/tmp/cvs-serv11393 Modified Files: los0.lisp Log Message: Add local *package* binding around top-level. Date: Wed Mar 24 08:25:13 2004 Author: ffjeld Index: movitz/losp/los0.lisp diff -u movitz/losp/los0.lisp:1.4 movitz/losp/los0.lisp:1.5 --- movitz/losp/los0.lisp:1.4 Mon Mar 22 04:49:11 2004 +++ movitz/losp/los0.lisp Wed Mar 24 08:25:13 2004 @@ -9,7 +9,7 @@ ;;;; Created at: Fri Dec 1 18:08:32 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: los0.lisp,v 1.4 2004/03/22 09:49:11 ffjeld Exp $ +;;;; $Id: los0.lisp,v 1.5 2004/03/24 13:25:13 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -840,7 +840,8 @@ (let ((*repl-readline-context* (make-readline-context :history-size 16)) (*backtrace-stack-frame-barrier* (stack-frame-uplink (current-stack-frame))) #+ignore (*error-no-condition-for-debugger* t) - (*debugger-function* #'los0-debugger)) + (*debugger-function* #'los0-debugger) + (*package* nil)) (with-simple-restart (continue "Abort LOS0 boot-up initialization.") (setf *cpu-features*

1 0

[movitz-cvs] CVS update: movitz/storage-types.lisp
by Frode Vatvedt Fjeld 24 Mar '04

24 Mar '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv10915 Modified Files: storage-types.lisp Log Message: More small changes for GC scanning. Date: Wed Mar 24 08:22:31 2004 Author: ffjeld Index: movitz/storage-types.lisp diff -u movitz/storage-types.lisp:1.12 movitz/storage-types.lisp:1.13 --- movitz/storage-types.lisp:1.12 Mon Mar 22 11:45:39 2004 +++ movitz/storage-types.lisp Wed Mar 24 08:22:27 2004 @@ -9,7 +9,7 @@ ;;;; Created at: Sun Oct 22 00:22:43 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: storage-types.lisp,v 1.12 2004/03/22 16:45:39 ffjeld Exp $ +;;;; $Id: storage-types.lisp,v 1.13 2004/03/24 13:22:27 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -67,9 +67,9 @@ :other 6 :symbol 7 - :vector #x10 + :vector #x1a :defstruct #x20 - :funobj #x30 + :funobj #x3a :std-instance #x40 :run-time-context #x50 :infant-object #x65 @@ -81,6 +81,8 @@ ) (defconstant +fixnum-tags+ '(:even-fixnum :odd-fixnum)) +(defparameter +scan-skip-word+ #x00000003) + (defun tag (type) (bt:enum-value 'other-type-byte type))

1 0

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

24 Mar '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv961 Modified Files: multiboot.lisp Log Message: Re-arranged storage for multi-boot header so that it doesn't mess up (GC) scanning. Date: Wed Mar 24 08:20:50 2004 Author: ffjeld Index: movitz/multiboot.lisp diff -u movitz/multiboot.lisp:1.2 movitz/multiboot.lisp:1.3 --- movitz/multiboot.lisp:1.2 Mon Jan 19 06:23:41 2004 +++ movitz/multiboot.lisp Wed Mar 24 08:20:49 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Wed Jun 12 12:14:12 2002 ;;;; -;;;; $Id: multiboot.lisp,v 1.2 2004/01/19 11:23:41 ffjeld Exp $ +;;;; $Id: multiboot.lisp,v 1.3 2004/03/24 13:20:49 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -36,7 +36,16 @@ (defconstant +multiboot-header-magic-value+ #x1BADB002) (define-binary-class multiboot-header (movitz-heap-object) - ((magic + ((scan-skip-header + :binary-type word + :initform +scan-skip-word+) + (scan-skip-length + :binary-type word + :initform 0 + :map-binary-write (lambda (x type) + (declare (ignore x y)) + (- (sizeof 'multiboot-header) 8))) + (magic :accessor magic :initform +multiboot-header-magic-value+ :initarg :magic

1 0

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

24 Mar '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv31648 Modified Files: image.lisp Log Message: Re-arranged storage for multi-boot header so that it doesn't mess up (GC) scanning. Date: Wed Mar 24 08:20:25 2004 Author: ffjeld Index: movitz/image.lisp diff -u movitz/image.lisp:1.17 movitz/image.lisp:1.18 --- movitz/image.lisp:1.17 Mon Mar 22 11:42:53 2004 +++ movitz/image.lisp Wed Mar 24 08:20:24 2004 @@ -9,7 +9,7 @@ ;;;; Created at: Sun Oct 22 00:22:43 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: image.lisp,v 1.17 2004/03/22 16:42:53 ffjeld Exp $ +;;;; $Id: image.lisp,v 1.18 2004/03/24 13:20:24 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -870,8 +870,12 @@ (format t "~&;; No multiboot header.") ;; Update multiboot header, symbolic and in the file.. (let* ((mb (image-multiboot-header *image*)) - (mb-address (+ (movitz-intern mb) (image-ds-segment-base *image*))) - (mb-file-position (- (+ mb-address 512) load-address))) + (mb-address (+ (movitz-intern mb) + (slot-offset 'multiboot-header 'magic) + (image-ds-segment-base *image*))) + (mb-file-position (- (+ mb-address 512) + load-address + (slot-offset 'multiboot-header 'magic)))) (when (< load-address #x100000) (warn "Multiboot load-address #x~x is below the 1MB mark." load-address))

1 0

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

24 Mar '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv17823 Modified Files: typep.lisp Log Message: Added a type pointer, which is approximately (not (or character fixnum null)). Date: Wed Mar 24 06:24:53 2004 Author: ffjeld Index: movitz/losp/muerte/typep.lisp diff -u movitz/losp/muerte/typep.lisp:1.3 movitz/losp/muerte/typep.lisp:1.4 --- movitz/losp/muerte/typep.lisp:1.3 Thu Feb 26 08:43:00 2004 +++ movitz/losp/muerte/typep.lisp Wed Mar 24 06:24:52 2004 @@ -9,7 +9,7 @@ ;;;; Created at: Fri Dec 8 11:07:53 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: typep.lisp,v 1.3 2004/02/26 13:43:00 ffjeld Exp $ +;;;; $Id: typep.lisp,v 1.4 2004/03/24 11:24:52 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -187,6 +187,15 @@ (tag4 (make-tag-typep :tag4)) (tag5 (make-tag-typep :null)) (tag6 (make-tag-typep :other)) + (pointer + `(with-inline-assembly-case () + (do-case (t :boolean-zf=0 :labels (done)) + (:compile-form (:result-mode :eax) ,object) + (:testb ,movitz::+movitz-fixnum-zmask+ :al) + (:jz 'done) + (:leal (:eax 6) :ecx) ; => cons:7, other:4, symbol:5, fixnum:6 + (:testb #b100 :cl) + done))) (std-instance (make-other-typep :std-instance) #+ignore (make-tag-typep :std-instance)) @@ -205,7 +214,7 @@ (character `(with-inline-assembly (:returns :boolean-zf=1) (:compile-form (:result-mode :eax) ,object) - (:cmpb ,(movitz::tag :character) :al))) + (:cmpb ,(movitz:tag :character) :al))) ((function compiled-function) (make-other-typep :funobj)) ((vector array) @@ -327,10 +336,14 @@ (define-simple-typep (cons consp) (obj) (typep obj 'cons)) +(define-simple-typep (pointer pointerp) (obj) + (typep obj 'pointer)) + (define-typep cons (x &optional (car '*) (cdr '*)) (and (typep x 'cons) (or (eq '* car) (typep (car x) car)) (or (eq '* cdr) (typep (cdr x) cdr)))) + (define-simple-typep (atom atom) (x) (typep x 'atom))

1 0

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

24 Mar '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv14091 Modified Files: packages.lisp Log Message: Added a type pointer, which is approximately (not (or character fixnum null)). Date: Wed Mar 24 06:24:39 2004 Author: ffjeld Index: movitz/packages.lisp diff -u movitz/packages.lisp:1.8 movitz/packages.lisp:1.9 --- movitz/packages.lisp:1.8 Tue Mar 23 06:18:30 2004 +++ movitz/packages.lisp Wed Mar 24 06:24:35 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Sat Nov 15 21:39:55 2003 ;;;; -;;;; $Id: packages.lisp,v 1.8 2004/03/23 11:18:30 ffjeld Exp $ +;;;; $Id: packages.lisp,v 1.9 2004/03/24 11:24:35 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -1155,6 +1155,7 @@ vector-u8 vector-u16 vector-u32 + pointer make-funobj funobj-type

1 0

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

23 Mar '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv12464 Modified Files: packages.lisp Log Message: Added funobj-num-jumpers. Date: Tue Mar 23 06:18:30 2004 Author: ffjeld Index: movitz/packages.lisp diff -u movitz/packages.lisp:1.7 movitz/packages.lisp:1.8 --- movitz/packages.lisp:1.7 Wed Mar 17 11:36:36 2004 +++ movitz/packages.lisp Tue Mar 23 06:18:30 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Sat Nov 15 21:39:55 2003 ;;;; -;;;; $Id: packages.lisp,v 1.7 2004/03/17 16:36:36 ffjeld Exp $ +;;;; $Id: packages.lisp,v 1.8 2004/03/23 11:18:30 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -1165,6 +1165,7 @@ funobj-lambda-list funobj-name funobj-num-constants + funobj-num-jumpers funobj-constant-ref funobj-debug-info install-function

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