Mercurial > hg > truffle
annotate src/share/vm/gc_implementation/shared/allocationStats.hpp @ 6087:e2961d14584b
7169934: pow(x,y) or x64 computes incorrect result when x<0 and y is an odd integer
Summary: bad test for parity of y in pow(x,y) (c1, interpreter)
Reviewed-by: kvn, twisti
author | roland |
---|---|
date | Mon, 21 May 2012 09:46:02 +0200 |
parents | f69a5d43dc19 |
children | b9a9ed0f8eeb |
rev | line source |
---|---|
0 | 1 /* |
2426
1d1603768966
7010070: Update all 2010 Oracle-changed OpenJDK files to have the proper copyright dates - second pass
trims
parents:
2186
diff
changeset
|
2 * Copyright (c) 2001, 2011, Oracle and/or its affiliates. All rights reserved. |
0 | 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:
1145
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1145
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:
1145
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_GC_IMPLEMENTATION_SHARED_ALLOCATIONSTATS_HPP |
26 #define SHARE_VM_GC_IMPLEMENTATION_SHARED_ALLOCATIONSTATS_HPP | |
27 | |
28 #ifndef SERIALGC | |
29 #include "gc_implementation/shared/gcUtil.hpp" | |
30 #include "memory/allocation.hpp" | |
31 #include "utilities/globalDefinitions.hpp" | |
32 #endif | |
33 | |
0 | 34 class AllocationStats VALUE_OBJ_CLASS_SPEC { |
35 // A duration threshold (in ms) used to filter | |
36 // possibly unreliable samples. | |
37 static float _threshold; | |
38 | |
39 // We measure the demand between the end of the previous sweep and | |
40 // beginning of this sweep: | |
41 // Count(end_last_sweep) - Count(start_this_sweep) | |
6028
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
42 // + split_births(between) - split_deaths(between) |
1145
e018e6884bd8
6631166: CMS: better heuristics when combatting fragmentation
ysr
parents:
196
diff
changeset
|
43 // The above number divided by the time since the end of the |
0 | 44 // previous sweep gives us a time rate of demand for blocks |
45 // of this size. We compute a padded average of this rate as | |
46 // our current estimate for the time rate of demand for blocks | |
47 // of this size. Similarly, we keep a padded average for the time | |
48 // between sweeps. Our current estimate for demand for blocks of | |
49 // this size is then simply computed as the product of these two | |
50 // estimates. | |
51 AdaptivePaddedAverage _demand_rate_estimate; | |
52 | |
1145
e018e6884bd8
6631166: CMS: better heuristics when combatting fragmentation
ysr
parents:
196
diff
changeset
|
53 ssize_t _desired; // Demand stimate computed as described above |
6028
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
54 ssize_t _coal_desired; // desired +/- small-percent for tuning coalescing |
0 | 55 |
56 ssize_t _surplus; // count - (desired +/- small-percent), | |
57 // used to tune splitting in best fit | |
6028
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
58 ssize_t _bfr_surp; // surplus at start of current sweep |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
59 ssize_t _prev_sweep; // count from end of previous sweep |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
60 ssize_t _before_sweep; // count from before current sweep |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
61 ssize_t _coal_births; // additional chunks from coalescing |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
62 ssize_t _coal_deaths; // loss from coalescing |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
63 ssize_t _split_births; // additional chunks from splitting |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
64 ssize_t _split_deaths; // loss from splitting |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
65 size_t _returned_bytes; // number of bytes returned to list. |
0 | 66 public: |
1145
e018e6884bd8
6631166: CMS: better heuristics when combatting fragmentation
ysr
parents:
196
diff
changeset
|
67 void initialize(bool split_birth = false) { |
0 | 68 AdaptivePaddedAverage* dummy = |
69 new (&_demand_rate_estimate) AdaptivePaddedAverage(CMS_FLSWeight, | |
70 CMS_FLSPadding); | |
71 _desired = 0; | |
6028
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
72 _coal_desired = 0; |
0 | 73 _surplus = 0; |
6028
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
74 _bfr_surp = 0; |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
75 _prev_sweep = 0; |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
76 _before_sweep = 0; |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
77 _coal_births = 0; |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
78 _coal_deaths = 0; |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
79 _split_births = (split_birth ? 1 : 0); |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
80 _split_deaths = 0; |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
81 _returned_bytes = 0; |
0 | 82 } |
83 | |
84 AllocationStats() { | |
85 initialize(); | |
86 } | |
1145
e018e6884bd8
6631166: CMS: better heuristics when combatting fragmentation
ysr
parents:
196
diff
changeset
|
87 |
0 | 88 // The rate estimate is in blocks per second. |
89 void compute_desired(size_t count, | |
90 float inter_sweep_current, | |
1145
e018e6884bd8
6631166: CMS: better heuristics when combatting fragmentation
ysr
parents:
196
diff
changeset
|
91 float inter_sweep_estimate, |
e018e6884bd8
6631166: CMS: better heuristics when combatting fragmentation
ysr
parents:
196
diff
changeset
|
92 float intra_sweep_estimate) { |
0 | 93 // If the latest inter-sweep time is below our granularity |
94 // of measurement, we may call in here with | |
95 // inter_sweep_current == 0. However, even for suitably small | |
96 // but non-zero inter-sweep durations, we may not trust the accuracy | |
97 // of accumulated data, since it has not been "integrated" | |
98 // (read "low-pass-filtered") long enough, and would be | |
99 // vulnerable to noisy glitches. In such cases, we | |
100 // ignore the current sample and use currently available | |
101 // historical estimates. | |
6028
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
102 assert(prev_sweep() + split_births() + coal_births() // "Total Production Stock" |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
103 >= split_deaths() + coal_deaths() + (ssize_t)count, // "Current stock + depletion" |
3775
f75137faa7fe
6916968: CMS: freeList.cpp:304 assert(_allocation_stats.prevSweep() + ..., "Conservation Principle")
ysr
parents:
3256
diff
changeset
|
104 "Conservation Principle"); |
0 | 105 if (inter_sweep_current > _threshold) { |
6028
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
106 ssize_t demand = prev_sweep() - (ssize_t)count + split_births() + coal_births() |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
107 - split_deaths() - coal_deaths(); |
3775
f75137faa7fe
6916968: CMS: freeList.cpp:304 assert(_allocation_stats.prevSweep() + ..., "Conservation Principle")
ysr
parents:
3256
diff
changeset
|
108 assert(demand >= 0, |
f75137faa7fe
6916968: CMS: freeList.cpp:304 assert(_allocation_stats.prevSweep() + ..., "Conservation Principle")
ysr
parents:
3256
diff
changeset
|
109 err_msg("Demand (" SSIZE_FORMAT ") should be non-negative for " |
f75137faa7fe
6916968: CMS: freeList.cpp:304 assert(_allocation_stats.prevSweep() + ..., "Conservation Principle")
ysr
parents:
3256
diff
changeset
|
110 PTR_FORMAT " (size=" SIZE_FORMAT ")", |
f75137faa7fe
6916968: CMS: freeList.cpp:304 assert(_allocation_stats.prevSweep() + ..., "Conservation Principle")
ysr
parents:
3256
diff
changeset
|
111 demand, this, count)); |
1145
e018e6884bd8
6631166: CMS: better heuristics when combatting fragmentation
ysr
parents:
196
diff
changeset
|
112 // Defensive: adjust for imprecision in event counting |
e018e6884bd8
6631166: CMS: better heuristics when combatting fragmentation
ysr
parents:
196
diff
changeset
|
113 if (demand < 0) { |
e018e6884bd8
6631166: CMS: better heuristics when combatting fragmentation
ysr
parents:
196
diff
changeset
|
114 demand = 0; |
e018e6884bd8
6631166: CMS: better heuristics when combatting fragmentation
ysr
parents:
196
diff
changeset
|
115 } |
e018e6884bd8
6631166: CMS: better heuristics when combatting fragmentation
ysr
parents:
196
diff
changeset
|
116 float old_rate = _demand_rate_estimate.padded_average(); |
0 | 117 float rate = ((float)demand)/inter_sweep_current; |
118 _demand_rate_estimate.sample(rate); | |
1145
e018e6884bd8
6631166: CMS: better heuristics when combatting fragmentation
ysr
parents:
196
diff
changeset
|
119 float new_rate = _demand_rate_estimate.padded_average(); |
e018e6884bd8
6631166: CMS: better heuristics when combatting fragmentation
ysr
parents:
196
diff
changeset
|
120 ssize_t old_desired = _desired; |
2186
e49cfa28f585
6999988: CMS: Increased fragmentation leading to promotion failure after CR#6631166 got implemented
ysr
parents:
1972
diff
changeset
|
121 float delta_ise = (CMSExtrapolateSweep ? intra_sweep_estimate : 0.0); |
e49cfa28f585
6999988: CMS: Increased fragmentation leading to promotion failure after CR#6631166 got implemented
ysr
parents:
1972
diff
changeset
|
122 _desired = (ssize_t)(new_rate * (inter_sweep_estimate + delta_ise)); |
1145
e018e6884bd8
6631166: CMS: better heuristics when combatting fragmentation
ysr
parents:
196
diff
changeset
|
123 if (PrintFLSStatistics > 1) { |
e018e6884bd8
6631166: CMS: better heuristics when combatting fragmentation
ysr
parents:
196
diff
changeset
|
124 gclog_or_tty->print_cr("demand: %d, old_rate: %f, current_rate: %f, new_rate: %f, old_desired: %d, new_desired: %d", |
e018e6884bd8
6631166: CMS: better heuristics when combatting fragmentation
ysr
parents:
196
diff
changeset
|
125 demand, old_rate, rate, new_rate, old_desired, _desired); |
e018e6884bd8
6631166: CMS: better heuristics when combatting fragmentation
ysr
parents:
196
diff
changeset
|
126 } |
0 | 127 } |
128 } | |
129 | |
130 ssize_t desired() const { return _desired; } | |
12
6432c3bb6240
6668743: CMS: Consolidate block statistics reporting code
ysr
parents:
0
diff
changeset
|
131 void set_desired(ssize_t v) { _desired = v; } |
6432c3bb6240
6668743: CMS: Consolidate block statistics reporting code
ysr
parents:
0
diff
changeset
|
132 |
6028
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
133 ssize_t coal_desired() const { return _coal_desired; } |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
134 void set_coal_desired(ssize_t v) { _coal_desired = v; } |
0 | 135 |
136 ssize_t surplus() const { return _surplus; } | |
137 void set_surplus(ssize_t v) { _surplus = v; } | |
138 void increment_surplus() { _surplus++; } | |
139 void decrement_surplus() { _surplus--; } | |
140 | |
6028
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
141 ssize_t bfr_surp() const { return _bfr_surp; } |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
142 void set_bfr_surp(ssize_t v) { _bfr_surp = v; } |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
143 ssize_t prev_sweep() const { return _prev_sweep; } |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
144 void set_prev_sweep(ssize_t v) { _prev_sweep = v; } |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
145 ssize_t before_sweep() const { return _before_sweep; } |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
146 void set_before_sweep(ssize_t v) { _before_sweep = v; } |
0 | 147 |
6028
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
148 ssize_t coal_births() const { return _coal_births; } |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
149 void set_coal_births(ssize_t v) { _coal_births = v; } |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
150 void increment_coal_births() { _coal_births++; } |
0 | 151 |
6028
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
152 ssize_t coal_deaths() const { return _coal_deaths; } |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
153 void set_coal_deaths(ssize_t v) { _coal_deaths = v; } |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
154 void increment_coal_deaths() { _coal_deaths++; } |
0 | 155 |
6028
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
156 ssize_t split_births() const { return _split_births; } |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
157 void set_split_births(ssize_t v) { _split_births = v; } |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
158 void increment_split_births() { _split_births++; } |
0 | 159 |
6028
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
160 ssize_t split_deaths() const { return _split_deaths; } |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
161 void set_split_deaths(ssize_t v) { _split_deaths = v; } |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
162 void increment_split_deaths() { _split_deaths++; } |
0 | 163 |
164 NOT_PRODUCT( | |
6028
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
165 size_t returned_bytes() const { return _returned_bytes; } |
f69a5d43dc19
7164144: Fix variable naming style in freeBlockDictionary.* and binaryTreeDictionary*
jmasa
parents:
3775
diff
changeset
|
166 void set_returned_bytes(size_t v) { _returned_bytes = v; } |
0 | 167 ) |
168 }; | |
1972 | 169 |
170 #endif // SHARE_VM_GC_IMPLEMENTATION_SHARED_ALLOCATIONSTATS_HPP |