movitz-cvs April 2008

movitz-cvs@common-lisp.net

1 participants
115 discussions

[movitz-cvs] CVS movitz/losp/muerte
by ffjeld 02 Apr '08

02 Apr '08

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory clnet:/tmp/cvs-serv17546 Modified Files: arrays.lisp Log Message: Add the stack-vector type, because we need to be able to recognize a stack at GC-time. --- /project/movitz/cvsroot/movitz/losp/muerte/arrays.lisp 2008/03/15 20:57:12 1.65 +++ /project/movitz/cvsroot/movitz/losp/muerte/arrays.lisp 2008/04/02 20:49:37 1.66 @@ -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.65 2008/03/15 20:57:12 ffjeld Exp $ +;;;; $Id: arrays.lisp,v 1.66 2008/04/02 20:49:37 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -194,11 +194,12 @@ ((#.(bt:enum-value 'movitz::movitz-vector-element-type :any-t) #.(bt:enum-value 'movitz::movitz-vector-element-type :indirects)) (%shallow-copy-object vector (+ 2 length))) - ((#.(bt:enum-value 'movitz::movitz-vector-element-type :u32)) + ((#.(bt:enum-value 'movitz::movitz-vector-element-type :u32) + #.(bt:enum-value 'movitz::movitz-vector-element-type :stack)) (%shallow-copy-non-pointer-object vector (+ 2 length))) ((#.(bt:enum-value 'movitz::movitz-vector-element-type :character) - #.(bt:enum-value 'movitz::movitz-vector-element-type :u8) - #.(bt:enum-value 'movitz::movitz-vector-element-type :code)) + #.(bt:enum-value 'movitz::movitz-vector-element-type :u8) + #.(bt:enum-value 'movitz::movitz-vector-element-type :code)) (%shallow-copy-non-pointer-object vector (+ 2 (truncate (+ 3 length) 4)))) ((#.(bt:enum-value 'movitz::movitz-vector-element-type :u16)) (%shallow-copy-non-pointer-object vector (+ 2 (truncate (+ 1 length) 2)))) @@ -321,9 +322,9 @@ `(with-inline-assembly (:returns :eax) (:declare-label-set basic-vector-dispatcher - ,(loop with x = (make-list 8 :initial-element 'unknown) - for et in '(:any-t :character :u8 :u32 :code :bit) - do (setf (elt x (bt:enum-value + ,(loop with x = (make-list 9 :initial-element 'unknown) + for et in '(:any-t :character :u8 :u32 :stack :code :bit) + do (setf (elt x (bt:enum-value 'movitz::movitz-vector-element-type et)) et) @@ -350,6 +351,7 @@ (:jnever '(:sub-program (unknown) (:int 100))) :u32 + :stack (:movl (:eax :ebx ,(bt:slot-offset 'movitz:movitz-basic-vector 'movitz::data)) :ecx) (:call-local-pf box-u32-ecx) @@ -949,13 +951,23 @@ (setf (fill-pointer array) length))) (cond (initial-element - ;; (check-type initial-element (unsigned-byte 32)) + (check-type initial-element (unsigned-byte 32)) (dotimes (i length) (setf (u32ref%unsafe array i) initial-element))) (initial-contents (replace array initial-contents))) array)) +(defun make-stack-vector (length) + (let ((vector (make-basic-vector%u32 length nil nil nil))) + (with-inline-assembly (:returns :nothing) + (:load-lexical (:lexical-binding vector) :eax) + (:movl #.(movitz:basic-vector-type-tag :stack) + (:eax (:offset movitz-basic-vector type)))) + (when (%basic-vector-has-fill-pointer-p vector) + (setf (fill-pointer vector) length)) + vector)) + (defun make-basic-vector%u8 (length fill-pointer initial-element initial-contents) (check-type length (and fixnum (integer 0 *))) (let* ((words (+ 2 (truncate (+ length 3) 4)))

1 0

[movitz-cvs] CVS movitz/losp/lib
by ffjeld 02 Apr '08

02 Apr '08

Update of /project/movitz/cvsroot/movitz/losp/lib In directory clnet:/tmp/cvs-serv17518 Modified Files: threading.lisp Log Message: Add the stack-vector type, because we need to be able to recognize a stack at GC-time. --- /project/movitz/cvsroot/movitz/losp/lib/threading.lisp 2007/03/12 22:50:34 1.9 +++ /project/movitz/cvsroot/movitz/losp/lib/threading.lisp 2008/04/02 20:49:35 1.10 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Thu Apr 28 08:30:01 2005 ;;;; -;;;; $Id: threading.lisp,v 1.9 2007/03/12 22:50:34 ffjeld Exp $ +;;;; $Id: threading.lisp,v 1.10 2008/04/02 20:49:35 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -89,8 +89,7 @@ (setf (segment-descriptor-base-location (segment-descriptor-table *segment-descriptor-table-manager*) segment-selector) (+ (object-location thread) (location-physical-offset))) - (let ((stack (control-stack-init-for-yield (make-array stack-size - :element-type '(unsigned-byte 32)) + (let ((stack (control-stack-init-for-yield (make-stack-vector stack-size) function args))) (multiple-value-bind (ebp esp) (control-stack-fixate stack)

1 0

[movitz-cvs] CVS movitz
by ffjeld 02 Apr '08

02 Apr '08

Update of /project/movitz/cvsroot/movitz In directory clnet:/tmp/cvs-serv17461 Modified Files: packages.lisp Log Message: Add the stack-vector type, because we need to be able to recognize a stack at GC-time. --- /project/movitz/cvsroot/movitz/packages.lisp 2008/03/20 22:23:28 1.58 +++ /project/movitz/cvsroot/movitz/packages.lisp 2008/04/02 20:49:33 1.59 @@ -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.58 2008/03/20 22:23:28 ffjeld Exp $ +;;;; $Id: packages.lisp,v 1.59 2008/04/02 20:49:33 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -1105,6 +1105,8 @@ #:newline #:check-the #:index + #:make-stack-vector + #:stack-vector #:defmacro/cross-compilation

1 0

[movitz-cvs] CVS movitz
by ffjeld 02 Apr '08

02 Apr '08

Update of /project/movitz/cvsroot/movitz In directory clnet:/tmp/cvs-serv17424 Modified Files: image.lisp Log Message: Add the stack-vector type, because we need to be able to recognize a stack at GC-time. --- /project/movitz/cvsroot/movitz/image.lisp 2008/03/20 22:24:06 1.118 +++ /project/movitz/cvsroot/movitz/image.lisp 2008/04/02 20:49:30 1.119 @@ -9,7 +9,7 @@ ;;;; Created at: Sun Oct 22 00:22:43 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: image.lisp,v 1.118 2008/03/20 22:24:06 ffjeld Exp $ +;;;; $Id: image.lisp,v 1.119 2008/04/02 20:49:30 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -957,7 +957,7 @@ :num-elements #x3ffe :fill-pointer 0 :symbolic-data nil - :element-type :u32)) + :element-type :stack)) (image-start (file-position stream))) (dump-image-core *image* stream) ; dump the kernel proper. ;; make a stack-vector for the root run-time-context

1 0

[movitz-cvs] CVS movitz
by ffjeld 02 Apr '08

02 Apr '08

Update of /project/movitz/cvsroot/movitz In directory clnet:/tmp/cvs-serv16740 Modified Files: storage-types.lisp Log Message: Set an appropriate value (i.e. scannable) for the :run-time-context tag. --- /project/movitz/cvsroot/movitz/storage-types.lisp 2008/03/23 12:19:19 1.62 +++ /project/movitz/cvsroot/movitz/storage-types.lisp 2008/04/02 20:47:09 1.63 @@ -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.62 2008/03/23 12:19:19 ffjeld Exp $ +;;;; $Id: storage-types.lisp,v 1.63 2008/04/02 20:47:09 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -68,7 +68,8 @@ :null 5 :other 6 :symbol 7 - + + ;; The lower 3 bits of these are significant in mysterious ways. :basic-vector #x22 :defstruct #x2a :funobj #x3a @@ -76,7 +77,7 @@ :ratio #x52 :complex #x5a :std-instance #x40 - :run-time-context #x50 + :run-time-context #x62 :illegal #x13 :infant-object #x23 :basic-restart #x32 @@ -342,9 +343,10 @@ :u8 2 :u16 3 :u32 4 - :bit 5 - :code 6 - :indirects 7) + :stack 5 + :bit 6 + :code 7 + :indirects 8) :initarg :element-type :reader movitz-vector-element-type) (fill-pointer @@ -396,7 +398,7 @@ (defun movitz-vector-element-type-size (element-type) (ecase element-type - ((:any-t :u32) 32) + ((:any-t :u32 :stack) 32) ((:character :u8 :code) 8) (:u16 16) (:bit 1)))

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

movitz-cvs April 2008