annotate src/share/vm/utilities/yieldingWorkgroup.hpp @ 20543:e7d0505c8a30

8059758: Footprint regressions with JDK-8038423 Summary: Changes in JDK-8038423 always initialize (zero out) virtual memory used for auxiliary data structures. This causes a footprint regression for G1 in startup benchmarks. This is because they do not touch that memory at all, so the operating system does not actually commit these pages. The fix is to, if the initialization value of the data structures matches the default value of just committed memory (=0), do not do anything. Reviewed-by: jwilhelm, brutisso
author tschatzl
date Fri, 10 Oct 2014 15:51:58 +0200
parents de88570fabfc
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
12221
de88570fabfc 8024256: Minimal VM build is broken with PCH disabled
dholmes
parents: 8001
diff changeset
2 * Copyright (c) 2005, 2013, Oracle and/or its affiliates. All rights reserved.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
a61af66fc99e Initial load
duke
parents:
diff changeset
4 *
a61af66fc99e Initial load
duke
parents:
diff changeset
5 * This code is free software; you can redistribute it and/or modify it
a61af66fc99e Initial load
duke
parents:
diff changeset
6 * under the terms of the GNU General Public License version 2 only, as
a61af66fc99e Initial load
duke
parents:
diff changeset
7 * published by the Free Software Foundation.
a61af66fc99e Initial load
duke
parents:
diff changeset
8 *
a61af66fc99e Initial load
duke
parents:
diff changeset
9 * This code is distributed in the hope that it will be useful, but WITHOUT
a61af66fc99e Initial load
duke
parents:
diff changeset
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
a61af66fc99e Initial load
duke
parents:
diff changeset
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
a61af66fc99e Initial load
duke
parents:
diff changeset
12 * version 2 for more details (a copy is included in the LICENSE file that
a61af66fc99e Initial load
duke
parents:
diff changeset
13 * accompanied this code).
a61af66fc99e Initial load
duke
parents:
diff changeset
14 *
a61af66fc99e Initial load
duke
parents:
diff changeset
15 * You should have received a copy of the GNU General Public License version
a61af66fc99e Initial load
duke
parents:
diff changeset
16 * 2 along with this work; if not, write to the Free Software Foundation,
a61af66fc99e Initial load
duke
parents:
diff changeset
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
a61af66fc99e Initial load
duke
parents:
diff changeset
18 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 342
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 342
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: 342
diff changeset
21 * questions.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1837
diff changeset
25 #ifndef SHARE_VM_UTILITIES_YIELDINGWORKGROUP_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1837
diff changeset
26 #define SHARE_VM_UTILITIES_YIELDINGWORKGROUP_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1837
diff changeset
27
8001
db9981fd3124 8005915: Unify SERIALGC and INCLUDE_ALTERNATE_GCS
jprovino
parents: 7434
diff changeset
28 #include "utilities/macros.hpp"
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1837
diff changeset
29 #include "utilities/workgroup.hpp"
0
a61af66fc99e Initial load
duke
parents:
diff changeset
30
a61af66fc99e Initial load
duke
parents:
diff changeset
31 // Forward declarations
a61af66fc99e Initial load
duke
parents:
diff changeset
32 class YieldingFlexibleWorkGang;
a61af66fc99e Initial load
duke
parents:
diff changeset
33
a61af66fc99e Initial load
duke
parents:
diff changeset
34 // Status of tasks
a61af66fc99e Initial load
duke
parents:
diff changeset
35 enum Status {
a61af66fc99e Initial load
duke
parents:
diff changeset
36 INACTIVE,
a61af66fc99e Initial load
duke
parents:
diff changeset
37 ACTIVE,
a61af66fc99e Initial load
duke
parents:
diff changeset
38 YIELDING,
a61af66fc99e Initial load
duke
parents:
diff changeset
39 YIELDED,
a61af66fc99e Initial load
duke
parents:
diff changeset
40 ABORTING,
a61af66fc99e Initial load
duke
parents:
diff changeset
41 ABORTED,
a61af66fc99e Initial load
duke
parents:
diff changeset
42 COMPLETING,
a61af66fc99e Initial load
duke
parents:
diff changeset
43 COMPLETED
a61af66fc99e Initial load
duke
parents:
diff changeset
44 };
a61af66fc99e Initial load
duke
parents:
diff changeset
45
a61af66fc99e Initial load
duke
parents:
diff changeset
46 // Class YieldingFlexibleGangWorker:
a61af66fc99e Initial load
duke
parents:
diff changeset
47 // Several instances of this class run in parallel as workers for a gang.
a61af66fc99e Initial load
duke
parents:
diff changeset
48 class YieldingFlexibleGangWorker: public GangWorker {
a61af66fc99e Initial load
duke
parents:
diff changeset
49 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
50 // Ctor
a61af66fc99e Initial load
duke
parents:
diff changeset
51 YieldingFlexibleGangWorker(AbstractWorkGang* gang, int id) :
a61af66fc99e Initial load
duke
parents:
diff changeset
52 GangWorker(gang, id) { }
a61af66fc99e Initial load
duke
parents:
diff changeset
53
a61af66fc99e Initial load
duke
parents:
diff changeset
54 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
55 YieldingFlexibleWorkGang* yf_gang() const
a61af66fc99e Initial load
duke
parents:
diff changeset
56 { return (YieldingFlexibleWorkGang*)gang(); }
a61af66fc99e Initial load
duke
parents:
diff changeset
57
a61af66fc99e Initial load
duke
parents:
diff changeset
58 protected: // Override from parent class
a61af66fc99e Initial load
duke
parents:
diff changeset
59 virtual void loop();
a61af66fc99e Initial load
duke
parents:
diff changeset
60 };
a61af66fc99e Initial load
duke
parents:
diff changeset
61
1833
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
62 class FlexibleGangTask: public AbstractGangTask {
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
63 int _actual_size; // size of gang obtained
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
64 protected:
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
65 int _requested_size; // size of gang requested
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
66 public:
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
67 FlexibleGangTask(const char* name): AbstractGangTask(name),
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
68 _requested_size(0) {}
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
69
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
70 // The abstract work method.
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
71 // The argument tells you which member of the gang you are.
4728
441e946dc1af 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 4095
diff changeset
72 virtual void work(uint worker_id) = 0;
1833
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
73
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
74 int requested_size() const { return _requested_size; }
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
75 int actual_size() const { return _actual_size; }
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
76
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
77 void set_requested_size(int sz) { _requested_size = sz; }
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
78 void set_actual_size(int sz) { _actual_size = sz; }
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
79 };
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
80
0
a61af66fc99e Initial load
duke
parents:
diff changeset
81 // An abstract task to be worked on by a flexible work gang,
a61af66fc99e Initial load
duke
parents:
diff changeset
82 // and where the workers will periodically yield, usually
a61af66fc99e Initial load
duke
parents:
diff changeset
83 // in response to some condition that is signalled by means
a61af66fc99e Initial load
duke
parents:
diff changeset
84 // that are specific to the task at hand.
a61af66fc99e Initial load
duke
parents:
diff changeset
85 // You subclass this to supply your own work() method.
a61af66fc99e Initial load
duke
parents:
diff changeset
86 // A second feature of this kind of work gang is that
a61af66fc99e Initial load
duke
parents:
diff changeset
87 // it allows for the signalling of certain exceptional
a61af66fc99e Initial load
duke
parents:
diff changeset
88 // conditions that may be encountered during the performance
a61af66fc99e Initial load
duke
parents:
diff changeset
89 // of the task and that may require the task at hand to be
a61af66fc99e Initial load
duke
parents:
diff changeset
90 // `aborted' forthwith. Finally, these gangs are `flexible'
a61af66fc99e Initial load
duke
parents:
diff changeset
91 // in that they can operate at partial capacity with some
a61af66fc99e Initial load
duke
parents:
diff changeset
92 // gang workers waiting on the bench; in other words, the
a61af66fc99e Initial load
duke
parents:
diff changeset
93 // size of the active worker pool can flex (up to an apriori
a61af66fc99e Initial load
duke
parents:
diff changeset
94 // maximum) in response to task requests at certain points.
a61af66fc99e Initial load
duke
parents:
diff changeset
95 // The last part (the flexible part) has not yet been fully
a61af66fc99e Initial load
duke
parents:
diff changeset
96 // fleshed out and is a work in progress.
1833
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
97 class YieldingFlexibleGangTask: public FlexibleGangTask {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
98 Status _status;
a61af66fc99e Initial load
duke
parents:
diff changeset
99 YieldingFlexibleWorkGang* _gang;
a61af66fc99e Initial load
duke
parents:
diff changeset
100
a61af66fc99e Initial load
duke
parents:
diff changeset
101 protected:
a61af66fc99e Initial load
duke
parents:
diff changeset
102 // Constructor and desctructor: only construct subclasses.
1833
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
103 YieldingFlexibleGangTask(const char* name): FlexibleGangTask(name),
0
a61af66fc99e Initial load
duke
parents:
diff changeset
104 _status(INACTIVE),
1833
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
105 _gang(NULL) { }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
106
7434
32164d89fe9c 8004845: Catch incorrect usage of new and delete during compile time for value objects and stack objects
brutisso
parents: 4728
diff changeset
107 ~YieldingFlexibleGangTask() { }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
108
a61af66fc99e Initial load
duke
parents:
diff changeset
109 friend class YieldingFlexibleWorkGang;
a61af66fc99e Initial load
duke
parents:
diff changeset
110 friend class YieldingFlexibleGangWorker;
a61af66fc99e Initial load
duke
parents:
diff changeset
111 NOT_PRODUCT(virtual bool is_YieldingFlexibleGang_task() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
112 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
113 })
a61af66fc99e Initial load
duke
parents:
diff changeset
114
a61af66fc99e Initial load
duke
parents:
diff changeset
115 void set_status(Status s) {
a61af66fc99e Initial load
duke
parents:
diff changeset
116 _status = s;
a61af66fc99e Initial load
duke
parents:
diff changeset
117 }
a61af66fc99e Initial load
duke
parents:
diff changeset
118 YieldingFlexibleWorkGang* gang() {
a61af66fc99e Initial load
duke
parents:
diff changeset
119 return _gang;
a61af66fc99e Initial load
duke
parents:
diff changeset
120 }
a61af66fc99e Initial load
duke
parents:
diff changeset
121 void set_gang(YieldingFlexibleWorkGang* gang) {
a61af66fc99e Initial load
duke
parents:
diff changeset
122 assert(_gang == NULL || gang == NULL, "Clobber without intermediate reset?");
a61af66fc99e Initial load
duke
parents:
diff changeset
123 _gang = gang;
a61af66fc99e Initial load
duke
parents:
diff changeset
124 }
a61af66fc99e Initial load
duke
parents:
diff changeset
125
a61af66fc99e Initial load
duke
parents:
diff changeset
126 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
127 // The abstract work method.
a61af66fc99e Initial load
duke
parents:
diff changeset
128 // The argument tells you which member of the gang you are.
4728
441e946dc1af 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 4095
diff changeset
129 virtual void work(uint worker_id) = 0;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
130
a61af66fc99e Initial load
duke
parents:
diff changeset
131 // Subclasses should call the parent's yield() method
a61af66fc99e Initial load
duke
parents:
diff changeset
132 // after having done any work specific to the subclass.
a61af66fc99e Initial load
duke
parents:
diff changeset
133 virtual void yield();
a61af66fc99e Initial load
duke
parents:
diff changeset
134
a61af66fc99e Initial load
duke
parents:
diff changeset
135 // An abstract method supplied by
a61af66fc99e Initial load
duke
parents:
diff changeset
136 // a concrete sub-class which is used by the coordinator
a61af66fc99e Initial load
duke
parents:
diff changeset
137 // to do any "central yielding" work.
a61af66fc99e Initial load
duke
parents:
diff changeset
138 virtual void coordinator_yield() = 0;
a61af66fc99e Initial load
duke
parents:
diff changeset
139
a61af66fc99e Initial load
duke
parents:
diff changeset
140 // Subclasses should call the parent's abort() method
a61af66fc99e Initial load
duke
parents:
diff changeset
141 // after having done any work specific to the sunbclass.
a61af66fc99e Initial load
duke
parents:
diff changeset
142 virtual void abort();
a61af66fc99e Initial load
duke
parents:
diff changeset
143
a61af66fc99e Initial load
duke
parents:
diff changeset
144 Status status() const { return _status; }
1837
c99c53f07c14 6692906: CMS: parallel concurrent marking may be prone to hanging or stalling mutators for periods of time
ysr
parents: 1833
diff changeset
145 bool yielding() const { return _status == YIELDING; }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
146 bool yielded() const { return _status == YIELDED; }
a61af66fc99e Initial load
duke
parents:
diff changeset
147 bool completed() const { return _status == COMPLETED; }
a61af66fc99e Initial load
duke
parents:
diff changeset
148 bool aborted() const { return _status == ABORTED; }
a61af66fc99e Initial load
duke
parents:
diff changeset
149 bool active() const { return _status == ACTIVE; }
a61af66fc99e Initial load
duke
parents:
diff changeset
150 };
a61af66fc99e Initial load
duke
parents:
diff changeset
151 // Class YieldingWorkGang: A subclass of WorkGang.
a61af66fc99e Initial load
duke
parents:
diff changeset
152 // In particular, a YieldingWorkGang is made up of
a61af66fc99e Initial load
duke
parents:
diff changeset
153 // YieldingGangWorkers, and provides infrastructure
a61af66fc99e Initial load
duke
parents:
diff changeset
154 // supporting yielding to the "GangOverseer",
a61af66fc99e Initial load
duke
parents:
diff changeset
155 // being the thread that orchestrates the WorkGang via run_task().
1833
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
156 class YieldingFlexibleWorkGang: public FlexibleWorkGang {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
157 // Here's the public interface to this class.
a61af66fc99e Initial load
duke
parents:
diff changeset
158 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
159 // Constructor and destructor.
4728
441e946dc1af 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 4095
diff changeset
160 YieldingFlexibleWorkGang(const char* name, uint workers,
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
161 bool are_GC_task_threads);
0
a61af66fc99e Initial load
duke
parents:
diff changeset
162
a61af66fc99e Initial load
duke
parents:
diff changeset
163 YieldingFlexibleGangTask* yielding_task() const {
a61af66fc99e Initial load
duke
parents:
diff changeset
164 assert(task() == NULL || task()->is_YieldingFlexibleGang_task(),
a61af66fc99e Initial load
duke
parents:
diff changeset
165 "Incorrect cast");
a61af66fc99e Initial load
duke
parents:
diff changeset
166 return (YieldingFlexibleGangTask*)task();
a61af66fc99e Initial load
duke
parents:
diff changeset
167 }
1833
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
168 // Allocate a worker and return a pointer to it.
4728
441e946dc1af 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 4095
diff changeset
169 GangWorker* allocate_worker(uint which);
1833
8b10f48633dc 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 1552
diff changeset
170
0
a61af66fc99e Initial load
duke
parents:
diff changeset
171 // Run a task; returns when the task is done, or the workers yield,
a61af66fc99e Initial load
duke
parents:
diff changeset
172 // or the task is aborted, or the work gang is terminated via stop().
a61af66fc99e Initial load
duke
parents:
diff changeset
173 // A task that has been yielded can be continued via this same interface
a61af66fc99e Initial load
duke
parents:
diff changeset
174 // by using the same task repeatedly as the argument to the call.
a61af66fc99e Initial load
duke
parents:
diff changeset
175 // It is expected that the YieldingFlexibleGangTask carries the appropriate
a61af66fc99e Initial load
duke
parents:
diff changeset
176 // continuation information used by workers to continue the task
a61af66fc99e Initial load
duke
parents:
diff changeset
177 // from its last yield point. Thus, a completed task will return
a61af66fc99e Initial load
duke
parents:
diff changeset
178 // immediately with no actual work having been done by the workers.
a61af66fc99e Initial load
duke
parents:
diff changeset
179 void run_task(AbstractGangTask* task) {
a61af66fc99e Initial load
duke
parents:
diff changeset
180 guarantee(false, "Use start_task instead");
a61af66fc99e Initial load
duke
parents:
diff changeset
181 }
a61af66fc99e Initial load
duke
parents:
diff changeset
182 void start_task(YieldingFlexibleGangTask* new_task);
a61af66fc99e Initial load
duke
parents:
diff changeset
183 void continue_task(YieldingFlexibleGangTask* gang_task);
a61af66fc99e Initial load
duke
parents:
diff changeset
184
a61af66fc99e Initial load
duke
parents:
diff changeset
185 // Abort a currently running task, if any; returns when all the workers
a61af66fc99e Initial load
duke
parents:
diff changeset
186 // have stopped working on the current task and have returned to their
a61af66fc99e Initial load
duke
parents:
diff changeset
187 // waiting stations.
a61af66fc99e Initial load
duke
parents:
diff changeset
188 void abort_task();
a61af66fc99e Initial load
duke
parents:
diff changeset
189
a61af66fc99e Initial load
duke
parents:
diff changeset
190 // Yield: workers wait at their current working stations
a61af66fc99e Initial load
duke
parents:
diff changeset
191 // until signalled to proceed by the overseer.
a61af66fc99e Initial load
duke
parents:
diff changeset
192 void yield();
a61af66fc99e Initial load
duke
parents:
diff changeset
193
a61af66fc99e Initial load
duke
parents:
diff changeset
194 // Abort: workers are expected to return to their waiting
a61af66fc99e Initial load
duke
parents:
diff changeset
195 // stations, whence they are ready for the next task dispatched
a61af66fc99e Initial load
duke
parents:
diff changeset
196 // by the overseer.
a61af66fc99e Initial load
duke
parents:
diff changeset
197 void abort();
a61af66fc99e Initial load
duke
parents:
diff changeset
198
a61af66fc99e Initial load
duke
parents:
diff changeset
199 private:
4728
441e946dc1af 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 4095
diff changeset
200 uint _yielded_workers;
0
a61af66fc99e Initial load
duke
parents:
diff changeset
201 void wait_for_gang();
a61af66fc99e Initial load
duke
parents:
diff changeset
202
a61af66fc99e Initial load
duke
parents:
diff changeset
203 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
204 // Accessors for fields
4728
441e946dc1af 7121618: Change type of number of GC workers to unsigned int.
jmasa
parents: 4095
diff changeset
205 uint yielded_workers() const {
0
a61af66fc99e Initial load
duke
parents:
diff changeset
206 return _yielded_workers;
a61af66fc99e Initial load
duke
parents:
diff changeset
207 }
a61af66fc99e Initial load
duke
parents:
diff changeset
208
a61af66fc99e Initial load
duke
parents:
diff changeset
209 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
210 friend class YieldingFlexibleGangWorker;
a61af66fc99e Initial load
duke
parents:
diff changeset
211 void reset(); // NYI
a61af66fc99e Initial load
duke
parents:
diff changeset
212 };
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1837
diff changeset
213
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1837
diff changeset
214 #endif // SHARE_VM_UTILITIES_YIELDINGWORKGROUP_HPP