Mercurial > hg > graal-compiler
annotate src/share/vm/opto/regalloc.hpp @ 3992:d1bdeef3e3e2
7098282: G1: assert(interval >= 0) failed: Sanity check, referencePolicy.cpp: 76
Summary: There is a race between one thread successfully forwarding and copying the klass mirror for the SoftReference class (including the static master clock) and another thread attempting to use the master clock while attempting to discover a soft reference object. Maintain a shadow copy of the soft reference master clock and use the shadow during reference discovery and reference processing.
Reviewed-by: tonyp, brutisso, ysr
author | johnc |
---|---|
date | Wed, 12 Oct 2011 10:25:51 -0700 |
parents | f6f3bb0ee072 |
children | 8373c19be854 |
rev | line source |
---|---|
0 | 1 /* |
3939 | 2 * Copyright (c) 2000, 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:
0
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
0
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:
0
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_OPTO_REGALLOC_HPP |
26 #define SHARE_VM_OPTO_REGALLOC_HPP | |
27 | |
28 #include "code/vmreg.hpp" | |
29 #include "opto/block.hpp" | |
30 #include "opto/matcher.hpp" | |
31 #include "opto/phase.hpp" | |
32 | |
0 | 33 class Node; |
34 class Matcher; | |
35 class PhaseCFG; | |
36 | |
37 #define MAX_REG_ALLOCATORS 10 | |
38 | |
39 //------------------------------PhaseRegAlloc------------------------------------ | |
40 // Abstract register allocator | |
41 class PhaseRegAlloc : public Phase { | |
3939 | 42 friend class VMStructs; |
0 | 43 static void (*_alloc_statistics[MAX_REG_ALLOCATORS])(); |
44 static int _num_allocators; | |
45 | |
46 protected: | |
47 OptoRegPair *_node_regs; | |
48 uint _node_regs_max_index; | |
49 VectorSet _node_oops; // Mapping from node indices to oopiness | |
50 | |
51 void alloc_node_regs(int size); // allocate _node_regs table with at least "size" elements | |
52 | |
53 PhaseRegAlloc( uint unique, PhaseCFG &cfg, Matcher &matcher, | |
54 void (*pr_stats)()); | |
55 public: | |
56 PhaseCFG &_cfg; // Control flow graph | |
57 uint _framesize; // Size of frame in stack-slots. not counting preserve area | |
58 OptoReg::Name _max_reg; // Past largest register seen | |
59 Matcher &_matcher; // Convert Ideal to MachNodes | |
60 uint node_regs_max_index() const { return _node_regs_max_index; } | |
61 | |
62 // Get the register associated with the Node | |
63 OptoReg::Name get_reg_first( const Node *n ) const { | |
64 debug_only( if( n->_idx >= _node_regs_max_index ) n->dump(); ); | |
65 assert( n->_idx < _node_regs_max_index, "Exceeded _node_regs array"); | |
66 return _node_regs[n->_idx].first(); | |
67 } | |
68 OptoReg::Name get_reg_second( const Node *n ) const { | |
69 debug_only( if( n->_idx >= _node_regs_max_index ) n->dump(); ); | |
70 assert( n->_idx < _node_regs_max_index, "Exceeded _node_regs array"); | |
71 return _node_regs[n->_idx].second(); | |
72 } | |
73 | |
74 // Do all the real work of allocate | |
75 virtual void Register_Allocate() = 0; | |
76 | |
77 | |
78 // notify the register allocator that "node" is a new reference | |
79 // to the value produced by "old_node" | |
80 virtual void add_reference( const Node *node, const Node *old_node) = 0; | |
81 | |
82 | |
83 // Set the register associated with a new Node | |
84 void set_bad( uint idx ) { | |
85 assert( idx < _node_regs_max_index, "Exceeded _node_regs array"); | |
86 _node_regs[idx].set_bad(); | |
87 } | |
88 void set1( uint idx, OptoReg::Name reg ) { | |
89 assert( idx < _node_regs_max_index, "Exceeded _node_regs array"); | |
90 _node_regs[idx].set1(reg); | |
91 } | |
92 void set2( uint idx, OptoReg::Name reg ) { | |
93 assert( idx < _node_regs_max_index, "Exceeded _node_regs array"); | |
94 _node_regs[idx].set2(reg); | |
95 } | |
96 void set_pair( uint idx, OptoReg::Name hi, OptoReg::Name lo ) { | |
97 assert( idx < _node_regs_max_index, "Exceeded _node_regs array"); | |
98 _node_regs[idx].set_pair(hi, lo); | |
99 } | |
100 void set_ptr( uint idx, OptoReg::Name reg ) { | |
101 assert( idx < _node_regs_max_index, "Exceeded _node_regs array"); | |
102 _node_regs[idx].set_ptr(reg); | |
103 } | |
104 // Set and query if a node produces an oop | |
105 void set_oop( const Node *n, bool ); | |
106 bool is_oop( const Node *n ) const; | |
107 | |
108 // Convert a register number to a stack offset | |
109 int reg2offset ( OptoReg::Name reg ) const; | |
110 int reg2offset_unchecked( OptoReg::Name reg ) const; | |
111 | |
112 // Convert a stack offset to a register number | |
113 OptoReg::Name offset2reg( int stk_offset ) const; | |
114 | |
115 // Get the register encoding associated with the Node | |
116 int get_encode( const Node *n ) const { | |
117 assert( n->_idx < _node_regs_max_index, "Exceeded _node_regs array"); | |
118 OptoReg::Name first = _node_regs[n->_idx].first(); | |
119 OptoReg::Name second = _node_regs[n->_idx].second(); | |
120 assert( !OptoReg::is_valid(second) || second == first+1, "" ); | |
121 assert(OptoReg::is_reg(first), "out of range"); | |
122 return Matcher::_regEncode[first]; | |
123 } | |
124 | |
125 // Platform dependent hook for actions prior to allocation | |
126 void pd_preallocate_hook(); | |
127 | |
128 #ifdef ASSERT | |
129 // Platform dependent hook for verification after allocation. Will | |
130 // only get called when compiling with asserts. | |
131 void pd_postallocate_verify_hook(); | |
132 #endif | |
133 | |
134 #ifndef PRODUCT | |
135 static int _total_framesize; | |
136 static int _max_framesize; | |
137 | |
138 virtual void dump_frame() const = 0; | |
139 virtual char *dump_register( const Node *n, char *buf ) const = 0; | |
140 static void print_statistics(); | |
141 #endif | |
142 }; | |
1972 | 143 |
144 #endif // SHARE_VM_OPTO_REGALLOC_HPP |