hotspot/src/share/vm/gc_interface/collectedHeap.cpp
author trims
Tue, 05 Apr 2011 14:12:31 -0700
changeset 8921 14bfe81f2a9d
parent 8296 b1c2163e4e59
child 10501 5bce84af0883
child 10282 aa2bcd7f4149
permissions -rw-r--r--
7010070: Update all 2010 Oracle-changed OpenJDK files to have the proper copyright dates - second pass Summary: Update the copyright to be 2010 on all changed files in OpenJDK Reviewed-by: ohair
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     1
/*
8921
14bfe81f2a9d 7010070: Update all 2010 Oracle-changed OpenJDK files to have the proper copyright dates - second pass
trims
parents: 8296
diff changeset
     2
 * Copyright (c) 2001, 2011, Oracle and/or its affiliates. All rights reserved.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     4
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
489c9b5090e2 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
489c9b5090e2 Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.
489c9b5090e2 Initial load
duke
parents:
diff changeset
     8
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
     9
 * This code is distributed in the hope that it will be useful, but WITHOUT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    10
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
489c9b5090e2 Initial load
duke
parents:
diff changeset
    11
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
489c9b5090e2 Initial load
duke
parents:
diff changeset
    12
 * version 2 for more details (a copy is included in the LICENSE file that
489c9b5090e2 Initial load
duke
parents:
diff changeset
    13
 * accompanied this code).
489c9b5090e2 Initial load
duke
parents:
diff changeset
    14
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    15
 * You should have received a copy of the GNU General Public License version
489c9b5090e2 Initial load
duke
parents:
diff changeset
    16
 * 2 along with this work; if not, write to the Free Software Foundation,
489c9b5090e2 Initial load
duke
parents:
diff changeset
    17
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    18
 *
5547
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5544
diff changeset
    19
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5544
diff changeset
    20
 * or visit www.oracle.com if you need additional information or have any
f4b087cbb361 6941466: Oracle rebranding changes for Hotspot repositories
trims
parents: 5544
diff changeset
    21
 * questions.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    22
 *
489c9b5090e2 Initial load
duke
parents:
diff changeset
    23
 */
489c9b5090e2 Initial load
duke
parents:
diff changeset
    24
7397
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    25
#include "precompiled.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    26
#include "classfile/systemDictionary.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    27
#include "gc_implementation/shared/vmGCOperations.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    28
#include "gc_interface/collectedHeap.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    29
#include "gc_interface/collectedHeap.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    30
#include "oops/oop.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    31
#include "runtime/init.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    32
#include "services/heapDumper.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    33
#ifdef TARGET_OS_FAMILY_linux
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    34
# include "thread_linux.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    35
#endif
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    36
#ifdef TARGET_OS_FAMILY_solaris
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    37
# include "thread_solaris.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    38
#endif
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    39
#ifdef TARGET_OS_FAMILY_windows
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    40
# include "thread_windows.inline.hpp"
5b173b4ca846 6989984: Use standard include model for Hospot
stefank
parents: 6759
diff changeset
    41
#endif
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    42
489c9b5090e2 Initial load
duke
parents:
diff changeset
    43
489c9b5090e2 Initial load
duke
parents:
diff changeset
    44
#ifdef ASSERT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    45
int CollectedHeap::_fire_out_of_memory_count = 0;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    46
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
    47
1668
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
    48
size_t CollectedHeap::_filler_array_max_size = 0;
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
    49
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    50
// Memory state functions.
489c9b5090e2 Initial load
duke
parents:
diff changeset
    51
6759
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5702
diff changeset
    52
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5702
diff changeset
    53
CollectedHeap::CollectedHeap() : _n_par_threads(0)
67b1a69ef5aa 6984287: Regularize how GC parallel workers are specified.
jmasa
parents: 5702
diff changeset
    54
