annotate src/share/vm/oops/markOop.inline.hpp @ 974:26b774d693aa

Merge
author acorn
date Wed, 16 Sep 2009 09:10:57 -0400
parents 37f87013dfd8
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 2006 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 // Should this header be preserved during GC?
a61af66fc99e Initial load
duke
parents:
diff changeset
26 inline bool markOopDesc::must_be_preserved_with_bias(oop obj_containing_mark) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
27 assert(UseBiasedLocking, "unexpected");
a61af66fc99e Initial load
duke
parents:
diff changeset
28 if (has_bias_pattern()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
29 // Will reset bias at end of collection
a61af66fc99e Initial load
duke
parents:
diff changeset
30 // Mark words of biased and currently locked objects are preserved separately
a61af66fc99e Initial load
duke
parents:
diff changeset
31 return false;
a61af66fc99e Initial load
duke
parents:
diff changeset
32 }
a61af66fc99e Initial load
duke
parents:
diff changeset
33 markOop prototype_header = prototype_for_object(obj_containing_mark);
a61af66fc99e Initial load
duke
parents:
diff changeset
34 if (prototype_header->has_bias_pattern()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
35 // Individual instance which has its bias revoked; must return
a61af66fc99e Initial load
duke
parents:
diff changeset
36 // true for correctness
a61af66fc99e Initial load
duke
parents:
diff changeset
37 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
38 }
a61af66fc99e Initial load
duke
parents:
diff changeset
39 return (!is_unlocked() || !has_no_hash());
a61af66fc99e Initial load
duke
parents:
diff changeset
40 }
a61af66fc99e Initial load
duke
parents:
diff changeset
41
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
42 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
43 if (!UseBiasedLocking)
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
44 return (!is_unlocked() || !has_no_hash());
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
45 return must_be_preserved_with_bias(obj_containing_mark);
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
46 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
47
0
a61af66fc99e Initial load
duke
parents:
diff changeset
48 // Should this header (including its age bits) be preserved in the
a61af66fc99e Initial load
duke
parents:
diff changeset
49 // case of a promotion failure during scavenge?
a61af66fc99e Initial load
duke
parents:
diff changeset
50 inline bool markOopDesc::must_be_preserved_with_bias_for_promotion_failure(oop obj_containing_mark) const {
a61af66fc99e Initial load
duke
parents:
diff changeset
51 assert(UseBiasedLocking, "unexpected");
a61af66fc99e Initial load
duke
parents:
diff changeset
52 // We don't explicitly save off the mark words of biased and
a61af66fc99e Initial load
duke
parents:
diff changeset
53 // currently-locked objects during scavenges, so if during a
a61af66fc99e Initial load
duke
parents:
diff changeset
54 // promotion failure we encounter either a biased mark word or a
a61af66fc99e Initial load
duke
parents:
diff changeset
55 // klass which still has a biasable prototype header, we have to
a61af66fc99e Initial load
duke
parents:
diff changeset
56 // preserve the mark word. This results in oversaving, but promotion
a61af66fc99e Initial load
duke
parents:
diff changeset
57 // failures are rare, and this avoids adding more complex logic to
a61af66fc99e Initial load
duke
parents:
diff changeset
58 // the scavengers to call new variants of
a61af66fc99e Initial load
duke
parents:
diff changeset
59 // BiasedLocking::preserve_marks() / restore_marks() in the middle
a61af66fc99e Initial load
duke
parents:
diff changeset
60 // of a scavenge when a promotion failure has first been detected.
a61af66fc99e Initial load
duke
parents:
diff changeset
61 if (has_bias_pattern() ||
a61af66fc99e Initial load
duke
parents:
diff changeset
62 prototype_for_object(obj_containing_mark)->has_bias_pattern()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
63 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
64 }
a61af66fc99e Initial load
duke
parents:
diff changeset
65 return (this != prototype());
a61af66fc99e Initial load
duke
parents:
diff changeset
66 }
a61af66fc99e Initial load
duke
parents:
diff changeset
67
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
68 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
69 if (!UseBiasedLocking)
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
70 return (this != prototype());
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
71 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
72 }
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
73
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
74
0
a61af66fc99e Initial load
duke
parents:
diff changeset
75 // Should this header (including its age bits) be preserved in the
a61af66fc99e Initial load
duke
parents:
diff changeset
76 // case of a scavenge in which CMS is the old generation?
a61af66fc99e Initial load
duke
parents:
diff changeset
77 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
78 assert(UseBiasedLocking, "unexpected");
a61af66fc99e Initial load
duke
parents:
diff changeset
79 // CMS scavenges preserve mark words in similar fashion to promotion failures; see above
a61af66fc99e Initial load
duke
parents:
diff changeset
80 if (has_bias_pattern() ||
a61af66fc99e Initial load
duke
parents:
diff changeset
81 klass_of_obj_containing_mark->klass_part()->prototype_header()->has_bias_pattern()) {
a61af66fc99e Initial load
duke
parents:
diff changeset
82 return true;
a61af66fc99e Initial load
duke
parents:
diff changeset
83 }
a61af66fc99e Initial load
duke
parents:
diff changeset
84 return (this != prototype());
a61af66fc99e Initial load
duke
parents:
diff changeset
85 }
342
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
86 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
87 if (!UseBiasedLocking)
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
88 return (this != prototype());
37f87013dfd8 6711316: Open source the Garbage-First garbage collector
ysr
parents: 0
diff changeset
89 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
90 }
0
a61af66fc99e Initial load
duke
parents:
diff changeset
91
a61af66fc99e Initial load
duke
parents:
diff changeset
92 inline markOop markOopDesc::prototype_for_object(oop obj) {
a61af66fc99e Initial load
duke
parents:
diff changeset
93 #ifdef ASSERT
a61af66fc99e Initial load
duke
parents:
diff changeset
94 markOop prototype_header = obj->klass()->klass_part()->prototype_header();
a61af66fc99e Initial load
duke
parents:
diff changeset
95 assert(prototype_header == prototype() || prototype_header->has_bias_pattern(), "corrupt prototype header");
a61af66fc99e Initial load
duke
parents:
diff changeset
96 #endif
a61af66fc99e Initial load
duke
parents:
diff changeset
97 return obj->klass()->klass_part()->prototype_header();
a61af66fc99e Initial load
duke
parents:
diff changeset
98 }