Mercurial > hg > truffle
annotate src/share/vm/gc_implementation/g1/bufferingOopClosure.hpp @ 1311:2a1472c30599
4396719: Mark Sweep stack overflow on deeply nested Object arrays
Summary: Use an explicit stack for object arrays and process them in chunks.
Reviewed-by: iveresov, apetrusenko
author | jcoomes |
---|---|
date | Wed, 03 Mar 2010 14:48:26 -0800 |
parents | df6caf649ff7 |
children | c18cbe5936b8 |
rev | line source |
---|---|
342 | 1 /* |
2 * Copyright 2001-2007 Sun Microsystems, Inc. All Rights Reserved. | |
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. | |
4 * | |
5 * This code is free software; you can redistribute it and/or modify it | |
6 * under the terms of the GNU General Public License version 2 only, as | |
7 * published by the Free Software Foundation. | |
8 * | |
9 * This code is distributed in the hope that it will be useful, but WITHOUT | |
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
12 * version 2 for more details (a copy is included in the LICENSE file that | |
13 * accompanied this code). | |
14 * | |
15 * You should have received a copy of the GNU General Public License version | |
16 * 2 along with this work; if not, write to the Free Software Foundation, | |
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. | |
18 * | |
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara, | |
20 * CA 95054 USA or visit www.sun.com if you need additional information or | |
21 * have any questions. | |
22 * | |
23 */ | |
24 | |
25 // A BufferingOops closure tries to separate out the cost of finding roots | |
26 // from the cost of applying closures to them. It maintains an array of | |
27 // ref-containing locations. Until the array is full, applying the closure | |
28 // to an oop* merely records that location in the array. Since this | |
29 // closure app cost is small, an elapsed timer can approximately attribute | |
30 // all of this cost to the cost of finding the roots. When the array fills | |
31 // up, the wrapped closure is applied to all elements, keeping track of | |
32 // this elapsed time of this process, and leaving the array empty. | |
33 // The caller must be sure to call "done" to process any unprocessed | |
34 // buffered entriess. | |
35 | |
36 class Generation; | |
37 class HeapRegion; | |
38 | |
39 class BufferingOopClosure: public OopClosure { | |
40 protected: | |
41 enum PrivateConstants { | |
42 BufferLength = 1024 | |
43 }; | |
44 | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
45 StarTask _buffer[BufferLength]; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
46 StarTask* _buffer_top; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
47 StarTask* _buffer_curr; |
342 | 48 |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
49 OopClosure* _oc; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
50 double _closure_app_seconds; |
342 | 51 |
52 void process_buffer () { | |
53 double start = os::elapsedTime(); | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
54 for (StarTask* curr = _buffer; curr < _buffer_curr; ++curr) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
55 if (curr->is_narrow()) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
56 assert(UseCompressedOops, "Error"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
57 _oc->do_oop((narrowOop*)(*curr)); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
58 } else { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
59 _oc->do_oop((oop*)(*curr)); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
60 } |
342 | 61 } |
62 _buffer_curr = _buffer; | |
63 _closure_app_seconds += (os::elapsedTime() - start); | |
64 } | |
65 | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
66 template <class T> inline void do_oop_work(T* p) { |
342 | 67 if (_buffer_curr == _buffer_top) { |
68 process_buffer(); | |
69 } | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
70 StarTask new_ref(p); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
71 *_buffer_curr = new_ref; |
342 | 72 ++_buffer_curr; |
73 } | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
74 |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
75 public: |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
76 virtual void do_oop(narrowOop* p) { do_oop_work(p); } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
77 virtual void do_oop(oop* p) { do_oop_work(p); } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
78 |
342 | 79 void done () { |
80 if (_buffer_curr > _buffer) { | |
81 process_buffer(); | |
82 } | |
83 } | |
84 double closure_app_seconds () { | |
85 return _closure_app_seconds; | |
86 } | |
87 BufferingOopClosure (OopClosure *oc) : | |
88 _oc(oc), | |
89 _buffer_curr(_buffer), _buffer_top(_buffer + BufferLength), | |
90 _closure_app_seconds(0.0) { } | |
91 }; | |
92 | |
93 class BufferingOopsInGenClosure: public OopsInGenClosure { | |
94 BufferingOopClosure _boc; | |
95 OopsInGenClosure* _oc; | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
96 protected: |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
97 template <class T> inline void do_oop_work(T* p) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
98 assert(generation()->is_in_reserved((void*)p), "Must be in!"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
99 _boc.do_oop(p); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
100 } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
101 public: |
342 | 102 BufferingOopsInGenClosure(OopsInGenClosure *oc) : |
103 _boc(oc), _oc(oc) {} | |
104 | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
105 virtual void do_oop(narrowOop* p) { do_oop_work(p); } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
106 virtual void do_oop(oop* p) { do_oop_work(p); } |
342 | 107 |
108 void done() { | |
109 _boc.done(); | |
110 } | |
111 | |
112 double closure_app_seconds () { | |
113 return _boc.closure_app_seconds(); | |
114 } | |
115 | |
116 void set_generation(Generation* gen) { | |
117 OopsInGenClosure::set_generation(gen); | |
118 _oc->set_generation(gen); | |
119 } | |
120 | |
121 void reset_generation() { | |
122 // Make sure we finish the current work with the current generation. | |
123 _boc.done(); | |
124 OopsInGenClosure::reset_generation(); | |
125 _oc->reset_generation(); | |
126 } | |
127 | |
128 }; | |
129 | |
130 | |
131 class BufferingOopsInHeapRegionClosure: public OopsInHeapRegionClosure { | |
132 private: | |
133 enum PrivateConstants { | |
134 BufferLength = 1024 | |
135 }; | |
136 | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
137 StarTask _buffer[BufferLength]; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
138 StarTask* _buffer_top; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
139 StarTask* _buffer_curr; |
342 | 140 |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
141 HeapRegion* _hr_buffer[BufferLength]; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
142 HeapRegion** _hr_curr; |
342 | 143 |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
144 OopsInHeapRegionClosure* _oc; |
342 | 145 double _closure_app_seconds; |
146 | |
147 void process_buffer () { | |
148 | |
149 assert((_hr_curr - _hr_buffer) == (_buffer_curr - _buffer), | |
150 "the two lengths should be the same"); | |
151 | |
152 double start = os::elapsedTime(); | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
153 HeapRegion** hr_curr = _hr_buffer; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
154 HeapRegion* hr_prev = NULL; |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
155 for (StarTask* curr = _buffer; curr < _buffer_curr; ++curr) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
156 HeapRegion* region = *hr_curr; |
342 | 157 if (region != hr_prev) { |
158 _oc->set_region(region); | |
159 hr_prev = region; | |
160 } | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
161 if (curr->is_narrow()) { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
162 assert(UseCompressedOops, "Error"); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
163 _oc->do_oop((narrowOop*)(*curr)); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
164 } else { |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
165 _oc->do_oop((oop*)(*curr)); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
166 } |
342 | 167 ++hr_curr; |
168 } | |
169 _buffer_curr = _buffer; | |
170 _hr_curr = _hr_buffer; | |
171 _closure_app_seconds += (os::elapsedTime() - start); | |
172 } | |
173 | |
174 public: | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
175 virtual void do_oop(narrowOop* p) { do_oop_work(p); } |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
176 virtual void do_oop( oop* p) { do_oop_work(p); } |
342 | 177 |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
178 template <class T> void do_oop_work(T* p) { |
342 | 179 if (_buffer_curr == _buffer_top) { |
180 assert(_hr_curr > _hr_buffer, "_hr_curr should be consistent with _buffer_curr"); | |
181 process_buffer(); | |
182 } | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
183 StarTask new_ref(p); |
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
184 *_buffer_curr = new_ref; |
342 | 185 ++_buffer_curr; |
186 *_hr_curr = _from; | |
187 ++_hr_curr; | |
188 } | |
189 void done () { | |
190 if (_buffer_curr > _buffer) { | |
191 assert(_hr_curr > _hr_buffer, "_hr_curr should be consistent with _buffer_curr"); | |
192 process_buffer(); | |
193 } | |
194 } | |
195 double closure_app_seconds () { | |
196 return _closure_app_seconds; | |
197 } | |
198 BufferingOopsInHeapRegionClosure (OopsInHeapRegionClosure *oc) : | |
199 _oc(oc), | |
200 _buffer_curr(_buffer), _buffer_top(_buffer + BufferLength), | |
201 _hr_curr(_hr_buffer), | |
202 _closure_app_seconds(0.0) { } | |
203 }; |