Mercurial > hg > truffle

annotate src/share/vm/oops/markOop.inline.hpp @ 3762:5c0a3c1858b1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 74ee0db180fa
children da91efe96a93
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 /*
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
2 * Copyright (c) 2006, 2010, Oracle and/or its affiliates. All rights reserved.
0
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 *
1552
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 342
diff changeset
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
c18cbe5936b8 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 342
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: 342
diff changeset
21 * questions.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
22 *
a61af66fc99e Initial load
duke
parents:
diff changeset
23 */
a61af66fc99e Initial load
duke
parents:
diff changeset
24
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
25 #ifndef SHARE_VM_OOPS_MARKOOP_INLINE_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
26 #define SHARE_VM_OOPS_MARKOOP_INLINE_HPP
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
27
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
28 #include "oops/klass.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
29 #include "oops/klassOop.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
30 #include "oops/markOop.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
31 #include "runtime/globals.hpp"
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
32
2038
74ee0db180fa 6807801: CMS: could save/restore fewer header words during scavenge
ysr
parents: 1972
diff changeset
33 // Should this header be preserved during GC (when biased locking is enabled)?
0
a61af66fc99e Initial load
duke
parents:
diff changeset
34 inline bool markOopDesc::must_be_preserved_with_bias(oop obj_containing_mark) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
35 assert(UseBiasedLocking, "unexpected");
a61af66fc99e Initial load
duke
parents:
diff changeset
36 if (has_bias_pattern()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
37 // Will reset bias at end of collection
a61af66fc99e Initial load
duke
parents:
diff changeset
38 // Mark words of biased and currently locked objects are preserved separately
a61af66fc99e Initial load
duke
parents:
diff changeset
39 return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
40 }
a61af66fc99e Initial load
duke
parents:
diff changeset
41 markOop prototype_header = prototype_for_object(obj_containing_mark);
a61af66fc99e Initial load
duke
parents:
diff changeset
42 if (prototype_header->has_bias_pattern()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
43 // Individual instance which has its bias revoked; must return
a61af66fc99e Initial load
duke
parents:
diff changeset
44 // true for correctness
a61af66fc99e Initial load
duke
parents:
diff changeset
45 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
46 }
a61af66fc99e Initial load
duke
parents:
diff changeset
47 return (!is_unlocked() || !has_no_hash());
a61af66fc99e Initial load
duke
parents:
diff changeset
48 }
a61af66fc99e Initial load
duke
parents:
diff changeset
49
2038
74ee0db180fa 6807801: CMS: could save/restore fewer header words during scavenge
ysr
parents: 1972
diff changeset
50 // Should this header be preserved during GC?
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
51 inline bool markOopDesc::must_be_preserved(oop obj_containing_mark) const {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
52 if (!UseBiasedLocking)
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
53 return (!is_unlocked() || !has_no_hash());
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
54 return must_be_preserved_with_bias(obj_containing_mark);
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
55 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
56
2038
74ee0db180fa 6807801: CMS: could save/restore fewer header words during scavenge
ysr
parents: 1972
diff changeset
57 // Should this header be preserved in the case of a promotion failure
74ee0db180fa 6807801: CMS: could save/restore fewer header words during scavenge
ysr
parents: 1972
diff changeset
58 // during scavenge (when biased locking is enabled)?
0
a61af66fc99e Initial load
duke
parents:
diff changeset
59 inline bool markOopDesc::must_be_preserved_with_bias_for_promotion_failure(oop obj_containing_mark) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
60 assert(UseBiasedLocking, "unexpected");
a61af66fc99e Initial load
duke
parents:
diff changeset
61 // We don't explicitly save off the mark words of biased and
a61af66fc99e Initial load
duke
parents:
diff changeset
62 // currently-locked objects during scavenges, so if during a
a61af66fc99e Initial load
duke
parents:
diff changeset
63 // promotion failure we encounter either a biased mark word or a
a61af66fc99e Initial load
duke
parents:
diff changeset
64 // klass which still has a biasable prototype header, we have to
a61af66fc99e Initial load
duke
parents:
diff changeset
65 // preserve the mark word. This results in oversaving, but promotion
a61af66fc99e Initial load
duke
parents:
diff changeset
66 // failures are rare, and this avoids adding more complex logic to
a61af66fc99e Initial load
duke
parents:
diff changeset
67 // the scavengers to call new variants of
a61af66fc99e Initial load
duke
parents:
diff changeset
68 // BiasedLocking::preserve_marks() / restore_marks() in the middle
a61af66fc99e Initial load
duke
parents:
diff changeset
69 // of a scavenge when a promotion failure has first been detected.
a61af66fc99e Initial load
duke
parents:
diff changeset
70 if (has_bias_pattern() ||
a61af66fc99e Initial load
duke
parents:
diff changeset
71 prototype_for_object(obj_containing_mark)->has_bias_pattern()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
72 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
73 }
2038
74ee0db180fa 6807801: CMS: could save/restore fewer header words during scavenge
ysr
parents: 1972
diff changeset
74 return (!is_unlocked() || !has_no_hash());
0
a61af66fc99e Initial load
duke
parents:
diff changeset
75 }
a61af66fc99e Initial load
duke
parents:
diff changeset
76
2038
74ee0db180fa 6807801: CMS: could save/restore fewer header words during scavenge
ysr
parents: 1972
diff changeset
77 // Should this header be preserved in the case of a promotion failure
74ee0db180fa 6807801: CMS: could save/restore fewer header words during scavenge
ysr
parents: 1972
diff changeset
78 // during scavenge?
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
79 inline bool markOopDesc::must_be_preserved_for_promotion_failure(oop obj_containing_mark) const {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
80 if (!UseBiasedLocking)
2038
74ee0db180fa 6807801: CMS: could save/restore fewer header words during scavenge
ysr
parents: 1972
diff changeset
81 return (!is_unlocked() || !has_no_hash());
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
82 return must_be_preserved_with_bias_for_promotion_failure(obj_containing_mark);
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
83 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
84
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
85
2038
74ee0db180fa 6807801: CMS: could save/restore fewer header words during scavenge
ysr
parents: 1972
diff changeset
86 // Same as must_be_preserved_with_bias_for_promotion_failure() except that
74ee0db180fa 6807801: CMS: could save/restore fewer header words during scavenge
ysr
parents: 1972
diff changeset
87 // it takes a klassOop argument, instead of the object of which this is the mark word.
0
a61af66fc99e Initial load
duke
parents:
diff changeset
88 inline bool markOopDesc::must_be_preserved_with_bias_for_cms_scavenge(klassOop klass_of_obj_containing_mark) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
89 assert(UseBiasedLocking, "unexpected");
a61af66fc99e Initial load
duke
parents:
diff changeset
90 // CMS scavenges preserve mark words in similar fashion to promotion failures; see above
a61af66fc99e Initial load
duke
parents:
diff changeset
91 if (has_bias_pattern() ||
a61af66fc99e Initial load
duke
parents:
diff changeset
92 klass_of_obj_containing_mark->klass_part()->prototype_header()->has_bias_pattern()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
93 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
94 }
2038
74ee0db180fa 6807801: CMS: could save/restore fewer header words during scavenge
ysr
parents: 1972
diff changeset
95 return (!is_unlocked() || !has_no_hash());
0
a61af66fc99e Initial load
duke
parents:
diff changeset
96 }
2038
74ee0db180fa 6807801: CMS: could save/restore fewer header words during scavenge
ysr
parents: 1972
diff changeset
97
74ee0db180fa 6807801: CMS: could save/restore fewer header words during scavenge
ysr
parents: 1972
diff changeset
98 // Same as must_be_preserved_for_promotion_failure() except that
74ee0db180fa 6807801: CMS: could save/restore fewer header words during scavenge
ysr
parents: 1972
diff changeset
99 // it takes a klassOop argument, instead of the object of which this is the mark word.
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
100 inline bool markOopDesc::must_be_preserved_for_cms_scavenge(klassOop klass_of_obj_containing_mark) const {
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
101 if (!UseBiasedLocking)
2038
74ee0db180fa 6807801: CMS: could save/restore fewer header words during scavenge
ysr
parents: 1972
diff changeset
102 return (!is_unlocked() || !has_no_hash());
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
103 return must_be_preserved_with_bias_for_cms_scavenge(klass_of_obj_containing_mark);
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
104 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
105
a61af66fc99e Initial load
duke
parents:
diff changeset
106 inline markOop markOopDesc::prototype_for_object(oop obj) {
a61af66fc99e Initial load
duke
parents:
diff changeset
107 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
108 markOop prototype_header = obj->klass()->klass_part()->prototype_header();
a61af66fc99e Initial load
duke
parents:
diff changeset
109 assert(prototype_header == prototype() || prototype_header->has_bias_pattern(), "corrupt prototype header");
a61af66fc99e Initial load
duke
parents:
diff changeset
110 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
111 return obj->klass()->klass_part()->prototype_header();
a61af66fc99e Initial load
duke
parents:
diff changeset
112 }
1972
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
113
f95d63e2154a 6989984: Use standard include model for Hospot
stefank
parents: 1552
diff changeset
114 #endif // SHARE_VM_OOPS_MARKOOP_INLINE_HPP