X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=contrib%2Fsb-introspect%2Fintrospect.lisp;h=862c866477a21b6f8224e40211ec5f49e0a0c080;hb=9649ba118decaf0b6c7715e9224843d16016ad6b;hp=735d92fd0c57adee9c74b6eb41d3ec346651d32d;hpb=e5334bc7f2c88a5819e45e2d6e1cfe18af355169;p=sbcl.git diff --git a/contrib/sb-introspect/introspect.lisp b/contrib/sb-introspect/introspect.lisp index 735d92f..862c866 100644 --- a/contrib/sb-introspect/introspect.lisp +++ b/contrib/sb-introspect/introspect.lisp @@ -31,6 +31,7 @@ (:export "ALLOCATION-INFORMATION" "FUNCTION-ARGLIST" "FUNCTION-LAMBDA-LIST" + "FUNCTION-TYPE" "DEFTYPE-LAMBDA-LIST" "VALID-FUNCTION-NAME-P" "FIND-DEFINITION-SOURCE" @@ -44,6 +45,7 @@ "DEFINITION-NOT-FOUND" "DEFINITION-NAME" "FIND-FUNCTION-CALLEES" "FIND-FUNCTION-CALLERS" + "MAP-ROOT" "WHO-BINDS" "WHO-CALLS" "WHO-REFERENCES" @@ -95,7 +97,8 @@ include the pathname of the file and the position of the definition." (elt (sb-c::compiled-debug-info-fun-map debug-info) 0)) (defun valid-function-name-p (name) - "True if NAME denotes a function name that can be passed to MACRO-FUNCTION or FDEFINITION " + "True if NAME denotes a valid function name, ie. one that can be passed to +FBOUNDP." (and (sb-int:valid-function-name-p name) t)) ;;;; Finding definitions @@ -358,7 +361,7 @@ If an unsupported TYPE is requested, the function will return NIL. ((or condition standard-object structure-object) (find-definition-source (class-of object))) (t - (error "Don't know how to retrieve source location for a ~S~%" + (error "Don't know how to retrieve source location for a ~S" (type-of object))))) (defun find-function-definition-source (function) @@ -422,14 +425,10 @@ If an unsupported TYPE is requested, the function will return NIL. ;; FIXME there may be other structure predicate functions (member self (list *struct-predicate*)))) -(defun function-arglist (function) - "Deprecated alias for FUNCTION-LAMBDA-LIST." +(sb-int:define-deprecated-function :late "1.0.24.5" function-arglist function-lambda-list + (function) (function-lambda-list function)) -(define-compiler-macro function-arglist (function) - (sb-int:deprecation-warning 'function-arglist 'function-lambda-list) - `(function-lambda-list ,function)) - (defun function-lambda-list (function) "Describe the lambda list for the extended function designator FUNCTION. Works for special-operators, macros, simple functions, interpreted functions, @@ -451,7 +450,46 @@ function designator." "Returns the lambda list of TYPESPEC-OPERATOR as first return value, and a flag whether the arglist could be found as second value." - (sb-int:info :type :lambda-list typespec-operator)) + (check-type typespec-operator symbol) + (case (sb-int:info :type :kind typespec-operator) + (:defined + (sb-int:info :type :lambda-list typespec-operator)) + (:primitive + (let ((translator-fun (sb-int:info :type :translator typespec-operator))) + (if translator-fun + (values (sb-kernel:%fun-lambda-list translator-fun) t) + ;; Some builtin types (e.g. STRING) do not have a + ;; translator, but they were actually defined via DEFTYPE + ;; in src/code/deftypes-for-target.lisp. + (sb-int:info :type :lambda-list typespec-operator)))) + (t (values nil nil)))) + +(defun function-type (function-designator) + "Returns the ftype of FUNCTION-DESIGNATOR, or NIL." + (flet ((ftype-of (function-designator) + (sb-kernel:type-specifier + (sb-int:info :function :type function-designator)))) + (etypecase function-designator + (symbol + (when (and (fboundp function-designator) + (not (macro-function function-designator)) + (not (special-operator-p function-designator))) + (ftype-of function-designator))) + (cons + (when (and (sb-int:legal-fun-name-p function-designator) + (fboundp function-designator)) + (ftype-of function-designator))) + (generic-function + (function-type (sb-pcl:generic-function-name function-designator))) + (function + ;; Give declared type in globaldb priority over derived type + ;; because it contains more accurate information e.g. for + ;; struct-accessors. + (let ((type (function-type (sb-kernel:%fun-name + (sb-impl::%fun-fun function-designator))))) + (if type + type + (sb-impl::%fun-type function-designator))))))) (defun struct-accessor-structure-class (function) (let ((self (sb-vm::%simple-fun-self function))) @@ -639,6 +677,8 @@ designated class. Experimental. " (let ((class (canonicalize-class-designator class-designator))) + (unless class + (return-from who-specializes-directly nil)) (let ((result (collect-specializing-methods #'(lambda (specl) ;; Does SPECL specialize on CLASS directly? @@ -670,6 +710,8 @@ designated class or a subclass of it. Experimental. " (let ((class (canonicalize-class-designator class-designator))) + (unless class + (return-from who-specializes-generally nil)) (let ((result (collect-specializing-methods #'(lambda (specl) ;; Does SPECL specialize on CLASS or a subclass @@ -689,9 +731,10 @@ Experimental. result)))) (defun canonicalize-class-designator (class-designator) - (etypecase class-designator - (symbol (find-class class-designator)) - (class class-designator))) + (typecase class-designator + (symbol (find-class class-designator nil)) + (class class-designator) + (t nil))) (defun method-generic-function-name (method) (sb-mop:generic-function-name (sb-mop:method-generic-function method))) @@ -730,12 +773,26 @@ For :HEAP objects the secondary value is a plist: Indicates a \"large\" object subject to non-copying promotion. (GENCGC and :SPACE :DYNAMIC only.) + :BOXED + Indicates that the object is allocated in a boxed region. Unboxed + allocation is used for eg. specialized arrays after they have survived one + collection. (GENCGC and :SPACE :DYNAMIC only.) + :PINNED Indicates that the page(s) on which the object resides are kept live due to conservative references. Note that object may reside on a pinned page even if :PINNED in NIL if the GC has not had the need to mark the the page as pinned. (GENCGC and :SPACE :DYNAMIC only.) + :WRITE-PROTECTED + Indicates that the page on which the object starts is write-protected, + which indicates for :BOXED objects that it hasn't been written to since + the last GC of its generation. (GENCGC and :SPACE :DYNAMIC only.) + + :PAGE + The index of the page the object resides on. (GENGC and :SPACE :DYNAMIC + only.) + For :STACK objects secondary value is the thread on whose stack the object is allocated. @@ -781,8 +838,10 @@ Experimental: interface subject to change." (list :space space :generation (sb-alien:slot page 'sb-vm::gen) :write-protected (logbitp 0 flags) + :boxed (logbitp 2 flags) :pinned (logbitp 5 flags) - :large (logbitp 6 flags))))) + :large (logbitp 6 flags) + :page index)))) (list :space space)) #-gencgc (list :space space)))))) @@ -812,3 +871,117 @@ Experimental: interface subject to change." (values :stack sb-thread::*current-thread*)))) :foreign))))) +(defun map-root (function object &key simple ext) + "Call FUNCTION with all non-immediate objects pointed to by OBJECT. Returns +OBJECT. + +If SIMPLE is true, elides those pointers that are not notionally part of +certain built-in objects, but backpointers to a conceptual parent: eg. elides +the pointer from a SYMBOL to the corresponding PACKAGE. + +If EXT is true, includes some pointers that are not actually contained in the +object, but in well-known indirect containers. For example, symbols in SBCL do +not directly point to their SYMBOL-FUNCTION or class by the same name, but +when :EXT T is used MAP-ROOT will also walk the function and class (if any) +associated with the symbol. + +NOTE: calling MAP-ROOT with a THREAD does not currently map over conservative +roots from the thread stack & interrupt contexts, nor over thread-local symbol +bindings. + +Experimental: interface subject to change." + (let ((fun (coerce function 'function))) + (flet ((call (part) + (when (member (sb-kernel:lowtag-of part) + `(,sb-vm:instance-pointer-lowtag + ,sb-vm:list-pointer-lowtag + ,sb-vm:fun-pointer-lowtag + ,sb-vm:other-pointer-lowtag)) + (funcall fun part)))) + (etypecase object + ((or bignum float sb-sys:system-area-pointer fixnum)) + (sb-ext:weak-pointer + (call (sb-ext:weak-pointer-value object))) + (cons + (call (car object)) + (call (cdr object)) + (when (and ext (ignore-errors (fboundp object))) + (call (fdefinition object)))) + (ratio + (call (numerator object)) + (call (denominator object))) + (complex + (call (realpart object)) + (call (realpart object))) + (sb-vm::instance + (let* ((len (sb-kernel:%instance-length object)) + (nuntagged (if (typep object 'structure-object) + (sb-kernel:layout-n-untagged-slots + (sb-kernel:%instance-layout object)) + 0))) + (dotimes (i (- len nuntagged)) + (call (sb-kernel:%instance-ref object i))))) + (array + (if (simple-vector-p object) + (dotimes (i (length object)) + (call (aref object i))) + (when (sb-kernel:array-header-p object) + (call (sb-kernel::%array-data-vector object)) + (call (sb-kernel::%array-displaced-p object)) + (unless simple + (call (sb-kernel::%array-displaced-from object)))))) + (sb-kernel:code-component + (call (sb-kernel:%code-entry-points object)) + (call (sb-kernel:%code-debug-info object)) + (loop for i from sb-vm:code-constants-offset + below (sb-kernel:get-header-data object) + do (call (sb-kernel:code-header-ref object i)))) + (sb-kernel:fdefn + (call (sb-kernel:fdefn-name object)) + (call (sb-kernel:fdefn-fun object))) + (sb-kernel:simple-fun + (unless simple + (call (sb-kernel:%simple-fun-next object))) + (call (sb-kernel:fun-code-header object)) + (call (sb-kernel:%simple-fun-name object)) + (call (sb-kernel:%simple-fun-arglist object)) + (call (sb-kernel:%simple-fun-type object)) + (call (sb-kernel:%simple-fun-info object))) + (sb-kernel:closure + (call (sb-kernel:%closure-fun object)) + (sb-kernel:do-closure-values (x object) + (call x))) + (sb-kernel:funcallable-instance + (call (sb-kernel:%funcallable-instance-function object)) + (loop for i from 1 below (- (1+ (sb-kernel:get-closure-length object)) + sb-vm::funcallable-instance-info-offset) + do (call (sb-kernel:%funcallable-instance-info object i)))) + (symbol + (when (boundp object) + (let ((local (symbol-value object))) + (handler-case + ;; Possibly bound only in the current thread -- and we don't + ;; have GLOBAL-BOUNDP. + (let ((global (sb-ext:symbol-global-value object))) + (unless (eq local global) + (call global))) + (unbound-variable () + nil)))) + (when (and ext (ignore-errors (fboundp object))) + (call (fdefinition object)) + (let ((class (find-class object nil))) + (when class (call class)))) + (call (symbol-plist object)) + (call (symbol-name object)) + (unless simple + (call (symbol-package object)))) + (sb-kernel::random-class + (case (sb-kernel:widetag-of object) + (#.sb-vm::value-cell-header-widetag + (call (sb-kernel::value-cell-ref object))) + #+(and sb-lutex sb-thread) + (#.sb-vm::lutex-widetag) + (t + (warn "~&MAP-ROOT: Unknown widetag ~S: ~S~%" + (sb-kernel:widetag-of object) object))))))) + object)