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