Mercurial > emacs
annotate src/vm-limit.c @ 95172:894bae45bf1b
(completion-all-sorted-completions): New var.
(completion--flush-all-sorted-completions)
(completion-all-sorted-completions): New functions.
(minibuffer-force-complete): New command.
author | Stefan Monnier <monnier@iro.umontreal.ca> |
---|---|
date | Wed, 21 May 2008 20:52:44 +0000 |
parents | 8971ddf55736 |
children | 1533ce04b4b8 |
rev | line source |
---|---|
734 | 1 /* Functions for memory limit warnings. |
94963
8971ddf55736
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79759
diff
changeset
|
2 Copyright (C) 1990, 1992, 2001, 2002, 2003, 2004, 2005, 2006, 2007, |
8971ddf55736
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79759
diff
changeset
|
3 2008 Free Software Foundation, Inc. |
734 | 4 |
5 This file is part of GNU Emacs. | |
6 | |
94963
8971ddf55736
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79759
diff
changeset
|
7 GNU Emacs is free software: you can redistribute it and/or modify |
734 | 8 it under the terms of the GNU General Public License as published by |
94963
8971ddf55736
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79759
diff
changeset
|
9 the Free Software Foundation, either version 3 of the License, or |
8971ddf55736
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79759
diff
changeset
|
10 (at your option) any later version. |
734 | 11 |
12 GNU Emacs is distributed in the hope that it will be useful, | |
13 but WITHOUT ANY WARRANTY; without even the implied warranty of | |
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
15 GNU General Public License for more details. | |
16 | |
17 You should have received a copy of the GNU General Public License | |
94963
8971ddf55736
Switch to recommended form of GPLv3 permissions notice.
Glenn Morris <rgm@gnu.org>
parents:
79759
diff
changeset
|
18 along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>. */ |
734 | 19 |
1392
ad64a94cd81c
(morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents:
734
diff
changeset
|
20 #ifdef emacs |
4696
1fc792473491
Include <config.h> instead of "config.h".
Roland McGrath <roland@gnu.org>
parents:
3935
diff
changeset
|
21 #include <config.h> |
734 | 22 #include "lisp.h" |
1392
ad64a94cd81c
(morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents:
734
diff
changeset
|
23 #endif |
ad64a94cd81c
(morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents:
734
diff
changeset
|
24 |
ad64a94cd81c
(morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents:
734
diff
changeset
|
25 #ifndef emacs |
ad64a94cd81c
(morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents:
734
diff
changeset
|
26 #include <stddef.h> |
ad64a94cd81c
(morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents:
734
diff
changeset
|
27 typedef size_t SIZE; |
ad64a94cd81c
(morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents:
734
diff
changeset
|
28 typedef void *POINTER; |
ad64a94cd81c
(morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents:
734
diff
changeset
|
29 #define EXCEEDS_LISP_PTR(x) 0 |
ad64a94cd81c
(morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents:
734
diff
changeset
|
30 #endif |
ad64a94cd81c
(morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents:
734
diff
changeset
|
31 |
1398
70d0cd4c5bff
mem_limits.h is now called mem-limits.h.
Roland McGrath <roland@gnu.org>
parents:
1392
diff
changeset
|
32 #include "mem-limits.h" |
734 | 33 |
69019
01f2a79bee28
[HAVE_GETRLIMIT]: Include sys/resource.h.
Richard M. Stallman <rms@gnu.org>
parents:
68651
diff
changeset
|
34 #ifdef HAVE_GETRLIMIT |
01f2a79bee28
[HAVE_GETRLIMIT]: Include sys/resource.h.
Richard M. Stallman <rms@gnu.org>
parents:
68651
diff
changeset
|
35 #include <sys/resource.h> |
01f2a79bee28
[HAVE_GETRLIMIT]: Include sys/resource.h.
Richard M. Stallman <rms@gnu.org>
parents:
68651
diff
changeset
|
36 #endif |
01f2a79bee28
[HAVE_GETRLIMIT]: Include sys/resource.h.
Richard M. Stallman <rms@gnu.org>
parents:
68651
diff
changeset
|
37 |
734 | 38 /* |
39 Level number of warnings already issued. | |
40 0 -- no warnings issued. | |
41 1 -- 75% warning already issued. | |
42 2 -- 85% warning already issued. | |
1392
ad64a94cd81c
(morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents:
734
diff
changeset
|
43 3 -- 95% warning issued; keep warning frequently. |
734 | 44 */ |
69390
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
45 enum warnlevel { not_warned, warned_75, warned_85, warned_95 }; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
46 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
47 static enum warnlevel warnlevel; |
734 | 48 |
49 /* Function to call to issue a warning; | |
50 0 means don't issue them. */ | |
1400
af08281c0cbe
(warnfunction): Renamed to warn_function (was used inconsistently).
Roland McGrath <roland@gnu.org>
parents:
1398
diff
changeset
|
51 static void (*warn_function) (); |
734 | 52 |
69390
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
53 /* Start of data space; can be changed by calling malloc_init. */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
54 static POINTER data_space_start; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
55 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
56 /* Number of bytes of writable memory we can expect to be able to get. */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
57 static unsigned long lim_data; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
58 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
59 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
60 #ifdef NO_LIM_DATA |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
61 static void |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
62 get_lim_data () |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
63 { |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
64 lim_data = -1; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
65 } |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
66 #else /* not NO_LIM_DATA */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
67 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
68 #ifdef USG |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
69 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
70 static void |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
71 get_lim_data () |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
72 { |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
73 extern long ulimit (); |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
74 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
75 lim_data = -1; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
76 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
77 /* Use the ulimit call, if we seem to have it. */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
78 #if !defined (ULIMIT_BREAK_VALUE) || defined (GNU_LINUX) |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
79 lim_data = ulimit (3, 0); |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
80 #endif |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
81 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
82 /* If that didn't work, just use the macro's value. */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
83 #ifdef ULIMIT_BREAK_VALUE |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
84 if (lim_data == -1) |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
85 lim_data = ULIMIT_BREAK_VALUE; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
86 #endif |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
87 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
88 lim_data -= (long) data_space_start; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
89 } |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
90 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
91 #else /* not USG */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
92 #ifdef WINDOWSNT |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
93 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
94 static void |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
95 get_lim_data () |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
96 { |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
97 extern unsigned long reserved_heap_size; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
98 lim_data = reserved_heap_size; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
99 } |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
100 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
101 #else |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
102 #if !defined (BSD4_2) && !defined (__osf__) |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
103 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
104 #ifdef MSDOS |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
105 void |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
106 get_lim_data () |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
107 { |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
108 _go32_dpmi_meminfo info; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
109 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
110 _go32_dpmi_get_free_memory_information (&info); |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
111 lim_data = info.available_memory; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
112 } |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
113 #else /* not MSDOS */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
114 static void |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
115 get_lim_data () |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
116 { |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
117 lim_data = vlimit (LIM_DATA, -1); |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
118 } |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
119 #endif /* not MSDOS */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
120 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
121 #else /* BSD4_2 */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
122 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
123 static void |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
124 get_lim_data () |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
125 { |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
126 struct rlimit XXrlimit; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
127 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
128 getrlimit (RLIMIT_DATA, &XXrlimit); |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
129 #ifdef RLIM_INFINITY |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
130 lim_data = XXrlimit.rlim_cur & RLIM_INFINITY; /* soft limit */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
131 #else |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
132 lim_data = XXrlimit.rlim_cur; /* soft limit */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
133 #endif |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
134 } |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
135 #endif /* BSD4_2 */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
136 #endif /* not WINDOWSNT */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
137 #endif /* not USG */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
138 #endif /* not NO_LIM_DATA */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
139 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
140 /* Verify amount of memory available, complaining if we're near the end. */ |
734 | 141 |
1416
60bb5e719468
(morecore_with_warning): Removed.
Roland McGrath <roland@gnu.org>
parents:
1400
diff
changeset
|
142 static void |
60bb5e719468
(morecore_with_warning): Removed.
Roland McGrath <roland@gnu.org>
parents:
1400
diff
changeset
|
143 check_memory_limits () |
734 | 144 { |
30062
9a026d470bc9
(check_memory_limits) [REL_ALLOC]: Use real_morecore
Andrew Innes <andrewi@gnu.org>
parents:
24366
diff
changeset
|
145 #ifdef REL_ALLOC |
9a026d470bc9
(check_memory_limits) [REL_ALLOC]: Use real_morecore
Andrew Innes <andrewi@gnu.org>
parents:
24366
diff
changeset
|
146 extern POINTER (*real_morecore) (); |
9a026d470bc9
(check_memory_limits) [REL_ALLOC]: Use real_morecore
Andrew Innes <andrewi@gnu.org>
parents:
24366
diff
changeset
|
147 #endif |
1417
3a1576d52874
(check_memory_limits): Declare __morecore.
Roland McGrath <roland@gnu.org>
parents:
1416
diff
changeset
|
148 extern POINTER (*__morecore) (); |
3a1576d52874
(check_memory_limits): Declare __morecore.
Roland McGrath <roland@gnu.org>
parents:
1416
diff
changeset
|
149 |
30062
9a026d470bc9
(check_memory_limits) [REL_ALLOC]: Use real_morecore
Andrew Innes <andrewi@gnu.org>
parents:
24366
diff
changeset
|
150 |
734 | 151 register POINTER cp; |
3935
cecc2b59e875
(check_memory_limits): Use unsigned long to hold memory size values.
Richard M. Stallman <rms@gnu.org>
parents:
1417
diff
changeset
|
152 unsigned long five_percent; |
cecc2b59e875
(check_memory_limits): Use unsigned long to hold memory size values.
Richard M. Stallman <rms@gnu.org>
parents:
1417
diff
changeset
|
153 unsigned long data_size; |
69390
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
154 enum warnlevel new_warnlevel; |
734 | 155 |
69019
01f2a79bee28
[HAVE_GETRLIMIT]: Include sys/resource.h.
Richard M. Stallman <rms@gnu.org>
parents:
68651
diff
changeset
|
156 #ifdef HAVE_GETRLIMIT |
69390
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
157 struct rlimit rlimit; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
158 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
159 getrlimit (RLIMIT_AS, &rlimit); |
69019
01f2a79bee28
[HAVE_GETRLIMIT]: Include sys/resource.h.
Richard M. Stallman <rms@gnu.org>
parents:
68651
diff
changeset
|
160 |
69390
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
161 if (RLIM_INFINITY == rlimit.rlim_max) |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
162 return; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
163 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
164 /* This is a nonsensical case, but it happens -- rms. */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
165 if (rlimit.rlim_cur > rlimit.rlim_max) |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
166 return; |
69019
01f2a79bee28
[HAVE_GETRLIMIT]: Include sys/resource.h.
Richard M. Stallman <rms@gnu.org>
parents:
68651
diff
changeset
|
167 |
01f2a79bee28
[HAVE_GETRLIMIT]: Include sys/resource.h.
Richard M. Stallman <rms@gnu.org>
parents:
68651
diff
changeset
|
168 five_percent = rlimit.rlim_max / 20; |
01f2a79bee28
[HAVE_GETRLIMIT]: Include sys/resource.h.
Richard M. Stallman <rms@gnu.org>
parents:
68651
diff
changeset
|
169 data_size = rlimit.rlim_cur; |
01f2a79bee28
[HAVE_GETRLIMIT]: Include sys/resource.h.
Richard M. Stallman <rms@gnu.org>
parents:
68651
diff
changeset
|
170 |
01f2a79bee28
[HAVE_GETRLIMIT]: Include sys/resource.h.
Richard M. Stallman <rms@gnu.org>
parents:
68651
diff
changeset
|
171 #else /* not HAVE_GETRLIMIT */ |
01f2a79bee28
[HAVE_GETRLIMIT]: Include sys/resource.h.
Richard M. Stallman <rms@gnu.org>
parents:
68651
diff
changeset
|
172 |
734 | 173 if (lim_data == 0) |
174 get_lim_data (); | |
1392
ad64a94cd81c
(morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents:
734
diff
changeset
|
175 five_percent = lim_data / 20; |
734 | 176 |
177 /* Find current end of memory and issue warning if getting near max */ | |
30062
9a026d470bc9
(check_memory_limits) [REL_ALLOC]: Use real_morecore
Andrew Innes <andrewi@gnu.org>
parents:
24366
diff
changeset
|
178 #ifdef REL_ALLOC |
9a026d470bc9
(check_memory_limits) [REL_ALLOC]: Use real_morecore
Andrew Innes <andrewi@gnu.org>
parents:
24366
diff
changeset
|
179 if (real_morecore) |
9a026d470bc9
(check_memory_limits) [REL_ALLOC]: Use real_morecore
Andrew Innes <andrewi@gnu.org>
parents:
24366
diff
changeset
|
180 cp = (char *) (*real_morecore) (0); |
9a026d470bc9
(check_memory_limits) [REL_ALLOC]: Use real_morecore
Andrew Innes <andrewi@gnu.org>
parents:
24366
diff
changeset
|
181 else |
9a026d470bc9
(check_memory_limits) [REL_ALLOC]: Use real_morecore
Andrew Innes <andrewi@gnu.org>
parents:
24366
diff
changeset
|
182 #endif |
1416
60bb5e719468
(morecore_with_warning): Removed.
Roland McGrath <roland@gnu.org>
parents:
1400
diff
changeset
|
183 cp = (char *) (*__morecore) (0); |
1400
af08281c0cbe
(warnfunction): Renamed to warn_function (was used inconsistently).
Roland McGrath <roland@gnu.org>
parents:
1398
diff
changeset
|
184 data_size = (char *) cp - (char *) data_space_start; |
734 | 185 |
69019
01f2a79bee28
[HAVE_GETRLIMIT]: Include sys/resource.h.
Richard M. Stallman <rms@gnu.org>
parents:
68651
diff
changeset
|
186 #endif /* not HAVE_GETRLIMIT */ |
01f2a79bee28
[HAVE_GETRLIMIT]: Include sys/resource.h.
Richard M. Stallman <rms@gnu.org>
parents:
68651
diff
changeset
|
187 |
69390
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
188 if (!warn_function) |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
189 return; |
734 | 190 |
69390
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
191 /* What level of warning does current memory usage demand? */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
192 if (data_size > five_percent * 19) |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
193 new_warnlevel = warned_95; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
194 else if (data_size > five_percent * 17) |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
195 new_warnlevel = warned_85; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
196 else if (data_size > five_percent * 15) |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
197 new_warnlevel = warned_75; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
198 else |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
199 new_warnlevel = not_warned; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
200 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
201 /* If we have gone up a level, give the appropriate warning. */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
202 if (new_warnlevel > warnlevel || new_warnlevel == warned_95) |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
203 { |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
204 warnlevel = new_warnlevel; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
205 switch (warnlevel) |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
206 { |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
207 case warned_75: |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
208 (*warn_function) ("Warning: past 75% of memory limit"); |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
209 break; |
734 | 210 |
69390
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
211 case warned_85: |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
212 (*warn_function) ("Warning: past 85% of memory limit"); |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
213 break; |
734 | 214 |
69390
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
215 case warned_95: |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
216 (*warn_function) ("Warning: past 95% of memory limit"); |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
217 } |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
218 } |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
219 /* Handle going down in usage levels, with some hysteresis. */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
220 else |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
221 { |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
222 /* If we go down below 70% full, issue another 75% warning |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
223 when we go up again. */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
224 if (data_size < five_percent * 14) |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
225 warnlevel = not_warned; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
226 /* If we go down below 80% full, issue another 85% warning |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
227 when we go up again. */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
228 else if (warnlevel > warned_75 && data_size < five_percent * 16) |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
229 warnlevel = warned_75; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
230 /* If we go down below 90% full, issue another 95% warning |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
231 when we go up again. */ |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
232 else if (warnlevel > warned_85 && data_size < five_percent * 18) |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
233 warnlevel = warned_85; |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
234 } |
1392
ad64a94cd81c
(morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents:
734
diff
changeset
|
235 |
ad64a94cd81c
(morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents:
734
diff
changeset
|
236 if (EXCEEDS_LISP_PTR (cp)) |
1400
af08281c0cbe
(warnfunction): Renamed to warn_function (was used inconsistently).
Roland McGrath <roland@gnu.org>
parents:
1398
diff
changeset
|
237 (*warn_function) ("Warning: memory in use exceeds lisp pointer size"); |
734 | 238 } |
69390
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
239 |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
240 /* Enable memory usage warnings. |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
241 START says where the end of pure storage is. |
7e58bc915ffe
(get_lim_data, lim_data, data_space_start): Moved from mem-limits.h.
Richard M. Stallman <rms@gnu.org>
parents:
69019
diff
changeset
|
242 WARNFUN specifies the function to call to issue a warning. */ |
734 | 243 |
244 void | |
1392
ad64a94cd81c
(morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents:
734
diff
changeset
|
245 memory_warnings (start, warnfun) |
734 | 246 POINTER start; |
247 void (*warnfun) (); | |
248 { | |
1416
60bb5e719468
(morecore_with_warning): Removed.
Roland McGrath <roland@gnu.org>
parents:
1400
diff
changeset
|
249 extern void (* __after_morecore_hook) (); /* From gmalloc.c */ |
734 | 250 |
251 if (start) | |
252 data_space_start = start; | |
1392
ad64a94cd81c
(morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents:
734
diff
changeset
|
253 else |
ad64a94cd81c
(morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents:
734
diff
changeset
|
254 data_space_start = start_of_data (); |
ad64a94cd81c
(morecore_with_warning): Reduce warnlevel when usage drops far enough.
Richard M. Stallman <rms@gnu.org>
parents:
734
diff
changeset
|
255 |
1400
af08281c0cbe
(warnfunction): Renamed to warn_function (was used inconsistently).
Roland McGrath <roland@gnu.org>
parents:
1398
diff
changeset
|
256 warn_function = warnfun; |
1416
60bb5e719468
(morecore_with_warning): Removed.
Roland McGrath <roland@gnu.org>
parents:
1400
diff
changeset
|
257 __after_morecore_hook = check_memory_limits; |
24366
274b79aeb3b7
(memory_warnings) [WINDOWSNT]: Reset lim_data on each
Andrew Innes <andrewi@gnu.org>
parents:
14186
diff
changeset
|
258 |
274b79aeb3b7
(memory_warnings) [WINDOWSNT]: Reset lim_data on each
Andrew Innes <andrewi@gnu.org>
parents:
14186
diff
changeset
|
259 /* Force data limit to be recalculated on each run. */ |
274b79aeb3b7
(memory_warnings) [WINDOWSNT]: Reset lim_data on each
Andrew Innes <andrewi@gnu.org>
parents:
14186
diff
changeset
|
260 lim_data = 0; |
734 | 261 } |
52401 | 262 |
263 /* arch-tag: eab04eda-1f69-447a-8d9f-95f0a3983ca5 | |
264 (do not change this comment) */ |