2021-01-31 23:00:39 +00:00
|
|
|
;;; find-gc.el --- detect functions that call the garbage collector -*- lexical-binding: t; -*-
|
2001-08-30 09:20:39 +00:00
|
|
|
|
2024-01-02 01:47:10 +00:00
|
|
|
;; Copyright (C) 1992, 2001-2024 Free Software Foundation, Inc.
|
2001-08-30 09:20:39 +00:00
|
|
|
|
2019-05-25 20:43:06 +00:00
|
|
|
;; Maintainer: emacs-devel@gnu.org
|
|
|
|
|
2001-08-30 09:20:39 +00:00
|
|
|
;; This file is part of GNU Emacs.
|
|
|
|
|
2008-05-06 03:21:21 +00:00
|
|
|
;; GNU Emacs is free software: you can redistribute it and/or modify
|
2001-08-30 09:20:39 +00:00
|
|
|
;; it under the terms of the GNU General Public License as published by
|
2008-05-06 03:21:21 +00:00
|
|
|
;; the Free Software Foundation, either version 3 of the License, or
|
|
|
|
;; (at your option) any later version.
|
2001-08-30 09:20:39 +00:00
|
|
|
|
|
|
|
;; GNU Emacs 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 General Public License for more details.
|
|
|
|
|
|
|
|
;; You should have received a copy of the GNU General Public License
|
2017-09-13 22:52:52 +00:00
|
|
|
;; along with GNU Emacs. If not, see <https://www.gnu.org/licenses/>.
|
2001-08-30 09:20:39 +00:00
|
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
|
2005-07-16 17:24:40 +00:00
|
|
|
;; Produce in find-gc-unsafe-list the set of all functions that may invoke GC.
|
|
|
|
;; This expects the Emacs sources to live in find-gc-source-directory.
|
2001-08-30 09:20:39 +00:00
|
|
|
|
|
|
|
;;; Code:
|
|
|
|
|
2005-07-16 17:24:40 +00:00
|
|
|
(defvar find-gc-unsafe-list nil
|
|
|
|
"The list of unsafe functions is placed here by `find-gc-unsafe'.")
|
|
|
|
|
2014-05-06 03:53:31 +00:00
|
|
|
(defvar find-gc-source-directory
|
|
|
|
(file-name-as-directory (expand-file-name "src" source-directory))
|
|
|
|
"Directory containing Emacs C sources.")
|
2005-07-16 17:24:40 +00:00
|
|
|
|
2005-07-16 19:21:10 +00:00
|
|
|
(defvar find-gc-subrs-callers nil
|
|
|
|
"Alist of users of subrs, from GC testing.
|
|
|
|
Each entry has the form (FUNCTION . FUNCTIONS-THAT-CALL-IT).")
|
|
|
|
|
|
|
|
(defvar find-gc-subrs-called nil
|
|
|
|
"Alist of subrs called, in GC testing.
|
|
|
|
Each entry has the form (FUNCTION . FUNCTIONS-IT-CALLS).")
|
|
|
|
|
2005-07-16 17:24:40 +00:00
|
|
|
|
2021-01-31 23:00:39 +00:00
|
|
|
;; Functions on this list are safe, even if they appear to be able
|
|
|
|
;; to call the target.
|
2005-07-16 17:24:40 +00:00
|
|
|
|
|
|
|
(defvar find-gc-noreturn-list '(Fsignal Fthrow wrong_type_argument))
|
|
|
|
|
2021-01-31 23:00:39 +00:00
|
|
|
;; This was originally generated directory-files, but there were
|
|
|
|
;; too many files there that were not actually compiled. The
|
|
|
|
;; list below was created for a HP-UX 7.0 system.
|
2005-07-16 17:24:40 +00:00
|
|
|
|
|
|
|
(defvar find-gc-source-files
|
|
|
|
'("dispnew.c" "scroll.c" "xdisp.c" "window.c"
|
|
|
|
"term.c" "cm.c" "emacs.c" "keyboard.c" "macros.c"
|
|
|
|
"keymap.c" "sysdep.c" "buffer.c" "filelock.c"
|
|
|
|
"insdel.c" "marker.c" "minibuf.c" "fileio.c"
|
Import filemode module from gnulib.
* .bzrignore: Add lib/sys/.
* Makefile.in (GNULIB_MODULES): Add filemode.
* lib/Makefile.am (MOSTLYCLEANDIRS): New macro.
* lib/filemode.c: Renamed from src/filemode.c and regenerated
from gnulib. This adds support for some more file types, e.g.,
Cray DMF migrated files.
* lisp/emacs-lisp/find-gc.el (find-gc-source-files): Remove filemode.c.
* lib/filemode.h, lib/sys_stat.in.h, m4/filemode.m4, m4/st_dm_mode.m4:
* m4/sys_stat_h.m4: New files, generated from gnulib.
* aclocal.m4, configure, lib/Makefile.in, lib/gnulib.mk, m4/gl-comp.m4:
Regenerate.
2011-02-20 Paul Eggert <eggert@cs.ucla.edu>
2011-02-20 10:51:50 +00:00
|
|
|
"dired.c" "cmds.c" "casefiddle.c"
|
2018-08-06 01:41:20 +00:00
|
|
|
"indent.c" "search.c" "regex-emacs.c" "undo.c"
|
2005-07-16 17:24:40 +00:00
|
|
|
"alloc.c" "data.c" "doc.c" "editfns.c"
|
|
|
|
"callint.c" "eval.c" "fns.c" "print.c" "lread.c"
|
2014-05-06 03:53:31 +00:00
|
|
|
"syntax.c" "unexcoff.c"
|
2005-07-16 17:24:40 +00:00
|
|
|
"bytecode.c" "process.c" "callproc.c" "doprnt.c"
|
2014-05-06 03:53:31 +00:00
|
|
|
"xterm.c" "xfns.c"))
|
2005-07-16 17:24:40 +00:00
|
|
|
|
|
|
|
|
2001-08-30 09:20:39 +00:00
|
|
|
(defun find-gc-unsafe ()
|
2005-07-16 17:24:40 +00:00
|
|
|
"Return a list of unsafe functions--that is, which can call GC.
|
2014-05-06 03:53:31 +00:00
|
|
|
Also store it in `find-gc-unsafe-list'."
|
2001-08-30 09:20:39 +00:00
|
|
|
(trace-call-tree nil)
|
|
|
|
(trace-use-tree)
|
|
|
|
(find-unsafe-funcs 'Fgarbage_collect)
|
2005-07-16 17:24:40 +00:00
|
|
|
(setq find-gc-unsafe-list
|
|
|
|
(sort find-gc-unsafe-list
|
2020-09-30 14:18:50 +00:00
|
|
|
(lambda (x y)
|
|
|
|
(string-lessp (car x) (car y))))))
|
2001-08-30 09:20:39 +00:00
|
|
|
|
2021-01-31 23:00:39 +00:00
|
|
|
;; This does a depth-first search to find all functions that can
|
|
|
|
;; ultimately call the function "target". The result is an a-list
|
|
|
|
;; in find-gc-unsafe-list; the cars are the unsafe functions, and the cdrs
|
|
|
|
;; are (one of) the unsafe functions that these functions directly
|
|
|
|
;; call.
|
2001-08-30 09:20:39 +00:00
|
|
|
|
|
|
|
(defun find-unsafe-funcs (target)
|
2005-07-16 17:24:40 +00:00
|
|
|
(setq find-gc-unsafe-list (list (list target)))
|
2014-05-06 10:29:37 +00:00
|
|
|
(trace-unsafe target))
|
2001-08-30 09:20:39 +00:00
|
|
|
|
|
|
|
(defun trace-unsafe (func)
|
2005-07-16 19:21:10 +00:00
|
|
|
(let ((used (assq func find-gc-subrs-callers)))
|
2001-08-30 09:20:39 +00:00
|
|
|
(or used
|
2005-07-16 19:21:10 +00:00
|
|
|
(error "No find-gc-subrs-callers for %s" (car find-gc-unsafe-list)))
|
2001-08-30 09:20:39 +00:00
|
|
|
(while (setq used (cdr used))
|
2005-07-16 17:24:40 +00:00
|
|
|
(or (assq (car used) find-gc-unsafe-list)
|
|
|
|
(memq (car used) find-gc-noreturn-list)
|
2001-08-30 09:20:39 +00:00
|
|
|
(progn
|
2005-07-16 17:24:40 +00:00
|
|
|
(push (cons (car used) func) find-gc-unsafe-list)
|
2014-05-06 10:29:37 +00:00
|
|
|
(trace-unsafe (car used)))))))
|
2001-08-30 09:20:39 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2022-12-28 12:25:49 +00:00
|
|
|
(defun trace-call-tree (&optional _ignored)
|
2001-08-30 09:20:39 +00:00
|
|
|
(message "Setting up directories...")
|
2014-05-06 03:53:31 +00:00
|
|
|
(setq find-gc-subrs-called nil)
|
|
|
|
(let ((case-fold-search nil)
|
|
|
|
(default-directory find-gc-source-directory)
|
|
|
|
(files find-gc-source-files)
|
|
|
|
name entry rtlfile)
|
|
|
|
(dolist (file files)
|
|
|
|
(message "Compiling %s..." file)
|
|
|
|
(call-process "gcc" nil nil nil "-I" "." "-I" "../lib"
|
|
|
|
"-fdump-rtl-expand" "-o" null-device "-c" file)
|
|
|
|
(setq rtlfile
|
|
|
|
(file-expand-wildcards (format "%s.*.expand" file) t))
|
|
|
|
(if (/= 1 (length rtlfile))
|
|
|
|
(message "Error compiling `%s'?" file)
|
|
|
|
(with-temp-buffer
|
|
|
|
(insert-file-contents (setq rtlfile (car rtlfile)))
|
|
|
|
(delete-file rtlfile)
|
|
|
|
(while (re-search-forward ";; Function \\|(call_insn " nil t)
|
|
|
|
(if (= (char-after (- (point) 3)) ?o)
|
2001-08-30 09:20:39 +00:00
|
|
|
(progn
|
2014-05-06 03:53:31 +00:00
|
|
|
(looking-at "[a-zA-Z0-9_]+")
|
|
|
|
(setq name (intern (match-string 0)))
|
|
|
|
(message "%s : %s" (car files) name)
|
|
|
|
(setq entry (list name)
|
|
|
|
find-gc-subrs-called
|
|
|
|
(cons entry find-gc-subrs-called)))
|
|
|
|
(if (looking-at ".*\n?.*\"\\([A-Za-z0-9_]+\\)\"")
|
|
|
|
(progn
|
|
|
|
(setq name (intern (match-string 1)))
|
|
|
|
(or (memq name (cdr entry))
|
|
|
|
(setcdr entry (cons name (cdr entry)))))))))))))
|
2001-08-30 09:20:39 +00:00
|
|
|
|
|
|
|
(defun trace-use-tree ()
|
2021-01-31 23:00:39 +00:00
|
|
|
(setq find-gc-subrs-callers
|
|
|
|
(mapcar #'list (mapcar #'car find-gc-subrs-called)))
|
2005-07-16 19:21:10 +00:00
|
|
|
(let ((ptr find-gc-subrs-called)
|
2001-08-30 09:20:39 +00:00
|
|
|
p2 found)
|
|
|
|
(while ptr
|
|
|
|
(setq p2 (car ptr))
|
|
|
|
(while (setq p2 (cdr p2))
|
2005-07-16 19:21:10 +00:00
|
|
|
(if (setq found (assq (car p2) find-gc-subrs-callers))
|
2001-08-30 09:20:39 +00:00
|
|
|
(setcdr found (cons (car (car ptr)) (cdr found)))))
|
2014-05-06 10:29:37 +00:00
|
|
|
(setq ptr (cdr ptr)))))
|
2001-08-30 09:20:39 +00:00
|
|
|
|
|
|
|
(provide 'find-gc)
|
|
|
|
|
|
|
|
;;; find-gc.el ends here
|