Mercurial > hg > graal-jvmci-8

annotate src/share/vm/gc_implementation/g1/satbQueue.hpp @ 23286:dd9cc155639c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge with jdk8u66-b17
author Gilles Duboscq <gilles.m.duboscq@oracle.com>
date Thu, 07 Jan 2016 17:28:46 +0100
parents 7848fc12602b 399885e13e90
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
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
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
4 *
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
7 * published by the Free Software Foundation.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
8 *
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
13 * accompanied this code).
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
14 *
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
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
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
22 *
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
23 */
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
24
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1842
diff changeset
25 #ifndef SHARE_VM_GC_IMPLEMENTATION_G1_SATBQUEUE_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1842
diff changeset
26 #define SHARE_VM_GC_IMPLEMENTATION_G1_SATBQUEUE_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1842
diff changeset
27
23030
399885e13e90 8075215: SATB buffer processing found reclaimed humongous object
kbarrett
parents: 23029
diff changeset
28 #include "memory/allocation.hpp"
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1842
diff changeset
29 #include "gc_implementation/g1/ptrQueue.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1842
diff changeset
30
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
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
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
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
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
44 // A ptrQueue whose elements are "oops", pointers to object heads.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
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
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
52 public:
2149
7e37af9d69ef 7011379: G1: overly long concurrent marking cycles
tonyp
parents: 1972
diff changeset
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
7e37af9d69ef 7011379: G1: overly long concurrent marking cycles
tonyp
parents: 1972
diff changeset
59 PtrQueue(qset, perm, false /* active */) { }
7e37af9d69ef 7011379: G1: overly long concurrent marking cycles
tonyp
parents: 1972
diff changeset
60
20731
42c091d63c72 8048949: Requeue queue implementation
tschatzl
parents: 17844
diff changeset
61 // Process queue entries and free resources.
42c091d63c72 8048949: Requeue queue implementation
tschatzl
parents: 17844
diff changeset
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
7e37af9d69ef 7011379: G1: overly long concurrent marking cycles
tonyp
parents: 1972
diff changeset
68 // Overrides PtrQueue::should_enqueue_buffer(). See the method's
7e37af9d69ef 7011379: G1: overly long concurrent marking cycles
tonyp
parents: 1972
diff changeset
69 // definition for more information.
7e37af9d69ef 7011379: G1: overly long concurrent marking cycles
tonyp
parents: 1972
diff changeset
70 virtual bool should_enqueue_buffer();
7e37af9d69ef 7011379: G1: overly long concurrent marking cycles
tonyp
parents: 1972
diff changeset
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
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
77 };
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
78
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
79 class SATBMarkQueueSet: public PtrQueueSet {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
80 ObjPtrQueue _shared_satb_queue;
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
81
1317
d4197f8d516a 6935821: G1: threads created during marking do not active their SATB queues
tonyp
parents: 1111
diff changeset
82 #ifdef ASSERT
14253
89ac31a5a7a7 8029162: G1: Shared SATB queue never enabled
pliden
parents: 4787
diff changeset
83 void dump_active_states(bool expected_active);
89ac31a5a7a7 8029162: G1: Shared SATB queue never enabled
pliden
parents: 4787
diff changeset
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
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
86
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
87 public:
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
88 SATBMarkQueueSet();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
89
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
90 void initialize(Monitor* cbl_mon, Mutex* fl_lock,
1111
44f61c24ddab 6862387: tune concurrent refinement further
iveresov
parents: 845
diff changeset
91 int process_completed_threshold,
44f61c24ddab 6862387: tune concurrent refinement further
iveresov
parents: 845
diff changeset
92 Mutex* lock);
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
93
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
94 static void handle_zero_index_for_thread(JavaThread* t);
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
95
14253
89ac31a5a7a7 8029162: G1: Shared SATB queue never enabled
pliden
parents: 4787
diff changeset
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.
14253
89ac31a5a7a7 8029162: G1: Shared SATB queue never enabled
pliden
parents: 4787
diff changeset
100 void set_active_all_threads(bool active, bool expected_active);
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
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
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
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
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
117 ObjPtrQueue* shared_satb_queue() { return &_shared_satb_queue; }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
118
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
119 // If a marking is being abandoned, reset any unprocessed log buffers.
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
120 void abandon_partial_marking();
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents:
diff changeset
121 };
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1842
diff changeset
122
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1842
diff changeset
123 #endif // SHARE_VM_GC_IMPLEMENTATION_G1_SATBQUEUE_HPP