src/share/vm/gc_implementation/parallelScavenge/objectStartArray.hpp

Fri, 29 Apr 2016 00:06:10 +0800

author
aoqi
date
Fri, 29 Apr 2016 00:06:10 +0800
changeset 1
2d8a650513c2
parent 0
f90c822e73f8
child 25
873fd82b133d
permissions
-rw-r--r--

Added MIPS 64-bit port.

aoqi@0 1 /*
aoqi@0 2 * Copyright (c) 2001, 2012, Oracle and/or its affiliates. All rights reserved.
aoqi@0 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
aoqi@0 4 *
aoqi@0 5 * This code is free software; you can redistribute it and/or modify it
aoqi@0 6 * under the terms of the GNU General Public License version 2 only, as
aoqi@0 7 * published by the Free Software Foundation.
aoqi@0 8 *
aoqi@0 9 * This code is distributed in the hope that it will be useful, but WITHOUT
aoqi@0 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
aoqi@0 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
aoqi@0 12 * version 2 for more details (a copy is included in the LICENSE file that
aoqi@0 13 * accompanied this code).
aoqi@0 14 *
aoqi@0 15 * You should have received a copy of the GNU General Public License version
aoqi@0 16 * 2 along with this work; if not, write to the Free Software Foundation,
aoqi@0 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
aoqi@0 18 *
aoqi@0 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
aoqi@0 20 * or visit www.oracle.com if you need additional information or have any
aoqi@0 21 * questions.
aoqi@0 22 *
aoqi@0 23 */
aoqi@0 24
aoqi@1 25 /*
aoqi@1 26 * This file has been modified by Loongson Technology in 2015. These
aoqi@1 27 * modifications are Copyright (c) 2015 Loongson Technology, and are made
aoqi@1 28 * available on the same license terms set forth above.
aoqi@1 29 */
aoqi@1 30
aoqi@0 31 #ifndef SHARE_VM_GC_IMPLEMENTATION_PARALLELSCAVENGE_OBJECTSTARTARRAY_HPP
aoqi@0 32 #define SHARE_VM_GC_IMPLEMENTATION_PARALLELSCAVENGE_OBJECTSTARTARRAY_HPP
aoqi@0 33
aoqi@0 34 #include "gc_implementation/parallelScavenge/psVirtualspace.hpp"
aoqi@0 35 #include "memory/allocation.hpp"
aoqi@0 36 #include "memory/memRegion.hpp"
aoqi@0 37 #include "oops/oop.hpp"
aoqi@0 38
aoqi@0 39 //
aoqi@0 40 // This class can be used to locate the beginning of an object in the
aoqi@0 41 // covered region.
aoqi@0 42 //
aoqi@0 43
aoqi@0 44 class ObjectStartArray : public CHeapObj<mtGC> {
aoqi@0 45 friend class VerifyObjectStartArrayClosure;
aoqi@0 46
aoqi@0 47 private:
aoqi@0 48 PSVirtualSpace _virtual_space;
aoqi@0 49 MemRegion _reserved_region;
aoqi@0 50 MemRegion _covered_region;
aoqi@0 51 MemRegion _blocks_region;
aoqi@0 52 jbyte* _raw_base;
aoqi@0 53 jbyte* _offset_base;
aoqi@0 54
aoqi@0 55 public:
aoqi@0 56
aoqi@0 57 enum BlockValueConstants {
aoqi@0 58 clean_block = -1
aoqi@0 59 };
aoqi@0 60
aoqi@0 61 enum BlockSizeConstants {
aoqi@0 62 block_shift = 9,
aoqi@0 63 block_size = 1 << block_shift,
aoqi@0 64 block_size_in_words = block_size / sizeof(HeapWord)
aoqi@0 65 };
aoqi@0 66
aoqi@0 67 protected:
aoqi@0 68
aoqi@0 69 // Mapping from address to object start array entry
aoqi@0 70 jbyte* block_for_addr(void* p) const {
aoqi@0 71 assert(_covered_region.contains(p),
aoqi@0 72 "out of bounds access to object start array");
aoqi@0 73 jbyte* result = &_offset_base[uintptr_t(p) >> block_shift];
aoqi@0 74 assert(_blocks_region.contains(result),
aoqi@0 75 "out of bounds result in byte_for");
aoqi@0 76 return result;
aoqi@0 77 }
aoqi@0 78
aoqi@0 79 // Mapping from object start array entry to address of first word
aoqi@0 80 HeapWord* addr_for_block(jbyte* p) {
aoqi@0 81 assert(_blocks_region.contains(p),
aoqi@0 82 "out of bounds access to object start array");
aoqi@0 83 size_t delta = pointer_delta(p, _offset_base, sizeof(jbyte));
aoqi@0 84 HeapWord* result = (HeapWord*) (delta << block_shift);
aoqi@0 85 assert(_covered_region.contains(result),
aoqi@0 86 "out of bounds accessor from card marking array");
aoqi@0 87 return result;
aoqi@0 88 }
aoqi@0 89
aoqi@0 90 // Mapping that includes the derived offset.
aoqi@0 91 // If the block is clean, returns the last address in the covered region.
aoqi@0 92 // If the block is < index 0, returns the start of the covered region.
aoqi@0 93 HeapWord* offset_addr_for_block (jbyte* p) const {
aoqi@0 94 // We have to do this before the assert
aoqi@0 95 if (p < _raw_base) {
aoqi@0 96 return _covered_region.start();
aoqi@0 97 }
aoqi@0 98
aoqi@0 99 assert(_blocks_region.contains(p),
aoqi@0 100 "out of bounds access to object start array");
aoqi@0 101
aoqi@0 102 if (*p == clean_block) {
aoqi@0 103 return _covered_region.end();
aoqi@0 104 }
aoqi@0 105
aoqi@0 106 size_t delta = pointer_delta(p, _offset_base, sizeof(jbyte));
aoqi@0 107 HeapWord* result = (HeapWord*) (delta << block_shift);
aoqi@0 108 result += *p;
aoqi@0 109
aoqi@0 110 assert(_covered_region.contains(result),
aoqi@0 111 "out of bounds accessor from card marking array");
aoqi@0 112
aoqi@0 113 return result;
aoqi@0 114 }
aoqi@0 115
aoqi@0 116 public:
aoqi@0 117
aoqi@0 118 // This method is in lieu of a constructor, so that this class can be
aoqi@0 119 // embedded inline in other classes.
aoqi@0 120 void initialize(MemRegion reserved_region);
aoqi@0 121
aoqi@0 122 void set_covered_region(MemRegion mr);
aoqi@0 123
aoqi@0 124 void reset();
aoqi@0 125
aoqi@0 126 MemRegion covered_region() { return _covered_region; }
aoqi@0 127
aoqi@0 128 void allocate_block(HeapWord* p) {
aoqi@0 129 assert(_covered_region.contains(p), "Must be in covered region");
aoqi@0 130 jbyte* block = block_for_addr(p);
aoqi@0 131 HeapWord* block_base = addr_for_block(block);
aoqi@0 132 size_t offset = pointer_delta(p, block_base, sizeof(HeapWord*));
aoqi@0 133 assert(offset < 128, "Sanity");
aoqi@0 134 // When doing MT offsets, we can't assert this.
aoqi@0 135 //assert(offset > *block, "Found backwards allocation");
aoqi@0 136 *block = (jbyte)offset;
aoqi@0 137
aoqi@0 138 // tty->print_cr("[%p]", p);
aoqi@0 139 }
aoqi@0 140
aoqi@0 141 // Optimized for finding the first object that crosses into
aoqi@0 142 // a given block. The blocks contain the offset of the last
aoqi@0 143 // object in that block. Scroll backwards by one, and the first
aoqi@0 144 // object hit should be at the beginning of the block
aoqi@0 145 HeapWord* object_start(HeapWord* addr) const {
aoqi@0 146 assert(_covered_region.contains(addr), "Must be in covered region");
aoqi@0 147 jbyte* block = block_for_addr(addr);
aoqi@0 148 HeapWord* scroll_forward = offset_addr_for_block(block--);
aoqi@0 149 while (scroll_forward > addr) {
aoqi@0 150 scroll_forward = offset_addr_for_block(block--);
aoqi@0 151 }
aoqi@0 152
aoqi@0 153 HeapWord* next = scroll_forward;
aoqi@0 154 while (next <= addr) {
aoqi@0 155 scroll_forward = next;
aoqi@0 156 next += oop(next)->size();
aoqi@0 157 }
aoqi@0 158 assert(scroll_forward <= addr, "wrong order for current and arg");
aoqi@0 159 assert(addr <= next, "wrong order for arg and next");
aoqi@0 160 return scroll_forward;
aoqi@0 161 }
aoqi@0 162
aoqi@1 163 HeapWord* object_start_oldnuma(HeapWord* addr, HeapWord* bottom) const {
aoqi@1 164 assert(_covered_region.contains(addr), "Must be in covered region");
aoqi@1 165 jbyte* block = block_for_addr(addr);
aoqi@1 166 HeapWord* scroll_forward;
aoqi@1 167 if(bottom == addr)
aoqi@1 168 return bottom;
aoqi@1 169 else
aoqi@1 170 scroll_forward = offset_addr_for_block(block--);
aoqi@1 171 while (scroll_forward > addr) {
aoqi@1 172 scroll_forward = offset_addr_for_block(block--);
aoqi@1 173 }
aoqi@1 174
aoqi@1 175 HeapWord* next = scroll_forward;
aoqi@1 176 while (next <= addr) {
aoqi@1 177 if(oop(next)->is_oop_or_null()) {
aoqi@1 178 scroll_forward = next;
aoqi@1 179 next += oop(next)->size();
aoqi@1 180 }
aoqi@1 181 else
aoqi@1 182 next++;
aoqi@1 183 }
aoqi@1 184 assert(scroll_forward <= addr, "wrong order for current and arg");
aoqi@1 185 assert(addr <= next, "wrong order for arg and next");
aoqi@1 186 return scroll_forward;
aoqi@1 187 }
aoqi@1 188
aoqi@0 189 bool is_block_allocated(HeapWord* addr) {
aoqi@0 190 assert(_covered_region.contains(addr), "Must be in covered region");
aoqi@0 191 jbyte* block = block_for_addr(addr);
aoqi@0 192 if (*block == clean_block)
aoqi@0 193 return false;
aoqi@0 194
aoqi@0 195 return true;
aoqi@0 196 }
aoqi@0 197
aoqi@0 198 // Return true if an object starts in the range of heap addresses.
aoqi@0 199 // If an object starts at an address corresponding to
aoqi@0 200 // "start", the method will return true.
aoqi@0 201 bool object_starts_in_range(HeapWord* start_addr, HeapWord* end_addr) const;
aoqi@0 202 };
aoqi@0 203
aoqi@0 204 #endif // SHARE_VM_GC_IMPLEMENTATION_PARALLELSCAVENGE_OBJECTSTARTARRAY_HPP

mercurial