Mercurial > hg > truffle
annotate src/share/vm/ci/bcEscapeAnalyzer.hpp @ 3762:5c0a3c1858b1
7048782: CMS: assert(last_chunk_index_to_check<= last_chunk_index) failed: parCardTableModRefBS.cpp:359
Summary: The LNC array is sized before the start of a scavenge, while the heap may expand during a scavenge. With CMS, the last block of an arbitrary suffice of the LNC array may expand due to coalition with the expansion delta. We now take care not to attempt access past the end of the LNC array. LNC array code will be cleaned up and suitably encapsulated as part of the forthcoming performance RFE 7043675.
Reviewed-by: brutisso
| author | ysr |
|---|---|
| date | Thu, 02 Jun 2011 10:23:36 -0700 |
| parents | f95d63e2154a |
| children | cc81b9c09bbb |
| rev | line source |
|---|---|
| 0 | 1 /* |
| 1972 | 2 * Copyright (c) 2005, 2010, 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:
1123
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
|
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1123
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:
1123
diff
changeset
|
21 * questions. |
| 0 | 22 * |
| 23 */ | |
| 24 | |
| 1972 | 25 #ifndef SHARE_VM_CI_BCESCAPEANALYZER_HPP |
| 26 #define SHARE_VM_CI_BCESCAPEANALYZER_HPP | |
| 27 | |
| 28 #ifdef COMPILER2 | |
| 29 #include "ci/ciMethod.hpp" | |
| 30 #include "ci/ciMethodData.hpp" | |
| 31 #include "code/dependencies.hpp" | |
| 32 #include "libadt/vectset.hpp" | |
| 33 #include "memory/allocation.hpp" | |
| 34 #include "utilities/growableArray.hpp" | |
| 35 #endif | |
| 36 | |
| 0 | 37 // This class implements a fast, conservative analysis of effect of methods |
| 38 // on the escape state of their arguments. The analysis is at the bytecode | |
| 39 // level. | |
| 40 | |
| 41 class ciMethodBlocks; | |
| 42 class ciBlock; | |
| 43 | |
| 44 class BCEscapeAnalyzer : public ResourceObj { | |
| 45 private: | |
|
1648
8099e71601df
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
1552
diff
changeset
|
46 Arena* _arena; // ciEnv arena |
|
8099e71601df
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
1552
diff
changeset
|
47 |
| 0 | 48 bool _conservative; // If true, return maximally |
| 49 // conservative results. | |
| 50 ciMethod* _method; | |
| 51 ciMethodData* _methodData; | |
| 52 int _arg_size; | |
|
1648
8099e71601df
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
1552
diff
changeset
|
53 VectorSet _arg_local; |
|
8099e71601df
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
1552
diff
changeset
|
54 VectorSet _arg_stack; |
|
8099e71601df
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
1552
diff
changeset
|
55 VectorSet _arg_returned; |
|
8099e71601df
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
1552
diff
changeset
|
56 VectorSet _dirty; |
|
45
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
57 enum{ ARG_OFFSET_MAX = 31}; |
|
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
58 uint *_arg_modified; |
| 0 | 59 |
| 60 bool _return_local; | |
|
78
e1e86702e43e
6680665: bytecode Escape Analyzer produces incorrect escape information for methods without oop arguments
kvn
parents:
45
diff
changeset
|
61 bool _return_allocated; |
| 0 | 62 bool _allocated_escapes; |
|
45
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
63 bool _unknown_modified; |
| 0 | 64 |
|
1648
8099e71601df
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
1552
diff
changeset
|
65 GrowableArray<ciObject *> _dependencies; |
| 0 | 66 |
| 67 ciMethodBlocks *_methodBlocks; | |
| 68 | |
| 69 BCEscapeAnalyzer* _parent; | |
| 70 int _level; | |
| 71 | |
|
1123
167c2986d91b
6843629: Make current hotspot build part of jdk5 control build
phh
parents:
196
diff
changeset
|
72 public: |
| 0 | 73 class ArgumentMap; |
| 74 class StateInfo; | |
| 75 | |
|
1123
167c2986d91b
6843629: Make current hotspot build part of jdk5 control build
phh
parents:
196
diff
changeset
|
76 private: |
| 0 | 77 // helper functions |
| 78 bool is_argument(int i) { return i >= 0 && i < _arg_size; } | |
| 79 void set_returned(ArgumentMap vars); | |
| 80 bool is_argument(ArgumentMap vars); | |
| 81 bool is_arg_stack(ArgumentMap vars); | |
|
1648
8099e71601df
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
1552
diff
changeset
|
82 void clear_bits(ArgumentMap vars, VectorSet &bs); |
| 0 | 83 void set_method_escape(ArgumentMap vars); |
| 84 void set_global_escape(ArgumentMap vars); | |
| 85 void set_dirty(ArgumentMap vars); | |
|
45
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
86 void set_modified(ArgumentMap vars, int offs, int size); |
| 0 | 87 |
| 88 bool is_recursive_call(ciMethod* callee); | |
| 89 void add_dependence(ciKlass *klass, ciMethod *meth); | |
| 90 void propagate_dependencies(ciMethod *meth); | |
| 91 void invoke(StateInfo &state, Bytecodes::Code code, ciMethod* target, ciKlass* holder); | |
| 92 | |
| 93 void iterate_one_block(ciBlock *blk, StateInfo &state, GrowableArray<ciBlock *> &successors); | |
| 94 void iterate_blocks(Arena *); | |
| 95 void merge_block_states(StateInfo *blockstates, ciBlock *dest, StateInfo *s_state); | |
| 96 | |
| 97 // analysis | |
| 98 void initialize(); | |
| 99 void clear_escape_info(); | |
| 100 void compute_escape_info(); | |
| 101 vmIntrinsics::ID known_intrinsic(); | |
| 102 bool compute_escape_for_intrinsic(vmIntrinsics::ID iid); | |
| 103 bool do_analysis(); | |
| 104 | |
| 105 void read_escape_info(); | |
| 106 | |
| 107 bool contains(uint arg_set1, uint arg_set2); | |
| 108 | |
| 109 public: | |
| 110 BCEscapeAnalyzer(ciMethod* method, BCEscapeAnalyzer* parent = NULL); | |
| 111 | |
| 112 // accessors | |
| 113 ciMethod* method() const { return _method; } | |
| 114 ciMethodData* methodData() const { return _methodData; } | |
| 115 BCEscapeAnalyzer* parent() const { return _parent; } | |
| 116 int level() const { return _level; } | |
|
1648
8099e71601df
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
1552
diff
changeset
|
117 GrowableArray<ciObject *>* dependencies() { return &_dependencies; } |
| 0 | 118 bool has_dependencies() const { return !_dependencies.is_empty(); } |
| 119 | |
| 120 // retrieval of interprocedural escape information | |
| 121 | |
| 122 // The given argument does not escape the callee. | |
| 123 bool is_arg_local(int i) const { | |
|
1648
8099e71601df
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
1552
diff
changeset
|
124 return !_conservative && _arg_local.test(i); |
| 0 | 125 } |
| 126 | |
| 127 // The given argument escapes the callee, but does not become globally | |
| 128 // reachable. | |
| 129 bool is_arg_stack(int i) const { | |
|
1648
8099e71601df
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
1552
diff
changeset
|
130 return !_conservative && _arg_stack.test(i); |
| 0 | 131 } |
| 132 | |
| 133 // The given argument does not escape globally, and may be returned. | |
| 134 bool is_arg_returned(int i) const { | |
|
1648
8099e71601df
6968368: SIGSEGV in the BCEscapeAnalyzer::copy_dependencies
kvn
parents:
1552
diff
changeset
|
135 return !_conservative && _arg_returned.test(i); } |
| 0 | 136 |
| 137 // True iff only input arguments are returned. | |
| 138 bool is_return_local() const { | |
| 139 return !_conservative && _return_local; | |
| 140 } | |
| 141 | |
| 142 // True iff only newly allocated unescaped objects are returned. | |
| 143 bool is_return_allocated() const { | |
| 144 return !_conservative && _return_allocated && !_allocated_escapes; | |
| 145 } | |
| 146 | |
|
45
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
147 // Tracking of argument modification |
|
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
148 |
|
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
149 enum {OFFSET_ANY = -1}; |
|
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
150 bool is_arg_modified(int arg, int offset, int size_in_bytes); |
|
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
151 void set_arg_modified(int arg, int offset, int size_in_bytes); |
|
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
152 bool has_non_arg_side_affects() { return _unknown_modified; } |
|
48a3fa21394b
6667615: (Escape Analysis) extend MDO to cache arguments escape state
kvn
parents:
0
diff
changeset
|
153 |
| 0 | 154 // Copy dependencies from this analysis into "deps" |
| 155 void copy_dependencies(Dependencies *deps); | |
|
78
e1e86702e43e
6680665: bytecode Escape Analyzer produces incorrect escape information for methods without oop arguments
kvn
parents:
45
diff
changeset
|
156 |
|
e1e86702e43e
6680665: bytecode Escape Analyzer produces incorrect escape information for methods without oop arguments
kvn
parents:
45
diff
changeset
|
157 #ifndef PRODUCT |
|
e1e86702e43e
6680665: bytecode Escape Analyzer produces incorrect escape information for methods without oop arguments
kvn
parents:
45
diff
changeset
|
158 // dump escape information |
|
e1e86702e43e
6680665: bytecode Escape Analyzer produces incorrect escape information for methods without oop arguments
kvn
parents:
45
diff
changeset
|
159 void dump(); |
|
e1e86702e43e
6680665: bytecode Escape Analyzer produces incorrect escape information for methods without oop arguments
kvn
parents:
45
diff
changeset
|
160 #endif |
| 0 | 161 }; |
| 1972 | 162 |
| 163 #endif // SHARE_VM_CI_BCESCAPEANALYZER_HPP |