Mercurial > hg > graal-jvmci-8
annotate src/share/vm/memory/barrierSet.inline.hpp @ 3772:6747fd0512e0
7004681: G1: Extend marking verification to Full GCs
Summary: Perform a heap verification after the first phase of G1's full GC using objects' mark words to determine liveness. The third parameter of the heap verification routines, which was used in G1 to determine which marking bitmap to use in liveness calculations, has been changed from a boolean to an enum with values defined for using the mark word, and the 'prev' and 'next' bitmaps.
Reviewed-by: tonyp, ysr
author | johnc |
---|---|
date | Tue, 14 Jun 2011 11:01:10 -0700 |
parents | f95d63e2154a |
children | 3205e78d8193 |
rev | line source |
---|---|
0 | 1 /* |
1972 | 2 * Copyright (c) 2001, 2010, 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:
1245
diff
changeset
|
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
c18cbe5936b8
6941466: Oracle rebranding changes for Hotspot repositories
trims
parents:
1245
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:
1245
diff
changeset
|
21 * questions. |
0 | 22 * |
23 */ | |
24 | |
1972 | 25 #ifndef SHARE_VM_MEMORY_BARRIERSET_INLINE_HPP |
26 #define SHARE_VM_MEMORY_BARRIERSET_INLINE_HPP | |
27 | |
28 #include "memory/barrierSet.hpp" | |
29 #include "memory/cardTableModRefBS.hpp" | |
30 | |
0 | 31 // Inline functions of BarrierSet, which de-virtualize certain |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
356
diff
changeset
|
32 // performance-critical calls when the barrier is the most common |
0 | 33 // card-table kind. |
34 | |
845
df6caf649ff7
6700789: G1: Enable use of compressed oops with G1 heaps
ysr
parents:
356
diff
changeset
|
35 template <class T> void BarrierSet::write_ref_field_pre(T* field, oop new_val) { |
342
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
36 if (kind() == CardTableModRef) { |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
37 ((CardTableModRefBS*)this)->inline_write_ref_field_pre(field, new_val); |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
38 } else { |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
39 write_ref_field_pre_work(field, new_val); |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
40 } |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
41 } |
37f87013dfd8
6711316: Open source the Garbage-First garbage collector
ysr
parents:
113
diff
changeset
|
42 |
113
ba764ed4b6f2
6420645: Create a vm that uses compressed oops for up to 32gb heapsizes
coleenp
parents:
0
diff
changeset
|
43 void BarrierSet::write_ref_field(void* field, oop new_val) { |
0 | 44 if (kind() == CardTableModRef) { |
45 ((CardTableModRefBS*)this)->inline_write_ref_field(field, new_val); | |
46 } else { | |
47 write_ref_field_work(field, new_val); | |
48 } | |
49 } | |
50 | |
1091
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
51 // count is number of array elements being written |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
52 void BarrierSet::write_ref_array(HeapWord* start, size_t count) { |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
53 assert(count <= (size_t)max_intx, "count too large"); |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
54 HeapWord* end = (HeapWord*)((char*)start + (count*heapOopSize)); |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
55 // In the case of compressed oops, start and end may potentially be misaligned; |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
56 // so we need to conservatively align the first downward (this is not |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
57 // strictly necessary for current uses, but a case of good hygiene and, |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
58 // if you will, aesthetics) and the second upward (this is essential for |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
59 // current uses) to a HeapWord boundary, so we mark all cards overlapping |
1245
6484c4ee11cb
6904516: More object array barrier fixes, following up on 6906727
ysr
parents:
1091
diff
changeset
|
60 // this write. If this evolves in the future to calling a |
1091
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
61 // logging barrier of narrow oop granularity, like the pre-barrier for G1 |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
62 // (mentioned here merely by way of example), we will need to change this |
1245
6484c4ee11cb
6904516: More object array barrier fixes, following up on 6906727
ysr
parents:
1091
diff
changeset
|
63 // interface, so it is "exactly precise" (if i may be allowed the adverbial |
6484c4ee11cb
6904516: More object array barrier fixes, following up on 6906727
ysr
parents:
1091
diff
changeset
|
64 // redundancy for emphasis) and does not include narrow oop slots not |
6484c4ee11cb
6904516: More object array barrier fixes, following up on 6906727
ysr
parents:
1091
diff
changeset
|
65 // included in the original write interval. |
1091
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
66 HeapWord* aligned_start = (HeapWord*)align_size_down((uintptr_t)start, HeapWordSize); |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
67 HeapWord* aligned_end = (HeapWord*)align_size_up ((uintptr_t)end, HeapWordSize); |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
68 // If compressed oops were not being used, these should already be aligned |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
69 assert(UseCompressedOops || (aligned_start == start && aligned_end == end), |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
70 "Expected heap word alignment of start and end"); |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
71 #if 0 |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
72 warning("Post:\t" INTPTR_FORMAT "[" SIZE_FORMAT "] : [" INTPTR_FORMAT","INTPTR_FORMAT")\t", |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
73 start, count, aligned_start, aligned_end); |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
74 #endif |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
75 write_ref_array_work(MemRegion(aligned_start, aligned_end)); |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
76 } |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
77 |
6aa7255741f3
6906727: UseCompressedOops: some card-marking fixes related to object arrays
ysr
parents:
845
diff
changeset
|
78 |
0 | 79 void BarrierSet::write_region(MemRegion mr) { |
80 if (kind() == CardTableModRef) { | |
81 ((CardTableModRefBS*)this)->inline_write_region(mr); | |
82 } else { | |
83 write_region_work(mr); | |
84 } | |
85 } | |
1972 | 86 |
87 #endif // SHARE_VM_MEMORY_BARRIERSET_INLINE_HPP |