1668
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
    55
{
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
    56
  const size_t max_len = size_t(arrayOopDesc::max_array_length(T_INT));
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
    57
  const size_t elements_per_word = HeapWordSize / sizeof(jint);
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
    58
  _filler_array_max_size = align_object_size(filler_array_hdr_size() +
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
    59
                                             max_len * elements_per_word);
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
    60
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
    61
  _barrier_set = NULL;
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
    62
  _is_gc_active = false;
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
    63
  _total_collections = _total_full_collections = 0;
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
    64
  _gc_cause = _gc_lastcause = GCCause::_no_gc;
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    65
  NOT_PRODUCT(_promotion_failure_alot_count = 0;)
489c9b5090e2 Initial load
duke
parents:
diff changeset
    66
  NOT_PRODUCT(_promotion_failure_alot_gc_number = 0;)
489c9b5090e2 Initial load
duke
parents:
diff changeset
    67
489c9b5090e2 Initial load
duke
parents:
diff changeset
    68
  if (UsePerfData) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    69
    EXCEPTION_MARK;
489c9b5090e2 Initial load
duke
parents:
diff changeset
    70
489c9b5090e2 Initial load
duke
parents:
diff changeset
    71
    // create the gc cause jvmstat counters
489c9b5090e2 Initial load
duke
parents:
diff changeset
    72
    _perf_gc_cause = PerfDataManager::create_string_variable(SUN_GC, "cause",
489c9b5090e2 Initial load
duke
parents:
diff changeset
    73
                             80, GCCause::to_string(_gc_cause), CHECK);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    74
489c9b5090e2 Initial load
duke
parents:
diff changeset
    75
    _perf_gc_lastcause =
489c9b5090e2 Initial load
duke
parents:
diff changeset
    76
                PerfDataManager::create_string_variable(SUN_GC, "lastCause",
489c9b5090e2 Initial load
duke
parents:
diff changeset
    77
                             80, GCCause::to_string(_gc_lastcause), CHECK);
489c9b5090e2 Initial load
duke
parents:
diff changeset
    78
  }
4637
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
    79
  _defer_initial_card_mark = false; // strengthened by subclass in pre_initialize() below.
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    80
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
    81
4637
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
    82
void CollectedHeap::pre_initialize() {
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
    83
  // Used for ReduceInitialCardMarks (when COMPILER2 is used);
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
    84
  // otherwise remains unused.
5543
95c4cdd5b505 6953483: Typo related to ReduceInitialCardMarks leaves concurrent collectors vulnerable to heap corruption
ysr
parents: 4742
diff changeset
    85
#ifdef COMPILER2
4742
9b18850a3185 6920090: G1: Disable ReduceInitialCardMarks at least until 6920109 is fixed
ysr
parents: 4637
diff changeset
    86
  _defer_initial_card_mark =    ReduceInitialCardMarks && can_elide_tlab_store_barriers()
9b18850a3185 6920090: G1: Disable ReduceInitialCardMarks at least until 6920109 is fixed
ysr
parents: 4637
diff changeset
    87
                             && (DeferInitialCardMark || card_mark_must_follow_store());
4637
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
    88
#else
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
    89
  assert(_defer_initial_card_mark == false, "Who would set it?");
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
    90
#endif
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
    91
}
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
    92
489c9b5090e2 Initial load
duke
parents:
diff changeset
    93
#ifndef PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
    94
void CollectedHeap::check_for_bad_heap_word_value(HeapWord* addr, size_t size) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    95
  if (CheckMemoryInitialization && ZapUnusedHeapArea) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    96
    for (size_t slot = 0; slot < size; slot += 1) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
    97
      assert((*(intptr_t*) (addr + slot)) != ((intptr_t) badHeapWordVal),
489c9b5090e2 Initial load
duke
parents:
diff changeset
    98
             "Found badHeapWordValue in post-allocation check");
489c9b5090e2 Initial load
duke
parents:
diff changeset
    99
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   100
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   101
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   102
8296
b1c2163e4e59 6912621: iCMS: Error: assert(_markBitMap.isMarked(addr + 1),"Missing Printezis bit?")
ysr
parents: 7397
diff changeset
   103
void CollectedHeap::check_for_non_bad_heap_word_value(HeapWord* addr, size_t size) {
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   104
  if (CheckMemoryInitialization && ZapUnusedHeapArea) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   105
    for (size_t slot = 0; slot < size; slot += 1) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   106
      assert((*(intptr_t*) (addr + slot)) == ((intptr_t) badHeapWordVal),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   107
             "Found non badHeapWordValue in pre-allocation check");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   108
    }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   109
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   110
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   111
#endif // PRODUCT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   112
489c9b5090e2 Initial load
duke
parents:
diff changeset
   113
#ifdef ASSERT
489c9b5090e2 Initial load
duke
parents:
diff changeset
   114
