annotate src/share/vm/oops/markOop.inline.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 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 }