lisp/find-gc.el

   1 ;;; find-gc.el --- detect functions that call the garbage collector
   2
   3 ;; Copyright (C) 1992 Free Software Foundation, Inc.
   4
   5 ;; Maintainer: FSF
   6
   7 ;; This file is part of GNU Emacs.
   8
   9 ;; GNU Emacs is free software; you can redistribute it and/or modify
  10 ;; it under the terms of the GNU General Public License as published by
  11 ;; the Free Software Foundation; either version 2, or (at your option)
  12 ;; any later version.
  13
  14 ;; GNU Emacs is distributed in the hope that it will be useful,
  15 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
  16 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  17 ;; GNU General Public License for more details.
  18
  19 ;; You should have received a copy of the GNU General Public License
  20 ;; along with GNU Emacs; see the file COPYING.  If not, write to
  21 ;; the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
  22
  23 ;;; Commentary:
  24
  25 ;;; Produce in unsafe-list the set of all functions that may invoke GC.
  26 ;;; This expects the Emacs sources to live in emacs-source-directory.
  27 ;;; It creates a temporary working directory /tmp/esrc.
  28
  29 ;;; Code:
  30
  31 (defun find-gc-unsafe ()
  32   (trace-call-tree nil)
  33   (trace-use-tree)
  34   (find-unsafe-funcs 'Fgarbage_collect)
  35   (setq unsafe-list (sort unsafe-list
  36                           (function (lambda (x y)
  37                                       (string-lessp (car x) (car y))))))
  38 )
  39
  40 (setq emacs-source-directory "/usr/gnu/src/dist/src")
  41
  42
  43 ;;; This does a depth-first search to find all functions that can
  44 ;;; ultimately call the function "target".  The result is an a-list
  45 ;;; in unsafe-list; the cars are the unsafe functions, and the cdrs
  46 ;;; are (one of) the unsafe functions that these functions directly
  47 ;;; call.
  48
  49 (defun find-unsafe-funcs (target)
  50   (setq unsafe-list (list (list target)))
  51   (trace-unsafe target)
  52 )
  53
  54 (defun trace-unsafe (func)
  55   (let ((used (assq func subrs-used)))
  56     (or used
  57         (error "No subrs-used for %s" (car unsafe-list)))
  58     (while (setq used (cdr used))
  59       (or (assq (car used) unsafe-list)
  60           (memq (car used) noreturn-list)
  61           (progn
  62             (setq unsafe-list (cons (cons (car used) func) unsafe-list))
  63             (trace-unsafe (car used))))))
  64 )
  65
  66
  67 ;;; Functions on this list are safe, even if they appear to be able
  68 ;;; to call the target.
  69
  70 (setq noreturn-list '( Fsignal Fthrow wrong_type_argument ))
  71
  72
  73 ;;; This produces an a-list of functions in subrs-called.  The cdr of
  74 ;;; each entry is a list of functions which the function in car calls.
  75
  76 (defun trace-call-tree (&optional already-setup)
  77   (message "Setting up directories...")
  78   (or already-setup
  79       (progn
  80         ;; Gee, wouldn't a built-in "system" function be handy here.
  81         (call-process "csh" nil nil nil "-c" "rm -rf /tmp/esrc")
  82         (call-process "csh" nil nil nil "-c" "mkdir /tmp/esrc")
  83         (call-process "csh" nil nil nil "-c"
  84                       (format "ln -s %s/*.[ch] /tmp/esrc"
  85                               emacs-source-directory))))
  86   (save-excursion
  87     (set-buffer (get-buffer-create "*Trace Call Tree*"))
  88     (setq subrs-called nil)
  89     (let ((case-fold-search nil)
  90           (files source-files)
  91           name entry)
  92       (while files
  93         (message "Compiling %s..." (car files))
  94         (call-process "csh" nil nil nil "-c"
  95                       (format "gcc -dr -c /tmp/esrc/%s -o /dev/null"
  96                               (car files)))
  97         (erase-buffer)
  98         (insert-file-contents (concat "/tmp/esrc/" (car files) ".rtl"))
  99         (while (re-search-forward ";; Function \\|(call_insn " nil t)
 100           (if (= (char-after (- (point) 3)) ?o)
 101               (progn
 102                 (looking-at "[a-zA-Z0-9_]+")
 103                 (setq name (intern (buffer-substring (match-beginning 0)
 104                                                      (match-end 0))))
 105                 (message "%s : %s" (car files) name)
 106                 (setq entry (list name)
 107                       subrs-called (cons entry subrs-called)))
 108             (if (looking-at ".*\n?.*\"\\([A-Za-z0-9_]+\\)\"")
 109                 (progn
 110                   (setq name (intern (buffer-substring (match-beginning 1)
 111                                                        (match-end 1))))
 112                   (or (memq name (cdr entry))
 113                       (setcdr entry (cons name (cdr entry))))))))
 114         (delete-file (concat "/tmp/esrc/" (car files) ".rtl"))
 115         (setq files (cdr files)))))
 116 )
 117
 118
 119 ;;; This was originally generated directory-files, but there were
 120 ;;; too many files there that were not actually compiled.  The
 121 ;;; list below was created for a HP-UX 7.0 system.
 122
 123 (setq source-files '("dispnew.c" "scroll.c" "xdisp.c" "window.c"
 124                      "term.c" "cm.c" "emacs.c" "keyboard.c" "macros.c"
 125                      "keymap.c" "sysdep.c" "buffer.c" "filelock.c"
 126                      "insdel.c" "marker.c" "minibuf.c" "fileio.c"
 127                      "dired.c" "filemode.c" "cmds.c" "casefiddle.c"
 128                      "indent.c" "search.c" "regex.c" "undo.c"
 129                      "alloc.c" "data.c" "doc.c" "editfns.c"
 130                      "callint.c" "eval.c" "fns.c" "print.c" "lread.c"
 131                      "abbrev.c" "syntax.c" "unexec.c" "mocklisp.c"
 132                      "bytecode.c" "process.c" "callproc.c" "doprnt.c"
 133                      "x11term.c" "x11fns.c"))
 134
 135
 136 ;;; This produces an inverted a-list in subrs-used.  The cdr of each
 137 ;;; entry is a list of functions that call the function in car.
 138
 139 (defun trace-use-tree ()
 140   (setq subrs-used (mapcar 'list (mapcar 'car subrs-called)))
 141   (let ((ptr subrs-called)
 142         p2 found)
 143     (while ptr
 144       (setq p2 (car ptr))
 145       (while (setq p2 (cdr p2))
 146         (if (setq found (assq (car p2) subrs-used))
 147             (setcdr found (cons (car (car ptr)) (cdr found)))))
 148       (setq ptr (cdr ptr))))
 149 )
 150
 151 ;;; find-gc.el ends here