void CollectedHeap::check_for_valid_allocation_state() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   115
  Thread *thread = Thread::current();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   116
  // How to choose between a pending exception and a potential
489c9b5090e2 Initial load
duke
parents:
diff changeset
   117
  // OutOfMemoryError?  Don't allow pending exceptions.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   118
  // This is a VM policy failure, so how do we exhaustively test it?
489c9b5090e2 Initial load
duke
parents:
diff changeset
   119
  assert(!thread->has_pending_exception(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   120
         "shouldn't be allocating with pending exception");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   121
  if (StrictSafepointChecks) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   122
    assert(thread->allow_allocation(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   123
           "Allocation done by thread for which allocation is blocked "
489c9b5090e2 Initial load
duke
parents:
diff changeset
   124
           "by No_Allocation_Verifier!");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   125
    // Allocation of an oop can always invoke a safepoint,
489c9b5090e2 Initial load
duke
parents:
diff changeset
   126
    // hence, the true argument
489c9b5090e2 Initial load
duke
parents:
diff changeset
   127
    thread->check_for_valid_safepoint_state(true);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   128
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   129
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   130
#endif
489c9b5090e2 Initial load
duke
parents:
diff changeset
   131
489c9b5090e2 Initial load
duke
parents:
diff changeset
   132
HeapWord* CollectedHeap::allocate_from_tlab_slow(Thread* thread, size_t size) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   133
489c9b5090e2 Initial load
duke
parents:
diff changeset
   134
  // Retain tlab and allocate object in shared space if
489c9b5090e2 Initial load
duke
parents:
diff changeset
   135
  // the amount free in the tlab is too large to discard.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   136
  if (thread->tlab().free() > thread->tlab().refill_waste_limit()) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   137
    thread->tlab().record_slow_allocation(size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   138
    return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   139
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   140
489c9b5090e2 Initial load
duke
parents:
diff changeset
   141
  // Discard tlab and allocate a new one.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   142
  // To minimize fragmentation, the last TLAB may be smaller than the rest.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   143
  size_t new_tlab_size = thread->tlab().compute_size(size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   144
489c9b5090e2 Initial load
duke
parents:
diff changeset
   145
  thread->tlab().clear_before_allocation();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   146
489c9b5090e2 Initial load
duke
parents:
diff changeset
   147
  if (new_tlab_size == 0) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   148
    return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   149
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   150
489c9b5090e2 Initial load
duke
parents:
diff changeset
   151
  // Allocate a new TLAB...
489c9b5090e2 Initial load
duke
parents:
diff changeset
   152
  HeapWord* obj = Universe::heap()->allocate_new_tlab(new_tlab_size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   153
  if (obj == NULL) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   154
    return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   155
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   156
  if (ZeroTLAB) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   157
    // ..and clear it.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   158
    Copy::zero_to_words(obj, new_tlab_size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   159
  } else {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   160
    // ...and clear just the allocated object.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   161
    Copy::zero_to_words(obj, size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   162
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   163
  thread->tlab().fill(obj, obj + size, new_tlab_size);
489c9b5090e2 Initial load
duke
parents:
diff changeset
   164
  return obj;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   165
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   166
4030
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   167
void CollectedHeap::flush_deferred_store_barrier(JavaThread* thread) {
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   168
  MemRegion deferred = thread->deferred_card_mark();
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   169
  if (!deferred.is_empty()) {
4637
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   170
    assert(_defer_initial_card_mark, "Otherwise should be empty");
4030
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   171
    {
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   172
      // Verify that the storage points to a parsable object in heap
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   173
      DEBUG_ONLY(oop old_obj = oop(deferred.start());)
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   174
      assert(is_in(old_obj), "Not in allocated heap");
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   175
      assert(!can_elide_initializing_store_barrier(old_obj),
4637
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   176
             "Else should have been filtered in new_store_pre_barrier()");
4030
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   177
      assert(!is_in_permanent(old_obj), "Sanity: not expected");
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   178
      assert(old_obj->is_oop(true), "Not an oop");
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   179
      assert(old_obj->is_parsable(), "Will not be concurrently parsable");
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   180
      assert(deferred.word_size() == (size_t)(old_obj->size()),
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   181
             "Mismatch: multiple objects?");
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   182
    }
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   183
    BarrierSet* bs = barrier_set();
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   184
    assert(bs->has_write_region_opt(), "No write_region() on BarrierSet");
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   185
    bs->write_region(deferred);
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   186
    // "Clear" the deferred_card_mark field
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   187
    thread->set_deferred_card_mark(MemRegion());
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   188
  }
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   189
  assert(thread->deferred_card_mark().is_empty(), "invariant");
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   190
}
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   191
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   192
// Helper for ReduceInitialCardMarks. For performance,
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   193
// compiled code may elide card-marks for initializing stores
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   194
// to a newly allocated object along the fast-path. We
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   195
// compensate for such elided card-marks as follows:
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   196
// (a) Generational, non-concurrent collectors, such as
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   197
//     GenCollectedHeap(ParNew,DefNew,Tenured) and
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   198
//     ParallelScavengeHeap(ParallelGC, ParallelOldGC)
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   199
//     need the card-mark if and only if the region is
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   200
//     in the old gen, and do not care if the card-mark
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   201
//     succeeds or precedes the initializing stores themselves,
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   202
//     so long as the card-mark is completed before the next
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   203
//     scavenge. For all these cases, we can do a card mark
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   204
//     at the point at which we do a slow path allocation
4637
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   205
//     in the old gen, i.e. in this call.
4030
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   206
// (b) GenCollectedHeap(ConcurrentMarkSweepGeneration) requires
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   207
//     in addition that the card-mark for an old gen allocated
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   208
//     object strictly follow any associated initializing stores.
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   209
//     In these cases, the memRegion remembered below is
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   210
//     used to card-mark the entire region either just before the next
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   211
//     slow-path allocation by this thread or just before the next scavenge or
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   212
//     CMS-associated safepoint, whichever of these events happens first.
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   213
//     (The implicit assumption is that the object has been fully
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   214
//     initialized by this point, a fact that we assert when doing the
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   215
//     card-mark.)
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   216
// (c) G1CollectedHeap(G1) uses two kinds of write barriers. When a
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   217
//     G1 concurrent marking is in progress an SATB (pre-write-)barrier is
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   218
//     is used to remember the pre-value of any store. Initializing
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   219
//     stores will not need this barrier, so we need not worry about
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   220
//     compensating for the missing pre-barrier here. Turning now
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   221
//     to the post-barrier, we note that G1 needs a RS update barrier
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   222
//     which simply enqueues a (sequence of) dirty cards which may
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   223
//     optionally be refined by the concurrent update threads. Note
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   224
//     that this barrier need only be applied to a non-young write,
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   225
//     but, like in CMS, because of the presence of concurrent refinement
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   226
//     (much like CMS' precleaning), must strictly follow the oop-store.
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   227
//     Thus, using the same protocol for maintaining the intended
4637
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   228
//     invariants turns out, serendepitously, to be the same for both
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   229
//     G1 and CMS.
4030
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   230
//
4637
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   231
// For any future collector, this code should be reexamined with
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   232
// that specific collector in mind, and the documentation above suitably
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   233
// extended and updated.
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   234
oop CollectedHeap::new_store_pre_barrier(JavaThread* thread, oop new_obj) {
4030
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   235
  // If a previous card-mark was deferred, flush it now.
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   236
  flush_deferred_store_barrier(thread);
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   237
  if (can_elide_initializing_store_barrier(new_obj)) {
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   238
    // The deferred_card_mark region should be empty
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   239
    // following the flush above.
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   240
    assert(thread->deferred_card_mark().is_empty(), "Error");
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   241
  } else {
4637
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   242
    MemRegion mr((HeapWord*)new_obj, new_obj->size());
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   243
    assert(!mr.is_empty(), "Error");
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   244
    if (_defer_initial_card_mark) {
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   245
      // Defer the card mark
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   246
      thread->set_deferred_card_mark(mr);
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   247
    } else {
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   248
      // Do the card mark
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   249
      BarrierSet* bs = barrier_set();
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   250
      assert(bs->has_write_region_opt(), "No write_region() on BarrierSet");
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   251
      bs->write_region(mr);
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   252
    }
4030
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   253
  }
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   254
  return new_obj;
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   255
}
4c471254865e 6888898: CMS: ReduceInitialCardMarks unsafe in the presence of cms precleaning
ysr
parents: 2154
diff changeset
   256
1668
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   257
size_t CollectedHeap::filler_array_hdr_size() {
5694
1e0532a6abff 6916623: Align object to 16 bytes to use Compressed Oops with java heap up to 64Gb
kvn
parents: 5544
diff changeset
   258
  return size_t(align_object_offset(arrayOopDesc::header_size(T_INT))); // align to Long
1668
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   259
}
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   260
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   261
size_t CollectedHeap::filler_array_min_size() {
5694
1e0532a6abff 6916623: Align object to 16 bytes to use Compressed Oops with java heap up to 64Gb
kvn
parents: 5544
diff changeset
   262
  return align_object_size(filler_array_hdr_size()); // align to MinObjAlignment
1668
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   263
}
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   264
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   265
size_t CollectedHeap::filler_array_max_size() {
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   266
  return _filler_array_max_size;
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   267
}
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   268
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   269
#ifdef ASSERT
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   270
void CollectedHeap::fill_args_check(HeapWord* start, size_t words)
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   271
{
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   272
  assert(words >= min_fill_size(), "too small to fill");
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   273
  assert(words % MinObjAlignment == 0, "unaligned size");
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   274
  assert(Universe::heap()->is_in_reserved(start), "not in heap");
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   275
  assert(Universe::heap()->is_in_reserved(start + words - 1), "not in heap");
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   276
}
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   277
4636
90e004691873 6902115: G1:assert(ignore_max_completed||thread->is_Java_thread()||SafepointSynchronize::is_at_safepoint())
johnc
parents: 4571
diff changeset
   278
void CollectedHeap::zap_filler_array(HeapWord* start, size_t words, bool zap)
1668
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   279
{
4636
90e004691873 6902115: G1:assert(ignore_max_completed||thread->is_Java_thread()||SafepointSynchronize::is_at_safepoint())
johnc
parents: 4571
diff changeset
   280
  if (ZapFillerObjects && zap) {
1668
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   281
    Copy::fill_to_words(start + filler_array_hdr_size(),
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   282
                        words - filler_array_hdr_size(), 0XDEAFBABE);
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   283
  }
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   284
}
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   285
#endif // ASSERT
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   286
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   287
void
4636
90e004691873 6902115: G1:assert(ignore_max_completed||thread->is_Java_thread()||SafepointSynchronize::is_at_safepoint())
johnc
parents: 4571
diff changeset
   288
CollectedHeap::fill_with_array(HeapWord* start, size_t words, bool zap)
1668
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   289
{
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   290
  assert(words >= filler_array_min_size(), "too small for an array");
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   291
  assert(words <= filler_array_max_size(), "too big for a single object");
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   292
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   293
  const size_t payload_size = words - filler_array_hdr_size();
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   294
  const size_t len = payload_size * HeapWordSize / sizeof(jint);
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   295
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   296
  // Set the length first for concurrent GC.
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   297
  ((arrayOop)start)->set_length((int)len);
1681
9df064a8f4ca 6786195: many nsk.monitoring tests fail with -server -Xcomp
jcoomes
parents: 1668
diff changeset
   298
  post_allocation_setup_common(Universe::intArrayKlassObj(), start, words);
4636
90e004691873 6902115: G1:assert(ignore_max_completed||thread->is_Java_thread()||SafepointSynchronize::is_at_safepoint())
johnc
parents: 4571
diff changeset
   299
  DEBUG_ONLY(zap_filler_array(start, words, zap);)
1668
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   300
}
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   301
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   302
void
4636
90e004691873 6902115: G1:assert(ignore_max_completed||thread->is_Java_thread()||SafepointSynchronize::is_at_safepoint())
johnc
parents: 4571
diff changeset
   303
CollectedHeap::fill_with_object_impl(HeapWord* start, size_t words, bool zap)
1668
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   304
{
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   305
  assert(words <= filler_array_max_size(), "too big for a single object");
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   306
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   307
  if (words >= filler_array_min_size()) {
4636
90e004691873 6902115: G1:assert(ignore_max_completed||thread->is_Java_thread()||SafepointSynchronize::is_at_safepoint())
johnc
parents: 4571
diff changeset
   308
    fill_with_array(start, words, zap);
1668
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   309
  } else if (words > 0) {
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   310
    assert(words == min_fill_size(), "unaligned size");
4571
80b553bddc26 6914300: ciEnv should export all well known classes
never
parents: 4030
diff changeset
   311
    post_allocation_setup_common(SystemDictionary::Object_klass(), start,
1668
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   312
                                 words);
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   313
  }
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   314
}
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   315
4636
90e004691873 6902115: G1:assert(ignore_max_completed||thread->is_Java_thread()||SafepointSynchronize::is_at_safepoint())
johnc
parents: 4571
diff changeset
   316
void CollectedHeap::fill_with_object(HeapWord* start, size_t words, bool zap)
1668
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   317
{
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   318
  DEBUG_ONLY(fill_args_check(start, words);)
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   319
  HandleMark hm;  // Free handles before leaving.
4636
90e004691873 6902115: G1:assert(ignore_max_completed||thread->is_Java_thread()||SafepointSynchronize::is_at_safepoint())
johnc
parents: 4571
diff changeset
   320
  fill_with_object_impl(start, words, zap);
1668
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   321
}
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   322
4636
90e004691873 6902115: G1:assert(ignore_max_completed||thread->is_Java_thread()||SafepointSynchronize::is_at_safepoint())
johnc
parents: 4571
diff changeset
   323
void CollectedHeap::fill_with_objects(HeapWord* start, size_t words, bool zap)
1668
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   324
{
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   325
  DEBUG_ONLY(fill_args_check(start, words);)
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   326
  HandleMark hm;  // Free handles before leaving.
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   327
5544
de5f430a289c 6953952: collectedHeap.cpp should use #ifdef _LP64 not LP64
ysr
parents: 5543
diff changeset
   328
#ifdef _LP64
1668
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   329
  // A single array can fill ~8G, so multiple objects are needed only in 64-bit.
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   330
  // First fill with arrays, ensuring that any remaining space is big enough to
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   331
  // fill.  The remainder is filled with a single object.
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   332
  const size_t min = min_fill_size();
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   333
  const size_t max = filler_array_max_size();
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   334
  while (words > max) {
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   335
    const size_t cur = words - max >= min ? max : max - min;
4636
90e004691873 6902115: G1:assert(ignore_max_completed||thread->is_Java_thread()||SafepointSynchronize::is_at_safepoint())
johnc
parents: 4571
diff changeset
   336
    fill_with_array(start, cur, zap);
1668
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   337
    start += cur;
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   338
    words -= cur;
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   339
  }
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   340
#endif
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   341
4636
90e004691873 6902115: G1:assert(ignore_max_completed||thread->is_Java_thread()||SafepointSynchronize::is_at_safepoint())
johnc
parents: 4571
diff changeset
   342
  fill_with_object_impl(start, words, zap);
1668
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   343
}
8ec481b8f514 6578152: fill_region_with_object has usability and safety issues
jcoomes
parents: 1388
diff changeset
   344
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   345
HeapWord* CollectedHeap::allocate_new_tlab(size_t size) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   346
  guarantee(false, "thread-local allocation buffers not supported");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   347
  return NULL;
489c9b5090e2 Initial load
duke
parents:
diff changeset
   348
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   349
489c9b5090e2 Initial load
duke
parents:
diff changeset
   350
void CollectedHeap::ensure_parsability(bool retire_tlabs) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   351
  // The second disjunct in the assertion below makes a concession
489c9b5090e2 Initial load
duke
parents:
diff changeset
   352
  // for the start-up verification done while the VM is being
489c9b5090e2 Initial load
duke
parents:
diff changeset
   353
  // created. Callers be careful that you know that mutators
489c9b5090e2 Initial load
duke
parents:
diff changeset
   354
  // aren't going to interfere -- for instance, this is permissible
489c9b5090e2 Initial load
duke
parents:
diff changeset
   355
  // if we are still single-threaded and have either not yet
489c9b5090e2 Initial load
duke
parents:
diff changeset
   356
  // started allocating (nothing much to verify) or we have
489c9b5090e2 Initial load
duke
parents:
diff changeset
   357
  // started allocating but are now a full-fledged JavaThread
489c9b5090e2 Initial load
duke
parents:
diff changeset
   358
  // (and have thus made our TLAB's) available for filling.
489c9b5090e2 Initial load
duke
parents:
diff changeset
   359
  assert(SafepointSynchronize::is_at_safepoint() ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   360
         !is_init_completed(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   361
         "Should only be called at a safepoint or at start-up"
489c9b5090e2 Initial load
duke
parents:
diff changeset
   362
         " otherwise concurrent mutator activity may make heap "
489c9b5090e2 Initial load
duke
parents:
diff changeset
   363
         " unparsable again");
4637
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   364
  const bool use_tlab = UseTLAB;
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   365
  const bool deferred = _defer_initial_card_mark;
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   366
  // The main thread starts allocating via a TLAB even before it
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   367
  // has added itself to the threads list at vm boot-up.
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   368
  assert(!use_tlab || Threads::first() != NULL,
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   369
         "Attempt to fill tlabs before main thread has been added"
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   370
         " to threads list is doomed to failure!");
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   371
  for (JavaThread *thread = Threads::first(); thread; thread = thread->next()) {
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   372
     if (use_tlab) thread->tlab().make_parsable(retire_tlabs);
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   373
#ifdef COMPILER2
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   374
     // The deferred store barriers must all have been flushed to the
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   375
     // card-table (or other remembered set structure) before GC starts
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   376
     // processing the card-table (or other remembered set).
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   377
     if (deferred) flush_deferred_store_barrier(thread);
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   378
#else
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   379
     assert(!deferred, "Should be false");
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   380
     assert(thread->deferred_card_mark().is_empty(), "Should be empty");
af4d405aacc1 6896647: card marks can be deferred too long
ysr
parents: 4636
diff changeset
   381
#endif
1
489c9b5090e2 Initial load
duke
parents:
diff changeset
   382
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   383
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   384
489c9b5090e2 Initial load
duke
parents:
diff changeset
   385
void CollectedHeap::accumulate_statistics_all_tlabs() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   386
  if (UseTLAB) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   387
    assert(SafepointSynchronize::is_at_safepoint() ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   388
         !is_init_completed(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   389
         "should only accumulate statistics on tlabs at safepoint");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   390
489c9b5090e2 Initial load
duke
parents:
diff changeset
   391
    ThreadLocalAllocBuffer::accumulate_statistics_before_gc();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   392
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   393
}
489c9b5090e2 Initial load
duke
parents:
diff changeset
   394
489c9b5090e2 Initial load
duke
parents:
diff changeset
   395
void CollectedHeap::resize_all_tlabs() {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   396
  if (UseTLAB) {
489c9b5090e2 Initial load
duke
parents:
diff changeset
   397
    assert(SafepointSynchronize::is_at_safepoint() ||
489c9b5090e2 Initial load
duke
parents:
diff changeset
   398
         !is_init_completed(),
489c9b5090e2 Initial load
duke
parents:
diff changeset
   399
         "should only resize tlabs at safepoint");
489c9b5090e2 Initial load
duke
parents:
diff changeset
   400
489c9b5090e2 Initial load
duke
parents:
diff changeset
   401
    ThreadLocalAllocBuffer::resize_all_tlabs();
489c9b5090e2 Initial load
duke
parents:
diff changeset
   402
  }
489c9b5090e2 Initial load
duke
parents:
diff changeset
   403
}
2141
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   404
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   405
void CollectedHeap::pre_full_gc_dump() {
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   406
  if (HeapDumpBeforeFullGC) {
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   407
    TraceTime tt("Heap Dump: ", PrintGCDetails, false, gclog_or_tty);
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   408
    // We are doing a "major" collection and a heap dump before
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   409
    // major collection has been requested.
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   410
    HeapDumper::dump_heap();
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   411
  }
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   412
  if (PrintClassHistogramBeforeFullGC) {
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   413
    TraceTime tt("Class Histogram: ", PrintGCDetails, true, gclog_or_tty);
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   414
    VM_GC_HeapInspection inspector(gclog_or_tty, false /* ! full gc */, false /* ! prologue */);
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   415
    inspector.doit();
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   416
  }
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   417
}
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   418
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   419
void CollectedHeap::post_full_gc_dump() {
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   420
  if (HeapDumpAfterFullGC) {
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   421
    TraceTime tt("Heap Dump", PrintGCDetails, false, gclog_or_tty);
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   422
    HeapDumper::dump_heap();
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   423
  }
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   424
  if (PrintClassHistogramAfterFullGC) {
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   425
    TraceTime tt("Class Histogram", PrintGCDetails, true, gclog_or_tty);
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   426
    VM_GC_HeapInspection inspector(gclog_or_tty, false /* ! full gc */, false /* ! prologue */);
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   427
    inspector.doit();
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   428
  }
e9a644aaff87 6797870: Add -XX:+{HeapDump,PrintClassHistogram}{Before,After}FullGC
ysr
parents: 1681
diff changeset
   429
}