annotate src/share/vm/runtime/registerMap.hpp @ 1091:6aa7255741f3

6906727: UseCompressedOops: some card-marking fixes related to object arrays Summary: Introduced a new write_ref_array(HeapWords* start, size_t count) method that does the requisite MemRegion range calculation so (some of the) clients of the erstwhile write_ref_array(MemRegion mr) do not need to worry. This removed all external uses of array_size(), which was also simplified and made private. Asserts were added to catch other possible issues. Further, less essential, fixes stemming from this investigation are deferred to CR 6904516 (to follow shortly in hs17). Reviewed-by: kvn, coleenp, jmasa
author ysr
date Thu, 03 Dec 2009 15:01:57 -0800
parents a61af66fc99e
children c18cbe5936b8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
a61af66fc99e Initial load
duke
parents:
diff changeset
2 * Copyright 2002-2007 Sun Microsystems, Inc. All Rights Reserved.
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 *
a61af66fc99e Initial load
duke
parents:
diff changeset
19 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
a61af66fc99e Initial load
duke
parents:
diff changeset
20 * CA 95054 USA or visit www.sun.com if you need additional information or
a61af66fc99e Initial load
duke
parents:
diff changeset
21 * have any questions.
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
a61af66fc99e Initial load
duke
parents:
diff changeset
25 class JavaThread;
a61af66fc99e Initial load
duke
parents:
diff changeset
26
a61af66fc99e Initial load
duke
parents:
diff changeset
27 //
a61af66fc99e Initial load
duke
parents:
diff changeset
28 // RegisterMap
a61af66fc99e Initial load
duke
parents:
diff changeset
29 //
a61af66fc99e Initial load
duke
parents:
diff changeset
30 // A companion structure used for stack traversal. The RegisterMap contains
a61af66fc99e Initial load
duke
parents:
diff changeset
31 // misc. information needed in order to do correct stack traversal of stack
a61af66fc99e Initial load
duke
parents:
diff changeset
32 // frames. Hence, it must always be passed in as an argument to
a61af66fc99e Initial load
duke
parents:
diff changeset
33 // frame::sender(RegisterMap*).
a61af66fc99e Initial load
duke
parents:
diff changeset
34 //
a61af66fc99e Initial load
duke
parents:
diff changeset
35 // In particular,
a61af66fc99e Initial load
duke
parents:
diff changeset
36 // 1) It provides access to the thread for which the stack belongs. The
a61af66fc99e Initial load
duke
parents:
diff changeset
37 // thread object is needed in order to get sender of a deoptimized frame.
a61af66fc99e Initial load
duke
parents:
diff changeset
38 //
a61af66fc99e Initial load
duke
parents:
diff changeset
39 // 2) It is used to pass information from a callee frame to its caller
a61af66fc99e Initial load
duke
parents:
diff changeset
40 // frame about how the frame should be traversed. This is used to let
a61af66fc99e Initial load
duke
parents:
diff changeset
41 // the caller frame take care of calling oops-do of out-going
a61af66fc99e Initial load
duke
parents:
diff changeset
42 // arguments, when the callee frame is not instantiated yet. This
a61af66fc99e Initial load
duke
parents:
diff changeset
43 // happens, e.g., when a compiled frame calls into
a61af66fc99e Initial load
duke
parents:
diff changeset
44 // resolve_virtual_call. (Hence, it is critical that the same
a61af66fc99e Initial load
duke
parents:
diff changeset
45 // RegisterMap object is used for the entire stack walk. Normally,
a61af66fc99e Initial load
duke
parents:
diff changeset
46 // this is hidden by using the StackFrameStream.) This is used when
a61af66fc99e Initial load
duke
parents:
diff changeset
47 // doing follow_oops and oops_do.
a61af66fc99e Initial load
duke
parents:
diff changeset
48 //
a61af66fc99e Initial load
duke
parents:
diff changeset
49 // 3) The RegisterMap keeps track of the values of callee-saved registers
a61af66fc99e Initial load
duke
parents:
diff changeset
50 // from frame to frame (hence, the name). For some stack traversal the
a61af66fc99e Initial load
duke
parents:
diff changeset
51 // values of the callee-saved registers does not matter, e.g., if you
a61af66fc99e Initial load
duke
parents:
diff changeset
52 // only need the static properies such as frame type, pc, and such.
a61af66fc99e Initial load
duke
parents:
diff changeset
53 // Updating of the RegisterMap can be turned off by instantiating the
a61af66fc99e Initial load
duke
parents:
diff changeset
54 // register map as: RegisterMap map(thread, false);
a61af66fc99e Initial load
duke
parents:
diff changeset
55
a61af66fc99e Initial load
duke
parents:
diff changeset
56 class RegisterMap : public StackObj {
a61af66fc99e Initial load
duke
parents:
diff changeset
57 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
58 typedef julong LocationValidType;
a61af66fc99e Initial load
duke
parents:
diff changeset
59 enum {
a61af66fc99e Initial load
duke
parents:
diff changeset
60 reg_count = ConcreteRegisterImpl::number_of_registers,
a61af66fc99e Initial load
duke
parents:
diff changeset
61 location_valid_type_size = sizeof(LocationValidType)*8,
a61af66fc99e Initial load
duke
parents:
diff changeset
62 location_valid_size = (reg_count+location_valid_type_size-1)/location_valid_type_size
a61af66fc99e Initial load
duke
parents:
diff changeset
63 };
a61af66fc99e Initial load
duke
parents:
diff changeset
64 private:
a61af66fc99e Initial load
duke
parents:
diff changeset
65 intptr_t* _location[reg_count]; // Location of registers (intptr_t* looks better than address in the debugger)
a61af66fc99e Initial load
duke
parents:
diff changeset
66 LocationValidType _location_valid[location_valid_size];
a61af66fc99e Initial load
duke
parents:
diff changeset
67 bool _include_argument_oops; // Should include argument_oop marked locations for compiler
a61af66fc99e Initial load
duke
parents:
diff changeset
68 JavaThread* _thread; // Reference to current thread
a61af66fc99e Initial load
duke
parents:
diff changeset
69 bool _update_map; // Tells if the register map need to be
a61af66fc99e Initial load
duke
parents:
diff changeset
70 // updated when traversing the stack
a61af66fc99e Initial load
duke
parents:
diff changeset
71
a61af66fc99e Initial load
duke
parents:
diff changeset
72 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
73 void check_location_valid();
a61af66fc99e Initial load
duke
parents:
diff changeset
74 #else
a61af66fc99e Initial load
duke
parents:
diff changeset
75 void check_location_valid() {}
a61af66fc99e Initial load
duke
parents:
diff changeset
76 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
77
a61af66fc99e Initial load
duke
parents:
diff changeset
78 public:
a61af66fc99e Initial load
duke
parents:
diff changeset
79 debug_only(intptr_t* _update_for_id;) // Assert that RegisterMap is not updated twice for same frame
a61af66fc99e Initial load
duke
parents:
diff changeset
80 RegisterMap(JavaThread *thread, bool update_map = true);
a61af66fc99e Initial load
duke
parents:
diff changeset
81 RegisterMap(const RegisterMap* map);
a61af66fc99e Initial load
duke
parents:
diff changeset
82
a61af66fc99e Initial load
duke
parents:
diff changeset
83 address location(VMReg reg) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
84 int index = reg->value() / location_valid_type_size;
a61af66fc99e Initial load
duke
parents:
diff changeset
85 assert(0 <= reg->value() && reg->value() < reg_count, "range check");
a61af66fc99e Initial load
duke
parents:
diff changeset
86 assert(0 <= index && index < location_valid_size, "range check");
a61af66fc99e Initial load
duke
parents:
diff changeset
87 if (_location_valid[index] & ((LocationValidType)1 << (reg->value() % location_valid_type_size))) {
a61af66fc99e Initial load
duke
parents:
diff changeset
88 return (address) _location[reg->value()];
a61af66fc99e Initial load
duke
parents:
diff changeset
89 } else {
a61af66fc99e Initial load
duke
parents:
diff changeset
90 return pd_location(reg);
a61af66fc99e Initial load
duke
parents:
diff changeset
91 }
a61af66fc99e Initial load
duke
parents:
diff changeset
92 }
a61af66fc99e Initial load
duke
parents:
diff changeset
93
a61af66fc99e Initial load
duke
parents:
diff changeset
94 void set_location(VMReg reg, address loc) {
a61af66fc99e Initial load
duke
parents:
diff changeset
95 int index = reg->value() / location_valid_type_size;
a61af66fc99e Initial load
duke
parents:
diff changeset
96 assert(0 <= reg->value() && reg->value() < reg_count, "range check");
a61af66fc99e Initial load
duke
parents:
diff changeset
97 assert(0 <= index && index < location_valid_size, "range check");
a61af66fc99e Initial load
duke
parents:
diff changeset
98 assert(_update_map, "updating map that does not need updating");
a61af66fc99e Initial load
duke
parents:
diff changeset
99 _location[reg->value()] = (intptr_t*) loc;
a61af66fc99e Initial load
duke
parents:
diff changeset
100 _location_valid[index] |= ((LocationValidType)1 << (reg->value() % location_valid_type_size));
a61af66fc99e Initial load
duke
parents:
diff changeset
101 check_location_valid();
a61af66fc99e Initial load
duke
parents:
diff changeset
102 }
a61af66fc99e Initial load
duke
parents:
diff changeset
103
a61af66fc99e Initial load
duke
parents:
diff changeset
104 // Called by an entry frame.
a61af66fc99e Initial load
duke
parents:
diff changeset
105 void clear();
a61af66fc99e Initial load
duke
parents:
diff changeset
106
a61af66fc99e Initial load
duke
parents:
diff changeset
107 bool include_argument_oops() const { return _include_argument_oops; }
a61af66fc99e Initial load
duke
parents:
diff changeset
108 void set_include_argument_oops(bool f) { _include_argument_oops = f; }
a61af66fc99e Initial load
duke
parents:
diff changeset
109
a61af66fc99e Initial load
duke
parents:
diff changeset
110 JavaThread *thread() const { return _thread; }
a61af66fc99e Initial load
duke
parents:
diff changeset
111 bool update_map() const { return _update_map; }
a61af66fc99e Initial load
duke
parents:
diff changeset
112
a61af66fc99e Initial load
duke
parents:
diff changeset
113 void print_on(outputStream* st) const;
a61af66fc99e Initial load
duke
parents:
diff changeset
114 void print() const;
a61af66fc99e Initial load
duke
parents:
diff changeset
115
a61af66fc99e Initial load
duke
parents:
diff changeset
116 // the following contains the definition of pd_xxx methods
a61af66fc99e Initial load
duke
parents:
diff changeset
117 # include "incls/_registerMap_pd.hpp.incl"
a61af66fc99e Initial load
duke
parents:
diff changeset
118 };