src/share/vm/compiler/oopMap.hpp

Wed, 22 Jan 2014 17:42:23 -0800

author
kvn
date
Wed, 22 Jan 2014 17:42:23 -0800
changeset 6503
a9becfeecd1b
parent 2314
f95d63e2154a
child 6876
710a3c8b516e
child 8316
626f594dffa6
permissions
-rw-r--r--

Merge

duke@435 1 /*
stefank@2314 2 * Copyright (c) 1998, 2010, Oracle and/or its affiliates. All rights reserved.
duke@435 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
duke@435 4 *
duke@435 5 * This code is free software; you can redistribute it and/or modify it
duke@435 6 * under the terms of the GNU General Public License version 2 only, as
duke@435 7 * published by the Free Software Foundation.
duke@435 8 *
duke@435 9 * This code is distributed in the hope that it will be useful, but WITHOUT
duke@435 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
duke@435 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
duke@435 12 * version 2 for more details (a copy is included in the LICENSE file that
duke@435 13 * accompanied this code).
duke@435 14 *
duke@435 15 * You should have received a copy of the GNU General Public License version
duke@435 16 * 2 along with this work; if not, write to the Free Software Foundation,
duke@435 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
duke@435 18 *
trims@1907 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
trims@1907 20 * or visit www.oracle.com if you need additional information or have any
trims@1907 21 * questions.
duke@435 22 *
duke@435 23 */
duke@435 24
stefank@2314 25 #ifndef SHARE_VM_COMPILER_OOPMAP_HPP
stefank@2314 26 #define SHARE_VM_COMPILER_OOPMAP_HPP
stefank@2314 27
stefank@2314 28 #include "code/compressedStream.hpp"
stefank@2314 29 #include "code/vmreg.hpp"
stefank@2314 30 #include "memory/allocation.hpp"
stefank@2314 31 #include "utilities/growableArray.hpp"
stefank@2314 32
duke@435 33 // Interface for generating the frame map for compiled code. A frame map
duke@435 34 // describes for a specific pc whether each register and frame stack slot is:
duke@435 35 // Oop - A GC root for current frame
duke@435 36 // Value - Live non-oop, non-float value: int, either half of double
duke@435 37 // Dead - Dead; can be Zapped for debugging
duke@435 38 // CalleeXX - Callee saved; also describes which caller register is saved
duke@435 39 // DerivedXX - A derived oop; original oop is described.
duke@435 40 //
duke@435 41 // OopMapValue describes a single OopMap entry
duke@435 42
duke@435 43 class frame;
duke@435 44 class RegisterMap;
duke@435 45 class DerivedPointerEntry;
duke@435 46
duke@435 47 class OopMapValue: public StackObj {
duke@435 48 friend class VMStructs;
duke@435 49 private:
duke@435 50 short _value;
duke@435 51 int value() const { return _value; }
duke@435 52 void set_value(int value) { _value = value; }
duke@435 53 short _content_reg;
duke@435 54
duke@435 55 public:
duke@435 56 // Constants
kvn@679 57 enum { type_bits = 5,
duke@435 58 register_bits = BitsPerShort - type_bits };
duke@435 59
duke@435 60 enum { type_shift = 0,
duke@435 61 register_shift = type_bits };
duke@435 62
duke@435 63 enum { type_mask = right_n_bits(type_bits),
duke@435 64 type_mask_in_place = type_mask << type_shift,
duke@435 65 register_mask = right_n_bits(register_bits),
duke@435 66 register_mask_in_place = register_mask << register_shift };
duke@435 67
duke@435 68 enum oop_types { // must fit in type_bits
duke@435 69 unused_value =0, // powers of 2, for masking OopMapStream
duke@435 70 oop_value = 1,
duke@435 71 value_value = 2,
coleenp@548 72 narrowoop_value = 4,
duke@435 73 callee_saved_value = 8,
kvn@679 74 derived_oop_value= 16 };
duke@435 75
duke@435 76 // Constructors
duke@435 77 OopMapValue () { set_value(0); set_content_reg(VMRegImpl::Bad()); }
duke@435 78 OopMapValue (VMReg reg, oop_types t) { set_reg_type(reg,t); }
duke@435 79 OopMapValue (VMReg reg, oop_types t, VMReg reg2) { set_reg_type(reg,t); set_content_reg(reg2); }
duke@435 80 OopMapValue (CompressedReadStream* stream) { read_from(stream); }
duke@435 81
duke@435 82 // Archiving
duke@435 83 void write_on(CompressedWriteStream* stream) {
duke@435 84 stream->write_int(value());
duke@435 85 if(is_callee_saved() || is_derived_oop()) {
duke@435 86 stream->write_int(content_reg()->value());
duke@435 87 }
duke@435 88 }
duke@435 89
duke@435 90 void read_from(CompressedReadStream* stream) {
duke@435 91 set_value(stream->read_int());
duke@435 92 if(is_callee_saved() || is_derived_oop()) {
duke@435 93 set_content_reg(VMRegImpl::as_VMReg(stream->read_int(), true));
duke@435 94 }
duke@435 95 }
duke@435 96
duke@435 97 // Querying
duke@435 98 bool is_oop() { return mask_bits(value(), type_mask_in_place) == oop_value; }
duke@435 99 bool is_value() { return mask_bits(value(), type_mask_in_place) == value_value; }
coleenp@548 100 bool is_narrowoop() { return mask_bits(value(), type_mask_in_place) == narrowoop_value; }
duke@435 101 bool is_callee_saved() { return mask_bits(value(), type_mask_in_place) == callee_saved_value; }
duke@435 102 bool is_derived_oop() { return mask_bits(value(), type_mask_in_place) == derived_oop_value; }
duke@435 103
duke@435 104 void set_oop() { set_value((value() & register_mask_in_place) | oop_value); }
duke@435 105 void set_value() { set_value((value() & register_mask_in_place) | value_value); }
coleenp@548 106 void set_narrowoop() { set_value((value() & register_mask_in_place) | narrowoop_value); }
duke@435 107 void set_callee_saved() { set_value((value() & register_mask_in_place) | callee_saved_value); }
duke@435 108 void set_derived_oop() { set_value((value() & register_mask_in_place) | derived_oop_value); }
duke@435 109
duke@435 110 VMReg reg() const { return VMRegImpl::as_VMReg(mask_bits(value(), register_mask_in_place) >> register_shift); }
duke@435 111 oop_types type() const { return (oop_types)mask_bits(value(), type_mask_in_place); }
duke@435 112
duke@435 113 static bool legal_vm_reg_name(VMReg p) {
duke@435 114 return (p->value() == (p->value() & register_mask));
duke@435 115 }
duke@435 116
duke@435 117 void set_reg_type(VMReg p, oop_types t) {
duke@435 118 set_value((p->value() << register_shift) | t);
duke@435 119 assert(reg() == p, "sanity check" );
duke@435 120 assert(type() == t, "sanity check" );
duke@435 121 }
duke@435 122
duke@435 123
duke@435 124 VMReg content_reg() const { return VMRegImpl::as_VMReg(_content_reg, true); }
duke@435 125 void set_content_reg(VMReg r) { _content_reg = r->value(); }
duke@435 126
duke@435 127 // Physical location queries
duke@435 128 bool is_register_loc() { return reg()->is_reg(); }
duke@435 129 bool is_stack_loc() { return reg()->is_stack(); }
duke@435 130
duke@435 131 // Returns offset from sp.
duke@435 132 int stack_offset() {
duke@435 133 assert(is_stack_loc(), "must be stack location");
duke@435 134 return reg()->reg2stack();
duke@435 135 }
duke@435 136
jrose@535 137 void print_on(outputStream* st) const;
kvn@460 138 void print() const { print_on(tty); }
duke@435 139 };
duke@435 140
duke@435 141
duke@435 142 class OopMap: public ResourceObj {
duke@435 143 friend class OopMapStream;
duke@435 144 friend class VMStructs;
duke@435 145 private:
duke@435 146 int _pc_offset;
duke@435 147 int _omv_count;
duke@435 148 int _omv_data_size;
duke@435 149 unsigned char* _omv_data;
duke@435 150 CompressedWriteStream* _write_stream;
duke@435 151
duke@435 152 debug_only( OopMapValue::oop_types* _locs_used; int _locs_length;)
duke@435 153
duke@435 154 // Accessors
duke@435 155 unsigned char* omv_data() const { return _omv_data; }
duke@435 156 void set_omv_data(unsigned char* value) { _omv_data = value; }
duke@435 157 int omv_data_size() const { return _omv_data_size; }
duke@435 158 void set_omv_data_size(int value) { _omv_data_size = value; }
duke@435 159 int omv_count() const { return _omv_count; }
duke@435 160 void set_omv_count(int value) { _omv_count = value; }
duke@435 161 void increment_count() { _omv_count++; }
duke@435 162 CompressedWriteStream* write_stream() const { return _write_stream; }
duke@435 163 void set_write_stream(CompressedWriteStream* value) { _write_stream = value; }
duke@435 164
duke@435 165 private:
duke@435 166 enum DeepCopyToken { _deep_copy_token };
duke@435 167 OopMap(DeepCopyToken, OopMap* source); // used only by deep_copy
duke@435 168
duke@435 169 public:
duke@435 170 OopMap(int frame_size, int arg_count);
duke@435 171
duke@435 172 // pc-offset handling
duke@435 173 int offset() const { return _pc_offset; }
duke@435 174 void set_offset(int o) { _pc_offset = o; }
duke@435 175
duke@435 176 // Check to avoid double insertion
duke@435 177 debug_only(OopMapValue::oop_types locs_used( int indx ) { return _locs_used[indx]; })
duke@435 178
duke@435 179 // Construction
duke@435 180 // frame_size units are stack-slots (4 bytes) NOT intptr_t; we can name odd
duke@435 181 // slots to hold 4-byte values like ints and floats in the LP64 build.
duke@435 182 void set_oop ( VMReg local);
duke@435 183 void set_value( VMReg local);
coleenp@548 184 void set_narrowoop(VMReg local);
duke@435 185 void set_dead ( VMReg local);
duke@435 186 void set_callee_saved( VMReg local, VMReg caller_machine_register );
duke@435 187 void set_derived_oop ( VMReg local, VMReg derived_from_local_register );
duke@435 188 void set_xxx(VMReg reg, OopMapValue::oop_types x, VMReg optional);
duke@435 189
duke@435 190 int heap_size() const;
duke@435 191 void copy_to(address addr);
duke@435 192 OopMap* deep_copy();
duke@435 193
duke@435 194 bool has_derived_pointer() const PRODUCT_RETURN0;
duke@435 195
duke@435 196 bool legal_vm_reg_name(VMReg local) {
duke@435 197 return OopMapValue::legal_vm_reg_name(local);
duke@435 198 }
duke@435 199
duke@435 200 // Printing
jrose@535 201 void print_on(outputStream* st) const;
duke@435 202 void print() const { print_on(tty); }
duke@435 203 };
duke@435 204
duke@435 205
duke@435 206 class OopMapSet : public ResourceObj {
duke@435 207 friend class VMStructs;
duke@435 208 private:
duke@435 209 int _om_count;
duke@435 210 int _om_size;
duke@435 211 OopMap** _om_data;
duke@435 212
duke@435 213 int om_count() const { return _om_count; }
duke@435 214 void set_om_count(int value) { _om_count = value; }
duke@435 215 void increment_count() { _om_count++; }
duke@435 216 int om_size() const { return _om_size; }
duke@435 217 void set_om_size(int value) { _om_size = value; }
duke@435 218 OopMap** om_data() const { return _om_data; }
duke@435 219 void set_om_data(OopMap** value) { _om_data = value; }
duke@435 220 void grow_om_data();
duke@435 221 void set(int index,OopMap* value) { assert((index == 0) || ((index > 0) && (index < om_size())),"bad index"); _om_data[index] = value; }
duke@435 222
duke@435 223 public:
duke@435 224 OopMapSet();
duke@435 225
duke@435 226 // returns the number of OopMaps in this OopMapSet
duke@435 227 int size() const { return _om_count; }
duke@435 228 // returns the OopMap at a given index
duke@435 229 OopMap* at(int index) const { assert((index >= 0) && (index <= om_count()),"bad index"); return _om_data[index]; }
duke@435 230
duke@435 231 // Collect OopMaps.
duke@435 232 void add_gc_map(int pc, OopMap* map);
duke@435 233
duke@435 234 // Returns the only oop map. Used for reconstructing
duke@435 235 // Adapter frames during deoptimization
duke@435 236 OopMap* singular_oop_map();
duke@435 237
duke@435 238 // returns OopMap in that is anchored to the pc
duke@435 239 OopMap* find_map_at_offset(int pc_offset) const;
duke@435 240
duke@435 241 int heap_size() const;
duke@435 242 void copy_to(address addr);
duke@435 243
kvn@1293 244 // Methods oops_do() and all_do() filter out NULL oops and
kvn@1293 245 // oop == Universe::narrow_oop_base() before passing oops
kvn@1293 246 // to closures.
kvn@1293 247
duke@435 248 // Iterates through frame for a compiled method
duke@435 249 static void oops_do (const frame* fr,
duke@435 250 const RegisterMap* reg_map, OopClosure* f);
duke@435 251 static void update_register_map(const frame* fr, RegisterMap *reg_map);
duke@435 252
duke@435 253 // Iterates through frame for a compiled method for dead ones and values, too
duke@435 254 static void all_do(const frame* fr, const RegisterMap* reg_map,
duke@435 255 OopClosure* oop_fn,
duke@435 256 void derived_oop_fn(oop* base, oop* derived),
coleenp@548 257 OopClosure* value_fn);
duke@435 258
duke@435 259 // Printing
jrose@535 260 void print_on(outputStream* st) const;
duke@435 261 void print() const { print_on(tty); }
duke@435 262 };
duke@435 263
duke@435 264
duke@435 265 class OopMapStream : public StackObj {
duke@435 266 private:
duke@435 267 CompressedReadStream* _stream;
duke@435 268 int _mask;
duke@435 269 int _size;
duke@435 270 int _position;
duke@435 271 bool _valid_omv;
duke@435 272 OopMapValue _omv;
duke@435 273 void find_next();
duke@435 274
duke@435 275 public:
duke@435 276 OopMapStream(OopMap* oop_map);
duke@435 277 OopMapStream(OopMap* oop_map, int oop_types_mask);
duke@435 278 bool is_done() { if(!_valid_omv) { find_next(); } return !_valid_omv; }
duke@435 279 void next() { find_next(); }
duke@435 280 OopMapValue current() { return _omv; }
duke@435 281 };
duke@435 282
duke@435 283
duke@435 284 // Derived pointer support. This table keeps track of all derived points on a
duke@435 285 // stack. It is cleared before each scavenge/GC. During the traversal of all
duke@435 286 // oops, it is filled in with references to all locations that contains a
duke@435 287 // derived oop (assumed to be very few). When the GC is complete, the derived
duke@435 288 // pointers are updated based on their base pointers new value and an offset.
duke@435 289 #ifdef COMPILER2
duke@435 290 class DerivedPointerTable : public AllStatic {
duke@435 291 friend class VMStructs;
duke@435 292 private:
duke@435 293 static GrowableArray<DerivedPointerEntry*>* _list;
duke@435 294 static bool _active; // do not record pointers for verify pass etc.
duke@435 295 public:
duke@435 296 static void clear(); // Called before scavenge/GC
duke@435 297 static void add(oop *derived, oop *base); // Called during scavenge/GC
duke@435 298 static void update_pointers(); // Called after scavenge/GC
duke@435 299 static bool is_empty() { return _list == NULL || _list->is_empty(); }
duke@435 300 static bool is_active() { return _active; }
duke@435 301 static void set_active(bool value) { _active = value; }
duke@435 302 };
duke@435 303
duke@435 304 // A utility class to temporarily "deactivate" the DerivedPointerTable.
duke@435 305 // (Note: clients are responsible for any MT-safety issues)
duke@435 306 class DerivedPointerTableDeactivate: public StackObj {
duke@435 307 private:
duke@435 308 bool _active;
duke@435 309 public:
duke@435 310 DerivedPointerTableDeactivate() {
duke@435 311 _active = DerivedPointerTable::is_active();
duke@435 312 if (_active) {
duke@435 313 DerivedPointerTable::set_active(false);
duke@435 314 }
duke@435 315 }
duke@435 316
duke@435 317 ~DerivedPointerTableDeactivate() {
duke@435 318 assert(!DerivedPointerTable::is_active(),
duke@435 319 "Inconsistency: not MT-safe");
duke@435 320 if (_active) {
duke@435 321 DerivedPointerTable::set_active(true);
duke@435 322 }
duke@435 323 }
duke@435 324 };
duke@435 325 #endif // COMPILER2
stefank@2314 326
stefank@2314 327 #endif // SHARE_VM_COMPILER_OOPMAP_HPP

mercurial