blob: 22f7e74114be79617b6ebebd3f46c6f3b3bc8879 [file] [log] [blame]
Marc-André Lemburg36619082001-01-17 19:11:13 +00001from test_support import verify, verbose, TestFailed
Neil Schemenauer88c761a2001-07-12 13:25:53 +00002import sys
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +00003import gc
4
Guido van Rossumc907bd82001-10-02 19:49:47 +00005def expect(actual, expected, name):
6 if actual != expected:
7 raise TestFailed, "test_%s: actual %d, expected %d" % (
8 name, actual, expected)
9
Guido van Rossum048eb752001-10-02 21:24:57 +000010def expect_nonzero(actual, name):
11 if actual == 0:
12 raise TestFailed, "test_%s: unexpected zero" % name
Guido van Rossumc907bd82001-10-02 19:49:47 +000013
Neil Schemenauerfaae2662000-09-22 15:26:20 +000014def run_test(name, thunk):
15 if verbose:
16 print "testing %s..." % name,
Guido van Rossumc907bd82001-10-02 19:49:47 +000017 thunk()
18 if verbose:
19 print "ok"
Neil Schemenauerfaae2662000-09-22 15:26:20 +000020
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +000021def test_list():
22 l = []
23 l.append(l)
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +000024 gc.collect()
25 del l
Guido van Rossumc907bd82001-10-02 19:49:47 +000026 expect(gc.collect(), 1, "list")
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +000027
28def test_dict():
29 d = {}
30 d[1] = d
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +000031 gc.collect()
32 del d
Guido van Rossumc907bd82001-10-02 19:49:47 +000033 expect(gc.collect(), 1, "dict")
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +000034
35def test_tuple():
Neil Schemenauera53cf792000-09-15 22:32:29 +000036 # since tuples are immutable we close the loop with a list
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +000037 l = []
38 t = (l,)
39 l.append(t)
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +000040 gc.collect()
41 del t
42 del l
Guido van Rossumc907bd82001-10-02 19:49:47 +000043 expect(gc.collect(), 2, "tuple")
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +000044
45def test_class():
46 class A:
47 pass
48 A.a = A
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +000049 gc.collect()
50 del A
Guido van Rossum048eb752001-10-02 21:24:57 +000051 expect_nonzero(gc.collect(), "class")
52
Tim Peters1ce150c2001-10-15 22:49:27 +000053def test_newstyleclass():
Guido van Rossum048eb752001-10-02 21:24:57 +000054 class A(object):
Tim Peters1ce150c2001-10-15 22:49:27 +000055 pass
Guido van Rossum048eb752001-10-02 21:24:57 +000056 gc.collect()
57 del A
58 expect_nonzero(gc.collect(), "staticclass")
59
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +000060def test_instance():
61 class A:
62 pass
63 a = A()
64 a.a = a
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +000065 gc.collect()
66 del a
Guido van Rossum048eb752001-10-02 21:24:57 +000067 expect_nonzero(gc.collect(), "instance")
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +000068
Guido van Rossum9475a232001-10-05 20:51:39 +000069def test_newinstance():
70 class A(object):
71 pass
72 a = A()
73 a.a = a
74 gc.collect()
75 del a
76 expect_nonzero(gc.collect(), "newinstance")
77 class B(list):
78 pass
79 class C(B, A):
80 pass
81 a = C()
82 a.a = a
83 gc.collect()
84 del a
85 expect_nonzero(gc.collect(), "newinstance(2)")
86
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +000087def test_method():
Neil Schemenauera53cf792000-09-15 22:32:29 +000088 # Tricky: self.__init__ is a bound method, it references the instance.
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +000089 class A:
90 def __init__(self):
91 self.init = self.__init__
92 a = A()
93 gc.collect()
94 del a
Guido van Rossum048eb752001-10-02 21:24:57 +000095 expect_nonzero(gc.collect(), "method")
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +000096
97def test_finalizer():
Neil Schemenauera53cf792000-09-15 22:32:29 +000098 # A() is uncollectable if it is part of a cycle, make sure it shows up
99 # in gc.garbage.
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000100 class A:
101 def __del__(self): pass
102 class B:
103 pass
104 a = A()
105 a.a = a
106 id_a = id(a)
107 b = B()
108 b.b = b
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000109 gc.collect()
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000110 del a
111 del b
Guido van Rossum048eb752001-10-02 21:24:57 +0000112 expect_nonzero(gc.collect(), "finalizer")
Neil Schemenauerfaae2662000-09-22 15:26:20 +0000113 for obj in gc.garbage:
114 if id(obj) == id_a:
115 del obj.a
116 break
117 else:
Guido van Rossumc907bd82001-10-02 19:49:47 +0000118 raise TestFailed, "didn't find obj in garbage (finalizer)"
Neil Schemenauerfaae2662000-09-22 15:26:20 +0000119 gc.garbage.remove(obj)
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000120
121def test_function():
Neil Schemenauera53cf792000-09-15 22:32:29 +0000122 # Tricky: f -> d -> f, code should call d.clear() after the exec to
123 # break the cycle.
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000124 d = {}
125 exec("def f(): pass\n") in d
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000126 gc.collect()
127 del d
Guido van Rossumc907bd82001-10-02 19:49:47 +0000128 expect(gc.collect(), 2, "function")
Neil Schemenauerfaae2662000-09-22 15:26:20 +0000129
Neil Schemenauer88c761a2001-07-12 13:25:53 +0000130def test_frame():
131 def f():
132 frame = sys._getframe()
133 gc.collect()
134 f()
Guido van Rossumc907bd82001-10-02 19:49:47 +0000135 expect(gc.collect(), 1, "frame")
Neil Schemenauer88c761a2001-07-12 13:25:53 +0000136
137
Neil Schemenauerfaae2662000-09-22 15:26:20 +0000138def test_saveall():
139 # Verify that cyclic garbage like lists show up in gc.garbage if the
140 # SAVEALL option is enabled.
141 debug = gc.get_debug()
142 gc.set_debug(debug | gc.DEBUG_SAVEALL)
143 l = []
144 l.append(l)
145 id_l = id(l)
146 del l
147 gc.collect()
148 try:
149 for obj in gc.garbage:
150 if id(obj) == id_l:
151 del obj[:]
152 break
153 else:
Guido van Rossumc907bd82001-10-02 19:49:47 +0000154 raise TestFailed, "didn't find obj in garbage (saveall)"
Neil Schemenauerfaae2662000-09-22 15:26:20 +0000155 gc.garbage.remove(obj)
156 finally:
157 gc.set_debug(debug)
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000158
Neil Schemenauera53cf792000-09-15 22:32:29 +0000159def test_del():
160 # __del__ methods can trigger collection, make this to happen
161 thresholds = gc.get_threshold()
162 gc.enable()
163 gc.set_threshold(1)
164
Fred Drake004d5e62000-10-23 17:22:08 +0000165 class A:
166 def __del__(self):
167 dir(self)
Neil Schemenauera53cf792000-09-15 22:32:29 +0000168 a = A()
169 del a
170
171 gc.disable()
172 apply(gc.set_threshold, thresholds)
Fred Drake004d5e62000-10-23 17:22:08 +0000173
Tim Petersd2225592002-03-28 21:08:30 +0000174class Ouch:
175 n = 0
176 def __del__(self):
177 Ouch.n = Ouch.n + 1
178 if Ouch.n % 7 == 0:
179 gc.collect()
180
181def test_trashcan():
182 # "trashcan" is a hack to prevent stack overflow when deallocating
183 # very deeply nested tuples etc. It works in part by abusing the
184 # type pointer and refcount fields, and that can yield horrible
185 # problems when gc tries to traverse the structures.
186 # If this test fails (as it does in 2.0, 2.1 and 2.2), it will
187 # most likely die via segfault.
188
189 gc.enable()
190 N = 200
Tim Petersd4ce7582002-03-28 21:22:25 +0000191 for count in range(3):
Tim Petersd2225592002-03-28 21:08:30 +0000192 t = []
193 for i in range(N):
194 t = [t, Ouch()]
195 u = []
196 for i in range(N):
197 u = [u, Ouch()]
198 v = {}
199 for i in range(N):
200 v = {1: v, 2: Ouch()}
201 gc.disable()
Jeremy Hyltonc5007aa2000-06-30 05:02:53 +0000202
203def test_all():
Guido van Rossumc907bd82001-10-02 19:49:47 +0000204 gc.collect() # Delete 2nd generation garbage
Neil Schemenauerfaae2662000-09-22 15:26:20 +0000205 run_test("lists", test_list)
206 run_test("dicts", test_dict)
207 run_test("tuples", test_tuple)
208 run_test("classes", test_class)
Tim Peters1ce150c2001-10-15 22:49:27 +0000209 run_test("new style classes", test_newstyleclass)
Neil Schemenauerfaae2662000-09-22 15:26:20 +0000210 run_test("instances", test_instance)
Guido van Rossum9475a232001-10-05 20:51:39 +0000211 run_test("new instances", test_newinstance)
Neil Schemenauerfaae2662000-09-22 15:26:20 +0000212 run_test("methods", test_method)
213 run_test("functions", test_function)
Neil Schemenauer88c761a2001-07-12 13:25:53 +0000214 run_test("frames", test_frame)
Neil Schemenauerfaae2662000-09-22 15:26:20 +0000215 run_test("finalizers", test_finalizer)
216 run_test("__del__", test_del)
217 run_test("saveall", test_saveall)
Tim Petersd2225592002-03-28 21:08:30 +0000218 run_test("trashcan", test_trashcan)
Vladimir Marangozovf9d20c32000-08-06 22:45:31 +0000219
Neil Schemenauerfaae2662000-09-22 15:26:20 +0000220def test():
221 if verbose:
222 print "disabling automatic collection"
Vladimir Marangozovf9d20c32000-08-06 22:45:31 +0000223 enabled = gc.isenabled()
224 gc.disable()
Marc-André Lemburg36619082001-01-17 19:11:13 +0000225 verify(not gc.isenabled() )
Neil Schemenauerfaae2662000-09-22 15:26:20 +0000226 debug = gc.get_debug()
227 gc.set_debug(debug & ~gc.DEBUG_LEAK) # this test is supposed to leak
Vladimir Marangozovf9d20c32000-08-06 22:45:31 +0000228
Neil Schemenauerfaae2662000-09-22 15:26:20 +0000229 try:
230 test_all()
231 finally:
232 gc.set_debug(debug)
233 # test gc.enable() even if GC is disabled by default
234 if verbose:
235 print "restoring automatic collection"
236 # make sure to always test gc.enable()
237 gc.enable()
Marc-André Lemburg36619082001-01-17 19:11:13 +0000238 verify(gc.isenabled())
Neil Schemenauerfaae2662000-09-22 15:26:20 +0000239 if not enabled:
240 gc.disable()
Vladimir Marangozovf9d20c32000-08-06 22:45:31 +0000241
242
Neil Schemenauerfaae2662000-09-22 15:26:20 +0000243test()