Mercurial > hg > graal-jvmci-8
annotate src/share/vm/gc_implementation/g1/satbQueue.hpp @ 23030:399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
Summary: Don't assume SATB buffer entries are valid objects
Reviewed-by: brutisso, ecaspole
author | kbarrett |
---|---|
date | Fri, 01 May 2015 17:38:12 -0400 |
parents | 0f8f1250fed5 |
children | dd9cc155639c |
rev | line source |
---|---|
342 | 1 /* |
23027
2e5e058881f4
8075466: SATB queue pre-filter verify found reclaimed humongous object
kbarrett
parents:
20762
diff
changeset
|
2 * Copyright (c) 2001, 2015, 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 | |
23030
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
28 #include "memory/allocation.hpp" |
1972 | 29 #include "gc_implementation/g1/ptrQueue.hpp" |
30 | |
342 | 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 |
23030
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
34 // Base class for processing the contents of a SATB buffer. |
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
35 class SATBBufferClosure : public StackObj { |
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
36 protected: |
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
37 ~SATBBufferClosure() { } |
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
38 |
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
39 public: |
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
40 // Process the SATB entries in the designated buffer range. |
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
41 virtual void do_buffer(void** buffer, size_t size) = 0; |
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
42 }; |
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
43 |
342 | 44 // A ptrQueue whose elements are "oops", pointers to object heads. |
45 class ObjPtrQueue: public PtrQueue { | |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
46 friend class SATBMarkQueueSet; |
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 private: |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
49 // Filter out unwanted entries from the buffer. |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
50 void filter(); |
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 | |
20731 | 61 // Process queue entries and free resources. |
62 void flush(); | |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
63 |
23030
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
64 // Apply cl to the active part of the buffer. |
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
65 // Prerequisite: Must be at a safepoint. |
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
66 void apply_closure_and_empty(SATBBufferClosure* cl); |
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
67 |
2149 | 68 // Overrides PtrQueue::should_enqueue_buffer(). See the method's |
69 // definition for more information. | |
70 virtual bool should_enqueue_buffer(); | |
71 | |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
72 #ifndef PRODUCT |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
73 // Helpful for debugging |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
74 void print(const char* name); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
75 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
|
76 #endif // PRODUCT |
342 | 77 }; |
78 | |
79 class SATBMarkQueueSet: public PtrQueueSet { | |
80 ObjPtrQueue _shared_satb_queue; | |
81 | |
1317
d4197f8d516a
6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents:
1111
diff
changeset
|
82 #ifdef ASSERT |
17747 | 83 void dump_active_states(bool expected_active); |
84 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
|
85 #endif // ASSERT |
342 | 86 |
87 public: | |
88 SATBMarkQueueSet(); | |
89 | |
90 void initialize(Monitor* cbl_mon, Mutex* fl_lock, | |
1111 | 91 int process_completed_threshold, |
92 Mutex* lock); | |
342 | 93 |
94 static void handle_zero_index_for_thread(JavaThread* t); | |
95 | |
17747 | 96 // 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
|
97 // 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
|
98 // 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
|
99 // set itself, has an active value same as expected_active. |
17747 | 100 void set_active_all_threads(bool active, bool expected_active); |
342 | 101 |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
102 // Filter all the currently-active SATB buffers. |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
103 void filter_thread_buffers(); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
104 |
23030
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
105 // If there exists some completed buffer, pop and process it, and |
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
106 // return true. Otherwise return false. Processing a buffer |
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
107 // consists of applying the closure to the buffer range starting |
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
108 // with the first non-NULL entry to the end of the buffer; the |
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
109 // leading entries may be NULL due to filtering. |
399885e13e90
8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents:
23029
diff
changeset
|
110 bool apply_closure_to_completed_buffer(SATBBufferClosure* cl); |
342 | 111 |
4787
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
112 #ifndef PRODUCT |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
113 // Helpful for debugging |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
114 void print_all(const char* msg); |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
115 #endif // PRODUCT |
2ace1c4ee8da
6888336: G1: avoid explicitly marking and pushing objects in survivor spaces
tonyp
parents:
2149
diff
changeset
|
116 |
342 | 117 ObjPtrQueue* shared_satb_queue() { return &_shared_satb_queue; } |
118 | |
119 // If a marking is being abandoned, reset any unprocessed log buffers. | |
120 void abandon_partial_marking(); | |
121 }; | |
1972 | 122 |
123 #endif // SHARE_VM_GC_IMPLEMENTATION_G1_SATBQUEUE_HPP |