Mercurial > hg > truffle
annotate src/share/vm/gc_implementation/g1/satbQueue.hpp @ 5935:a735aec54ea4
7123170: JCK vm/jvmti/ResourceExhausted/resexh001/resexh00101/ tests fails since 7u4 b02
Summary: The JVMTI ResourceExhausted events must be generated in all places where OOME is thrown
Reviewed-by: acorn, coleenp, dcubed, dholmes, dsamersoff, jwilhelm, tonyp
Contributed-by: serguei.spitsyn@oracle.com
author | sspitsyn |
---|---|
date | Wed, 14 Mar 2012 20:06:48 -0700 |
parents | 2ace1c4ee8da |
children | 89ac31a5a7a7 |
rev | line source |
---|---|
342 | 1 /* |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
2 * Copyright (c) 2001, 2012, Oracle and/or its affiliates. All rights reserved. |
342 | 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 * | |
1552
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1317
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1317
diff
changeset
|
20 * or visit www.oracle.com if you need additional information or have any |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1317
diff
changeset
|
21 * questions. |
342 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_GC_IMPLEMENTATION_G1_SATBQUEUE_HPP |
26 #define SHARE_VM_GC_IMPLEMENTATION_G1_SATBQUEUE_HPP | |
27 | |
28 #include "gc_implementation/g1/ptrQueue.hpp" | |
29 | |
342 | 30 class ObjectClosure; |
31 class JavaThread; | |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
32 class SATBMarkQueueSet; |
342 | 33 |
34 // A ptrQueue whose elements are "oops", pointers to object heads. | |
35 class ObjPtrQueue: public PtrQueue { | |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
36 friend class SATBMarkQueueSet; |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
37 |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
38 private: |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
39 // Filter out unwanted entries from the buffer. |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
40 void filter(); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
41 |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
42 // Apply the closure to all elements. |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
43 void apply_closure(ObjectClosure* cl); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
44 |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
45 // Apply the closure to all elements and empty the buffer; |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
46 void apply_closure_and_empty(ObjectClosure* cl); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
47 |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
48 // Apply the closure to all elements of "buf", down to "index" (inclusive.) |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
49 static void apply_closure_to_buffer(ObjectClosure* cl, |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
50 void** buf, size_t index, size_t sz); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
51 |
342 | 52 public: |
2149 | 53 ObjPtrQueue(PtrQueueSet* qset, bool perm = false) : |
1842
6e0aac35bfa9
6980838: G1: guarantee(false) failed: thread has an unexpected active value in its SATB queue
tonyp
parents:
1552
diff
changeset
|
54 // SATB queues are only active during marking cycles. We create |
6e0aac35bfa9
6980838: G1: guarantee(false) failed: thread has an unexpected active value in its SATB queue
tonyp
parents:
1552
diff
changeset
|
55 // them with their active field set to false. If a thread is |
6e0aac35bfa9
6980838: G1: guarantee(false) failed: thread has an unexpected active value in its SATB queue
tonyp
parents:
1552
diff
changeset
|
56 // created during a cycle and its SATB queue needs to be activated |
6e0aac35bfa9
6980838: G1: guarantee(false) failed: thread has an unexpected active value in its SATB queue
tonyp
parents:
1552
diff
changeset
|
57 // before the thread starts running, we'll need to set its active |
6e0aac35bfa9
6980838: G1: guarantee(false) failed: thread has an unexpected active value in its SATB queue
tonyp
parents:
1552
diff
changeset
|
58 // field to true. This is done in JavaThread::initialize_queues(). |
2149 | 59 PtrQueue(qset, perm, false /* active */) { } |
60 | |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
61 // Overrides PtrQueue::flush() so that it can filter the buffer |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
62 // before it is flushed. |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
63 virtual void flush(); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
64 |
2149 | 65 // Overrides PtrQueue::should_enqueue_buffer(). See the method's |
66 // definition for more information. | |
67 virtual bool should_enqueue_buffer(); | |
68 | |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
69 #ifndef PRODUCT |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
70 // Helpful for debugging |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
71 void print(const char* name); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
72 static void print(const char* name, void** buf, size_t index, size_t sz); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
73 #endif // PRODUCT |
342 | 74 |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
75 void verify_oops_in_buffer() NOT_DEBUG_RETURN; |
342 | 76 }; |
77 | |
78 class SATBMarkQueueSet: public PtrQueueSet { | |
79 ObjectClosure* _closure; | |
80 ObjectClosure** _par_closures; // One per ParGCThread. | |
81 | |
82 ObjPtrQueue _shared_satb_queue; | |
83 | |
84 // Utility function to support sequential and parallel versions. If | |
85 // "par" is true, then "worker" is the par thread id; if "false", worker | |
86 // is ignored. | |
87 bool apply_closure_to_completed_buffer_work(bool par, int worker); | |
88 | |
1317
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
89 #ifdef ASSERT |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
90 void dump_active_values(JavaThread* first, bool expected_active); |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
91 #endif // ASSERT |
342 | 92 |
93 public: | |
94 SATBMarkQueueSet(); | |
95 | |
96 void initialize(Monitor* cbl_mon, Mutex* fl_lock, | |
1111 | 97 int process_completed_threshold, |
98 Mutex* lock); | |
342 | 99 |
100 static void handle_zero_index_for_thread(JavaThread* t); | |
101 | |
1317
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
102 // Apply "set_active(b)" to all Java threads' SATB queues. It should be |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
103 // called only with the world stopped. The method will assert that the |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
104 // SATB queues of all threads it visits, as well as the SATB queue |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
105 // set itself, has an active value same as expected_active. |
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
106 void set_active_all_threads(bool b, bool expected_active); |
342 | 107 |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
108 // Filter all the currently-active SATB buffers. |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
109 void filter_thread_buffers(); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
110 |
342 | 111 // Register "blk" as "the closure" for all queues. Only one such closure |
112 // is allowed. The "apply_closure_to_completed_buffer" method will apply | |
113 // this closure to a completed buffer, and "iterate_closure_all_threads" | |
114 // applies it to partially-filled buffers (the latter should only be done | |
115 // with the world stopped). | |
116 void set_closure(ObjectClosure* closure); | |
117 // Set the parallel closures: pointer is an array of pointers to | |
118 // closures, one for each parallel GC thread. | |
119 void set_par_closure(int i, ObjectClosure* closure); | |
120 | |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
121 // Apply the registered closure to all entries on each |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
122 // currently-active buffer and then empty the buffer. It should only |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
123 // be called serially and at a safepoint. |
342 | 124 void iterate_closure_all_threads(); |
125 // Parallel version of the above. | |
126 void par_iterate_closure_all_threads(int worker); | |
127 | |
128 // If there exists some completed buffer, pop it, then apply the | |
129 // registered closure to all its elements, and return true. If no | |
130 // completed buffers exist, return false. | |
131 bool apply_closure_to_completed_buffer() { | |
132 return apply_closure_to_completed_buffer_work(false, 0); | |
133 } | |
134 // Parallel version of the above. | |
135 bool par_apply_closure_to_completed_buffer(int worker) { | |
136 return apply_closure_to_completed_buffer_work(true, worker); | |
137 } | |
138 | |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
139 // Apply the given closure on enqueued and currently-active buffers |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
140 // respectively. Both methods are read-only, i.e., they do not |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
141 // modify any of the buffers. |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
142 void iterate_completed_buffers_read_only(ObjectClosure* cl); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
143 void iterate_thread_buffers_read_only(ObjectClosure* cl); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
144 |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
145 #ifndef PRODUCT |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
146 // Helpful for debugging |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
147 void print_all(const char* msg); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
148 #endif // PRODUCT |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
149 |
342 | 150 ObjPtrQueue* shared_satb_queue() { return &_shared_satb_queue; } |
151 | |
152 // If a marking is being abandoned, reset any unprocessed log buffers. | |
153 void abandon_partial_marking(); | |
154 }; | |
1972 | 155 |
156 #endif // SHARE_VM_GC_IMPLEMENTATION_G1_SATBQUEUE_HPP |