src/share/vm/gc_implementation/g1/g1AllocRegion.hpp

Wed, 30 Mar 2011 10:26:59 -0400

author
tonyp
date
Wed, 30 Mar 2011 10:26:59 -0400
changeset 2715
abdfc822206f
child 3028
f44782f04dd4
permissions
-rw-r--r--

7023069: G1: Introduce symmetric locking in the slow allocation path
7023151: G1: refactor the code that operates on _cur_alloc_region to be re-used for allocs by the GC threads
7018286: G1: humongous allocation attempts should take the GC locker into account
Summary: First, this change replaces the asymmetric locking scheme in the G1 slow alloc path by a summetric one. Second, it factors out the code that operates on _cur_alloc_region so that it can be re-used for allocations by the GC threads in the future.
Reviewed-by: stefank, brutisso, johnc

tonyp@2715 1 /*
tonyp@2715 2 * Copyright (c) 2011, Oracle and/or its affiliates. All rights reserved.
tonyp@2715 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
tonyp@2715 4 *
tonyp@2715 5 * This code is free software; you can redistribute it and/or modify it
tonyp@2715 6 * under the terms of the GNU General Public License version 2 only, as
tonyp@2715 7 * published by the Free Software Foundation.
tonyp@2715 8 *
tonyp@2715 9 * This code is distributed in the hope that it will be useful, but WITHOUT
tonyp@2715 10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
tonyp@2715 11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
tonyp@2715 12 * version 2 for more details (a copy is included in the LICENSE file that
tonyp@2715 13 * accompanied this code).
tonyp@2715 14 *
tonyp@2715 15 * You should have received a copy of the GNU General Public License version
tonyp@2715 16 * 2 along with this work; if not, write to the Free Software Foundation,
tonyp@2715 17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
tonyp@2715 18 *
tonyp@2715 19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
tonyp@2715 20 * or visit www.oracle.com if you need additional information or have any
tonyp@2715 21 * questions.
tonyp@2715 22 *
tonyp@2715 23 */
tonyp@2715 24
tonyp@2715 25 #ifndef SHARE_VM_GC_IMPLEMENTATION_G1_G1ALLOCREGION_HPP
tonyp@2715 26 #define SHARE_VM_GC_IMPLEMENTATION_G1_G1ALLOCREGION_HPP
tonyp@2715 27
tonyp@2715 28 #include "gc_implementation/g1/heapRegion.hpp"
tonyp@2715 29
tonyp@2715 30 class G1CollectedHeap;
tonyp@2715 31
tonyp@2715 32 // 0 -> no tracing, 1 -> basic tracing, 2 -> basic + allocation tracing
tonyp@2715 33 #define G1_ALLOC_REGION_TRACING 0
tonyp@2715 34
tonyp@2715 35 class ar_ext_msg;
tonyp@2715 36
tonyp@2715 37 // A class that holds a region that is active in satisfying allocation
tonyp@2715 38 // requests, potentially issued in parallel. When the active region is
tonyp@2715 39 // full it will be retired it replaced with a new one. The
tonyp@2715 40 // implementation assumes that fast-path allocations will be lock-free
tonyp@2715 41 // and a lock will need to be taken when the active region needs to be
tonyp@2715 42 // replaced.
tonyp@2715 43
tonyp@2715 44 class G1AllocRegion VALUE_OBJ_CLASS_SPEC {
tonyp@2715 45 friend class ar_ext_msg;
tonyp@2715 46
tonyp@2715 47 private:
tonyp@2715 48 // The active allocating region we are currently allocating out
tonyp@2715 49 // of. The invariant is that if this object is initialized (i.e.,
tonyp@2715 50 // init() has been called and release() has not) then _alloc_region
tonyp@2715 51 // is either an active allocating region or the dummy region (i.e.,
tonyp@2715 52 // it can never be NULL) and this object can be used to satisfy
tonyp@2715 53 // allocation requests. If this object is not initialized
tonyp@2715 54 // (i.e. init() has not been called or release() has been called)
tonyp@2715 55 // then _alloc_region is NULL and this object should not be used to
tonyp@2715 56 // satisfy allocation requests (it was done this way to force the
tonyp@2715 57 // correct use of init() and release()).
tonyp@2715 58 HeapRegion* _alloc_region;
tonyp@2715 59
tonyp@2715 60 // When we set up a new active region we save its used bytes in this
tonyp@2715 61 // field so that, when we retire it, we can calculate how much space
tonyp@2715 62 // we allocated in it.
tonyp@2715 63 size_t _used_bytes_before;
tonyp@2715 64
tonyp@2715 65 // Specifies whether the allocate calls will do BOT updates or not.
tonyp@2715 66 bool _bot_updates;
tonyp@2715 67
tonyp@2715 68 // Useful for debugging and tracing.
tonyp@2715 69 const char* _name;
tonyp@2715 70
tonyp@2715 71 // A dummy region (i.e., it's been allocated specially for this
tonyp@2715 72 // purpose and it is not part of the heap) that is full (i.e., top()
tonyp@2715 73 // == end()). When we don't have a valid active region we make
tonyp@2715 74 // _alloc_region point to this. This allows us to skip checking
tonyp@2715 75 // whether the _alloc_region is NULL or not.
tonyp@2715 76 static HeapRegion* _dummy_region;
tonyp@2715 77
tonyp@2715 78 // Some of the methods below take a bot_updates parameter. Its value
tonyp@2715 79 // should be the same as the _bot_updates field. The idea is that
tonyp@2715 80 // the parameter will be a constant for a particular alloc region
tonyp@2715 81 // and, given that these methods will be hopefully inlined, the
tonyp@2715 82 // compiler should compile out the test.
tonyp@2715 83
tonyp@2715 84 // Perform a non-MT-safe allocation out of the given region.
tonyp@2715 85 static inline HeapWord* allocate(HeapRegion* alloc_region,
tonyp@2715 86 size_t word_size,
tonyp@2715 87 bool bot_updates);
tonyp@2715 88
tonyp@2715 89 // Perform a MT-safe allocation out of the given region.
tonyp@2715 90 static inline HeapWord* par_allocate(HeapRegion* alloc_region,
tonyp@2715 91 size_t word_size,
tonyp@2715 92 bool bot_updates);
tonyp@2715 93
tonyp@2715 94 // Ensure that the region passed as a parameter has been filled up
tonyp@2715 95 // so that noone else can allocate out of it any more.
tonyp@2715 96 static void fill_up_remaining_space(HeapRegion* alloc_region,
tonyp@2715 97 bool bot_updates);
tonyp@2715 98
tonyp@2715 99 // Retire the active allocating region. If fill_up is true then make
tonyp@2715 100 // sure that the region is full before we retire it so that noone
tonyp@2715 101 // else can allocate out of it.
tonyp@2715 102 void retire(bool fill_up);
tonyp@2715 103
tonyp@2715 104 // Allocate a new active region and use it to perform a word_size
tonyp@2715 105 // allocation. The force parameter will be passed on to
tonyp@2715 106 // G1CollectedHeap::allocate_new_alloc_region() and tells it to try
tonyp@2715 107 // to allocate a new region even if the max has been reached.
tonyp@2715 108 HeapWord* new_alloc_region_and_allocate(size_t word_size, bool force);
tonyp@2715 109
tonyp@2715 110 void fill_in_ext_msg(ar_ext_msg* msg, const char* message);
tonyp@2715 111
tonyp@2715 112 protected:
tonyp@2715 113 // For convenience as subclasses use it.
tonyp@2715 114 static G1CollectedHeap* _g1h;
tonyp@2715 115
tonyp@2715 116 virtual HeapRegion* allocate_new_region(size_t word_size, bool force) = 0;
tonyp@2715 117 virtual void retire_region(HeapRegion* alloc_region,
tonyp@2715 118 size_t allocated_bytes) = 0;
tonyp@2715 119
tonyp@2715 120 G1AllocRegion(const char* name, bool bot_updates);
tonyp@2715 121
tonyp@2715 122 public:
tonyp@2715 123 static void setup(G1CollectedHeap* g1h, HeapRegion* dummy_region);
tonyp@2715 124
tonyp@2715 125 HeapRegion* get() const {
tonyp@2715 126 // Make sure that the dummy region does not escape this class.
tonyp@2715 127 return (_alloc_region == _dummy_region) ? NULL : _alloc_region;
tonyp@2715 128 }
tonyp@2715 129
tonyp@2715 130 // The following two are the building blocks for the allocation method.
tonyp@2715 131
tonyp@2715 132 // First-level allocation: Should be called without holding a
tonyp@2715 133 // lock. It will try to allocate lock-free out of the active region,
tonyp@2715 134 // or return NULL if it was unable to.
tonyp@2715 135 inline HeapWord* attempt_allocation(size_t word_size, bool bot_updates);
tonyp@2715 136
tonyp@2715 137 // Second-level allocation: Should be called while holding a
tonyp@2715 138 // lock. It will try to first allocate lock-free out of the active
tonyp@2715 139 // region or, if it's unable to, it will try to replace the active
tonyp@2715 140 // alloc region with a new one. We require that the caller takes the
tonyp@2715 141 // appropriate lock before calling this so that it is easier to make
tonyp@2715 142 // it conform to its locking protocol.
tonyp@2715 143 inline HeapWord* attempt_allocation_locked(size_t word_size,
tonyp@2715 144 bool bot_updates);
tonyp@2715 145
tonyp@2715 146 // Should be called to allocate a new region even if the max of this
tonyp@2715 147 // type of regions has been reached. Should only be called if other
tonyp@2715 148 // allocation attempts have failed and we are not holding a valid
tonyp@2715 149 // active region.
tonyp@2715 150 inline HeapWord* attempt_allocation_force(size_t word_size,
tonyp@2715 151 bool bot_updates);
tonyp@2715 152
tonyp@2715 153 // Should be called before we start using this object.
tonyp@2715 154 void init();
tonyp@2715 155
tonyp@2715 156 // Should be called when we want to release the active region which
tonyp@2715 157 // is returned after it's been retired.
tonyp@2715 158 HeapRegion* release();
tonyp@2715 159
tonyp@2715 160 #if G1_ALLOC_REGION_TRACING
tonyp@2715 161 void trace(const char* str, size_t word_size = 0, HeapWord* result = NULL);
tonyp@2715 162 #else // G1_ALLOC_REGION_TRACING
tonyp@2715 163 void trace(const char* str, size_t word_size = 0, HeapWord* result = NULL) { }
tonyp@2715 164 #endif // G1_ALLOC_REGION_TRACING
tonyp@2715 165 };
tonyp@2715 166
tonyp@2715 167 class ar_ext_msg : public err_msg {
tonyp@2715 168 public:
tonyp@2715 169 ar_ext_msg(G1AllocRegion* alloc_region, const char *message) : err_msg("") {
tonyp@2715 170 alloc_region->fill_in_ext_msg(this, message);
tonyp@2715 171 }
tonyp@2715 172 };
tonyp@2715 173
tonyp@2715 174 #endif // SHARE_VM_GC_IMPLEMENTATION_G1_G1ALLOCREGION_HPP

mercurial