Mercurial > hg > truffle
annotate src/share/vm/gc_implementation/g1/satbQueue.hpp @ 21007:f84166ee0798
removed application of NodeIntrinsificationPhase in ReplacementsImpl since node intrinsification is always done during graph parsing now
author | Doug Simon <doug.simon@oracle.com> |
---|---|
date | Fri, 17 Apr 2015 17:13:09 +0200 |
parents | 7848fc12602b |
children |
rev | line source |
---|---|
342 | 1 /* |
20731 | 2 * Copyright (c) 2001, 2014, 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 { | |
20278
2c6ef90f030a
8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents:
17844
diff
changeset
|
36 friend class Threads; |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
37 friend class SATBMarkQueueSet; |
20278
2c6ef90f030a
8049421: G1 Class Unloading after completing a concurrent mark cycle
stefank
parents:
17844
diff
changeset
|
38 friend class G1RemarkThreadsClosure; |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
39 |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
40 private: |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
41 // Filter out unwanted entries from the buffer. |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
42 void filter(); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
43 |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
44 // Apply the closure to all elements. |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
45 void apply_closure(ObjectClosure* cl); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
46 |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
47 // 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
|
48 void apply_closure_and_empty(ObjectClosure* cl); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
49 |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
50 // 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
|
51 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
|
52 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
|
53 |
342 | 54 public: |
2149 | 55 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
|
56 // 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
|
57 // 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
|
58 // 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
|
59 // 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
|
60 // field to true. This is done in JavaThread::initialize_queues(). |
2149 | 61 PtrQueue(qset, perm, false /* active */) { } |
62 | |
20731 | 63 // Process queue entries and free resources. |
64 void flush(); | |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
65 |
2149 | 66 // Overrides PtrQueue::should_enqueue_buffer(). See the method's |
67 // definition for more information. | |
68 virtual bool should_enqueue_buffer(); | |
69 | |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
70 #ifndef PRODUCT |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
71 // Helpful for debugging |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
72 void print(const char* name); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
73 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
|
74 #endif // PRODUCT |
342 | 75 |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
342
diff
changeset
|
76 void verify_oops_in_buffer() NOT_DEBUG_RETURN; |
342 | 77 }; |
78 | |
79 class SATBMarkQueueSet: public PtrQueueSet { | |
80 ObjectClosure* _closure; | |
81 ObjectClosure** _par_closures; // One per ParGCThread. | |
82 | |
83 ObjPtrQueue _shared_satb_queue; | |
84 | |
85 // Utility function to support sequential and parallel versions. If | |
86 // "par" is true, then "worker" is the par thread id; if "false", worker | |
87 // is ignored. | |
17844
8847586c9037
8016302: Change type of the number of GC workers to unsigned int (2)
vkempik
parents:
14253
diff
changeset
|
88 bool apply_closure_to_completed_buffer_work(bool par, uint worker); |
342 | 89 |
1317
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
90 #ifdef ASSERT |
14253 | 91 void dump_active_states(bool expected_active); |
92 void verify_active_states(bool expected_active); | |
1317
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
93 #endif // ASSERT |
342 | 94 |
95 public: | |
96 SATBMarkQueueSet(); | |
97 | |
98 void initialize(Monitor* cbl_mon, Mutex* fl_lock, | |
1111 | 99 int process_completed_threshold, |
100 Mutex* lock); | |
342 | 101 |
102 static void handle_zero_index_for_thread(JavaThread* t); | |
103 | |
14253 | 104 // Apply "set_active(active)" to all SATB queues in the set. It should be |
1317
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
105 // 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
|
106 // 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
|
107 // set itself, has an active value same as expected_active. |
14253 | 108 void set_active_all_threads(bool active, bool expected_active); |
342 | 109 |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
110 // Filter all the currently-active SATB buffers. |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
111 void filter_thread_buffers(); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
112 |
342 | 113 // Register "blk" as "the closure" for all queues. Only one such closure |
114 // is allowed. The "apply_closure_to_completed_buffer" method will apply | |
115 // this closure to a completed buffer, and "iterate_closure_all_threads" | |
116 // applies it to partially-filled buffers (the latter should only be done | |
117 // with the world stopped). | |
118 void set_closure(ObjectClosure* closure); | |
119 // Set the parallel closures: pointer is an array of pointers to | |
120 // closures, one for each parallel GC thread. | |
121 void set_par_closure(int i, ObjectClosure* closure); | |
122 | |
123 // If there exists some completed buffer, pop it, then apply the | |
124 // registered closure to all its elements, and return true. If no | |
125 // completed buffers exist, return false. | |
126 bool apply_closure_to_completed_buffer() { | |
127 return apply_closure_to_completed_buffer_work(false, 0); | |
128 } | |
129 // Parallel version of the above. | |
17844
8847586c9037
8016302: Change type of the number of GC workers to unsigned int (2)
vkempik
parents:
14253
diff
changeset
|
130 bool par_apply_closure_to_completed_buffer(uint worker) { |
342 | 131 return apply_closure_to_completed_buffer_work(true, worker); |
132 } | |
133 | |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
134 // 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
|
135 // 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
|
136 // modify any of the buffers. |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
137 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
|
138 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
|
139 |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
140 #ifndef PRODUCT |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
141 // Helpful for debugging |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
142 void print_all(const char* msg); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
143 #endif // PRODUCT |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
144 |
342 | 145 ObjPtrQueue* shared_satb_queue() { return &_shared_satb_queue; } |
146 | |
147 // If a marking is being abandoned, reset any unprocessed log buffers. | |
148 void abandon_partial_marking(); | |
149 }; | |
1972 | 150 |
151 #endif // SHARE_VM_GC_IMPLEMENTATION_G1_SATBQUEUE_HPP |