guile-user
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Blending Guile and GDB together


From: Nala Ginrut
Subject: Re: Blending Guile and GDB together
Date: Mon, 17 Feb 2014 10:50:35 +0800

Cheers!


On Sun, 2014-02-16 at 17:22 +0100, Ludovic Courtès wrote:
> Hello!
> 
> As a gift for Guile 2.0’s third birthday [0], here’s a quick hack to
> enhance the debugging experience for Guile hackers in GDB!
> 
> The attached code is a GDB extension, written in Guile, using the nice
> Guile API that landed into GDB master last week (thanks, Doug!).  Once
> you have GDB master (7.8) built with Guile support, just type this at
> the GDB prompt:
> 
>   (gdb) guile (load "scmpp.scm")
> 
> From there on, life in GDB is different.  :-)
> 
> The main feature is printing of ‘SCM’ values.  As you know, ‘SCM’ values
> are bit patterns, sometimes with pointers in disguise and so on–to the
> experienced Guile hacker, “404” is synonymous with #t, not “page not
> found”.
> 
> So, before:
> 
> --8<---------------cut here---------------start------------->8---
> Breakpoint 1, scm_display (obj=0xf04310, port=0x6f9f30) at print.c:1437
> 1437  {
> (gdb) bt
> #0  scm_display (obj=0xf04310, port=0x6f9f30) at print.c:1437
> #1  0x00007ffff7b28ef1 in vm_debug_engine (vm=<optimized out>, 
> program=0x6eb240, argv=<optimized out>, nargs=2)
>     at vm-i-system.c:855
> #2  0x00007ffff7aaafe3 in scm_primitive_eval (address@hidden) at eval.c:685
> #3  0x00007ffff7aab043 in scm_eval (exp=0x8e1440, address@hidden) at 
> eval.c:719
> #4  0x00007ffff7afa26d in scm_shell (argc=1, argv=0x7fffffffd118) at 
> script.c:441
> #5  0x00007ffff7ac753d in invoke_main_func (body_data=0x7fffffffcfe0) at 
> init.c:337
> #6  0x00007ffff7aa14ca in c_body (d=0x7fffffffcf20) at continuations.c:511
> #7  0x00007ffff7b33ac8 in vm_regular_engine (vm=<optimized out>, 
> program=0x6f57e0, argv=<optimized out>, nargs=2)
>     at vm-i-system.c:855
> #8  0x00007ffff7aaaaa3 in scm_call_4 (proc=0x7d2570, address@hidden, 
> arg2=<optimized out>, arg3=<optimized out>, 
>     arg4=<optimized out>) at eval.c:507
> --8<---------------cut here---------------end--------------->8---
> 
> After:
> 
> --8<---------------cut here---------------start------------->8---
> (gdb) gu (load "scmpp.scm")
> (gdb) bt
> #0  scm_display (obj=("happy" birthday Guile (2 . 0)), port=#<port file 
> 6f9f30>) at print.c:1437
> #1  0x00007ffff7b28ef1 in vm_debug_engine (vm=<optimized out>, 
> program=#<program 6eb240>, argv=<optimized out>, nargs=2)
>     at vm-i-system.c:855
> #2  0x00007ffff7aaafe3 in scm_primitive_eval (
>     address@hidden((@ (ice-9 control) %) (begin (load-user-init) ((@ (ice-9 
> top-repl) top-repl))))) at eval.c:685
> #3  0x00007ffff7aab043 in scm_eval (exp=((@ (ice-9 control) %) (begin 
> (load-user-init) ((@ (ice-9 top-repl) top-repl)))), 
>     address@hidden<struct module #<hash-table 8b5240> (#<struct module 
> #<hash-table 66df80> (#<struct module #<hash-table 871ac0> () #f #f #<program 
> 824700> (ice-9 deprecated) interface #f #<hash-table 871aa0> () #<hash-table 
> 871a80> #f #<hash-table 871a40> #f #f #f300b840> #<struct module #<hash-table 
> 891180> () #f #f #<program 824700> (srfi srfi-4) interface #f #<hash-table 
> 891160> () #<hash-table 891140> #f #<hash-table 891100> #f #f #f300b0e0>) #f 
> #f #<program 824700> (guile) interface #f #<hash-table 846740> () 
> #<hash-table 846720> #f #<hash-table 8466e0> #f #<cycle 822ab0> #f3055dc0> 
> #<struct module #<hash-table 883660> () #f #f #<program 824700> (system base 
> compile) interface #f #<hash-table 883640> () #<hash-table 883620> #f 
> #<hash-table 8835e0> #f #f #f30554a0> #<struct module #<hash-table bb6a00> () 
> #f #f #<program 824700> (ice-9 readline) interface #f #<hash-table bb69e0> () 
> #<hash-table bb69c0> #f #<hash-table bb6980> #f #f #f30626c0> #<struct module 
> #<hash-table b0e580> () #f #f #<program 824700> (ice-9 history) interface #f 
> #<hash-table b0e560> () #<hash-table b0e540> #f #<hash-table b0e500> #f #f 
> #f3063540> #<struct module #<hash-table 6b1e20> () #f #f #<program 824700> 
> (srfi srfi-1) interface #f #<hash-table 6b1e00> () #<hash-table 6b1de0> #f 
> #<hash-table 6b17a0> #f #f #f3066500> #<struct module #<hash-table a7a2a0> () 
> #f #f #<program 824700> (srfi srfi-26) interface #f #<hash-table a7a280> () 
> #<hash-table a7a260> #f #<hash-table a7a220> #f #f #f3075b00> #<struct module 
> #<hash-table bdd440> () #f #f #<program 824700> (texinfo reflection) 
> interface #f #<hash-table bdd420> () #<hash-table bdd400> #f #<hash-table 
> bdd3c0> #f #f #f3075360> #<struct module #<hash-table d99ba0> (#<struct 
> module #<hash-table da07a0> (#<struct module #<hash-table dbc0a0> () #f #f 
> #<program 824700> (ice-9 null) interface #f #<hash-table dbc060> () 
> #<hash-table dbc020> #f #<hash-table dbec40> #f #f #f3083560>) #f #f 
> #<program 824700> (ice-9 safe-r5rs) interface #f #<hash-table da0780> () 
> #<hash-table da0660> #f #<hash-table da0520> #f #f #f30830e0>) #f #f 
> #<program 824700> (ice-9 r5rs) interface #f #<hash-table d99ae0> () 
> #<hash-table d99ac0> #f #<hash-table d999e0> #f #f #f3088120> #<struct module 
> #<hash-table b47040> () #f #f #<program 824700> (ice-9 session) interface #f 
> #<hash-table b47020> () #<hash-table b47000> #f #<hash-table b57c60> #f #f 
> #f3094160> #<struct module #<hash-table 9819c0> () #f #f #<program 824700> 
> (ice-9 regex) interface #f #<hash-table 9819a0> () #<hash-table 981980> #f 
> #<hash-table 9818c0> #f #f #f30987c0> #<struct module #<hash-table de0280> () 
> #f #f #<program 824700> (ice-9 threads) interface #f #<hash-table de0140> () 
> #<hash-table de0120> #f #<hash-table de0060> #f #f #f309bd20> #<struct module 
> #<hash-table b0e220> () #f #f #<program 824700> (value-history) interface #f 
> #<hash-table b0e200> () #<hash-table b0e1e0> #f #<hash-table b0e1a0> #f #f 
> #f309b680>) #f #f #<program 824700> (guile-user) directory #f #<hash-table 
> 8b5220> () #<hash-table 8b5200> #f #<hash-table 8b51c0> #f #<struct module 
> #<hash-table 8b5160> () #f #f #<program 824700> (guile-user) interface #f 
> #<hash-table 8b5140> () #<hash-table 8b5120> #f #<hash-table 8b50e0> #f #f 
> #f30b3d20> #f30b3d00>) at eval.c:719
> #4  0x00007ffff7afa26d in scm_shell (argc=1, argv=0x7fffffffd118) at 
> script.c:441
> #5  0x00007ffff7ac753d in invoke_main_func (body_data=0x7fffffffcfe0) at 
> init.c:337
> #6  0x00007ffff7aa14ca in c_body (d=0x7fffffffcf20) at continuations.c:511
> #7  0x00007ffff7b33ac8 in vm_regular_engine (vm=<optimized out>, 
> program=#<program 6f57e0>, argv=<optimized out>, nargs=2)
>     at vm-i-system.c:855
> #8  0x00007ffff7aaaaa3 in scm_call_4 (proc=#<program 7d2570>, address@hidden, 
> arg2=<optimized out>, arg3=<optimized out>, 
>     arg4=<optimized out>) at eval.c:507
> --8<---------------cut here---------------end--------------->8---
> 
> (I hear some say: “is this huge dump of ‘module_or_state’ really an
> improvement?”  Well, granted, this one is a bit annoying, we’ll have to
> think of a way to truncate it, maybe.  But it shows that many data types
> are pretty-printed, including all the structure fields.  :-))
> 
> Traditionally, people would typically type ‘call scm_write(x, 0x204)’ to
> print the value of ‘x’.  But in addition to being tedious, this won’t
> work on a core file, and can otherwise destabilize the Guile process
> being debugged.
> 
> So scmpp.scm teaches GDB about Guile’s type tagging so that it can print
> ‘SCM’ values.
> 
> A decade ago or so, an SCM value printer was available in GDB itself
> (with ‘set language scheme’).  But that was tricky C code, and since it
> was maintained outside of Guile, it inevitably went out of sync.
> 
> The good thing is that scmpp.scm can be maintained within Guile itself.
> This one is for Guile 2.0, but it shouldn’t be difficult to adjust it
> to 2.2.
> 
> The printing-value code in scmpp.scm uses a tailored pattern matcher
> that makes the bit-fiddling code easier to read.  Furthermore, it can
> use one of two back-ends: GDB, or the FFI.  The GDB back-end fiddles
> with values from an inferior process, while the FFI back-end touches
> values of the running process.
> 
> The whole point of the FFI back-end is to allow for testing: we can run
> a test suite for the SCM-decoding code without having to run GDB itself.
> 
> There’s also a simple VM stack walker at the end of the file, which is
> quite handy.  When GDB stack filters are supported, we might be able to
> arrange so that ‘bt’ shows both stacks interleaved.
> 
> Happy hacking, and happy birthday Guile 2.0!
> 
> Thanks,
> Ludo’.
> 
> [0] http://lists.gnu.org/archive/html/guile-user/2014-02/msg00008.html
> 
> text/x-scheme-src type attachment (scmpp.scm), "the code!"
> ;;; Copyright (C) 2014 Ludovic Courtès <address@hidden>
> ;;;
> ;;; This library is free software; you can redistribute it and/or
> ;;; modify it under the terms of the GNU Lesser General Public
> ;;; License as published by the Free Software Foundation; either
> ;;; version 3 of the License, or (at your option) any later version.
> ;;;
> ;;; This library is distributed in the hope that it will be useful,
> ;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
> ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
> ;;; Lesser General Public License for more details.
> ;;;
> ;;; You should have received a copy of the GNU Lesser General Public
> ;;; License along with this library; if not, write to the Free Software
> ;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 
> USA
> 
> (define-module (scm-pretty-printing)
>   #:use-module (rnrs bytevectors)
>   #:use-module (rnrs io ports)
>   #:use-module (srfi srfi-1)
>   #:use-module (srfi srfi-9)
>   #:use-module (srfi srfi-9 gnu)
>   #:use-module (srfi srfi-11)
>   #:use-module (srfi srfi-26)
>   #:use-module (srfi srfi-60)
>   #:use-module (ice-9 match)
>   #:use-module (ice-9 iconv)
>   #:use-module (ice-9 format)
>   #:use-module (ice-9 vlist)
>   #:use-module (system foreign))
> 
> ;;; Commentary:
> ;;;
> ;;; 'SCM' type tag decoding and more to support Guile debugging in GDB.
> ;;;
> ;;; Code:
> 
> (define-syntax when-gdb
>   (lambda (s)
>     (let ((gdb? (false-if-exception (resolve-interface '(gdb)))))
>       (syntax-case s ()
>         ((_ body ...)
>          (if gdb?
>              #'(begin body ...)
>              #'(begin)))))))
> 
> (define-syntax if-gdb
>   (lambda (s)
>     (let ((gdb? (false-if-exception (resolve-interface '(gdb)))))
>       (syntax-case s ()
>         ((_ with-gdb without-gdb)
>          (if gdb?
>              #'with-gdb
>              #'without-gdb))))))
> 
> 
> (when-gdb (use-modules ((gdb) #:hide (symbol?))
>                        (gdb printing)))
> 
> (define %word-size
>   ;; The pointer size.
>   (sizeof '*))
> 
> 
> ;;;
> ;;; Memory back-ends.
> ;;;
> 
> (define-record-type <memory-backend>
>   (memory-backend peek open)
>   memory-backend?
>   (peek memory-backend-peek)
>   (open memory-backend-open))
> 
> (when-gdb
>  (define %gdb-memory-backend
>    ;; The GDB back-end to access the inferior's memory.
>    (let ((void* (type-pointer (lookup-type "void"))))
>      (define (dereference-word address)
>        ;; Return the word at ADDRESS.
>        (value->integer
>         (value-dereference (value-cast (make-value address)
>                                        (type-pointer void*)))))
> 
>      (define (open address size)
>        ;; Return a port to the SIZE bytes starting at ADDRESS.
>        (if size
>            (open-memory #:start address #:size size)
>            (open-memory #:start address)))
> 
>      (memory-backend dereference-word open))))
> 
> (define %ffi-memory-backend
>   ;; The FFI back-end to access the current process's memory.  The main
>   ;; purpose of this back-end is to allow testing.
>   (let ()
>     (define (dereference-word address)
>       (let* ((ptr (make-pointer address))
>              (bv  (pointer->bytevector ptr %word-size)))
>         (bytevector-uint-ref bv 0 (native-endianness) %word-size)))
> 
>     (define (open address size)
>       (define current-address address)
> 
>       (define (read-memory! bv index count)
>         (let* ((ptr   (make-pointer current-address))
>                (mem   (pointer->bytevector ptr count)))
>           (bytevector-copy! mem 0 bv index count)
>           (set! current-address (+ current-address count))
>           count))
> 
>       (if size
>           (let* ((ptr (make-pointer address))
>                  (bv  (pointer->bytevector ptr size)))
>             (open-bytevector-input-port bv))
>           (let ((port (make-custom-binary-input-port "ffi-memory"
>                                                      read-memory!
>                                                      #f #f #f)))
>             (setvbuf port _IONBF)
>             port)))
> 
>     (memory-backend dereference-word open)))
> 
> (define-inlinable (dereference-word backend address)
>   "Return the word at ADDRESS, using BACKEND."
>   (let ((peek (memory-backend-peek backend)))
>     (peek address)))
> 
> (define-syntax memory-port
>   (syntax-rules ()
>     "Return an input port to the SIZE bytes at ADDRESS, using BACKEND.  When
> SIZE is omitted, return an unbounded port to the memory at ADDRESS."
>     ((_ backend address)
>      (let ((open (memory-backend-open backend)))
>        (open address #f)))
>     ((_ backend address size)
>      (let ((open (memory-backend-open backend)))
>        (open address size)))))
> 
> (define (get-word port)
>   "Read a word from PORT and return it as an integer."
>   (let ((bv (get-bytevector-n port %word-size)))
>     (bytevector-uint-ref bv 0 (native-endianness) %word-size)))
> 
> 
> ;;;
> ;;; Matching bit patterns and cells.
> ;;;
> 
> (define-syntax match-cell-words
>   (syntax-rules (bytevector)
>     ((_ port ((bytevector name len) rest ...) body)
>      (let ((name      (get-bytevector-n port len))
>            (remainder (modulo len %word-size)))
>        (unless (zero? remainder)
>          (get-bytevector-n port (- %word-size remainder)))
>        (match-cell-words port (rest ...) body)))
>     ((_ port (name rest ...) body)
>      (let ((name (get-word port)))
>        (match-cell-words port (rest ...) body)))
>     ((_ port () body)
>      body)))
> 
> (define-syntax match-bit-pattern
>   (syntax-rules (& || = _)
>     ((match-bit-pattern bits ((a || b) & n = c) consequent alternate)
>      (let ((tag (logand bits n)))
>        (if (= tag c)
>            (let ((b tag)
>                  (a (logand bits (bitwise-not n))))
>              consequent)
>            alternate)))
>     ((match-bit-pattern bits (x & n = c) consequent alternate)
>      (let ((tag (logand bits n)))
>        (if (= tag c)
>            (let ((x bits))
>              consequent)
>            alternate)))
>     ((match-bit-pattern bits (_ & n = c) consequent alternate)
>      (let ((tag (logand bits n)))
>        (if (= tag c)
>            consequent
>            alternate)))
>     ((match-bit-pattern bits ((a << n) || c) consequent alternate)
>      (let ((tag (bitwise-and bits (- (expt 2 n) 1))))
>        (if (= tag c)
>            (let ((a (arithmetic-shift bits (- n))))
>              consequent)
>            alternate)))))
> 
> (define-syntax match-cell-clauses
>   (syntax-rules ()
>     ((_ port tag (((tag-pattern thing ...) body) rest ...))
>      (match-bit-pattern tag tag-pattern
>                         (match-cell-words port (thing ...) body)
>                         (match-cell-clauses port tag (rest ...))))
>     ((_ port tag ())
>      (inferior-object 'unmatched-tag tag))))
> 
> (define-syntax match-cell
>   (syntax-rules ()
>     "Match a cell---i.e., a non-immediate value other than a pair.  The
> cell's contents are read from PORT."
>     ((_ port (pattern body ...) ...)
>      (let ((port* port)
>            (tag   (get-word port)))
>        (match-cell-clauses port* tag
>                            ((pattern (begin body ...))
>                             ...))))))
> 
> (define-syntax match-scm-clauses
>   (syntax-rules ()
>     ((_ bits
>         (bit-pattern body ...)
>         rest ...)
>      (match-bit-pattern bits bit-pattern
>                         (begin body ...)
>                         (match-scm-clauses bits rest ...)))
>     ((_ bits)
>      'unmatched-scm)))
> 
> (define-syntax match-scm
>   (syntax-rules ()
>     "Match BITS, an integer representation of an 'SCM' value, against
> CLAUSES.  Each clause must have the form:
> 
>   (PATTERN BODY ...)
> 
> PATTERN is a bit pattern that may specify bitwise operations on BITS to
> determine if it matches.  TEMPLATE specify the name of the variable to bind
> the matching bits, possibly with bitwise operations to extract it from BITS."
>     ((_ bits clauses ...)
>      (let ((bits* bits))
>        (match-scm-clauses bits* clauses ...)))))
> 
> 
> ;;;
> ;;; Tags.
> ;;;
> 
> ;; Immediate values.
> (define %tc2-int 2)
> (define %tc3-imm24 4)
> 
> (define %tc3-cons 0)
> (define %tc3-int1 %tc2-int)
> (define %tc3-int2 (+ %tc2-int 4))
> 
> (define %tc8-char (+ 8 %tc3-imm24))
> (define %tc8-flag (+ %tc3-imm24 0))
> 
> ;; Cell types.
> (define %tc3-struct 1)
> (define %tc7-symbol 5)
> (define %tc7-vector 13)
> (define %tc7-string 21)
> (define %tc7-number 23)
> (define %tc7-hashtable 29)
> (define %tc7-pointer 31)
> (define %tc7-fluid 37)
> (define %tc7-stringbuf 39)
> (define %tc7-dynamic-state 45)
> (define %tc7-frame 47)
> (define %tc7-objcode 53)
> (define %tc7-vm 55)
> (define %tc7-vm-continuation 71)
> (define %tc7-bytevector 77)
> (define %tc7-program 79)
> (define %tc7-port 125)
> (define %tc7-smob 127)
> 
> (define %tc16-bignum (+ %tc7-number (* 1 256)))
> (define %tc16-real (+ %tc7-number (* 2 256)))
> (define %tc16-complex (+ %tc7-number (* 3 256)))
> (define %tc16-fraction (+ %tc7-number (* 4 256)))
> 
> 
> ;; "Stringbufs".
> (define-record-type <stringbuf>
>   (stringbuf string)
>   stringbuf?
>   (string stringbuf-contents))
> 
> (set-record-type-printer! <stringbuf>
>                           (lambda (stringbuf port)
>                             (display "#<stringbuf " port)
>                             (write (stringbuf-contents stringbuf) port)
>                             (display "#>" port)))
> 
> ;; Structs.
> (define-record-type <inferior-struct>
>   (inferior-struct name fields)
>   inferior-struct?
>   (name   inferior-struct-name)
>   (fields inferior-struct-fields))
> 
> (set-record-type-printer! <inferior-struct>
>                           (lambda (struct port)
>                             (format port "#<struct ~a"
>                                     (inferior-struct-name struct))
>                             (for-each (lambda (field)
>                                         (format port " ~s" field))
>                                       (inferior-struct-fields struct))
>                             (format port "~x>" (object-address struct))))
> 
> ;; Fluids.
> (define-record-type <inferior-fluid>
>   (inferior-fluid number value)
>   inferior-fluid?
>   (number inferior-fluid-number)
>   (value  inferior-fluid-value))
> 
> (set-record-type-printer! <inferior-fluid>
>                           (lambda (fluid port)
>                             (match fluid
>                               (($ <inferior-fluid> number)
>                                (format port "#<fluid ~a ~x>"
>                                        number
>                                        (object-address fluid))))))
> 
> ;; Object type to represent complex objects from the inferior process that
> ;; cannot be really converted to usable Scheme objects in the current
> ;; process.
> (define-record-type <inferior-object>
>   (%inferior-object kind sub-kind address)
>   inferior-object?
>   (kind     inferior-object-kind)
>   (sub-kind inferior-object-sub-kind)
>   (address  inferior-object-address))
> 
> (define inferior-object
>   (case-lambda
>     "Return an object representing an inferior object at ADDRESS, of type
> KIND/SUB-KIND."
>     ((kind address)
>      (%inferior-object kind #f address))
>     ((kind sub-kind address)
>      (%inferior-object kind sub-kind address))))
> 
> (set-record-type-printer! <inferior-object>
>                           (lambda (io port)
>                             (match io
>                               (($ <inferior-object> kind sub-kind address)
>                                (format port "#<~a ~:[~*~;~a ~]~x>"
>                                        kind sub-kind sub-kind
>                                        address)))))
> 
> 
> (define (type-name-from-descriptor descriptor-array type-number)
>   "Return the name of the type TYPE-NUMBER as seen in DESCRIPTOR-ARRAY, or #f
> if the information is not available."
>   (if-gdb
>    (let ((descriptors (lookup-global-symbol descriptor-array)))
>      (and descriptors
>           (let ((code (type-code (symbol-type descriptors))))
>             (or (= TYPE_CODE_ARRAY code)
>                 (= TYPE_CODE_PTR code)))
>           (let* ((type-descr (value-subscript (symbol-value descriptors)
>                                               type-number))
>                  (name       (value-field type-descr "name")))
>             (value->string name))))
>    #f))
> 
> (define (inferior-smob type-number address)
>   "Return an object representing the SMOB at ADDRESS whose type is
> TYPE-NUMBER."
>   (inferior-object 'smob
>                    (or (type-name-from-descriptor "scm_smobs" type-number)
>                        type-number)
>                    address))
> 
> (define (inferior-port type-number address)
>   "Return an object representing the port at ADDRESS whose type is
> TYPE-NUMBER."
>   (inferior-object 'port
>                    (or (type-name-from-descriptor "scm_ptobs" type-number)
>                        type-number)
>                    address))
> 
> 
> (define (address->inferior-struct address vtable-data-address backend)
>   "Read the struct at ADDRESS using BACKEND.  Return an 'inferior-struct'
> object representing it."
>   (define %vtable-layout-index 0)
>   (define %vtable-name-index 5)
> 
>   (let* ((layout-address (+ vtable-data-address
>                             (* %vtable-layout-index %word-size)))
>          (layout-bits    (dereference-word backend layout-address))
>          (layout         (scm->object layout-bits backend))
>          (name-address   (+ vtable-data-address
>                             (* %vtable-name-index %word-size)))
>          (name-bits      (dereference-word backend name-address))
>          (name           (scm->object name-bits backend)))
>     (if ((@ (guile) symbol?) layout)
>         (let* ((layout (symbol->string layout))
>                (len    (/ (string-length layout) 2))
>                (slots  (dereference-word backend (+ address %word-size)))
>                (port   (memory-port backend slots (* len %word-size)))
>                (fields (get-bytevector-n port (* len %word-size))))
>           (inferior-struct name
>                            (map (cut scm->object <> backend)
>                                 (bytevector->uint-list fields
>                                                        (native-endianness)
>                                                        %word-size))))
>         (inferior-object 'invalid-struct address))))
> 
> (define %visited-cells
>   ;; Vhash of already visited cells.  Used to detect cycles, typically in
>   ;; structs.
>   (make-parameter vlist-null))
> 
> (define* (cell->object address #:optional (backend %ffi-memory-backend))
>   "Return an object representing the object at ADDRESS, reading from memory
> using BACKEND."
>   (if (vhash-assv address (%visited-cells))
>       (inferior-object 'cycle address)
>       (let ((port (memory-port backend address)))
>         (match-cell port
>           (((vtable-data-address & 7 = %tc3-struct))
>            (parameterize ((%visited-cells (vhash-consv address #t
>                                                        (%visited-cells))))
>              (address->inferior-struct address
>                                        (- vtable-data-address %tc3-struct)
>                                        backend)))
>           (((_ & #x7f = %tc7-symbol) buf hash props)
>            (match (cell->object buf backend)
>              (($ <stringbuf> string)
>               (string->symbol string))))
>           (((_ & #x7f = %tc7-string) buf start len)
>            (match (cell->object buf backend)
>              (($ <stringbuf> string)
>               (substring string start (+ start len)))))
>           (((_ & #x047f = %tc7-stringbuf) len (bytevector buf len))
>            (stringbuf (bytevector->string buf "ISO-8859-1")))
>           (((_ & #x047f = (bitwise-ior #x400 %tc7-stringbuf))
>             len (bytevector buf (* 4 len)))
>            (stringbuf (bytevector->string buf "UTF-32LE")))
>           (((_ & #x7f = %tc7-bytevector) len address)
>            (let ((bv-port (memory-port backend address len)))
>              (get-bytevector-all bv-port)))
>           ((((len << 7) || %tc7-vector) weakv-data)
>            (let* ((len   (arithmetic-shift len -1))
>                   (words (get-bytevector-n port (* len %word-size))))
>              (list->vector
>               (map (cut scm->object <> backend)
>                    (bytevector->uint-list words (native-endianness)
>                                           %word-size)))))
>           ((((n << 8) || %tc7-fluid) init-value)
>            (inferior-fluid n #f))                    ; TODO: show current 
> value
>           (((_ & #x7f = %tc7-dynamic-state))
>            (inferior-object 'dynamic-state address))
>           ((((flags+type << 8) || %tc7-port))
>            (inferior-port (logand flags+type #xff) address))
>           (((_ & #x7f = %tc7-program))
>            (inferior-object 'program address))
>           (((_ & #xffff = %tc16-bignum))
>            (inferior-object 'bignum address))
>           (((_ & #xffff = %tc16-real) pad)
>            (let* ((address (+ address (* 2 %word-size)))
>                   (port    (memory-port backend address (sizeof double)))
>                   (words   (get-bytevector-n port (sizeof double))))
>              (bytevector-ieee-double-ref words 0 (native-endianness))))
>           (((_ & #x7f = %tc7-number) mpi)
>            (inferior-object 'number address))
>           (((_ & #x7f = %tc7-hashtable))
>            (inferior-object 'hash-table address))
>           (((_ & #x7f = %tc7-pointer) address)
>            (make-pointer address))
>           (((_ & #x7f = %tc7-objcode))
>            (inferior-object 'objcode address))
>           (((_ & #x7f = %tc7-vm))
>            (inferior-object 'vm address))
>           (((_ & #x7f = %tc7-vm-continuation))
>            (inferior-object 'vm-continuation address))
>           ((((smob-type << 8) || %tc7-smob) word1)
>            (inferior-smob smob-type address))))))
> 
> 
> (define* (scm->object bits #:optional (backend %ffi-memory-backend))
>   "Return the Scheme object corresponding to BITS, the bits of an 'SCM'
> object."
>   (match-scm bits
>     (((integer << 2) || %tc2-int)
>      integer)
>     ((address & 6 = %tc3-cons)
>      (let* ((type  (dereference-word backend address))
>             (pair? (not (bit-set? 0 type))))
>        (if pair?
>            (let ((car    type)
>                  (cdrloc (+ address %word-size)))
>              (cons (scm->object car backend)
>                    (scm->object (dereference-word backend cdrloc) backend)))
>            (cell->object address backend))))
>     (((char << 8) || %tc8-char)
>      (integer->char char))
>     (((flag << 8) || %tc8-flag)
>      (case flag
>        ((0)  #f)
>        ((1)  #nil)
>        ((3)  '())
>        ((4)  #t)
>        ((8)  (if #f #f))
>        ((9)  (inferior-object 'undefined bits))
>        ((10) (eof-object))
>        ((11) (inferior-object 'unbound bits))))))
> 
> 
> ;;;
> ;;; GDB pretty-printer registration.
> ;;;
> 
> (when-gdb
>  (define scm-value->string
>    ;; (compose object->string scm->object value->integer)
>    (lambda* (v #:optional (backend %gdb-memory-backend))
>      "Return a representation of value V as a string."
>      (object->string (scm->object (value->integer v) backend))))
> 
> 
>  (define %scm-pretty-printer
>    (make-pretty-printer "SCM"
>                         (lambda (pp value)
>                           (let ((name (type-name (value-type value))))
>                             (and (and name (string=? name "SCM"))
>                                  (make-pretty-printer-worker
>                                   #f              ; display hint
>                                   (lambda (printer)
>                                     (scm-value->string value 
> %gdb-memory-backend))
>                                   #f))))))
> 
>  (define* (register-pretty-printer #:optional objfile)
>    (prepend-pretty-printer! objfile %scm-pretty-printer))
> 
>  (define (libguile-objfile)
>    (find (lambda (objfile)
>            (string-contains (objfile-filename objfile) "libguile-2.0.so"))
>          (objfiles)))
> 
>  (register-pretty-printer))
> 
> 
> ;;;
> ;;; VM stack walking.
> ;;;
> 
> (when-gdb
>  (export vm-stack-pointer vm-frame-pointer display-vm-frames)
> 
>  (define (find-vm-engine-frame)
>    "Return the bottom-most frame containing a call to the VM engine."
>    (define (vm-engine-frame? frame)
>      (let ((sym (frame-function frame)))
>        (and sym
>             (member (symbol-name sym)
>                     '("vm_debug_engine" "vm_regular_engine")))))
> 
>    (let loop ((frame (newest-frame)))
>      (and frame
>           (if (vm-engine-frame? frame)
>               frame
>               (loop (frame-older frame))))))
> 
>  (define (vm-stack-pointer)
>    "Return the current value of the VM stack pointer or #f."
>    (let ((frame (find-vm-engine-frame)))
>      (and frame
>           (frame-read-var frame "sp"))))
> 
>  (define (vm-frame-pointer)
>    "Return the current value of the VM frame pointer or #f."
>    (let ((frame (find-vm-engine-frame)))
>      (and frame
>           (frame-read-var frame "fp"))))
> 
>  (define* (display-vm-frames port)
>    "Display the VM frames on PORT."
>    (define (display-objects start end)
>      (let loop ((number  0)
>                 (address start))
>        (when (and (> start 0) (<= address end))
>          (let ((object (dereference-word %gdb-memory-backend address)))
>            (format port "  slot ~a -> ~s~%"
>                    number (scm->object object %gdb-memory-backend)))
>          (loop (+ 1 number) (+ address %word-size)))))
> 
>    (let loop ((number 0)
>               (sp     (value->integer (vm-stack-pointer)))
>               (fp     (value->integer (vm-frame-pointer))))
>      (unless (zero? fp)
>        (let-values (((ra mvra link proc)
>                      (vm-frame fp %gdb-memory-backend)))
>          (format port "#~a ~s~%" number (scm->object proc 
> %gdb-memory-backend))
>          (display-objects fp sp)
>          (loop (+ 1 number) (- fp (* 5 %word-size)) link))))))
> 
> ;; See libguile/frames.h.
> (define* (vm-frame fp #:optional (backend %ffi-memory-backend))
>   "Return the components of the stack frame at FP."
>   (let ((caller (dereference-word backend (- fp %word-size)))
>         (ra     (dereference-word backend (- fp (* 2 %word-size))))
>         (mvra   (dereference-word backend (- fp (* 3 %word-size))))
>         (link   (dereference-word backend (- fp (* 4 %word-size)))))
>     (values ra mvra link caller)))
> 
> ;;; Local Variables:
> ;;; eval: (put 'match-scm 'scheme-indent-function 1)
> ;;; eval: (put 'match-cell 'scheme-indent-function 1)
> ;;; End:
> 
> ;;; scmpp.scm ends here





reply via email to

[Prev in Thread] Current Thread [Next in Thread]