src/share/vm/gc_implementation/parallelScavenge/psParallelCompact.cpp

Fri, 16 Jul 2010 21:33:21 -0700

author
jcoomes
date
Fri, 16 Jul 2010 21:33:21 -0700
changeset 2020
a93a9eda13f7
parent 1993
b2a00dd3117c
child 2188
8b10f48633dc
permissions
-rw-r--r--

6962947: shared TaskQueue statistics
Reviewed-by: tonyp, ysr

     1 /*
     2  * Copyright (c) 2005, 2010, Oracle and/or its affiliates. All rights reserved.
     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  *
    19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
    20  * or visit www.oracle.com if you need additional information or have any
    21  * questions.
    22  *
    23  */
    25 #include "incls/_precompiled.incl"
    26 #include "incls/_psParallelCompact.cpp.incl"
    28 #include <math.h>
    30 // All sizes are in HeapWords.
    31 const size_t ParallelCompactData::Log2RegionSize  = 9; // 512 words
    32 const size_t ParallelCompactData::RegionSize      = (size_t)1 << Log2RegionSize;
    33 const size_t ParallelCompactData::RegionSizeBytes =
    34   RegionSize << LogHeapWordSize;
    35 const size_t ParallelCompactData::RegionSizeOffsetMask = RegionSize - 1;
    36 const size_t ParallelCompactData::RegionAddrOffsetMask = RegionSizeBytes - 1;
    37 const size_t ParallelCompactData::RegionAddrMask  = ~RegionAddrOffsetMask;
    39 const ParallelCompactData::RegionData::region_sz_t
    40 ParallelCompactData::RegionData::dc_shift = 27;
    42 const ParallelCompactData::RegionData::region_sz_t
    43 ParallelCompactData::RegionData::dc_mask = ~0U << dc_shift;
    45 const ParallelCompactData::RegionData::region_sz_t
    46 ParallelCompactData::RegionData::dc_one = 0x1U << dc_shift;
    48 const ParallelCompactData::RegionData::region_sz_t
    49 ParallelCompactData::RegionData::los_mask = ~dc_mask;
    51 const ParallelCompactData::RegionData::region_sz_t
    52 ParallelCompactData::RegionData::dc_claimed = 0x8U << dc_shift;
    54 const ParallelCompactData::RegionData::region_sz_t
    55 ParallelCompactData::RegionData::dc_completed = 0xcU << dc_shift;
    57 SpaceInfo PSParallelCompact::_space_info[PSParallelCompact::last_space_id];
    58 bool      PSParallelCompact::_print_phases = false;
    60 ReferenceProcessor* PSParallelCompact::_ref_processor = NULL;
    61 klassOop            PSParallelCompact::_updated_int_array_klass_obj = NULL;
    63 double PSParallelCompact::_dwl_mean;
    64 double PSParallelCompact::_dwl_std_dev;
    65 double PSParallelCompact::_dwl_first_term;
    66 double PSParallelCompact::_dwl_adjustment;
    67 #ifdef  ASSERT
    68 bool   PSParallelCompact::_dwl_initialized = false;
    69 #endif  // #ifdef ASSERT
    71 #ifdef VALIDATE_MARK_SWEEP
    72 GrowableArray<void*>*   PSParallelCompact::_root_refs_stack = NULL;
    73 GrowableArray<oop> *    PSParallelCompact::_live_oops = NULL;
    74 GrowableArray<oop> *    PSParallelCompact::_live_oops_moved_to = NULL;
    75 GrowableArray<size_t>*  PSParallelCompact::_live_oops_size = NULL;
    76 size_t                  PSParallelCompact::_live_oops_index = 0;
    77 size_t                  PSParallelCompact::_live_oops_index_at_perm = 0;
    78 GrowableArray<void*>*   PSParallelCompact::_other_refs_stack = NULL;
    79 GrowableArray<void*>*   PSParallelCompact::_adjusted_pointers = NULL;
    80 bool                    PSParallelCompact::_pointer_tracking = false;
    81 bool                    PSParallelCompact::_root_tracking = true;
    83 GrowableArray<HeapWord*>* PSParallelCompact::_cur_gc_live_oops = NULL;
    84 GrowableArray<HeapWord*>* PSParallelCompact::_cur_gc_live_oops_moved_to = NULL;
    85 GrowableArray<size_t>   * PSParallelCompact::_cur_gc_live_oops_size = NULL;
    86 GrowableArray<HeapWord*>* PSParallelCompact::_last_gc_live_oops = NULL;
    87 GrowableArray<HeapWord*>* PSParallelCompact::_last_gc_live_oops_moved_to = NULL;
    88 GrowableArray<size_t>   * PSParallelCompact::_last_gc_live_oops_size = NULL;
    89 #endif
    91 void SplitInfo::record(size_t src_region_idx, size_t partial_obj_size,
    92                        HeapWord* destination)
    93 {
    94   assert(src_region_idx != 0, "invalid src_region_idx");
    95   assert(partial_obj_size != 0, "invalid partial_obj_size argument");
    96   assert(destination != NULL, "invalid destination argument");
    98   _src_region_idx = src_region_idx;
    99   _partial_obj_size = partial_obj_size;
   100   _destination = destination;
   102   // These fields may not be updated below, so make sure they're clear.
   103   assert(_dest_region_addr == NULL, "should have been cleared");
   104   assert(_first_src_addr == NULL, "should have been cleared");
   106   // Determine the number of destination regions for the partial object.
   107   HeapWord* const last_word = destination + partial_obj_size - 1;
   108   const ParallelCompactData& sd = PSParallelCompact::summary_data();
   109   HeapWord* const beg_region_addr = sd.region_align_down(destination);
   110   HeapWord* const end_region_addr = sd.region_align_down(last_word);
   112   if (beg_region_addr == end_region_addr) {
   113     // One destination region.
   114     _destination_count = 1;
   115     if (end_region_addr == destination) {
   116       // The destination falls on a region boundary, thus the first word of the
   117       // partial object will be the first word copied to the destination region.
   118       _dest_region_addr = end_region_addr;
   119       _first_src_addr = sd.region_to_addr(src_region_idx);
   120     }
   121   } else {
   122     // Two destination regions.  When copied, the partial object will cross a
   123     // destination region boundary, so a word somewhere within the partial
   124     // object will be the first word copied to the second destination region.
   125     _destination_count = 2;
   126     _dest_region_addr = end_region_addr;
   127     const size_t ofs = pointer_delta(end_region_addr, destination);
   128     assert(ofs < _partial_obj_size, "sanity");
   129     _first_src_addr = sd.region_to_addr(src_region_idx) + ofs;
   130   }
   131 }
   133 void SplitInfo::clear()
   134 {
   135   _src_region_idx = 0;
   136   _partial_obj_size = 0;
   137   _destination = NULL;
   138   _destination_count = 0;
   139   _dest_region_addr = NULL;
   140   _first_src_addr = NULL;
   141   assert(!is_valid(), "sanity");
   142 }
   144 #ifdef  ASSERT
   145 void SplitInfo::verify_clear()
   146 {
   147   assert(_src_region_idx == 0, "not clear");
   148   assert(_partial_obj_size == 0, "not clear");
   149   assert(_destination == NULL, "not clear");
   150   assert(_destination_count == 0, "not clear");
   151   assert(_dest_region_addr == NULL, "not clear");
   152   assert(_first_src_addr == NULL, "not clear");
   153 }
   154 #endif  // #ifdef ASSERT
   157 #ifndef PRODUCT
   158 const char* PSParallelCompact::space_names[] = {
   159   "perm", "old ", "eden", "from", "to  "
   160 };
   162 void PSParallelCompact::print_region_ranges()
   163 {
   164   tty->print_cr("space  bottom     top        end        new_top");
   165   tty->print_cr("------ ---------- ---------- ---------- ----------");
   167   for (unsigned int id = 0; id < last_space_id; ++id) {
   168     const MutableSpace* space = _space_info[id].space();
   169     tty->print_cr("%u %s "
   170                   SIZE_FORMAT_W(10) " " SIZE_FORMAT_W(10) " "
   171                   SIZE_FORMAT_W(10) " " SIZE_FORMAT_W(10) " ",
   172                   id, space_names[id],
   173                   summary_data().addr_to_region_idx(space->bottom()),
   174                   summary_data().addr_to_region_idx(space->top()),
   175                   summary_data().addr_to_region_idx(space->end()),
   176                   summary_data().addr_to_region_idx(_space_info[id].new_top()));
   177   }
   178 }
   180 void
   181 print_generic_summary_region(size_t i, const ParallelCompactData::RegionData* c)
   182 {
   183 #define REGION_IDX_FORMAT        SIZE_FORMAT_W(7)
   184 #define REGION_DATA_FORMAT       SIZE_FORMAT_W(5)
   186   ParallelCompactData& sd = PSParallelCompact::summary_data();
   187   size_t dci = c->destination() ? sd.addr_to_region_idx(c->destination()) : 0;
   188   tty->print_cr(REGION_IDX_FORMAT " " PTR_FORMAT " "
   189                 REGION_IDX_FORMAT " " PTR_FORMAT " "
   190                 REGION_DATA_FORMAT " " REGION_DATA_FORMAT " "
   191                 REGION_DATA_FORMAT " " REGION_IDX_FORMAT " %d",
   192                 i, c->data_location(), dci, c->destination(),
   193                 c->partial_obj_size(), c->live_obj_size(),
   194                 c->data_size(), c->source_region(), c->destination_count());
   196 #undef  REGION_IDX_FORMAT
   197 #undef  REGION_DATA_FORMAT
   198 }
   200 void
   201 print_generic_summary_data(ParallelCompactData& summary_data,
   202                            HeapWord* const beg_addr,
   203                            HeapWord* const end_addr)
   204 {
   205   size_t total_words = 0;
   206   size_t i = summary_data.addr_to_region_idx(beg_addr);
   207   const size_t last = summary_data.addr_to_region_idx(end_addr);
   208   HeapWord* pdest = 0;
   210   while (i <= last) {
   211     ParallelCompactData::RegionData* c = summary_data.region(i);
   212     if (c->data_size() != 0 || c->destination() != pdest) {
   213       print_generic_summary_region(i, c);
   214       total_words += c->data_size();
   215       pdest = c->destination();
   216     }
   217     ++i;
   218   }
   220   tty->print_cr("summary_data_bytes=" SIZE_FORMAT, total_words * HeapWordSize);
   221 }
   223 void
   224 print_generic_summary_data(ParallelCompactData& summary_data,
   225                            SpaceInfo* space_info)
   226 {
   227   for (unsigned int id = 0; id < PSParallelCompact::last_space_id; ++id) {
   228     const MutableSpace* space = space_info[id].space();
   229     print_generic_summary_data(summary_data, space->bottom(),
   230                                MAX2(space->top(), space_info[id].new_top()));
   231   }
   232 }
   234 void
   235 print_initial_summary_region(size_t i,
   236                              const ParallelCompactData::RegionData* c,
   237                              bool newline = true)
   238 {
   239   tty->print(SIZE_FORMAT_W(5) " " PTR_FORMAT " "
   240              SIZE_FORMAT_W(5) " " SIZE_FORMAT_W(5) " "
   241              SIZE_FORMAT_W(5) " " SIZE_FORMAT_W(5) " %d",
   242              i, c->destination(),
   243              c->partial_obj_size(), c->live_obj_size(),
   244              c->data_size(), c->source_region(), c->destination_count());
   245   if (newline) tty->cr();
   246 }
   248 void
   249 print_initial_summary_data(ParallelCompactData& summary_data,
   250                            const MutableSpace* space) {
   251   if (space->top() == space->bottom()) {
   252     return;
   253   }
   255   const size_t region_size = ParallelCompactData::RegionSize;
   256   typedef ParallelCompactData::RegionData RegionData;
   257   HeapWord* const top_aligned_up = summary_data.region_align_up(space->top());
   258   const size_t end_region = summary_data.addr_to_region_idx(top_aligned_up);
   259   const RegionData* c = summary_data.region(end_region - 1);
   260   HeapWord* end_addr = c->destination() + c->data_size();
   261   const size_t live_in_space = pointer_delta(end_addr, space->bottom());
   263   // Print (and count) the full regions at the beginning of the space.
   264   size_t full_region_count = 0;
   265   size_t i = summary_data.addr_to_region_idx(space->bottom());
   266   while (i < end_region && summary_data.region(i)->data_size() == region_size) {
   267     print_initial_summary_region(i, summary_data.region(i));
   268     ++full_region_count;
   269     ++i;
   270   }
   272   size_t live_to_right = live_in_space - full_region_count * region_size;
   274   double max_reclaimed_ratio = 0.0;
   275   size_t max_reclaimed_ratio_region = 0;
   276   size_t max_dead_to_right = 0;
   277   size_t max_live_to_right = 0;
   279   // Print the 'reclaimed ratio' for regions while there is something live in
   280   // the region or to the right of it.  The remaining regions are empty (and
   281   // uninteresting), and computing the ratio will result in division by 0.
   282   while (i < end_region && live_to_right > 0) {
   283     c = summary_data.region(i);
   284     HeapWord* const region_addr = summary_data.region_to_addr(i);
   285     const size_t used_to_right = pointer_delta(space->top(), region_addr);
   286     const size_t dead_to_right = used_to_right - live_to_right;
   287     const double reclaimed_ratio = double(dead_to_right) / live_to_right;
   289     if (reclaimed_ratio > max_reclaimed_ratio) {
   290             max_reclaimed_ratio = reclaimed_ratio;
   291             max_reclaimed_ratio_region = i;
   292             max_dead_to_right = dead_to_right;
   293             max_live_to_right = live_to_right;
   294     }
   296     print_initial_summary_region(i, c, false);
   297     tty->print_cr(" %12.10f " SIZE_FORMAT_W(10) " " SIZE_FORMAT_W(10),
   298                   reclaimed_ratio, dead_to_right, live_to_right);
   300     live_to_right -= c->data_size();
   301     ++i;
   302   }
   304   // Any remaining regions are empty.  Print one more if there is one.
   305   if (i < end_region) {
   306     print_initial_summary_region(i, summary_data.region(i));
   307   }
   309   tty->print_cr("max:  " SIZE_FORMAT_W(4) " d2r=" SIZE_FORMAT_W(10) " "
   310                 "l2r=" SIZE_FORMAT_W(10) " max_ratio=%14.12f",
   311                 max_reclaimed_ratio_region, max_dead_to_right,
   312                 max_live_to_right, max_reclaimed_ratio);
   313 }
   315 void
   316 print_initial_summary_data(ParallelCompactData& summary_data,
   317                            SpaceInfo* space_info) {
   318   unsigned int id = PSParallelCompact::perm_space_id;
   319   const MutableSpace* space;
   320   do {
   321     space = space_info[id].space();
   322     print_initial_summary_data(summary_data, space);
   323   } while (++id < PSParallelCompact::eden_space_id);
   325   do {
   326     space = space_info[id].space();
   327     print_generic_summary_data(summary_data, space->bottom(), space->top());
   328   } while (++id < PSParallelCompact::last_space_id);
   329 }
   330 #endif  // #ifndef PRODUCT
   332 #ifdef  ASSERT
   333 size_t add_obj_count;
   334 size_t add_obj_size;
   335 size_t mark_bitmap_count;
   336 size_t mark_bitmap_size;
   337 #endif  // #ifdef ASSERT
   339 ParallelCompactData::ParallelCompactData()
   340 {
   341   _region_start = 0;
   343   _region_vspace = 0;
   344   _region_data = 0;
   345   _region_count = 0;
   346 }
   348 bool ParallelCompactData::initialize(MemRegion covered_region)
   349 {
   350   _region_start = covered_region.start();
   351   const size_t region_size = covered_region.word_size();
   352   DEBUG_ONLY(_region_end = _region_start + region_size;)
   354   assert(region_align_down(_region_start) == _region_start,
   355          "region start not aligned");
   356   assert((region_size & RegionSizeOffsetMask) == 0,
   357          "region size not a multiple of RegionSize");
   359   bool result = initialize_region_data(region_size);
   361   return result;
   362 }
   364 PSVirtualSpace*
   365 ParallelCompactData::create_vspace(size_t count, size_t element_size)
   366 {
   367   const size_t raw_bytes = count * element_size;
   368   const size_t page_sz = os::page_size_for_region(raw_bytes, raw_bytes, 10);
   369   const size_t granularity = os::vm_allocation_granularity();
   370   const size_t bytes = align_size_up(raw_bytes, MAX2(page_sz, granularity));
   372   const size_t rs_align = page_sz == (size_t) os::vm_page_size() ? 0 :
   373     MAX2(page_sz, granularity);
   374   ReservedSpace rs(bytes, rs_align, rs_align > 0);
   375   os::trace_page_sizes("par compact", raw_bytes, raw_bytes, page_sz, rs.base(),
   376                        rs.size());
   377   PSVirtualSpace* vspace = new PSVirtualSpace(rs, page_sz);
   378   if (vspace != 0) {
   379     if (vspace->expand_by(bytes)) {
   380       return vspace;
   381     }
   382     delete vspace;
   383     // Release memory reserved in the space.
   384     rs.release();
   385   }
   387   return 0;
   388 }
   390 bool ParallelCompactData::initialize_region_data(size_t region_size)
   391 {
   392   const size_t count = (region_size + RegionSizeOffsetMask) >> Log2RegionSize;
   393   _region_vspace = create_vspace(count, sizeof(RegionData));
   394   if (_region_vspace != 0) {
   395     _region_data = (RegionData*)_region_vspace->reserved_low_addr();
   396     _region_count = count;
   397     return true;
   398   }
   399   return false;
   400 }
   402 void ParallelCompactData::clear()
   403 {
   404   memset(_region_data, 0, _region_vspace->committed_size());
   405 }
   407 void ParallelCompactData::clear_range(size_t beg_region, size_t end_region) {
   408   assert(beg_region <= _region_count, "beg_region out of range");
   409   assert(end_region <= _region_count, "end_region out of range");
   411   const size_t region_cnt = end_region - beg_region;
   412   memset(_region_data + beg_region, 0, region_cnt * sizeof(RegionData));
   413 }
   415 HeapWord* ParallelCompactData::partial_obj_end(size_t region_idx) const
   416 {
   417   const RegionData* cur_cp = region(region_idx);
   418   const RegionData* const end_cp = region(region_count() - 1);
   420   HeapWord* result = region_to_addr(region_idx);
   421   if (cur_cp < end_cp) {
   422     do {
   423       result += cur_cp->partial_obj_size();
   424     } while (cur_cp->partial_obj_size() == RegionSize && ++cur_cp < end_cp);
   425   }
   426   return result;
   427 }
   429 void ParallelCompactData::add_obj(HeapWord* addr, size_t len)
   430 {
   431   const size_t obj_ofs = pointer_delta(addr, _region_start);
   432   const size_t beg_region = obj_ofs >> Log2RegionSize;
   433   const size_t end_region = (obj_ofs + len - 1) >> Log2RegionSize;
   435   DEBUG_ONLY(Atomic::inc_ptr(&add_obj_count);)
   436   DEBUG_ONLY(Atomic::add_ptr(len, &add_obj_size);)
   438   if (beg_region == end_region) {
   439     // All in one region.
   440     _region_data[beg_region].add_live_obj(len);
   441     return;
   442   }
   444   // First region.
   445   const size_t beg_ofs = region_offset(addr);
   446   _region_data[beg_region].add_live_obj(RegionSize - beg_ofs);
   448   klassOop klass = ((oop)addr)->klass();
   449   // Middle regions--completely spanned by this object.
   450   for (size_t region = beg_region + 1; region < end_region; ++region) {
   451     _region_data[region].set_partial_obj_size(RegionSize);
   452     _region_data[region].set_partial_obj_addr(addr);
   453   }
   455   // Last region.
   456   const size_t end_ofs = region_offset(addr + len - 1);
   457   _region_data[end_region].set_partial_obj_size(end_ofs + 1);
   458   _region_data[end_region].set_partial_obj_addr(addr);
   459 }
   461 void
   462 ParallelCompactData::summarize_dense_prefix(HeapWord* beg, HeapWord* end)
   463 {
   464   assert(region_offset(beg) == 0, "not RegionSize aligned");
   465   assert(region_offset(end) == 0, "not RegionSize aligned");
   467   size_t cur_region = addr_to_region_idx(beg);
   468   const size_t end_region = addr_to_region_idx(end);
   469   HeapWord* addr = beg;
   470   while (cur_region < end_region) {
   471     _region_data[cur_region].set_destination(addr);
   472     _region_data[cur_region].set_destination_count(0);
   473     _region_data[cur_region].set_source_region(cur_region);
   474     _region_data[cur_region].set_data_location(addr);
   476     // Update live_obj_size so the region appears completely full.
   477     size_t live_size = RegionSize - _region_data[cur_region].partial_obj_size();
   478     _region_data[cur_region].set_live_obj_size(live_size);
   480     ++cur_region;
   481     addr += RegionSize;
   482   }
   483 }
   485 // Find the point at which a space can be split and, if necessary, record the
   486 // split point.
   487 //
   488 // If the current src region (which overflowed the destination space) doesn't
   489 // have a partial object, the split point is at the beginning of the current src
   490 // region (an "easy" split, no extra bookkeeping required).
   491 //
   492 // If the current src region has a partial object, the split point is in the
   493 // region where that partial object starts (call it the split_region).  If
   494 // split_region has a partial object, then the split point is just after that
   495 // partial object (a "hard" split where we have to record the split data and
   496 // zero the partial_obj_size field).  With a "hard" split, we know that the
   497 // partial_obj ends within split_region because the partial object that caused
   498 // the overflow starts in split_region.  If split_region doesn't have a partial
   499 // obj, then the split is at the beginning of split_region (another "easy"
   500 // split).
   501 HeapWord*
   502 ParallelCompactData::summarize_split_space(size_t src_region,
   503                                            SplitInfo& split_info,
   504                                            HeapWord* destination,
   505                                            HeapWord* target_end,
   506                                            HeapWord** target_next)
   507 {
   508   assert(destination <= target_end, "sanity");
   509   assert(destination + _region_data[src_region].data_size() > target_end,
   510     "region should not fit into target space");
   511   assert(is_region_aligned(target_end), "sanity");
   513   size_t split_region = src_region;
   514   HeapWord* split_destination = destination;
   515   size_t partial_obj_size = _region_data[src_region].partial_obj_size();
   517   if (destination + partial_obj_size > target_end) {
   518     // The split point is just after the partial object (if any) in the
   519     // src_region that contains the start of the object that overflowed the
   520     // destination space.
   521     //
   522     // Find the start of the "overflow" object and set split_region to the
   523     // region containing it.
   524     HeapWord* const overflow_obj = _region_data[src_region].partial_obj_addr();
   525     split_region = addr_to_region_idx(overflow_obj);
   527     // Clear the source_region field of all destination regions whose first word
   528     // came from data after the split point (a non-null source_region field
   529     // implies a region must be filled).
   530     //
   531     // An alternative to the simple loop below:  clear during post_compact(),
   532     // which uses memcpy instead of individual stores, and is easy to
   533     // parallelize.  (The downside is that it clears the entire RegionData
   534     // object as opposed to just one field.)
   535     //
   536     // post_compact() would have to clear the summary data up to the highest
   537     // address that was written during the summary phase, which would be
   538     //
   539     //         max(top, max(new_top, clear_top))
   540     //
   541     // where clear_top is a new field in SpaceInfo.  Would have to set clear_top
   542     // to target_end.
   543     const RegionData* const sr = region(split_region);
   544     const size_t beg_idx =
   545       addr_to_region_idx(region_align_up(sr->destination() +
   546                                          sr->partial_obj_size()));
   547     const size_t end_idx = addr_to_region_idx(target_end);
   549     if (TraceParallelOldGCSummaryPhase) {
   550         gclog_or_tty->print_cr("split:  clearing source_region field in ["
   551                                SIZE_FORMAT ", " SIZE_FORMAT ")",
   552                                beg_idx, end_idx);
   553     }
   554     for (size_t idx = beg_idx; idx < end_idx; ++idx) {
   555       _region_data[idx].set_source_region(0);
   556     }
   558     // Set split_destination and partial_obj_size to reflect the split region.
   559     split_destination = sr->destination();
   560     partial_obj_size = sr->partial_obj_size();
   561   }
   563   // The split is recorded only if a partial object extends onto the region.
   564   if (partial_obj_size != 0) {
   565     _region_data[split_region].set_partial_obj_size(0);
   566     split_info.record(split_region, partial_obj_size, split_destination);
   567   }
   569   // Setup the continuation addresses.
   570   *target_next = split_destination + partial_obj_size;
   571   HeapWord* const source_next = region_to_addr(split_region) + partial_obj_size;
   573   if (TraceParallelOldGCSummaryPhase) {
   574     const char * split_type = partial_obj_size == 0 ? "easy" : "hard";
   575     gclog_or_tty->print_cr("%s split:  src=" PTR_FORMAT " src_c=" SIZE_FORMAT
   576                            " pos=" SIZE_FORMAT,
   577                            split_type, source_next, split_region,
   578                            partial_obj_size);
   579     gclog_or_tty->print_cr("%s split:  dst=" PTR_FORMAT " dst_c=" SIZE_FORMAT
   580                            " tn=" PTR_FORMAT,
   581                            split_type, split_destination,
   582                            addr_to_region_idx(split_destination),
   583                            *target_next);
   585     if (partial_obj_size != 0) {
   586       HeapWord* const po_beg = split_info.destination();
   587       HeapWord* const po_end = po_beg + split_info.partial_obj_size();
   588       gclog_or_tty->print_cr("%s split:  "
   589                              "po_beg=" PTR_FORMAT " " SIZE_FORMAT " "
   590                              "po_end=" PTR_FORMAT " " SIZE_FORMAT,
   591                              split_type,
   592                              po_beg, addr_to_region_idx(po_beg),
   593                              po_end, addr_to_region_idx(po_end));
   594     }
   595   }
   597   return source_next;
   598 }
   600 bool ParallelCompactData::summarize(SplitInfo& split_info,
   601                                     HeapWord* source_beg, HeapWord* source_end,
   602                                     HeapWord** source_next,
   603                                     HeapWord* target_beg, HeapWord* target_end,
   604                                     HeapWord** target_next)
   605 {
   606   if (TraceParallelOldGCSummaryPhase) {
   607     HeapWord* const source_next_val = source_next == NULL ? NULL : *source_next;
   608     tty->print_cr("sb=" PTR_FORMAT " se=" PTR_FORMAT " sn=" PTR_FORMAT
   609                   "tb=" PTR_FORMAT " te=" PTR_FORMAT " tn=" PTR_FORMAT,
   610                   source_beg, source_end, source_next_val,
   611                   target_beg, target_end, *target_next);
   612   }
   614   size_t cur_region = addr_to_region_idx(source_beg);
   615   const size_t end_region = addr_to_region_idx(region_align_up(source_end));
   617   HeapWord *dest_addr = target_beg;
   618   while (cur_region < end_region) {
   619     // The destination must be set even if the region has no data.
   620     _region_data[cur_region].set_destination(dest_addr);
   622     size_t words = _region_data[cur_region].data_size();
   623     if (words > 0) {
   624       // If cur_region does not fit entirely into the target space, find a point
   625       // at which the source space can be 'split' so that part is copied to the
   626       // target space and the rest is copied elsewhere.
   627       if (dest_addr + words > target_end) {
   628         assert(source_next != NULL, "source_next is NULL when splitting");
   629         *source_next = summarize_split_space(cur_region, split_info, dest_addr,
   630                                              target_end, target_next);
   631         return false;
   632       }
   634       // Compute the destination_count for cur_region, and if necessary, update
   635       // source_region for a destination region.  The source_region field is
   636       // updated if cur_region is the first (left-most) region to be copied to a
   637       // destination region.
   638       //
   639       // The destination_count calculation is a bit subtle.  A region that has
   640       // data that compacts into itself does not count itself as a destination.
   641       // This maintains the invariant that a zero count means the region is
   642       // available and can be claimed and then filled.
   643       uint destination_count = 0;
   644       if (split_info.is_split(cur_region)) {
   645         // The current region has been split:  the partial object will be copied
   646         // to one destination space and the remaining data will be copied to
   647         // another destination space.  Adjust the initial destination_count and,
   648         // if necessary, set the source_region field if the partial object will
   649         // cross a destination region boundary.
   650         destination_count = split_info.destination_count();
   651         if (destination_count == 2) {
   652           size_t dest_idx = addr_to_region_idx(split_info.dest_region_addr());
   653           _region_data[dest_idx].set_source_region(cur_region);
   654         }
   655       }
   657       HeapWord* const last_addr = dest_addr + words - 1;
   658       const size_t dest_region_1 = addr_to_region_idx(dest_addr);
   659       const size_t dest_region_2 = addr_to_region_idx(last_addr);
   661       // Initially assume that the destination regions will be the same and
   662       // adjust the value below if necessary.  Under this assumption, if
   663       // cur_region == dest_region_2, then cur_region will be compacted
   664       // completely into itself.
   665       destination_count += cur_region == dest_region_2 ? 0 : 1;
   666       if (dest_region_1 != dest_region_2) {
   667         // Destination regions differ; adjust destination_count.
   668         destination_count += 1;
   669         // Data from cur_region will be copied to the start of dest_region_2.
   670         _region_data[dest_region_2].set_source_region(cur_region);
   671       } else if (region_offset(dest_addr) == 0) {
   672         // Data from cur_region will be copied to the start of the destination
   673         // region.
   674         _region_data[dest_region_1].set_source_region(cur_region);
   675       }
   677       _region_data[cur_region].set_destination_count(destination_count);
   678       _region_data[cur_region].set_data_location(region_to_addr(cur_region));
   679       dest_addr += words;
   680     }
   682     ++cur_region;
   683   }
   685   *target_next = dest_addr;
   686   return true;
   687 }
   689 HeapWord* ParallelCompactData::calc_new_pointer(HeapWord* addr) {
   690   assert(addr != NULL, "Should detect NULL oop earlier");
   691   assert(PSParallelCompact::gc_heap()->is_in(addr), "addr not in heap");
   692 #ifdef ASSERT
   693   if (PSParallelCompact::mark_bitmap()->is_unmarked(addr)) {
   694     gclog_or_tty->print_cr("calc_new_pointer:: addr " PTR_FORMAT, addr);
   695   }
   696 #endif
   697   assert(PSParallelCompact::mark_bitmap()->is_marked(addr), "obj not marked");
   699   // Region covering the object.
   700   size_t region_index = addr_to_region_idx(addr);
   701   const RegionData* const region_ptr = region(region_index);
   702   HeapWord* const region_addr = region_align_down(addr);
   704   assert(addr < region_addr + RegionSize, "Region does not cover object");
   705   assert(addr_to_region_ptr(region_addr) == region_ptr, "sanity check");
   707   HeapWord* result = region_ptr->destination();
   709   // If all the data in the region is live, then the new location of the object
   710   // can be calculated from the destination of the region plus the offset of the
   711   // object in the region.
   712   if (region_ptr->data_size() == RegionSize) {
   713     result += pointer_delta(addr, region_addr);
   714     DEBUG_ONLY(PSParallelCompact::check_new_location(addr, result);)
   715     return result;
   716   }
   718   // The new location of the object is
   719   //    region destination +
   720   //    size of the partial object extending onto the region +
   721   //    sizes of the live objects in the Region that are to the left of addr
   722   const size_t partial_obj_size = region_ptr->partial_obj_size();
   723   HeapWord* const search_start = region_addr + partial_obj_size;
   725   const ParMarkBitMap* bitmap = PSParallelCompact::mark_bitmap();
   726   size_t live_to_left = bitmap->live_words_in_range(search_start, oop(addr));
   728   result += partial_obj_size + live_to_left;
   729   DEBUG_ONLY(PSParallelCompact::check_new_location(addr, result);)
   730   return result;
   731 }
   733 klassOop ParallelCompactData::calc_new_klass(klassOop old_klass) {
   734   klassOop updated_klass;
   735   if (PSParallelCompact::should_update_klass(old_klass)) {
   736     updated_klass = (klassOop) calc_new_pointer(old_klass);
   737   } else {
   738     updated_klass = old_klass;
   739   }
   741   return updated_klass;
   742 }
   744 #ifdef  ASSERT
   745 void ParallelCompactData::verify_clear(const PSVirtualSpace* vspace)
   746 {
   747   const size_t* const beg = (const size_t*)vspace->committed_low_addr();
   748   const size_t* const end = (const size_t*)vspace->committed_high_addr();
   749   for (const size_t* p = beg; p < end; ++p) {
   750     assert(*p == 0, "not zero");
   751   }
   752 }
   754 void ParallelCompactData::verify_clear()
   755 {
   756   verify_clear(_region_vspace);
   757 }
   758 #endif  // #ifdef ASSERT
   760 #ifdef NOT_PRODUCT
   761 ParallelCompactData::RegionData* debug_region(size_t region_index) {
   762   ParallelCompactData& sd = PSParallelCompact::summary_data();
   763   return sd.region(region_index);
   764 }
   765 #endif
   767 elapsedTimer        PSParallelCompact::_accumulated_time;
   768 unsigned int        PSParallelCompact::_total_invocations = 0;
   769 unsigned int        PSParallelCompact::_maximum_compaction_gc_num = 0;
   770 jlong               PSParallelCompact::_time_of_last_gc = 0;
   771 CollectorCounters*  PSParallelCompact::_counters = NULL;
   772 ParMarkBitMap       PSParallelCompact::_mark_bitmap;
   773 ParallelCompactData PSParallelCompact::_summary_data;
   775 PSParallelCompact::IsAliveClosure PSParallelCompact::_is_alive_closure;
   777 void PSParallelCompact::IsAliveClosure::do_object(oop p)   { ShouldNotReachHere(); }
   778 bool PSParallelCompact::IsAliveClosure::do_object_b(oop p) { return mark_bitmap()->is_marked(p); }
   780 void PSParallelCompact::KeepAliveClosure::do_oop(oop* p)       { PSParallelCompact::KeepAliveClosure::do_oop_work(p); }
   781 void PSParallelCompact::KeepAliveClosure::do_oop(narrowOop* p) { PSParallelCompact::KeepAliveClosure::do_oop_work(p); }
   783 PSParallelCompact::AdjustPointerClosure PSParallelCompact::_adjust_root_pointer_closure(true);
   784 PSParallelCompact::AdjustPointerClosure PSParallelCompact::_adjust_pointer_closure(false);
   786 void PSParallelCompact::AdjustPointerClosure::do_oop(oop* p)       { adjust_pointer(p, _is_root); }
   787 void PSParallelCompact::AdjustPointerClosure::do_oop(narrowOop* p) { adjust_pointer(p, _is_root); }
   789 void PSParallelCompact::FollowStackClosure::do_void() { _compaction_manager->follow_marking_stacks(); }
   791 void PSParallelCompact::MarkAndPushClosure::do_oop(oop* p)       { mark_and_push(_compaction_manager, p); }
   792 void PSParallelCompact::MarkAndPushClosure::do_oop(narrowOop* p) { mark_and_push(_compaction_manager, p); }
   794 void PSParallelCompact::post_initialize() {
   795   ParallelScavengeHeap* heap = gc_heap();
   796   assert(heap->kind() == CollectedHeap::ParallelScavengeHeap, "Sanity");
   798   MemRegion mr = heap->reserved_region();
   799   _ref_processor = ReferenceProcessor::create_ref_processor(
   800     mr,                         // span
   801     true,                       // atomic_discovery
   802     true,                       // mt_discovery
   803     &_is_alive_closure,
   804     ParallelGCThreads,
   805     ParallelRefProcEnabled);
   806   _counters = new CollectorCounters("PSParallelCompact", 1);
   808   // Initialize static fields in ParCompactionManager.
   809   ParCompactionManager::initialize(mark_bitmap());
   810 }
   812 bool PSParallelCompact::initialize() {
   813   ParallelScavengeHeap* heap = gc_heap();
   814   assert(heap->kind() == CollectedHeap::ParallelScavengeHeap, "Sanity");
   815   MemRegion mr = heap->reserved_region();
   817   // Was the old gen get allocated successfully?
   818   if (!heap->old_gen()->is_allocated()) {
   819     return false;
   820   }
   822   initialize_space_info();
   823   initialize_dead_wood_limiter();
   825   if (!_mark_bitmap.initialize(mr)) {
   826     vm_shutdown_during_initialization("Unable to allocate bit map for "
   827       "parallel garbage collection for the requested heap size.");
   828     return false;
   829   }
   831   if (!_summary_data.initialize(mr)) {
   832     vm_shutdown_during_initialization("Unable to allocate tables for "
   833       "parallel garbage collection for the requested heap size.");
   834     return false;
   835   }
   837   return true;
   838 }
   840 void PSParallelCompact::initialize_space_info()
   841 {
   842   memset(&_space_info, 0, sizeof(_space_info));
   844   ParallelScavengeHeap* heap = gc_heap();
   845   PSYoungGen* young_gen = heap->young_gen();
   846   MutableSpace* perm_space = heap->perm_gen()->object_space();
   848   _space_info[perm_space_id].set_space(perm_space);
   849   _space_info[old_space_id].set_space(heap->old_gen()->object_space());
   850   _space_info[eden_space_id].set_space(young_gen->eden_space());
   851   _space_info[from_space_id].set_space(young_gen->from_space());
   852   _space_info[to_space_id].set_space(young_gen->to_space());
   854   _space_info[perm_space_id].set_start_array(heap->perm_gen()->start_array());
   855   _space_info[old_space_id].set_start_array(heap->old_gen()->start_array());
   857   _space_info[perm_space_id].set_min_dense_prefix(perm_space->top());
   858   if (TraceParallelOldGCDensePrefix) {
   859     tty->print_cr("perm min_dense_prefix=" PTR_FORMAT,
   860                   _space_info[perm_space_id].min_dense_prefix());
   861   }
   862 }
   864 void PSParallelCompact::initialize_dead_wood_limiter()
   865 {
   866   const size_t max = 100;
   867   _dwl_mean = double(MIN2(ParallelOldDeadWoodLimiterMean, max)) / 100.0;
   868   _dwl_std_dev = double(MIN2(ParallelOldDeadWoodLimiterStdDev, max)) / 100.0;
   869   _dwl_first_term = 1.0 / (sqrt(2.0 * M_PI) * _dwl_std_dev);
   870   DEBUG_ONLY(_dwl_initialized = true;)
   871   _dwl_adjustment = normal_distribution(1.0);
   872 }
   874 // Simple class for storing info about the heap at the start of GC, to be used
   875 // after GC for comparison/printing.
   876 class PreGCValues {
   877 public:
   878   PreGCValues() { }
   879   PreGCValues(ParallelScavengeHeap* heap) { fill(heap); }
   881   void fill(ParallelScavengeHeap* heap) {
   882     _heap_used      = heap->used();
   883     _young_gen_used = heap->young_gen()->used_in_bytes();
   884     _old_gen_used   = heap->old_gen()->used_in_bytes();
   885     _perm_gen_used  = heap->perm_gen()->used_in_bytes();
   886   };
   888   size_t heap_used() const      { return _heap_used; }
   889   size_t young_gen_used() const { return _young_gen_used; }
   890   size_t old_gen_used() const   { return _old_gen_used; }
   891   size_t perm_gen_used() const  { return _perm_gen_used; }
   893 private:
   894   size_t _heap_used;
   895   size_t _young_gen_used;
   896   size_t _old_gen_used;
   897   size_t _perm_gen_used;
   898 };
   900 void
   901 PSParallelCompact::clear_data_covering_space(SpaceId id)
   902 {
   903   // At this point, top is the value before GC, new_top() is the value that will
   904   // be set at the end of GC.  The marking bitmap is cleared to top; nothing
   905   // should be marked above top.  The summary data is cleared to the larger of
   906   // top & new_top.
   907   MutableSpace* const space = _space_info[id].space();
   908   HeapWord* const bot = space->bottom();
   909   HeapWord* const top = space->top();
   910   HeapWord* const max_top = MAX2(top, _space_info[id].new_top());
   912   const idx_t beg_bit = _mark_bitmap.addr_to_bit(bot);
   913   const idx_t end_bit = BitMap::word_align_up(_mark_bitmap.addr_to_bit(top));
   914   _mark_bitmap.clear_range(beg_bit, end_bit);
   916   const size_t beg_region = _summary_data.addr_to_region_idx(bot);
   917   const size_t end_region =
   918     _summary_data.addr_to_region_idx(_summary_data.region_align_up(max_top));
   919   _summary_data.clear_range(beg_region, end_region);
   921   // Clear the data used to 'split' regions.
   922   SplitInfo& split_info = _space_info[id].split_info();
   923   if (split_info.is_valid()) {
   924     split_info.clear();
   925   }
   926   DEBUG_ONLY(split_info.verify_clear();)
   927 }
   929 void PSParallelCompact::pre_compact(PreGCValues* pre_gc_values)
   930 {
   931   // Update the from & to space pointers in space_info, since they are swapped
   932   // at each young gen gc.  Do the update unconditionally (even though a
   933   // promotion failure does not swap spaces) because an unknown number of minor
   934   // collections will have swapped the spaces an unknown number of times.
   935   TraceTime tm("pre compact", print_phases(), true, gclog_or_tty);
   936   ParallelScavengeHeap* heap = gc_heap();
   937   _space_info[from_space_id].set_space(heap->young_gen()->from_space());
   938   _space_info[to_space_id].set_space(heap->young_gen()->to_space());
   940   pre_gc_values->fill(heap);
   942   ParCompactionManager::reset();
   943   NOT_PRODUCT(_mark_bitmap.reset_counters());
   944   DEBUG_ONLY(add_obj_count = add_obj_size = 0;)
   945   DEBUG_ONLY(mark_bitmap_count = mark_bitmap_size = 0;)
   947   // Increment the invocation count
   948   heap->increment_total_collections(true);
   950   // We need to track unique mark sweep invocations as well.
   951   _total_invocations++;
   953   if (PrintHeapAtGC) {
   954     Universe::print_heap_before_gc();
   955   }
   957   // Fill in TLABs
   958   heap->accumulate_statistics_all_tlabs();
   959   heap->ensure_parsability(true);  // retire TLABs
   961   if (VerifyBeforeGC && heap->total_collections() >= VerifyGCStartAt) {
   962     HandleMark hm;  // Discard invalid handles created during verification
   963     gclog_or_tty->print(" VerifyBeforeGC:");
   964     Universe::verify(true);
   965   }
   967   // Verify object start arrays
   968   if (VerifyObjectStartArray &&
   969       VerifyBeforeGC) {
   970     heap->old_gen()->verify_object_start_array();
   971     heap->perm_gen()->verify_object_start_array();
   972   }
   974   DEBUG_ONLY(mark_bitmap()->verify_clear();)
   975   DEBUG_ONLY(summary_data().verify_clear();)
   977   // Have worker threads release resources the next time they run a task.
   978   gc_task_manager()->release_all_resources();
   979 }
   981 void PSParallelCompact::post_compact()
   982 {
   983   TraceTime tm("post compact", print_phases(), true, gclog_or_tty);
   985   for (unsigned int id = perm_space_id; id < last_space_id; ++id) {
   986     // Clear the marking bitmap, summary data and split info.
   987     clear_data_covering_space(SpaceId(id));
   988     // Update top().  Must be done after clearing the bitmap and summary data.
   989     _space_info[id].publish_new_top();
   990   }
   992   MutableSpace* const eden_space = _space_info[eden_space_id].space();
   993   MutableSpace* const from_space = _space_info[from_space_id].space();
   994   MutableSpace* const to_space   = _space_info[to_space_id].space();
   996   ParallelScavengeHeap* heap = gc_heap();
   997   bool eden_empty = eden_space->is_empty();
   998   if (!eden_empty) {
   999     eden_empty = absorb_live_data_from_eden(heap->size_policy(),
  1000                                             heap->young_gen(), heap->old_gen());
  1003   // Update heap occupancy information which is used as input to the soft ref
  1004   // clearing policy at the next gc.
  1005   Universe::update_heap_info_at_gc();
  1007   bool young_gen_empty = eden_empty && from_space->is_empty() &&
  1008     to_space->is_empty();
  1010   BarrierSet* bs = heap->barrier_set();
  1011   if (bs->is_a(BarrierSet::ModRef)) {
  1012     ModRefBarrierSet* modBS = (ModRefBarrierSet*)bs;
  1013     MemRegion old_mr = heap->old_gen()->reserved();
  1014     MemRegion perm_mr = heap->perm_gen()->reserved();
  1015     assert(perm_mr.end() <= old_mr.start(), "Generations out of order");
  1017     if (young_gen_empty) {
  1018       modBS->clear(MemRegion(perm_mr.start(), old_mr.end()));
  1019     } else {
  1020       modBS->invalidate(MemRegion(perm_mr.start(), old_mr.end()));
  1024   Threads::gc_epilogue();
  1025   CodeCache::gc_epilogue();
  1027   COMPILER2_PRESENT(DerivedPointerTable::update_pointers());
  1029   ref_processor()->enqueue_discovered_references(NULL);
  1031   if (ZapUnusedHeapArea) {
  1032     heap->gen_mangle_unused_area();
  1035   // Update time of last GC
  1036   reset_millis_since_last_gc();
  1039 HeapWord*
  1040 PSParallelCompact::compute_dense_prefix_via_density(const SpaceId id,
  1041                                                     bool maximum_compaction)
  1043   const size_t region_size = ParallelCompactData::RegionSize;
  1044   const ParallelCompactData& sd = summary_data();
  1046   const MutableSpace* const space = _space_info[id].space();
  1047   HeapWord* const top_aligned_up = sd.region_align_up(space->top());
  1048   const RegionData* const beg_cp = sd.addr_to_region_ptr(space->bottom());
  1049   const RegionData* const end_cp = sd.addr_to_region_ptr(top_aligned_up);
  1051   // Skip full regions at the beginning of the space--they are necessarily part
  1052   // of the dense prefix.
  1053   size_t full_count = 0;
  1054   const RegionData* cp;
  1055   for (cp = beg_cp; cp < end_cp && cp->data_size() == region_size; ++cp) {
  1056     ++full_count;
  1059   assert(total_invocations() >= _maximum_compaction_gc_num, "sanity");
  1060   const size_t gcs_since_max = total_invocations() - _maximum_compaction_gc_num;
  1061   const bool interval_ended = gcs_since_max > HeapMaximumCompactionInterval;
  1062   if (maximum_compaction || cp == end_cp || interval_ended) {
  1063     _maximum_compaction_gc_num = total_invocations();
  1064     return sd.region_to_addr(cp);
  1067   HeapWord* const new_top = _space_info[id].new_top();
  1068   const size_t space_live = pointer_delta(new_top, space->bottom());
  1069   const size_t space_used = space->used_in_words();
  1070   const size_t space_capacity = space->capacity_in_words();
  1072   const double cur_density = double(space_live) / space_capacity;
  1073   const double deadwood_density =
  1074     (1.0 - cur_density) * (1.0 - cur_density) * cur_density * cur_density;
  1075   const size_t deadwood_goal = size_t(space_capacity * deadwood_density);
  1077   if (TraceParallelOldGCDensePrefix) {
  1078     tty->print_cr("cur_dens=%5.3f dw_dens=%5.3f dw_goal=" SIZE_FORMAT,
  1079                   cur_density, deadwood_density, deadwood_goal);
  1080     tty->print_cr("space_live=" SIZE_FORMAT " " "space_used=" SIZE_FORMAT " "
  1081                   "space_cap=" SIZE_FORMAT,
  1082                   space_live, space_used,
  1083                   space_capacity);
  1086   // XXX - Use binary search?
  1087   HeapWord* dense_prefix = sd.region_to_addr(cp);
  1088   const RegionData* full_cp = cp;
  1089   const RegionData* const top_cp = sd.addr_to_region_ptr(space->top() - 1);
  1090   while (cp < end_cp) {
  1091     HeapWord* region_destination = cp->destination();
  1092     const size_t cur_deadwood = pointer_delta(dense_prefix, region_destination);
  1093     if (TraceParallelOldGCDensePrefix && Verbose) {
  1094       tty->print_cr("c#=" SIZE_FORMAT_W(4) " dst=" PTR_FORMAT " "
  1095                     "dp=" SIZE_FORMAT_W(8) " " "cdw=" SIZE_FORMAT_W(8),
  1096                     sd.region(cp), region_destination,
  1097                     dense_prefix, cur_deadwood);
  1100     if (cur_deadwood >= deadwood_goal) {
  1101       // Found the region that has the correct amount of deadwood to the left.
  1102       // This typically occurs after crossing a fairly sparse set of regions, so
  1103       // iterate backwards over those sparse regions, looking for the region
  1104       // that has the lowest density of live objects 'to the right.'
  1105       size_t space_to_left = sd.region(cp) * region_size;
  1106       size_t live_to_left = space_to_left - cur_deadwood;
  1107       size_t space_to_right = space_capacity - space_to_left;
  1108       size_t live_to_right = space_live - live_to_left;
  1109       double density_to_right = double(live_to_right) / space_to_right;
  1110       while (cp > full_cp) {
  1111         --cp;
  1112         const size_t prev_region_live_to_right = live_to_right -
  1113           cp->data_size();
  1114         const size_t prev_region_space_to_right = space_to_right + region_size;
  1115         double prev_region_density_to_right =
  1116           double(prev_region_live_to_right) / prev_region_space_to_right;
  1117         if (density_to_right <= prev_region_density_to_right) {
  1118           return dense_prefix;
  1120         if (TraceParallelOldGCDensePrefix && Verbose) {
  1121           tty->print_cr("backing up from c=" SIZE_FORMAT_W(4) " d2r=%10.8f "
  1122                         "pc_d2r=%10.8f", sd.region(cp), density_to_right,
  1123                         prev_region_density_to_right);
  1125         dense_prefix -= region_size;
  1126         live_to_right = prev_region_live_to_right;
  1127         space_to_right = prev_region_space_to_right;
  1128         density_to_right = prev_region_density_to_right;
  1130       return dense_prefix;
  1133     dense_prefix += region_size;
  1134     ++cp;
  1137   return dense_prefix;
  1140 #ifndef PRODUCT
  1141 void PSParallelCompact::print_dense_prefix_stats(const char* const algorithm,
  1142                                                  const SpaceId id,
  1143                                                  const bool maximum_compaction,
  1144                                                  HeapWord* const addr)
  1146   const size_t region_idx = summary_data().addr_to_region_idx(addr);
  1147   RegionData* const cp = summary_data().region(region_idx);
  1148   const MutableSpace* const space = _space_info[id].space();
  1149   HeapWord* const new_top = _space_info[id].new_top();
  1151   const size_t space_live = pointer_delta(new_top, space->bottom());
  1152   const size_t dead_to_left = pointer_delta(addr, cp->destination());
  1153   const size_t space_cap = space->capacity_in_words();
  1154   const double dead_to_left_pct = double(dead_to_left) / space_cap;
  1155   const size_t live_to_right = new_top - cp->destination();
  1156   const size_t dead_to_right = space->top() - addr - live_to_right;
  1158   tty->print_cr("%s=" PTR_FORMAT " dpc=" SIZE_FORMAT_W(5) " "
  1159                 "spl=" SIZE_FORMAT " "
  1160                 "d2l=" SIZE_FORMAT " d2l%%=%6.4f "
  1161                 "d2r=" SIZE_FORMAT " l2r=" SIZE_FORMAT
  1162                 " ratio=%10.8f",
  1163                 algorithm, addr, region_idx,
  1164                 space_live,
  1165                 dead_to_left, dead_to_left_pct,
  1166                 dead_to_right, live_to_right,
  1167                 double(dead_to_right) / live_to_right);
  1169 #endif  // #ifndef PRODUCT
  1171 // Return a fraction indicating how much of the generation can be treated as
  1172 // "dead wood" (i.e., not reclaimed).  The function uses a normal distribution
  1173 // based on the density of live objects in the generation to determine a limit,
  1174 // which is then adjusted so the return value is min_percent when the density is
  1175 // 1.
  1176 //
  1177 // The following table shows some return values for a different values of the
  1178 // standard deviation (ParallelOldDeadWoodLimiterStdDev); the mean is 0.5 and
  1179 // min_percent is 1.
  1180 //
  1181 //                          fraction allowed as dead wood
  1182 //         -----------------------------------------------------------------
  1183 // density std_dev=70 std_dev=75 std_dev=80 std_dev=85 std_dev=90 std_dev=95
  1184 // ------- ---------- ---------- ---------- ---------- ---------- ----------
  1185 // 0.00000 0.01000000 0.01000000 0.01000000 0.01000000 0.01000000 0.01000000
  1186 // 0.05000 0.03193096 0.02836880 0.02550828 0.02319280 0.02130337 0.01974941
  1187 // 0.10000 0.05247504 0.04547452 0.03988045 0.03537016 0.03170171 0.02869272
  1188 // 0.15000 0.07135702 0.06111390 0.05296419 0.04641639 0.04110601 0.03676066
  1189 // 0.20000 0.08831616 0.07509618 0.06461766 0.05622444 0.04943437 0.04388975
  1190 // 0.25000 0.10311208 0.08724696 0.07471205 0.06469760 0.05661313 0.05002313
  1191 // 0.30000 0.11553050 0.09741183 0.08313394 0.07175114 0.06257797 0.05511132
  1192 // 0.35000 0.12538832 0.10545958 0.08978741 0.07731366 0.06727491 0.05911289
  1193 // 0.40000 0.13253818 0.11128511 0.09459590 0.08132834 0.07066107 0.06199500
  1194 // 0.45000 0.13687208 0.11481163 0.09750361 0.08375387 0.07270534 0.06373386
  1195 // 0.50000 0.13832410 0.11599237 0.09847664 0.08456518 0.07338887 0.06431510
  1196 // 0.55000 0.13687208 0.11481163 0.09750361 0.08375387 0.07270534 0.06373386
  1197 // 0.60000 0.13253818 0.11128511 0.09459590 0.08132834 0.07066107 0.06199500
  1198 // 0.65000 0.12538832 0.10545958 0.08978741 0.07731366 0.06727491 0.05911289
  1199 // 0.70000 0.11553050 0.09741183 0.08313394 0.07175114 0.06257797 0.05511132
  1200 // 0.75000 0.10311208 0.08724696 0.07471205 0.06469760 0.05661313 0.05002313
  1201 // 0.80000 0.08831616 0.07509618 0.06461766 0.05622444 0.04943437 0.04388975
  1202 // 0.85000 0.07135702 0.06111390 0.05296419 0.04641639 0.04110601 0.03676066
  1203 // 0.90000 0.05247504 0.04547452 0.03988045 0.03537016 0.03170171 0.02869272
  1204 // 0.95000 0.03193096 0.02836880 0.02550828 0.02319280 0.02130337 0.01974941
  1205 // 1.00000 0.01000000 0.01000000 0.01000000 0.01000000 0.01000000 0.01000000
  1207 double PSParallelCompact::dead_wood_limiter(double density, size_t min_percent)
  1209   assert(_dwl_initialized, "uninitialized");
  1211   // The raw limit is the value of the normal distribution at x = density.
  1212   const double raw_limit = normal_distribution(density);
  1214   // Adjust the raw limit so it becomes the minimum when the density is 1.
  1215   //
  1216   // First subtract the adjustment value (which is simply the precomputed value
  1217   // normal_distribution(1.0)); this yields a value of 0 when the density is 1.
  1218   // Then add the minimum value, so the minimum is returned when the density is
  1219   // 1.  Finally, prevent negative values, which occur when the mean is not 0.5.
  1220   const double min = double(min_percent) / 100.0;
  1221   const double limit = raw_limit - _dwl_adjustment + min;
  1222   return MAX2(limit, 0.0);
  1225 ParallelCompactData::RegionData*
  1226 PSParallelCompact::first_dead_space_region(const RegionData* beg,
  1227                                            const RegionData* end)
  1229   const size_t region_size = ParallelCompactData::RegionSize;
  1230   ParallelCompactData& sd = summary_data();
  1231   size_t left = sd.region(beg);
  1232   size_t right = end > beg ? sd.region(end) - 1 : left;
  1234   // Binary search.
  1235   while (left < right) {
  1236     // Equivalent to (left + right) / 2, but does not overflow.
  1237     const size_t middle = left + (right - left) / 2;
  1238     RegionData* const middle_ptr = sd.region(middle);
  1239     HeapWord* const dest = middle_ptr->destination();
  1240     HeapWord* const addr = sd.region_to_addr(middle);
  1241     assert(dest != NULL, "sanity");
  1242     assert(dest <= addr, "must move left");
  1244     if (middle > left && dest < addr) {
  1245       right = middle - 1;
  1246     } else if (middle < right && middle_ptr->data_size() == region_size) {
  1247       left = middle + 1;
  1248     } else {
  1249       return middle_ptr;
  1252   return sd.region(left);
  1255 ParallelCompactData::RegionData*
  1256 PSParallelCompact::dead_wood_limit_region(const RegionData* beg,
  1257                                           const RegionData* end,
  1258                                           size_t dead_words)
  1260   ParallelCompactData& sd = summary_data();
  1261   size_t left = sd.region(beg);
  1262   size_t right = end > beg ? sd.region(end) - 1 : left;
  1264   // Binary search.
  1265   while (left < right) {
  1266     // Equivalent to (left + right) / 2, but does not overflow.
  1267     const size_t middle = left + (right - left) / 2;
  1268     RegionData* const middle_ptr = sd.region(middle);
  1269     HeapWord* const dest = middle_ptr->destination();
  1270     HeapWord* const addr = sd.region_to_addr(middle);
  1271     assert(dest != NULL, "sanity");
  1272     assert(dest <= addr, "must move left");
  1274     const size_t dead_to_left = pointer_delta(addr, dest);
  1275     if (middle > left && dead_to_left > dead_words) {
  1276       right = middle - 1;
  1277     } else if (middle < right && dead_to_left < dead_words) {
  1278       left = middle + 1;
  1279     } else {
  1280       return middle_ptr;
  1283   return sd.region(left);
  1286 // The result is valid during the summary phase, after the initial summarization
  1287 // of each space into itself, and before final summarization.
  1288 inline double
  1289 PSParallelCompact::reclaimed_ratio(const RegionData* const cp,
  1290                                    HeapWord* const bottom,
  1291                                    HeapWord* const top,
  1292                                    HeapWord* const new_top)
  1294   ParallelCompactData& sd = summary_data();
  1296   assert(cp != NULL, "sanity");
  1297   assert(bottom != NULL, "sanity");
  1298   assert(top != NULL, "sanity");
  1299   assert(new_top != NULL, "sanity");
  1300   assert(top >= new_top, "summary data problem?");
  1301   assert(new_top > bottom, "space is empty; should not be here");
  1302   assert(new_top >= cp->destination(), "sanity");
  1303   assert(top >= sd.region_to_addr(cp), "sanity");
  1305   HeapWord* const destination = cp->destination();
  1306   const size_t dense_prefix_live  = pointer_delta(destination, bottom);
  1307   const size_t compacted_region_live = pointer_delta(new_top, destination);
  1308   const size_t compacted_region_used = pointer_delta(top,
  1309                                                      sd.region_to_addr(cp));
  1310   const size_t reclaimable = compacted_region_used - compacted_region_live;
  1312   const double divisor = dense_prefix_live + 1.25 * compacted_region_live;
  1313   return double(reclaimable) / divisor;
  1316 // Return the address of the end of the dense prefix, a.k.a. the start of the
  1317 // compacted region.  The address is always on a region boundary.
  1318 //
  1319 // Completely full regions at the left are skipped, since no compaction can
  1320 // occur in those regions.  Then the maximum amount of dead wood to allow is
  1321 // computed, based on the density (amount live / capacity) of the generation;
  1322 // the region with approximately that amount of dead space to the left is
  1323 // identified as the limit region.  Regions between the last completely full
  1324 // region and the limit region are scanned and the one that has the best
  1325 // (maximum) reclaimed_ratio() is selected.
  1326 HeapWord*
  1327 PSParallelCompact::compute_dense_prefix(const SpaceId id,
  1328                                         bool maximum_compaction)
  1330   if (ParallelOldGCSplitALot) {
  1331     if (_space_info[id].dense_prefix() != _space_info[id].space()->bottom()) {
  1332       // The value was chosen to provoke splitting a young gen space; use it.
  1333       return _space_info[id].dense_prefix();
  1337   const size_t region_size = ParallelCompactData::RegionSize;
  1338   const ParallelCompactData& sd = summary_data();
  1340   const MutableSpace* const space = _space_info[id].space();
  1341   HeapWord* const top = space->top();
  1342   HeapWord* const top_aligned_up = sd.region_align_up(top);
  1343   HeapWord* const new_top = _space_info[id].new_top();
  1344   HeapWord* const new_top_aligned_up = sd.region_align_up(new_top);
  1345   HeapWord* const bottom = space->bottom();
  1346   const RegionData* const beg_cp = sd.addr_to_region_ptr(bottom);
  1347   const RegionData* const top_cp = sd.addr_to_region_ptr(top_aligned_up);
  1348   const RegionData* const new_top_cp =
  1349     sd.addr_to_region_ptr(new_top_aligned_up);
  1351   // Skip full regions at the beginning of the space--they are necessarily part
  1352   // of the dense prefix.
  1353   const RegionData* const full_cp = first_dead_space_region(beg_cp, new_top_cp);
  1354   assert(full_cp->destination() == sd.region_to_addr(full_cp) ||
  1355          space->is_empty(), "no dead space allowed to the left");
  1356   assert(full_cp->data_size() < region_size || full_cp == new_top_cp - 1,
  1357          "region must have dead space");
  1359   // The gc number is saved whenever a maximum compaction is done, and used to
  1360   // determine when the maximum compaction interval has expired.  This avoids
  1361   // successive max compactions for different reasons.
  1362   assert(total_invocations() >= _maximum_compaction_gc_num, "sanity");
  1363   const size_t gcs_since_max = total_invocations() - _maximum_compaction_gc_num;
  1364   const bool interval_ended = gcs_since_max > HeapMaximumCompactionInterval ||
  1365     total_invocations() == HeapFirstMaximumCompactionCount;
  1366   if (maximum_compaction || full_cp == top_cp || interval_ended) {
  1367     _maximum_compaction_gc_num = total_invocations();
  1368     return sd.region_to_addr(full_cp);
  1371   const size_t space_live = pointer_delta(new_top, bottom);
  1372   const size_t space_used = space->used_in_words();
  1373   const size_t space_capacity = space->capacity_in_words();
  1375   const double density = double(space_live) / double(space_capacity);
  1376   const size_t min_percent_free =
  1377           id == perm_space_id ? PermMarkSweepDeadRatio : MarkSweepDeadRatio;
  1378   const double limiter = dead_wood_limiter(density, min_percent_free);
  1379   const size_t dead_wood_max = space_used - space_live;
  1380   const size_t dead_wood_limit = MIN2(size_t(space_capacity * limiter),
  1381                                       dead_wood_max);
  1383   if (TraceParallelOldGCDensePrefix) {
  1384     tty->print_cr("space_live=" SIZE_FORMAT " " "space_used=" SIZE_FORMAT " "
  1385                   "space_cap=" SIZE_FORMAT,
  1386                   space_live, space_used,
  1387                   space_capacity);
  1388     tty->print_cr("dead_wood_limiter(%6.4f, %d)=%6.4f "
  1389                   "dead_wood_max=" SIZE_FORMAT " dead_wood_limit=" SIZE_FORMAT,
  1390                   density, min_percent_free, limiter,
  1391                   dead_wood_max, dead_wood_limit);
  1394   // Locate the region with the desired amount of dead space to the left.
  1395   const RegionData* const limit_cp =
  1396     dead_wood_limit_region(full_cp, top_cp, dead_wood_limit);
  1398   // Scan from the first region with dead space to the limit region and find the
  1399   // one with the best (largest) reclaimed ratio.
  1400   double best_ratio = 0.0;
  1401   const RegionData* best_cp = full_cp;
  1402   for (const RegionData* cp = full_cp; cp < limit_cp; ++cp) {
  1403     double tmp_ratio = reclaimed_ratio(cp, bottom, top, new_top);
  1404     if (tmp_ratio > best_ratio) {
  1405       best_cp = cp;
  1406       best_ratio = tmp_ratio;
  1410 #if     0
  1411   // Something to consider:  if the region with the best ratio is 'close to' the
  1412   // first region w/free space, choose the first region with free space
  1413   // ("first-free").  The first-free region is usually near the start of the
  1414   // heap, which means we are copying most of the heap already, so copy a bit
  1415   // more to get complete compaction.
  1416   if (pointer_delta(best_cp, full_cp, sizeof(RegionData)) < 4) {
  1417     _maximum_compaction_gc_num = total_invocations();
  1418     best_cp = full_cp;
  1420 #endif  // #if 0
  1422   return sd.region_to_addr(best_cp);
  1425 #ifndef PRODUCT
  1426 void
  1427 PSParallelCompact::fill_with_live_objects(SpaceId id, HeapWord* const start,
  1428                                           size_t words)
  1430   if (TraceParallelOldGCSummaryPhase) {
  1431     tty->print_cr("fill_with_live_objects [" PTR_FORMAT " " PTR_FORMAT ") "
  1432                   SIZE_FORMAT, start, start + words, words);
  1435   ObjectStartArray* const start_array = _space_info[id].start_array();
  1436   CollectedHeap::fill_with_objects(start, words);
  1437   for (HeapWord* p = start; p < start + words; p += oop(p)->size()) {
  1438     _mark_bitmap.mark_obj(p, words);
  1439     _summary_data.add_obj(p, words);
  1440     start_array->allocate_block(p);
  1444 void
  1445 PSParallelCompact::summarize_new_objects(SpaceId id, HeapWord* start)
  1447   ParallelCompactData& sd = summary_data();
  1448   MutableSpace* space = _space_info[id].space();
  1450   // Find the source and destination start addresses.
  1451   HeapWord* const src_addr = sd.region_align_down(start);
  1452   HeapWord* dst_addr;
  1453   if (src_addr < start) {
  1454     dst_addr = sd.addr_to_region_ptr(src_addr)->destination();
  1455   } else if (src_addr > space->bottom()) {
  1456     // The start (the original top() value) is aligned to a region boundary so
  1457     // the associated region does not have a destination.  Compute the
  1458     // destination from the previous region.
  1459     RegionData* const cp = sd.addr_to_region_ptr(src_addr) - 1;
  1460     dst_addr = cp->destination() + cp->data_size();
  1461   } else {
  1462     // Filling the entire space.
  1463     dst_addr = space->bottom();
  1465   assert(dst_addr != NULL, "sanity");
  1467   // Update the summary data.
  1468   bool result = _summary_data.summarize(_space_info[id].split_info(),
  1469                                         src_addr, space->top(), NULL,
  1470                                         dst_addr, space->end(),
  1471                                         _space_info[id].new_top_addr());
  1472   assert(result, "should not fail:  bad filler object size");
  1475 void
  1476 PSParallelCompact::provoke_split_fill_survivor(SpaceId id)
  1478   if (total_invocations() % (ParallelOldGCSplitInterval * 3) != 0) {
  1479     return;
  1482   MutableSpace* const space = _space_info[id].space();
  1483   if (space->is_empty()) {
  1484     HeapWord* b = space->bottom();
  1485     HeapWord* t = b + space->capacity_in_words() / 2;
  1486     space->set_top(t);
  1487     if (ZapUnusedHeapArea) {
  1488       space->set_top_for_allocations();
  1491     size_t min_size = CollectedHeap::min_fill_size();
  1492     size_t obj_len = min_size;
  1493     while (b + obj_len <= t) {
  1494       CollectedHeap::fill_with_object(b, obj_len);
  1495       mark_bitmap()->mark_obj(b, obj_len);
  1496       summary_data().add_obj(b, obj_len);
  1497       b += obj_len;
  1498       obj_len = (obj_len & (min_size*3)) + min_size; // 8 16 24 32 8 16 24 32 ...
  1500     if (b < t) {
  1501       // The loop didn't completely fill to t (top); adjust top downward.
  1502       space->set_top(b);
  1503       if (ZapUnusedHeapArea) {
  1504         space->set_top_for_allocations();
  1508     HeapWord** nta = _space_info[id].new_top_addr();
  1509     bool result = summary_data().summarize(_space_info[id].split_info(),
  1510                                            space->bottom(), space->top(), NULL,
  1511                                            space->bottom(), space->end(), nta);
  1512     assert(result, "space must fit into itself");
  1516 void
  1517 PSParallelCompact::provoke_split(bool & max_compaction)
  1519   if (total_invocations() % ParallelOldGCSplitInterval != 0) {
  1520     return;
  1523   const size_t region_size = ParallelCompactData::RegionSize;
  1524   ParallelCompactData& sd = summary_data();
  1526   MutableSpace* const eden_space = _space_info[eden_space_id].space();
  1527   MutableSpace* const from_space = _space_info[from_space_id].space();
  1528   const size_t eden_live = pointer_delta(eden_space->top(),
  1529                                          _space_info[eden_space_id].new_top());
  1530   const size_t from_live = pointer_delta(from_space->top(),
  1531                                          _space_info[from_space_id].new_top());
  1533   const size_t min_fill_size = CollectedHeap::min_fill_size();
  1534   const size_t eden_free = pointer_delta(eden_space->end(), eden_space->top());
  1535   const size_t eden_fillable = eden_free >= min_fill_size ? eden_free : 0;
  1536   const size_t from_free = pointer_delta(from_space->end(), from_space->top());
  1537   const size_t from_fillable = from_free >= min_fill_size ? from_free : 0;
  1539   // Choose the space to split; need at least 2 regions live (or fillable).
  1540   SpaceId id;
  1541   MutableSpace* space;
  1542   size_t live_words;
  1543   size_t fill_words;
  1544   if (eden_live + eden_fillable >= region_size * 2) {
  1545     id = eden_space_id;
  1546     space = eden_space;
  1547     live_words = eden_live;
  1548     fill_words = eden_fillable;
  1549   } else if (from_live + from_fillable >= region_size * 2) {
  1550     id = from_space_id;
  1551     space = from_space;
  1552     live_words = from_live;
  1553     fill_words = from_fillable;
  1554   } else {
  1555     return; // Give up.
  1557   assert(fill_words == 0 || fill_words >= min_fill_size, "sanity");
  1559   if (live_words < region_size * 2) {
  1560     // Fill from top() to end() w/live objects of mixed sizes.
  1561     HeapWord* const fill_start = space->top();
  1562     live_words += fill_words;
  1564     space->set_top(fill_start + fill_words);
  1565     if (ZapUnusedHeapArea) {
  1566       space->set_top_for_allocations();
  1569     HeapWord* cur_addr = fill_start;
  1570     while (fill_words > 0) {
  1571       const size_t r = (size_t)os::random() % (region_size / 2) + min_fill_size;
  1572       size_t cur_size = MIN2(align_object_size_(r), fill_words);
  1573       if (fill_words - cur_size < min_fill_size) {
  1574         cur_size = fill_words; // Avoid leaving a fragment too small to fill.
  1577       CollectedHeap::fill_with_object(cur_addr, cur_size);
  1578       mark_bitmap()->mark_obj(cur_addr, cur_size);
  1579       sd.add_obj(cur_addr, cur_size);
  1581       cur_addr += cur_size;
  1582       fill_words -= cur_size;
  1585     summarize_new_objects(id, fill_start);
  1588   max_compaction = false;
  1590   // Manipulate the old gen so that it has room for about half of the live data
  1591   // in the target young gen space (live_words / 2).
  1592   id = old_space_id;
  1593   space = _space_info[id].space();
  1594   const size_t free_at_end = space->free_in_words();
  1595   const size_t free_target = align_object_size(live_words / 2);
  1596   const size_t dead = pointer_delta(space->top(), _space_info[id].new_top());
  1598   if (free_at_end >= free_target + min_fill_size) {
  1599     // Fill space above top() and set the dense prefix so everything survives.
  1600     HeapWord* const fill_start = space->top();
  1601     const size_t fill_size = free_at_end - free_target;
  1602     space->set_top(space->top() + fill_size);
  1603     if (ZapUnusedHeapArea) {
  1604       space->set_top_for_allocations();
  1606     fill_with_live_objects(id, fill_start, fill_size);
  1607     summarize_new_objects(id, fill_start);
  1608     _space_info[id].set_dense_prefix(sd.region_align_down(space->top()));
  1609   } else if (dead + free_at_end > free_target) {
  1610     // Find a dense prefix that makes the right amount of space available.
  1611     HeapWord* cur = sd.region_align_down(space->top());
  1612     HeapWord* cur_destination = sd.addr_to_region_ptr(cur)->destination();
  1613     size_t dead_to_right = pointer_delta(space->end(), cur_destination);
  1614     while (dead_to_right < free_target) {
  1615       cur -= region_size;
  1616       cur_destination = sd.addr_to_region_ptr(cur)->destination();
  1617       dead_to_right = pointer_delta(space->end(), cur_destination);
  1619     _space_info[id].set_dense_prefix(cur);
  1622 #endif // #ifndef PRODUCT
  1624 void PSParallelCompact::summarize_spaces_quick()
  1626   for (unsigned int i = 0; i < last_space_id; ++i) {
  1627     const MutableSpace* space = _space_info[i].space();
  1628     HeapWord** nta = _space_info[i].new_top_addr();
  1629     bool result = _summary_data.summarize(_space_info[i].split_info(),
  1630                                           space->bottom(), space->top(), NULL,
  1631                                           space->bottom(), space->end(), nta);
  1632     assert(result, "space must fit into itself");
  1633     _space_info[i].set_dense_prefix(space->bottom());
  1636 #ifndef PRODUCT
  1637   if (ParallelOldGCSplitALot) {
  1638     provoke_split_fill_survivor(to_space_id);
  1640 #endif // #ifndef PRODUCT
  1643 void PSParallelCompact::fill_dense_prefix_end(SpaceId id)
  1645   HeapWord* const dense_prefix_end = dense_prefix(id);
  1646   const RegionData* region = _summary_data.addr_to_region_ptr(dense_prefix_end);
  1647   const idx_t dense_prefix_bit = _mark_bitmap.addr_to_bit(dense_prefix_end);
  1648   if (dead_space_crosses_boundary(region, dense_prefix_bit)) {
  1649     // Only enough dead space is filled so that any remaining dead space to the
  1650     // left is larger than the minimum filler object.  (The remainder is filled
  1651     // during the copy/update phase.)
  1652     //
  1653     // The size of the dead space to the right of the boundary is not a
  1654     // concern, since compaction will be able to use whatever space is
  1655     // available.
  1656     //
  1657     // Here '||' is the boundary, 'x' represents a don't care bit and a box
  1658     // surrounds the space to be filled with an object.
  1659     //
  1660     // In the 32-bit VM, each bit represents two 32-bit words:
  1661     //                              +---+
  1662     // a) beg_bits:  ...  x   x   x | 0 | ||   0   x  x  ...
  1663     //    end_bits:  ...  x   x   x | 0 | ||   0   x  x  ...
  1664     //                              +---+
  1665     //
  1666     // In the 64-bit VM, each bit represents one 64-bit word:
  1667     //                              +------------+
  1668     // b) beg_bits:  ...  x   x   x | 0   ||   0 | x  x  ...
  1669     //    end_bits:  ...  x   x   1 | 0   ||   0 | x  x  ...
  1670     //                              +------------+
  1671     //                          +-------+
  1672     // c) beg_bits:  ...  x   x | 0   0 | ||   0   x  x  ...
  1673     //    end_bits:  ...  x   1 | 0   0 | ||   0   x  x  ...
  1674     //                          +-------+
  1675     //                      +-----------+
  1676     // d) beg_bits:  ...  x | 0   0   0 | ||   0   x  x  ...
  1677     //    end_bits:  ...  1 | 0   0   0 | ||   0   x  x  ...
  1678     //                      +-----------+
  1679     //                          +-------+
  1680     // e) beg_bits:  ...  0   0 | 0   0 | ||   0   x  x  ...
  1681     //    end_bits:  ...  0   0 | 0   0 | ||   0   x  x  ...
  1682     //                          +-------+
  1684     // Initially assume case a, c or e will apply.
  1685     size_t obj_len = CollectedHeap::min_fill_size();
  1686     HeapWord* obj_beg = dense_prefix_end - obj_len;
  1688 #ifdef  _LP64
  1689     if (MinObjAlignment > 1) { // object alignment > heap word size
  1690       // Cases a, c or e.
  1691     } else if (_mark_bitmap.is_obj_end(dense_prefix_bit - 2)) {
  1692       // Case b above.
  1693       obj_beg = dense_prefix_end - 1;
  1694     } else if (!_mark_bitmap.is_obj_end(dense_prefix_bit - 3) &&
  1695                _mark_bitmap.is_obj_end(dense_prefix_bit - 4)) {
  1696       // Case d above.
  1697       obj_beg = dense_prefix_end - 3;
  1698       obj_len = 3;
  1700 #endif  // #ifdef _LP64
  1702     CollectedHeap::fill_with_object(obj_beg, obj_len);
  1703     _mark_bitmap.mark_obj(obj_beg, obj_len);
  1704     _summary_data.add_obj(obj_beg, obj_len);
  1705     assert(start_array(id) != NULL, "sanity");
  1706     start_array(id)->allocate_block(obj_beg);
  1710 void
  1711 PSParallelCompact::clear_source_region(HeapWord* beg_addr, HeapWord* end_addr)
  1713   RegionData* const beg_ptr = _summary_data.addr_to_region_ptr(beg_addr);
  1714   HeapWord* const end_aligned_up = _summary_data.region_align_up(end_addr);
  1715   RegionData* const end_ptr = _summary_data.addr_to_region_ptr(end_aligned_up);
  1716   for (RegionData* cur = beg_ptr; cur < end_ptr; ++cur) {
  1717     cur->set_source_region(0);
  1721 void
  1722 PSParallelCompact::summarize_space(SpaceId id, bool maximum_compaction)
  1724   assert(id < last_space_id, "id out of range");
  1725   assert(_space_info[id].dense_prefix() == _space_info[id].space()->bottom() ||
  1726          ParallelOldGCSplitALot && id == old_space_id,
  1727          "should have been reset in summarize_spaces_quick()");
  1729   const MutableSpace* space = _space_info[id].space();
  1730   if (_space_info[id].new_top() != space->bottom()) {
  1731     HeapWord* dense_prefix_end = compute_dense_prefix(id, maximum_compaction);
  1732     _space_info[id].set_dense_prefix(dense_prefix_end);
  1734 #ifndef PRODUCT
  1735     if (TraceParallelOldGCDensePrefix) {
  1736       print_dense_prefix_stats("ratio", id, maximum_compaction,
  1737                                dense_prefix_end);
  1738       HeapWord* addr = compute_dense_prefix_via_density(id, maximum_compaction);
  1739       print_dense_prefix_stats("density", id, maximum_compaction, addr);
  1741 #endif  // #ifndef PRODUCT
  1743     // Recompute the summary data, taking into account the dense prefix.  If
  1744     // every last byte will be reclaimed, then the existing summary data which
  1745     // compacts everything can be left in place.
  1746     if (!maximum_compaction && dense_prefix_end != space->bottom()) {
  1747       // If dead space crosses the dense prefix boundary, it is (at least
  1748       // partially) filled with a dummy object, marked live and added to the
  1749       // summary data.  This simplifies the copy/update phase and must be done
  1750       // before the final locations of objects are determined, to prevent
  1751       // leaving a fragment of dead space that is too small to fill.
  1752       fill_dense_prefix_end(id);
  1754       // Compute the destination of each Region, and thus each object.
  1755       _summary_data.summarize_dense_prefix(space->bottom(), dense_prefix_end);
  1756       _summary_data.summarize(_space_info[id].split_info(),
  1757                               dense_prefix_end, space->top(), NULL,
  1758                               dense_prefix_end, space->end(),
  1759                               _space_info[id].new_top_addr());
  1763   if (TraceParallelOldGCSummaryPhase) {
  1764     const size_t region_size = ParallelCompactData::RegionSize;
  1765     HeapWord* const dense_prefix_end = _space_info[id].dense_prefix();
  1766     const size_t dp_region = _summary_data.addr_to_region_idx(dense_prefix_end);
  1767     const size_t dp_words = pointer_delta(dense_prefix_end, space->bottom());
  1768     HeapWord* const new_top = _space_info[id].new_top();
  1769     const HeapWord* nt_aligned_up = _summary_data.region_align_up(new_top);
  1770     const size_t cr_words = pointer_delta(nt_aligned_up, dense_prefix_end);
  1771     tty->print_cr("id=%d cap=" SIZE_FORMAT " dp=" PTR_FORMAT " "
  1772                   "dp_region=" SIZE_FORMAT " " "dp_count=" SIZE_FORMAT " "
  1773                   "cr_count=" SIZE_FORMAT " " "nt=" PTR_FORMAT,
  1774                   id, space->capacity_in_words(), dense_prefix_end,
  1775                   dp_region, dp_words / region_size,
  1776                   cr_words / region_size, new_top);
  1780 #ifndef PRODUCT
  1781 void PSParallelCompact::summary_phase_msg(SpaceId dst_space_id,
  1782                                           HeapWord* dst_beg, HeapWord* dst_end,
  1783                                           SpaceId src_space_id,
  1784                                           HeapWord* src_beg, HeapWord* src_end)
  1786   if (TraceParallelOldGCSummaryPhase) {
  1787     tty->print_cr("summarizing %d [%s] into %d [%s]:  "
  1788                   "src=" PTR_FORMAT "-" PTR_FORMAT " "
  1789                   SIZE_FORMAT "-" SIZE_FORMAT " "
  1790                   "dst=" PTR_FORMAT "-" PTR_FORMAT " "
  1791                   SIZE_FORMAT "-" SIZE_FORMAT,
  1792                   src_space_id, space_names[src_space_id],
  1793                   dst_space_id, space_names[dst_space_id],
  1794                   src_beg, src_end,
  1795                   _summary_data.addr_to_region_idx(src_beg),
  1796                   _summary_data.addr_to_region_idx(src_end),
  1797                   dst_beg, dst_end,
  1798                   _summary_data.addr_to_region_idx(dst_beg),
  1799                   _summary_data.addr_to_region_idx(dst_end));
  1802 #endif  // #ifndef PRODUCT
  1804 void PSParallelCompact::summary_phase(ParCompactionManager* cm,
  1805                                       bool maximum_compaction)
  1807   EventMark m("2 summarize");
  1808   TraceTime tm("summary phase", print_phases(), true, gclog_or_tty);
  1809   // trace("2");
  1811 #ifdef  ASSERT
  1812   if (TraceParallelOldGCMarkingPhase) {
  1813     tty->print_cr("add_obj_count=" SIZE_FORMAT " "
  1814                   "add_obj_bytes=" SIZE_FORMAT,
  1815                   add_obj_count, add_obj_size * HeapWordSize);
  1816     tty->print_cr("mark_bitmap_count=" SIZE_FORMAT " "
  1817                   "mark_bitmap_bytes=" SIZE_FORMAT,
  1818                   mark_bitmap_count, mark_bitmap_size * HeapWordSize);
  1820 #endif  // #ifdef ASSERT
  1822   // Quick summarization of each space into itself, to see how much is live.
  1823   summarize_spaces_quick();
  1825   if (TraceParallelOldGCSummaryPhase) {
  1826     tty->print_cr("summary_phase:  after summarizing each space to self");
  1827     Universe::print();
  1828     NOT_PRODUCT(print_region_ranges());
  1829     if (Verbose) {
  1830       NOT_PRODUCT(print_initial_summary_data(_summary_data, _space_info));
  1834   // The amount of live data that will end up in old space (assuming it fits).
  1835   size_t old_space_total_live = 0;
  1836   assert(perm_space_id < old_space_id, "should not count perm data here");
  1837   for (unsigned int id = old_space_id; id < last_space_id; ++id) {
  1838     old_space_total_live += pointer_delta(_space_info[id].new_top(),
  1839                                           _space_info[id].space()->bottom());
  1842   MutableSpace* const old_space = _space_info[old_space_id].space();
  1843   const size_t old_capacity = old_space->capacity_in_words();
  1844   if (old_space_total_live > old_capacity) {
  1845     // XXX - should also try to expand
  1846     maximum_compaction = true;
  1848 #ifndef PRODUCT
  1849   if (ParallelOldGCSplitALot && old_space_total_live < old_capacity) {
  1850     provoke_split(maximum_compaction);
  1852 #endif // #ifndef PRODUCT
  1854   // Permanent and Old generations.
  1855   summarize_space(perm_space_id, maximum_compaction);
  1856   summarize_space(old_space_id, maximum_compaction);
  1858   // Summarize the remaining spaces in the young gen.  The initial target space
  1859   // is the old gen.  If a space does not fit entirely into the target, then the
  1860   // remainder is compacted into the space itself and that space becomes the new
  1861   // target.
  1862   SpaceId dst_space_id = old_space_id;
  1863   HeapWord* dst_space_end = old_space->end();
  1864   HeapWord** new_top_addr = _space_info[dst_space_id].new_top_addr();
  1865   for (unsigned int id = eden_space_id; id < last_space_id; ++id) {
  1866     const MutableSpace* space = _space_info[id].space();
  1867     const size_t live = pointer_delta(_space_info[id].new_top(),
  1868                                       space->bottom());
  1869     const size_t available = pointer_delta(dst_space_end, *new_top_addr);
  1871     NOT_PRODUCT(summary_phase_msg(dst_space_id, *new_top_addr, dst_space_end,
  1872                                   SpaceId(id), space->bottom(), space->top());)
  1873     if (live > 0 && live <= available) {
  1874       // All the live data will fit.
  1875       bool done = _summary_data.summarize(_space_info[id].split_info(),
  1876                                           space->bottom(), space->top(),
  1877                                           NULL,
  1878                                           *new_top_addr, dst_space_end,
  1879                                           new_top_addr);
  1880       assert(done, "space must fit into old gen");
  1882       // Reset the new_top value for the space.
  1883       _space_info[id].set_new_top(space->bottom());
  1884     } else if (live > 0) {
  1885       // Attempt to fit part of the source space into the target space.
  1886       HeapWord* next_src_addr = NULL;
  1887       bool done = _summary_data.summarize(_space_info[id].split_info(),
  1888                                           space->bottom(), space->top(),
  1889                                           &next_src_addr,
  1890                                           *new_top_addr, dst_space_end,
  1891                                           new_top_addr);
  1892       assert(!done, "space should not fit into old gen");
  1893       assert(next_src_addr != NULL, "sanity");
  1895       // The source space becomes the new target, so the remainder is compacted
  1896       // within the space itself.
  1897       dst_space_id = SpaceId(id);
  1898       dst_space_end = space->end();
  1899       new_top_addr = _space_info[id].new_top_addr();
  1900       NOT_PRODUCT(summary_phase_msg(dst_space_id,
  1901                                     space->bottom(), dst_space_end,
  1902                                     SpaceId(id), next_src_addr, space->top());)
  1903       done = _summary_data.summarize(_space_info[id].split_info(),
  1904                                      next_src_addr, space->top(),
  1905                                      NULL,
  1906                                      space->bottom(), dst_space_end,
  1907                                      new_top_addr);
  1908       assert(done, "space must fit when compacted into itself");
  1909       assert(*new_top_addr <= space->top(), "usage should not grow");
  1913   if (TraceParallelOldGCSummaryPhase) {
  1914     tty->print_cr("summary_phase:  after final summarization");
  1915     Universe::print();
  1916     NOT_PRODUCT(print_region_ranges());
  1917     if (Verbose) {
  1918       NOT_PRODUCT(print_generic_summary_data(_summary_data, _space_info));
  1923 // This method should contain all heap-specific policy for invoking a full
  1924 // collection.  invoke_no_policy() will only attempt to compact the heap; it
  1925 // will do nothing further.  If we need to bail out for policy reasons, scavenge
  1926 // before full gc, or any other specialized behavior, it needs to be added here.
  1927 //
  1928 // Note that this method should only be called from the vm_thread while at a
  1929 // safepoint.
  1930 //
  1931 // Note that the all_soft_refs_clear flag in the collector policy
  1932 // may be true because this method can be called without intervening
  1933 // activity.  For example when the heap space is tight and full measure
  1934 // are being taken to free space.
  1935 void PSParallelCompact::invoke(bool maximum_heap_compaction) {
  1936   assert(SafepointSynchronize::is_at_safepoint(), "should be at safepoint");
  1937   assert(Thread::current() == (Thread*)VMThread::vm_thread(),
  1938          "should be in vm thread");
  1940   ParallelScavengeHeap* heap = gc_heap();
  1941   GCCause::Cause gc_cause = heap->gc_cause();
  1942   assert(!heap->is_gc_active(), "not reentrant");
  1944   PSAdaptiveSizePolicy* policy = heap->size_policy();
  1945   IsGCActiveMark mark;
  1947   if (ScavengeBeforeFullGC) {
  1948     PSScavenge::invoke_no_policy();
  1951   const bool clear_all_soft_refs =
  1952     heap->collector_policy()->should_clear_all_soft_refs();
  1954   PSParallelCompact::invoke_no_policy(clear_all_soft_refs ||
  1955                                       maximum_heap_compaction);
  1958 bool ParallelCompactData::region_contains(size_t region_index, HeapWord* addr) {
  1959   size_t addr_region_index = addr_to_region_idx(addr);
  1960   return region_index == addr_region_index;
  1963 // This method contains no policy. You should probably
  1964 // be calling invoke() instead.
  1965 void PSParallelCompact::invoke_no_policy(bool maximum_heap_compaction) {
  1966   assert(SafepointSynchronize::is_at_safepoint(), "must be at a safepoint");
  1967   assert(ref_processor() != NULL, "Sanity");
  1969   if (GC_locker::check_active_before_gc()) {
  1970     return;
  1973   TimeStamp marking_start;
  1974   TimeStamp compaction_start;
  1975   TimeStamp collection_exit;
  1977   ParallelScavengeHeap* heap = gc_heap();
  1978   GCCause::Cause gc_cause = heap->gc_cause();
  1979   PSYoungGen* young_gen = heap->young_gen();
  1980   PSOldGen* old_gen = heap->old_gen();
  1981   PSPermGen* perm_gen = heap->perm_gen();
  1982   PSAdaptiveSizePolicy* size_policy = heap->size_policy();
  1984   // The scope of casr should end after code that can change
  1985   // CollectorPolicy::_should_clear_all_soft_refs.
  1986   ClearedAllSoftRefs casr(maximum_heap_compaction,
  1987                           heap->collector_policy());
  1989   if (ZapUnusedHeapArea) {
  1990     // Save information needed to minimize mangling
  1991     heap->record_gen_tops_before_GC();
  1994   heap->pre_full_gc_dump();
  1996   _print_phases = PrintGCDetails && PrintParallelOldGCPhaseTimes;
  1998   // Make sure data structures are sane, make the heap parsable, and do other
  1999   // miscellaneous bookkeeping.
  2000   PreGCValues pre_gc_values;
  2001   pre_compact(&pre_gc_values);
  2003   // Get the compaction manager reserved for the VM thread.
  2004   ParCompactionManager* const vmthread_cm =
  2005     ParCompactionManager::manager_array(gc_task_manager()->workers());
  2007   // Place after pre_compact() where the number of invocations is incremented.
  2008   AdaptiveSizePolicyOutput(size_policy, heap->total_collections());
  2011     ResourceMark rm;
  2012     HandleMark hm;
  2014     const bool is_system_gc = gc_cause == GCCause::_java_lang_system_gc;
  2016     // This is useful for debugging but don't change the output the
  2017     // the customer sees.
  2018     const char* gc_cause_str = "Full GC";
  2019     if (is_system_gc && PrintGCDetails) {
  2020       gc_cause_str = "Full GC (System)";
  2022     gclog_or_tty->date_stamp(PrintGC && PrintGCDateStamps);
  2023     TraceCPUTime tcpu(PrintGCDetails, true, gclog_or_tty);
  2024     TraceTime t1(gc_cause_str, PrintGC, !PrintGCDetails, gclog_or_tty);
  2025     TraceCollectorStats tcs(counters());
  2026     TraceMemoryManagerStats tms(true /* Full GC */);
  2028     if (TraceGen1Time) accumulated_time()->start();
  2030     // Let the size policy know we're starting
  2031     size_policy->major_collection_begin();
  2033     // When collecting the permanent generation methodOops may be moving,
  2034     // so we either have to flush all bcp data or convert it into bci.
  2035     CodeCache::gc_prologue();
  2036     Threads::gc_prologue();
  2038     NOT_PRODUCT(ref_processor()->verify_no_references_recorded());
  2039     COMPILER2_PRESENT(DerivedPointerTable::clear());
  2041     ref_processor()->enable_discovery();
  2042     ref_processor()->setup_policy(maximum_heap_compaction);
  2044     bool marked_for_unloading = false;
  2046     marking_start.update();
  2047     marking_phase(vmthread_cm, maximum_heap_compaction);
  2049 #ifndef PRODUCT
  2050     if (TraceParallelOldGCMarkingPhase) {
  2051       gclog_or_tty->print_cr("marking_phase: cas_tries %d  cas_retries %d "
  2052         "cas_by_another %d",
  2053         mark_bitmap()->cas_tries(), mark_bitmap()->cas_retries(),
  2054         mark_bitmap()->cas_by_another());
  2056 #endif  // #ifndef PRODUCT
  2058     bool max_on_system_gc = UseMaximumCompactionOnSystemGC && is_system_gc;
  2059     summary_phase(vmthread_cm, maximum_heap_compaction || max_on_system_gc);
  2061     COMPILER2_PRESENT(assert(DerivedPointerTable::is_active(), "Sanity"));
  2062     COMPILER2_PRESENT(DerivedPointerTable::set_active(false));
  2064     // adjust_roots() updates Universe::_intArrayKlassObj which is
  2065     // needed by the compaction for filling holes in the dense prefix.
  2066     adjust_roots();
  2068     compaction_start.update();
  2069     // Does the perm gen always have to be done serially because
  2070     // klasses are used in the update of an object?
  2071     compact_perm(vmthread_cm);
  2073     if (UseParallelOldGCCompacting) {
  2074       compact();
  2075     } else {
  2076       compact_serial(vmthread_cm);
  2079     // Reset the mark bitmap, summary data, and do other bookkeeping.  Must be
  2080     // done before resizing.
  2081     post_compact();
  2083     // Let the size policy know we're done
  2084     size_policy->major_collection_end(old_gen->used_in_bytes(), gc_cause);
  2086     if (UseAdaptiveSizePolicy) {
  2087       if (PrintAdaptiveSizePolicy) {
  2088         gclog_or_tty->print("AdaptiveSizeStart: ");
  2089         gclog_or_tty->stamp();
  2090         gclog_or_tty->print_cr(" collection: %d ",
  2091                        heap->total_collections());
  2092         if (Verbose) {
  2093           gclog_or_tty->print("old_gen_capacity: %d young_gen_capacity: %d"
  2094             " perm_gen_capacity: %d ",
  2095             old_gen->capacity_in_bytes(), young_gen->capacity_in_bytes(),
  2096             perm_gen->capacity_in_bytes());
  2100       // Don't check if the size_policy is ready here.  Let
  2101       // the size_policy check that internally.
  2102       if (UseAdaptiveGenerationSizePolicyAtMajorCollection &&
  2103           ((gc_cause != GCCause::_java_lang_system_gc) ||
  2104             UseAdaptiveSizePolicyWithSystemGC)) {
  2105         // Calculate optimal free space amounts
  2106         assert(young_gen->max_size() >
  2107           young_gen->from_space()->capacity_in_bytes() +
  2108           young_gen->to_space()->capacity_in_bytes(),
  2109           "Sizes of space in young gen are out-of-bounds");
  2110         size_t max_eden_size = young_gen->max_size() -
  2111           young_gen->from_space()->capacity_in_bytes() -
  2112           young_gen->to_space()->capacity_in_bytes();
  2113         size_policy->compute_generation_free_space(
  2114                               young_gen->used_in_bytes(),
  2115                               young_gen->eden_space()->used_in_bytes(),
  2116                               old_gen->used_in_bytes(),
  2117                               perm_gen->used_in_bytes(),
  2118                               young_gen->eden_space()->capacity_in_bytes(),
  2119                               old_gen->max_gen_size(),
  2120                               max_eden_size,
  2121                               true /* full gc*/,
  2122                               gc_cause,
  2123                               heap->collector_policy());
  2125         heap->resize_old_gen(
  2126           size_policy->calculated_old_free_size_in_bytes());
  2128         // Don't resize the young generation at an major collection.  A
  2129         // desired young generation size may have been calculated but
  2130         // resizing the young generation complicates the code because the
  2131         // resizing of the old generation may have moved the boundary
  2132         // between the young generation and the old generation.  Let the
  2133         // young generation resizing happen at the minor collections.
  2135       if (PrintAdaptiveSizePolicy) {
  2136         gclog_or_tty->print_cr("AdaptiveSizeStop: collection: %d ",
  2137                        heap->total_collections());
  2141     if (UsePerfData) {
  2142       PSGCAdaptivePolicyCounters* const counters = heap->gc_policy_counters();
  2143       counters->update_counters();
  2144       counters->update_old_capacity(old_gen->capacity_in_bytes());
  2145       counters->update_young_capacity(young_gen->capacity_in_bytes());
  2148     heap->resize_all_tlabs();
  2150     // We collected the perm gen, so we'll resize it here.
  2151     perm_gen->compute_new_size(pre_gc_values.perm_gen_used());
  2153     if (TraceGen1Time) accumulated_time()->stop();
  2155     if (PrintGC) {
  2156       if (PrintGCDetails) {
  2157         // No GC timestamp here.  This is after GC so it would be confusing.
  2158         young_gen->print_used_change(pre_gc_values.young_gen_used());
  2159         old_gen->print_used_change(pre_gc_values.old_gen_used());
  2160         heap->print_heap_change(pre_gc_values.heap_used());
  2161         // Print perm gen last (print_heap_change() excludes the perm gen).
  2162         perm_gen->print_used_change(pre_gc_values.perm_gen_used());
  2163       } else {
  2164         heap->print_heap_change(pre_gc_values.heap_used());
  2168     // Track memory usage and detect low memory
  2169     MemoryService::track_memory_usage();
  2170     heap->update_counters();
  2173   if (VerifyAfterGC && heap->total_collections() >= VerifyGCStartAt) {
  2174     HandleMark hm;  // Discard invalid handles created during verification
  2175     gclog_or_tty->print(" VerifyAfterGC:");
  2176     Universe::verify(false);
  2179   // Re-verify object start arrays
  2180   if (VerifyObjectStartArray &&
  2181       VerifyAfterGC) {
  2182     old_gen->verify_object_start_array();
  2183     perm_gen->verify_object_start_array();
  2186   if (ZapUnusedHeapArea) {
  2187     old_gen->object_space()->check_mangled_unused_area_complete();
  2188     perm_gen->object_space()->check_mangled_unused_area_complete();
  2191   NOT_PRODUCT(ref_processor()->verify_no_references_recorded());
  2193   collection_exit.update();
  2195   if (PrintHeapAtGC) {
  2196     Universe::print_heap_after_gc();
  2198   if (PrintGCTaskTimeStamps) {
  2199     gclog_or_tty->print_cr("VM-Thread " INT64_FORMAT " " INT64_FORMAT " "
  2200                            INT64_FORMAT,
  2201                            marking_start.ticks(), compaction_start.ticks(),
  2202                            collection_exit.ticks());
  2203     gc_task_manager()->print_task_time_stamps();
  2206   heap->post_full_gc_dump();
  2208 #ifdef TRACESPINNING
  2209   ParallelTaskTerminator::print_termination_counts();
  2210 #endif
  2213 bool PSParallelCompact::absorb_live_data_from_eden(PSAdaptiveSizePolicy* size_policy,
  2214                                              PSYoungGen* young_gen,
  2215                                              PSOldGen* old_gen) {
  2216   MutableSpace* const eden_space = young_gen->eden_space();
  2217   assert(!eden_space->is_empty(), "eden must be non-empty");
  2218   assert(young_gen->virtual_space()->alignment() ==
  2219          old_gen->virtual_space()->alignment(), "alignments do not match");
  2221   if (!(UseAdaptiveSizePolicy && UseAdaptiveGCBoundary)) {
  2222     return false;
  2225   // Both generations must be completely committed.
  2226   if (young_gen->virtual_space()->uncommitted_size() != 0) {
  2227     return false;
  2229   if (old_gen->virtual_space()->uncommitted_size() != 0) {
  2230     return false;
  2233   // Figure out how much to take from eden.  Include the average amount promoted
  2234   // in the total; otherwise the next young gen GC will simply bail out to a
  2235   // full GC.
  2236   const size_t alignment = old_gen->virtual_space()->alignment();
  2237   const size_t eden_used = eden_space->used_in_bytes();
  2238   const size_t promoted = (size_t)size_policy->avg_promoted()->padded_average();
  2239   const size_t absorb_size = align_size_up(eden_used + promoted, alignment);
  2240   const size_t eden_capacity = eden_space->capacity_in_bytes();
  2242   if (absorb_size >= eden_capacity) {
  2243     return false; // Must leave some space in eden.
  2246   const size_t new_young_size = young_gen->capacity_in_bytes() - absorb_size;
  2247   if (new_young_size < young_gen->min_gen_size()) {
  2248     return false; // Respect young gen minimum size.
  2251   if (TraceAdaptiveGCBoundary && Verbose) {
  2252     gclog_or_tty->print(" absorbing " SIZE_FORMAT "K:  "
  2253                         "eden " SIZE_FORMAT "K->" SIZE_FORMAT "K "
  2254                         "from " SIZE_FORMAT "K, to " SIZE_FORMAT "K "
  2255                         "young_gen " SIZE_FORMAT "K->" SIZE_FORMAT "K ",
  2256                         absorb_size / K,
  2257                         eden_capacity / K, (eden_capacity - absorb_size) / K,
  2258                         young_gen->from_space()->used_in_bytes() / K,
  2259                         young_gen->to_space()->used_in_bytes() / K,
  2260                         young_gen->capacity_in_bytes() / K, new_young_size / K);
  2263   // Fill the unused part of the old gen.
  2264   MutableSpace* const old_space = old_gen->object_space();
  2265   HeapWord* const unused_start = old_space->top();
  2266   size_t const unused_words = pointer_delta(old_space->end(), unused_start);
  2268   if (unused_words > 0) {
  2269     if (unused_words < CollectedHeap::min_fill_size()) {
  2270       return false;  // If the old gen cannot be filled, must give up.
  2272     CollectedHeap::fill_with_objects(unused_start, unused_words);
  2275   // Take the live data from eden and set both top and end in the old gen to
  2276   // eden top.  (Need to set end because reset_after_change() mangles the region
  2277   // from end to virtual_space->high() in debug builds).
  2278   HeapWord* const new_top = eden_space->top();
  2279   old_gen->virtual_space()->expand_into(young_gen->virtual_space(),
  2280                                         absorb_size);
  2281   young_gen->reset_after_change();
  2282   old_space->set_top(new_top);
  2283   old_space->set_end(new_top);
  2284   old_gen->reset_after_change();
  2286   // Update the object start array for the filler object and the data from eden.
  2287   ObjectStartArray* const start_array = old_gen->start_array();
  2288   for (HeapWord* p = unused_start; p < new_top; p += oop(p)->size()) {
  2289     start_array->allocate_block(p);
  2292   // Could update the promoted average here, but it is not typically updated at
  2293   // full GCs and the value to use is unclear.  Something like
  2294   //
  2295   // cur_promoted_avg + absorb_size / number_of_scavenges_since_last_full_gc.
  2297   size_policy->set_bytes_absorbed_from_eden(absorb_size);
  2298   return true;
  2301 GCTaskManager* const PSParallelCompact::gc_task_manager() {
  2302   assert(ParallelScavengeHeap::gc_task_manager() != NULL,
  2303     "shouldn't return NULL");
  2304   return ParallelScavengeHeap::gc_task_manager();
  2307 void PSParallelCompact::marking_phase(ParCompactionManager* cm,
  2308                                       bool maximum_heap_compaction) {
  2309   // Recursively traverse all live objects and mark them
  2310   EventMark m("1 mark object");
  2311   TraceTime tm("marking phase", print_phases(), true, gclog_or_tty);
  2313   ParallelScavengeHeap* heap = gc_heap();
  2314   uint parallel_gc_threads = heap->gc_task_manager()->workers();
  2315   TaskQueueSetSuper* qset = ParCompactionManager::region_array();
  2316   ParallelTaskTerminator terminator(parallel_gc_threads, qset);
  2318   PSParallelCompact::MarkAndPushClosure mark_and_push_closure(cm);
  2319   PSParallelCompact::FollowStackClosure follow_stack_closure(cm);
  2322     TraceTime tm_m("par mark", print_phases(), true, gclog_or_tty);
  2323     ParallelScavengeHeap::ParStrongRootsScope psrs;
  2325     GCTaskQueue* q = GCTaskQueue::create();
  2327     q->enqueue(new MarkFromRootsTask(MarkFromRootsTask::universe));
  2328     q->enqueue(new MarkFromRootsTask(MarkFromRootsTask::jni_handles));
  2329     // We scan the thread roots in parallel
  2330     Threads::create_thread_roots_marking_tasks(q);
  2331     q->enqueue(new MarkFromRootsTask(MarkFromRootsTask::object_synchronizer));
  2332     q->enqueue(new MarkFromRootsTask(MarkFromRootsTask::flat_profiler));
  2333     q->enqueue(new MarkFromRootsTask(MarkFromRootsTask::management));
  2334     q->enqueue(new MarkFromRootsTask(MarkFromRootsTask::system_dictionary));
  2335     q->enqueue(new MarkFromRootsTask(MarkFromRootsTask::jvmti));
  2336     q->enqueue(new MarkFromRootsTask(MarkFromRootsTask::vm_symbols));
  2337     q->enqueue(new MarkFromRootsTask(MarkFromRootsTask::code_cache));
  2339     if (parallel_gc_threads > 1) {
  2340       for (uint j = 0; j < parallel_gc_threads; j++) {
  2341         q->enqueue(new StealMarkingTask(&terminator));
  2345     WaitForBarrierGCTask* fin = WaitForBarrierGCTask::create();
  2346     q->enqueue(fin);
  2348     gc_task_manager()->add_list(q);
  2350     fin->wait_for();
  2352     // We have to release the barrier tasks!
  2353     WaitForBarrierGCTask::destroy(fin);
  2356   // Process reference objects found during marking
  2358     TraceTime tm_r("reference processing", print_phases(), true, gclog_or_tty);
  2359     if (ref_processor()->processing_is_mt()) {
  2360       RefProcTaskExecutor task_executor;
  2361       ref_processor()->process_discovered_references(
  2362         is_alive_closure(), &mark_and_push_closure, &follow_stack_closure,
  2363         &task_executor);
  2364     } else {
  2365       ref_processor()->process_discovered_references(
  2366         is_alive_closure(), &mark_and_push_closure, &follow_stack_closure, NULL);
  2370   TraceTime tm_c("class unloading", print_phases(), true, gclog_or_tty);
  2371   // Follow system dictionary roots and unload classes.
  2372   bool purged_class = SystemDictionary::do_unloading(is_alive_closure());
  2374   // Follow code cache roots.
  2375   CodeCache::do_unloading(is_alive_closure(), &mark_and_push_closure,
  2376                           purged_class);
  2377   cm->follow_marking_stacks(); // Flush marking stack.
  2379   // Update subklass/sibling/implementor links of live klasses
  2380   // revisit_klass_stack is used in follow_weak_klass_links().
  2381   follow_weak_klass_links();
  2383   // Revisit memoized MDO's and clear any unmarked weak refs
  2384   follow_mdo_weak_refs();
  2386   // Visit symbol and interned string tables and delete unmarked oops
  2387   SymbolTable::unlink(is_alive_closure());
  2388   StringTable::unlink(is_alive_closure());
  2390   assert(cm->marking_stacks_empty(), "marking stacks should be empty");
  2393 // This should be moved to the shared markSweep code!
  2394 class PSAlwaysTrueClosure: public BoolObjectClosure {
  2395 public:
  2396   void do_object(oop p) { ShouldNotReachHere(); }
  2397   bool do_object_b(oop p) { return true; }
  2398 };
  2399 static PSAlwaysTrueClosure always_true;
  2401 void PSParallelCompact::adjust_roots() {
  2402   // Adjust the pointers to reflect the new locations
  2403   EventMark m("3 adjust roots");
  2404   TraceTime tm("adjust roots", print_phases(), true, gclog_or_tty);
  2406   // General strong roots.
  2407   Universe::oops_do(adjust_root_pointer_closure());
  2408   ReferenceProcessor::oops_do(adjust_root_pointer_closure());
  2409   JNIHandles::oops_do(adjust_root_pointer_closure());   // Global (strong) JNI handles
  2410   Threads::oops_do(adjust_root_pointer_closure(), NULL);
  2411   ObjectSynchronizer::oops_do(adjust_root_pointer_closure());
  2412   FlatProfiler::oops_do(adjust_root_pointer_closure());
  2413   Management::oops_do(adjust_root_pointer_closure());
  2414   JvmtiExport::oops_do(adjust_root_pointer_closure());
  2415   // SO_AllClasses
  2416   SystemDictionary::oops_do(adjust_root_pointer_closure());
  2417   vmSymbols::oops_do(adjust_root_pointer_closure());
  2419   // Now adjust pointers in remaining weak roots.  (All of which should
  2420   // have been cleared if they pointed to non-surviving objects.)
  2421   // Global (weak) JNI handles
  2422   JNIHandles::weak_oops_do(&always_true, adjust_root_pointer_closure());
  2424   CodeCache::oops_do(adjust_pointer_closure());
  2425   SymbolTable::oops_do(adjust_root_pointer_closure());
  2426   StringTable::oops_do(adjust_root_pointer_closure());
  2427   ref_processor()->weak_oops_do(adjust_root_pointer_closure());
  2428   // Roots were visited so references into the young gen in roots
  2429   // may have been scanned.  Process them also.
  2430   // Should the reference processor have a span that excludes
  2431   // young gen objects?
  2432   PSScavenge::reference_processor()->weak_oops_do(
  2433                                               adjust_root_pointer_closure());
  2436 void PSParallelCompact::compact_perm(ParCompactionManager* cm) {
  2437   EventMark m("4 compact perm");
  2438   TraceTime tm("compact perm gen", print_phases(), true, gclog_or_tty);
  2439   // trace("4");
  2441   gc_heap()->perm_gen()->start_array()->reset();
  2442   move_and_update(cm, perm_space_id);
  2445 void PSParallelCompact::enqueue_region_draining_tasks(GCTaskQueue* q,
  2446                                                       uint parallel_gc_threads)
  2448   TraceTime tm("drain task setup", print_phases(), true, gclog_or_tty);
  2450   const unsigned int task_count = MAX2(parallel_gc_threads, 1U);
  2451   for (unsigned int j = 0; j < task_count; j++) {
  2452     q->enqueue(new DrainStacksCompactionTask());
  2455   // Find all regions that are available (can be filled immediately) and
  2456   // distribute them to the thread stacks.  The iteration is done in reverse
  2457   // order (high to low) so the regions will be removed in ascending order.
  2459   const ParallelCompactData& sd = PSParallelCompact::summary_data();
  2461   size_t fillable_regions = 0;   // A count for diagnostic purposes.
  2462   unsigned int which = 0;       // The worker thread number.
  2464   for (unsigned int id = to_space_id; id > perm_space_id; --id) {
  2465     SpaceInfo* const space_info = _space_info + id;
  2466     MutableSpace* const space = space_info->space();
  2467     HeapWord* const new_top = space_info->new_top();
  2469     const size_t beg_region = sd.addr_to_region_idx(space_info->dense_prefix());
  2470     const size_t end_region =
  2471       sd.addr_to_region_idx(sd.region_align_up(new_top));
  2472     assert(end_region > 0, "perm gen cannot be empty");
  2474     for (size_t cur = end_region - 1; cur >= beg_region; --cur) {
  2475       if (sd.region(cur)->claim_unsafe()) {
  2476         ParCompactionManager* cm = ParCompactionManager::manager_array(which);
  2477         cm->push_region(cur);
  2479         if (TraceParallelOldGCCompactionPhase && Verbose) {
  2480           const size_t count_mod_8 = fillable_regions & 7;
  2481           if (count_mod_8 == 0) gclog_or_tty->print("fillable: ");
  2482           gclog_or_tty->print(" " SIZE_FORMAT_W(7), cur);
  2483           if (count_mod_8 == 7) gclog_or_tty->cr();
  2486         NOT_PRODUCT(++fillable_regions;)
  2488         // Assign regions to threads in round-robin fashion.
  2489         if (++which == task_count) {
  2490           which = 0;
  2496   if (TraceParallelOldGCCompactionPhase) {
  2497     if (Verbose && (fillable_regions & 7) != 0) gclog_or_tty->cr();
  2498     gclog_or_tty->print_cr("%u initially fillable regions", fillable_regions);
  2502 #define PAR_OLD_DENSE_PREFIX_OVER_PARTITIONING 4
  2504 void PSParallelCompact::enqueue_dense_prefix_tasks(GCTaskQueue* q,
  2505                                                     uint parallel_gc_threads) {
  2506   TraceTime tm("dense prefix task setup", print_phases(), true, gclog_or_tty);
  2508   ParallelCompactData& sd = PSParallelCompact::summary_data();
  2510   // Iterate over all the spaces adding tasks for updating
  2511   // regions in the dense prefix.  Assume that 1 gc thread
  2512   // will work on opening the gaps and the remaining gc threads
  2513   // will work on the dense prefix.
  2514   unsigned int space_id;
  2515   for (space_id = old_space_id; space_id < last_space_id; ++ space_id) {
  2516     HeapWord* const dense_prefix_end = _space_info[space_id].dense_prefix();
  2517     const MutableSpace* const space = _space_info[space_id].space();
  2519     if (dense_prefix_end == space->bottom()) {
  2520       // There is no dense prefix for this space.
  2521       continue;
  2524     // The dense prefix is before this region.
  2525     size_t region_index_end_dense_prefix =
  2526         sd.addr_to_region_idx(dense_prefix_end);
  2527     RegionData* const dense_prefix_cp =
  2528       sd.region(region_index_end_dense_prefix);
  2529     assert(dense_prefix_end == space->end() ||
  2530            dense_prefix_cp->available() ||
  2531            dense_prefix_cp->claimed(),
  2532            "The region after the dense prefix should always be ready to fill");
  2534     size_t region_index_start = sd.addr_to_region_idx(space->bottom());
  2536     // Is there dense prefix work?
  2537     size_t total_dense_prefix_regions =
  2538       region_index_end_dense_prefix - region_index_start;
  2539     // How many regions of the dense prefix should be given to
  2540     // each thread?
  2541     if (total_dense_prefix_regions > 0) {
  2542       uint tasks_for_dense_prefix = 1;
  2543       if (UseParallelDensePrefixUpdate) {
  2544         if (total_dense_prefix_regions <=
  2545             (parallel_gc_threads * PAR_OLD_DENSE_PREFIX_OVER_PARTITIONING)) {
  2546           // Don't over partition.  This assumes that
  2547           // PAR_OLD_DENSE_PREFIX_OVER_PARTITIONING is a small integer value
  2548           // so there are not many regions to process.
  2549           tasks_for_dense_prefix = parallel_gc_threads;
  2550         } else {
  2551           // Over partition
  2552           tasks_for_dense_prefix = parallel_gc_threads *
  2553             PAR_OLD_DENSE_PREFIX_OVER_PARTITIONING;
  2556       size_t regions_per_thread = total_dense_prefix_regions /
  2557         tasks_for_dense_prefix;
  2558       // Give each thread at least 1 region.
  2559       if (regions_per_thread == 0) {
  2560         regions_per_thread = 1;
  2563       for (uint k = 0; k < tasks_for_dense_prefix; k++) {
  2564         if (region_index_start >= region_index_end_dense_prefix) {
  2565           break;
  2567         // region_index_end is not processed
  2568         size_t region_index_end = MIN2(region_index_start + regions_per_thread,
  2569                                        region_index_end_dense_prefix);
  2570         q->enqueue(new UpdateDensePrefixTask(SpaceId(space_id),
  2571                                              region_index_start,
  2572                                              region_index_end));
  2573         region_index_start = region_index_end;
  2576     // This gets any part of the dense prefix that did not
  2577     // fit evenly.
  2578     if (region_index_start < region_index_end_dense_prefix) {
  2579       q->enqueue(new UpdateDensePrefixTask(SpaceId(space_id),
  2580                                            region_index_start,
  2581                                            region_index_end_dense_prefix));
  2586 void PSParallelCompact::enqueue_region_stealing_tasks(
  2587                                      GCTaskQueue* q,
  2588                                      ParallelTaskTerminator* terminator_ptr,
  2589                                      uint parallel_gc_threads) {
  2590   TraceTime tm("steal task setup", print_phases(), true, gclog_or_tty);
  2592   // Once a thread has drained it's stack, it should try to steal regions from
  2593   // other threads.
  2594   if (parallel_gc_threads > 1) {
  2595     for (uint j = 0; j < parallel_gc_threads; j++) {
  2596       q->enqueue(new StealRegionCompactionTask(terminator_ptr));
  2601 void PSParallelCompact::compact() {
  2602   EventMark m("5 compact");
  2603   // trace("5");
  2604   TraceTime tm("compaction phase", print_phases(), true, gclog_or_tty);
  2606   ParallelScavengeHeap* heap = (ParallelScavengeHeap*)Universe::heap();
  2607   assert(heap->kind() == CollectedHeap::ParallelScavengeHeap, "Sanity");
  2608   PSOldGen* old_gen = heap->old_gen();
  2609   old_gen->start_array()->reset();
  2610   uint parallel_gc_threads = heap->gc_task_manager()->workers();
  2611   TaskQueueSetSuper* qset = ParCompactionManager::region_array();
  2612   ParallelTaskTerminator terminator(parallel_gc_threads, qset);
  2614   GCTaskQueue* q = GCTaskQueue::create();
  2615   enqueue_region_draining_tasks(q, parallel_gc_threads);
  2616   enqueue_dense_prefix_tasks(q, parallel_gc_threads);
  2617   enqueue_region_stealing_tasks(q, &terminator, parallel_gc_threads);
  2620     TraceTime tm_pc("par compact", print_phases(), true, gclog_or_tty);
  2622     WaitForBarrierGCTask* fin = WaitForBarrierGCTask::create();
  2623     q->enqueue(fin);
  2625     gc_task_manager()->add_list(q);
  2627     fin->wait_for();
  2629     // We have to release the barrier tasks!
  2630     WaitForBarrierGCTask::destroy(fin);
  2632 #ifdef  ASSERT
  2633     // Verify that all regions have been processed before the deferred updates.
  2634     // Note that perm_space_id is skipped; this type of verification is not
  2635     // valid until the perm gen is compacted by regions.
  2636     for (unsigned int id = old_space_id; id < last_space_id; ++id) {
  2637       verify_complete(SpaceId(id));
  2639 #endif
  2643     // Update the deferred objects, if any.  Any compaction manager can be used.
  2644     TraceTime tm_du("deferred updates", print_phases(), true, gclog_or_tty);
  2645     ParCompactionManager* cm = ParCompactionManager::manager_array(0);
  2646     for (unsigned int id = old_space_id; id < last_space_id; ++id) {
  2647       update_deferred_objects(cm, SpaceId(id));
  2652 #ifdef  ASSERT
  2653 void PSParallelCompact::verify_complete(SpaceId space_id) {
  2654   // All Regions between space bottom() to new_top() should be marked as filled
  2655   // and all Regions between new_top() and top() should be available (i.e.,
  2656   // should have been emptied).
  2657   ParallelCompactData& sd = summary_data();
  2658   SpaceInfo si = _space_info[space_id];
  2659   HeapWord* new_top_addr = sd.region_align_up(si.new_top());
  2660   HeapWord* old_top_addr = sd.region_align_up(si.space()->top());
  2661   const size_t beg_region = sd.addr_to_region_idx(si.space()->bottom());
  2662   const size_t new_top_region = sd.addr_to_region_idx(new_top_addr);
  2663   const size_t old_top_region = sd.addr_to_region_idx(old_top_addr);
  2665   bool issued_a_warning = false;
  2667   size_t cur_region;
  2668   for (cur_region = beg_region; cur_region < new_top_region; ++cur_region) {
  2669     const RegionData* const c = sd.region(cur_region);
  2670     if (!c->completed()) {
  2671       warning("region " SIZE_FORMAT " not filled:  "
  2672               "destination_count=" SIZE_FORMAT,
  2673               cur_region, c->destination_count());
  2674       issued_a_warning = true;
  2678   for (cur_region = new_top_region; cur_region < old_top_region; ++cur_region) {
  2679     const RegionData* const c = sd.region(cur_region);
  2680     if (!c->available()) {
  2681       warning("region " SIZE_FORMAT " not empty:   "
  2682               "destination_count=" SIZE_FORMAT,
  2683               cur_region, c->destination_count());
  2684       issued_a_warning = true;
  2688   if (issued_a_warning) {
  2689     print_region_ranges();
  2692 #endif  // #ifdef ASSERT
  2694 void PSParallelCompact::compact_serial(ParCompactionManager* cm) {
  2695   EventMark m("5 compact serial");
  2696   TraceTime tm("compact serial", print_phases(), true, gclog_or_tty);
  2698   ParallelScavengeHeap* heap = (ParallelScavengeHeap*)Universe::heap();
  2699   assert(heap->kind() == CollectedHeap::ParallelScavengeHeap, "Sanity");
  2701   PSYoungGen* young_gen = heap->young_gen();
  2702   PSOldGen* old_gen = heap->old_gen();
  2704   old_gen->start_array()->reset();
  2705   old_gen->move_and_update(cm);
  2706   young_gen->move_and_update(cm);
  2709 void
  2710 PSParallelCompact::follow_weak_klass_links() {
  2711   // All klasses on the revisit stack are marked at this point.
  2712   // Update and follow all subklass, sibling and implementor links.
  2713   if (PrintRevisitStats) {
  2714     gclog_or_tty->print_cr("#classes in system dictionary = %d", SystemDictionary::number_of_classes());
  2716   for (uint i = 0; i < ParallelGCThreads + 1; i++) {
  2717     ParCompactionManager* cm = ParCompactionManager::manager_array(i);
  2718     KeepAliveClosure keep_alive_closure(cm);
  2719     int length = cm->revisit_klass_stack()->length();
  2720     if (PrintRevisitStats) {
  2721       gclog_or_tty->print_cr("Revisit klass stack[%d] length = %d", i, length);
  2723     for (int j = 0; j < length; j++) {
  2724       cm->revisit_klass_stack()->at(j)->follow_weak_klass_links(
  2725         is_alive_closure(),
  2726         &keep_alive_closure);
  2728     // revisit_klass_stack is cleared in reset()
  2729     cm->follow_marking_stacks();
  2733 void
  2734 PSParallelCompact::revisit_weak_klass_link(ParCompactionManager* cm, Klass* k) {
  2735   cm->revisit_klass_stack()->push(k);
  2738 void PSParallelCompact::revisit_mdo(ParCompactionManager* cm, DataLayout* p) {
  2739   cm->revisit_mdo_stack()->push(p);
  2742 void PSParallelCompact::follow_mdo_weak_refs() {
  2743   // All strongly reachable oops have been marked at this point;
  2744   // we can visit and clear any weak references from MDO's which
  2745   // we memoized during the strong marking phase.
  2746   if (PrintRevisitStats) {
  2747     gclog_or_tty->print_cr("#classes in system dictionary = %d", SystemDictionary::number_of_classes());
  2749   for (uint i = 0; i < ParallelGCThreads + 1; i++) {
  2750     ParCompactionManager* cm = ParCompactionManager::manager_array(i);
  2751     GrowableArray<DataLayout*>* rms = cm->revisit_mdo_stack();
  2752     int length = rms->length();
  2753     if (PrintRevisitStats) {
  2754       gclog_or_tty->print_cr("Revisit MDO stack[%d] length = %d", i, length);
  2756     for (int j = 0; j < length; j++) {
  2757       rms->at(j)->follow_weak_refs(is_alive_closure());
  2759     // revisit_mdo_stack is cleared in reset()
  2760     cm->follow_marking_stacks();
  2765 #ifdef VALIDATE_MARK_SWEEP
  2767 void PSParallelCompact::track_adjusted_pointer(void* p, bool isroot) {
  2768   if (!ValidateMarkSweep)
  2769     return;
  2771   if (!isroot) {
  2772     if (_pointer_tracking) {
  2773       guarantee(_adjusted_pointers->contains(p), "should have seen this pointer");
  2774       _adjusted_pointers->remove(p);
  2776   } else {
  2777     ptrdiff_t index = _root_refs_stack->find(p);
  2778     if (index != -1) {
  2779       int l = _root_refs_stack->length();
  2780       if (l > 0 && l - 1 != index) {
  2781         void* last = _root_refs_stack->pop();
  2782         assert(last != p, "should be different");
  2783         _root_refs_stack->at_put(index, last);
  2784       } else {
  2785         _root_refs_stack->remove(p);
  2792 void PSParallelCompact::check_adjust_pointer(void* p) {
  2793   _adjusted_pointers->push(p);
  2797 class AdjusterTracker: public OopClosure {
  2798  public:
  2799   AdjusterTracker() {};
  2800   void do_oop(oop* o)         { PSParallelCompact::check_adjust_pointer(o); }
  2801   void do_oop(narrowOop* o)   { PSParallelCompact::check_adjust_pointer(o); }
  2802 };
  2805 void PSParallelCompact::track_interior_pointers(oop obj) {
  2806   if (ValidateMarkSweep) {
  2807     _adjusted_pointers->clear();
  2808     _pointer_tracking = true;
  2810     AdjusterTracker checker;
  2811     obj->oop_iterate(&checker);
  2816 void PSParallelCompact::check_interior_pointers() {
  2817   if (ValidateMarkSweep) {
  2818     _pointer_tracking = false;
  2819     guarantee(_adjusted_pointers->length() == 0, "should have processed the same pointers");
  2824 void PSParallelCompact::reset_live_oop_tracking(bool at_perm) {
  2825   if (ValidateMarkSweep) {
  2826     guarantee((size_t)_live_oops->length() == _live_oops_index, "should be at end of live oops");
  2827     _live_oops_index = at_perm ? _live_oops_index_at_perm : 0;
  2832 void PSParallelCompact::register_live_oop(oop p, size_t size) {
  2833   if (ValidateMarkSweep) {
  2834     _live_oops->push(p);
  2835     _live_oops_size->push(size);
  2836     _live_oops_index++;
  2840 void PSParallelCompact::validate_live_oop(oop p, size_t size) {
  2841   if (ValidateMarkSweep) {
  2842     oop obj = _live_oops->at((int)_live_oops_index);
  2843     guarantee(obj == p, "should be the same object");
  2844     guarantee(_live_oops_size->at((int)_live_oops_index) == size, "should be the same size");
  2845     _live_oops_index++;
  2849 void PSParallelCompact::live_oop_moved_to(HeapWord* q, size_t size,
  2850                                   HeapWord* compaction_top) {
  2851   assert(oop(q)->forwardee() == NULL || oop(q)->forwardee() == oop(compaction_top),
  2852          "should be moved to forwarded location");
  2853   if (ValidateMarkSweep) {
  2854     PSParallelCompact::validate_live_oop(oop(q), size);
  2855     _live_oops_moved_to->push(oop(compaction_top));
  2857   if (RecordMarkSweepCompaction) {
  2858     _cur_gc_live_oops->push(q);
  2859     _cur_gc_live_oops_moved_to->push(compaction_top);
  2860     _cur_gc_live_oops_size->push(size);
  2865 void PSParallelCompact::compaction_complete() {
  2866   if (RecordMarkSweepCompaction) {
  2867     GrowableArray<HeapWord*>* _tmp_live_oops          = _cur_gc_live_oops;
  2868     GrowableArray<HeapWord*>* _tmp_live_oops_moved_to = _cur_gc_live_oops_moved_to;
  2869     GrowableArray<size_t>   * _tmp_live_oops_size     = _cur_gc_live_oops_size;
  2871     _cur_gc_live_oops           = _last_gc_live_oops;
  2872     _cur_gc_live_oops_moved_to  = _last_gc_live_oops_moved_to;
  2873     _cur_gc_live_oops_size      = _last_gc_live_oops_size;
  2874     _last_gc_live_oops          = _tmp_live_oops;
  2875     _last_gc_live_oops_moved_to = _tmp_live_oops_moved_to;
  2876     _last_gc_live_oops_size     = _tmp_live_oops_size;
  2881 void PSParallelCompact::print_new_location_of_heap_address(HeapWord* q) {
  2882   if (!RecordMarkSweepCompaction) {
  2883     tty->print_cr("Requires RecordMarkSweepCompaction to be enabled");
  2884     return;
  2887   if (_last_gc_live_oops == NULL) {
  2888     tty->print_cr("No compaction information gathered yet");
  2889     return;
  2892   for (int i = 0; i < _last_gc_live_oops->length(); i++) {
  2893     HeapWord* old_oop = _last_gc_live_oops->at(i);
  2894     size_t    sz      = _last_gc_live_oops_size->at(i);
  2895     if (old_oop <= q && q < (old_oop + sz)) {
  2896       HeapWord* new_oop = _last_gc_live_oops_moved_to->at(i);
  2897       size_t offset = (q - old_oop);
  2898       tty->print_cr("Address " PTR_FORMAT, q);
  2899       tty->print_cr(" Was in oop " PTR_FORMAT ", size %d, at offset %d", old_oop, sz, offset);
  2900       tty->print_cr(" Now in oop " PTR_FORMAT ", actual address " PTR_FORMAT, new_oop, new_oop + offset);
  2901       return;
  2905   tty->print_cr("Address " PTR_FORMAT " not found in live oop information from last GC", q);
  2907 #endif //VALIDATE_MARK_SWEEP
  2909 // Update interior oops in the ranges of regions [beg_region, end_region).
  2910 void
  2911 PSParallelCompact::update_and_deadwood_in_dense_prefix(ParCompactionManager* cm,
  2912                                                        SpaceId space_id,
  2913                                                        size_t beg_region,
  2914                                                        size_t end_region) {
  2915   ParallelCompactData& sd = summary_data();
  2916   ParMarkBitMap* const mbm = mark_bitmap();
  2918   HeapWord* beg_addr = sd.region_to_addr(beg_region);
  2919   HeapWord* const end_addr = sd.region_to_addr(end_region);
  2920   assert(beg_region <= end_region, "bad region range");
  2921   assert(end_addr <= dense_prefix(space_id), "not in the dense prefix");
  2923 #ifdef  ASSERT
  2924   // Claim the regions to avoid triggering an assert when they are marked as
  2925   // filled.
  2926   for (size_t claim_region = beg_region; claim_region < end_region; ++claim_region) {
  2927     assert(sd.region(claim_region)->claim_unsafe(), "claim() failed");
  2929 #endif  // #ifdef ASSERT
  2931   if (beg_addr != space(space_id)->bottom()) {
  2932     // Find the first live object or block of dead space that *starts* in this
  2933     // range of regions.  If a partial object crosses onto the region, skip it;
  2934     // it will be marked for 'deferred update' when the object head is
  2935     // processed.  If dead space crosses onto the region, it is also skipped; it
  2936     // will be filled when the prior region is processed.  If neither of those
  2937     // apply, the first word in the region is the start of a live object or dead
  2938     // space.
  2939     assert(beg_addr > space(space_id)->bottom(), "sanity");
  2940     const RegionData* const cp = sd.region(beg_region);
  2941     if (cp->partial_obj_size() != 0) {
  2942       beg_addr = sd.partial_obj_end(beg_region);
  2943     } else if (dead_space_crosses_boundary(cp, mbm->addr_to_bit(beg_addr))) {
  2944       beg_addr = mbm->find_obj_beg(beg_addr, end_addr);
  2948   if (beg_addr < end_addr) {
  2949     // A live object or block of dead space starts in this range of Regions.
  2950      HeapWord* const dense_prefix_end = dense_prefix(space_id);
  2952     // Create closures and iterate.
  2953     UpdateOnlyClosure update_closure(mbm, cm, space_id);
  2954     FillClosure fill_closure(cm, space_id);
  2955     ParMarkBitMap::IterationStatus status;
  2956     status = mbm->iterate(&update_closure, &fill_closure, beg_addr, end_addr,
  2957                           dense_prefix_end);
  2958     if (status == ParMarkBitMap::incomplete) {
  2959       update_closure.do_addr(update_closure.source());
  2963   // Mark the regions as filled.
  2964   RegionData* const beg_cp = sd.region(beg_region);
  2965   RegionData* const end_cp = sd.region(end_region);
  2966   for (RegionData* cp = beg_cp; cp < end_cp; ++cp) {
  2967     cp->set_completed();
  2971 // Return the SpaceId for the space containing addr.  If addr is not in the
  2972 // heap, last_space_id is returned.  In debug mode it expects the address to be
  2973 // in the heap and asserts such.
  2974 PSParallelCompact::SpaceId PSParallelCompact::space_id(HeapWord* addr) {
  2975   assert(Universe::heap()->is_in_reserved(addr), "addr not in the heap");
  2977   for (unsigned int id = perm_space_id; id < last_space_id; ++id) {
  2978     if (_space_info[id].space()->contains(addr)) {
  2979       return SpaceId(id);
  2983   assert(false, "no space contains the addr");
  2984   return last_space_id;
  2987 void PSParallelCompact::update_deferred_objects(ParCompactionManager* cm,
  2988                                                 SpaceId id) {
  2989   assert(id < last_space_id, "bad space id");
  2991   ParallelCompactData& sd = summary_data();
  2992   const SpaceInfo* const space_info = _space_info + id;
  2993   ObjectStartArray* const start_array = space_info->start_array();
  2995   const MutableSpace* const space = space_info->space();
  2996   assert(space_info->dense_prefix() >= space->bottom(), "dense_prefix not set");
  2997   HeapWord* const beg_addr = space_info->dense_prefix();
  2998   HeapWord* const end_addr = sd.region_align_up(space_info->new_top());
  3000   const RegionData* const beg_region = sd.addr_to_region_ptr(beg_addr);
  3001   const RegionData* const end_region = sd.addr_to_region_ptr(end_addr);
  3002   const RegionData* cur_region;
  3003   for (cur_region = beg_region; cur_region < end_region; ++cur_region) {
  3004     HeapWord* const addr = cur_region->deferred_obj_addr();
  3005     if (addr != NULL) {
  3006       if (start_array != NULL) {
  3007         start_array->allocate_block(addr);
  3009       oop(addr)->update_contents(cm);
  3010       assert(oop(addr)->is_oop_or_null(), "should be an oop now");
  3015 // Skip over count live words starting from beg, and return the address of the
  3016 // next live word.  Unless marked, the word corresponding to beg is assumed to
  3017 // be dead.  Callers must either ensure beg does not correspond to the middle of
  3018 // an object, or account for those live words in some other way.  Callers must
  3019 // also ensure that there are enough live words in the range [beg, end) to skip.
  3020 HeapWord*
  3021 PSParallelCompact::skip_live_words(HeapWord* beg, HeapWord* end, size_t count)
  3023   assert(count > 0, "sanity");
  3025   ParMarkBitMap* m = mark_bitmap();
  3026   idx_t bits_to_skip = m->words_to_bits(count);
  3027   idx_t cur_beg = m->addr_to_bit(beg);
  3028   const idx_t search_end = BitMap::word_align_up(m->addr_to_bit(end));
  3030   do {
  3031     cur_beg = m->find_obj_beg(cur_beg, search_end);
  3032     idx_t cur_end = m->find_obj_end(cur_beg, search_end);
  3033     const size_t obj_bits = cur_end - cur_beg + 1;
  3034     if (obj_bits > bits_to_skip) {
  3035       return m->bit_to_addr(cur_beg + bits_to_skip);
  3037     bits_to_skip -= obj_bits;
  3038     cur_beg = cur_end + 1;
  3039   } while (bits_to_skip > 0);
  3041   // Skipping the desired number of words landed just past the end of an object.
  3042   // Find the start of the next object.
  3043   cur_beg = m->find_obj_beg(cur_beg, search_end);
  3044   assert(cur_beg < m->addr_to_bit(end), "not enough live words to skip");
  3045   return m->bit_to_addr(cur_beg);
  3048 HeapWord* PSParallelCompact::first_src_addr(HeapWord* const dest_addr,
  3049                                             SpaceId src_space_id,
  3050                                             size_t src_region_idx)
  3052   assert(summary_data().is_region_aligned(dest_addr), "not aligned");
  3054   const SplitInfo& split_info = _space_info[src_space_id].split_info();
  3055   if (split_info.dest_region_addr() == dest_addr) {
  3056     // The partial object ending at the split point contains the first word to
  3057     // be copied to dest_addr.
  3058     return split_info.first_src_addr();
  3061   const ParallelCompactData& sd = summary_data();
  3062   ParMarkBitMap* const bitmap = mark_bitmap();
  3063   const size_t RegionSize = ParallelCompactData::RegionSize;
  3065   assert(sd.is_region_aligned(dest_addr), "not aligned");
  3066   const RegionData* const src_region_ptr = sd.region(src_region_idx);
  3067   const size_t partial_obj_size = src_region_ptr->partial_obj_size();
  3068   HeapWord* const src_region_destination = src_region_ptr->destination();
  3070   assert(dest_addr >= src_region_destination, "wrong src region");
  3071   assert(src_region_ptr->data_size() > 0, "src region cannot be empty");
  3073   HeapWord* const src_region_beg = sd.region_to_addr(src_region_idx);
  3074   HeapWord* const src_region_end = src_region_beg + RegionSize;
  3076   HeapWord* addr = src_region_beg;
  3077   if (dest_addr == src_region_destination) {
  3078     // Return the first live word in the source region.
  3079     if (partial_obj_size == 0) {
  3080       addr = bitmap->find_obj_beg(addr, src_region_end);
  3081       assert(addr < src_region_end, "no objects start in src region");
  3083     return addr;
  3086   // Must skip some live data.
  3087   size_t words_to_skip = dest_addr - src_region_destination;
  3088   assert(src_region_ptr->data_size() > words_to_skip, "wrong src region");
  3090   if (partial_obj_size >= words_to_skip) {
  3091     // All the live words to skip are part of the partial object.
  3092     addr += words_to_skip;
  3093     if (partial_obj_size == words_to_skip) {
  3094       // Find the first live word past the partial object.
  3095       addr = bitmap->find_obj_beg(addr, src_region_end);
  3096       assert(addr < src_region_end, "wrong src region");
  3098     return addr;
  3101   // Skip over the partial object (if any).
  3102   if (partial_obj_size != 0) {
  3103     words_to_skip -= partial_obj_size;
  3104     addr += partial_obj_size;
  3107   // Skip over live words due to objects that start in the region.
  3108   addr = skip_live_words(addr, src_region_end, words_to_skip);
  3109   assert(addr < src_region_end, "wrong src region");
  3110   return addr;
  3113 void PSParallelCompact::decrement_destination_counts(ParCompactionManager* cm,
  3114                                                      SpaceId src_space_id,
  3115                                                      size_t beg_region,
  3116                                                      HeapWord* end_addr)
  3118   ParallelCompactData& sd = summary_data();
  3120 #ifdef ASSERT
  3121   MutableSpace* const src_space = _space_info[src_space_id].space();
  3122   HeapWord* const beg_addr = sd.region_to_addr(beg_region);
  3123   assert(src_space->contains(beg_addr) || beg_addr == src_space->end(),
  3124          "src_space_id does not match beg_addr");
  3125   assert(src_space->contains(end_addr) || end_addr == src_space->end(),
  3126          "src_space_id does not match end_addr");
  3127 #endif // #ifdef ASSERT
  3129   RegionData* const beg = sd.region(beg_region);
  3130   RegionData* const end = sd.addr_to_region_ptr(sd.region_align_up(end_addr));
  3132   // Regions up to new_top() are enqueued if they become available.
  3133   HeapWord* const new_top = _space_info[src_space_id].new_top();
  3134   RegionData* const enqueue_end =
  3135     sd.addr_to_region_ptr(sd.region_align_up(new_top));
  3137   for (RegionData* cur = beg; cur < end; ++cur) {
  3138     assert(cur->data_size() > 0, "region must have live data");
  3139     cur->decrement_destination_count();
  3140     if (cur < enqueue_end && cur->available() && cur->claim()) {
  3141       cm->push_region(sd.region(cur));
  3146 size_t PSParallelCompact::next_src_region(MoveAndUpdateClosure& closure,
  3147                                           SpaceId& src_space_id,
  3148                                           HeapWord*& src_space_top,
  3149                                           HeapWord* end_addr)
  3151   typedef ParallelCompactData::RegionData RegionData;
  3153   ParallelCompactData& sd = PSParallelCompact::summary_data();
  3154   const size_t region_size = ParallelCompactData::RegionSize;
  3156   size_t src_region_idx = 0;
  3158   // Skip empty regions (if any) up to the top of the space.
  3159   HeapWord* const src_aligned_up = sd.region_align_up(end_addr);
  3160   RegionData* src_region_ptr = sd.addr_to_region_ptr(src_aligned_up);
  3161   HeapWord* const top_aligned_up = sd.region_align_up(src_space_top);
  3162   const RegionData* const top_region_ptr =
  3163     sd.addr_to_region_ptr(top_aligned_up);
  3164   while (src_region_ptr < top_region_ptr && src_region_ptr->data_size() == 0) {
  3165     ++src_region_ptr;
  3168   if (src_region_ptr < top_region_ptr) {
  3169     // The next source region is in the current space.  Update src_region_idx
  3170     // and the source address to match src_region_ptr.
  3171     src_region_idx = sd.region(src_region_ptr);
  3172     HeapWord* const src_region_addr = sd.region_to_addr(src_region_idx);
  3173     if (src_region_addr > closure.source()) {
  3174       closure.set_source(src_region_addr);
  3176     return src_region_idx;
  3179   // Switch to a new source space and find the first non-empty region.
  3180   unsigned int space_id = src_space_id + 1;
  3181   assert(space_id < last_space_id, "not enough spaces");
  3183   HeapWord* const destination = closure.destination();
  3185   do {
  3186     MutableSpace* space = _space_info[space_id].space();
  3187     HeapWord* const bottom = space->bottom();
  3188     const RegionData* const bottom_cp = sd.addr_to_region_ptr(bottom);
  3190     // Iterate over the spaces that do not compact into themselves.
  3191     if (bottom_cp->destination() != bottom) {
  3192       HeapWord* const top_aligned_up = sd.region_align_up(space->top());
  3193       const RegionData* const top_cp = sd.addr_to_region_ptr(top_aligned_up);
  3195       for (const RegionData* src_cp = bottom_cp; src_cp < top_cp; ++src_cp) {
  3196         if (src_cp->live_obj_size() > 0) {
  3197           // Found it.
  3198           assert(src_cp->destination() == destination,
  3199                  "first live obj in the space must match the destination");
  3200           assert(src_cp->partial_obj_size() == 0,
  3201                  "a space cannot begin with a partial obj");
  3203           src_space_id = SpaceId(space_id);
  3204           src_space_top = space->top();
  3205           const size_t src_region_idx = sd.region(src_cp);
  3206           closure.set_source(sd.region_to_addr(src_region_idx));
  3207           return src_region_idx;
  3208         } else {
  3209           assert(src_cp->data_size() == 0, "sanity");
  3213   } while (++space_id < last_space_id);
  3215   assert(false, "no source region was found");
  3216   return 0;
  3219 void PSParallelCompact::fill_region(ParCompactionManager* cm, size_t region_idx)
  3221   typedef ParMarkBitMap::IterationStatus IterationStatus;
  3222   const size_t RegionSize = ParallelCompactData::RegionSize;
  3223   ParMarkBitMap* const bitmap = mark_bitmap();
  3224   ParallelCompactData& sd = summary_data();
  3225   RegionData* const region_ptr = sd.region(region_idx);
  3227   // Get the items needed to construct the closure.
  3228   HeapWord* dest_addr = sd.region_to_addr(region_idx);
  3229   SpaceId dest_space_id = space_id(dest_addr);
  3230   ObjectStartArray* start_array = _space_info[dest_space_id].start_array();
  3231   HeapWord* new_top = _space_info[dest_space_id].new_top();
  3232   assert(dest_addr < new_top, "sanity");
  3233   const size_t words = MIN2(pointer_delta(new_top, dest_addr), RegionSize);
  3235   // Get the source region and related info.
  3236   size_t src_region_idx = region_ptr->source_region();
  3237   SpaceId src_space_id = space_id(sd.region_to_addr(src_region_idx));
  3238   HeapWord* src_space_top = _space_info[src_space_id].space()->top();
  3240   MoveAndUpdateClosure closure(bitmap, cm, start_array, dest_addr, words);
  3241   closure.set_source(first_src_addr(dest_addr, src_space_id, src_region_idx));
  3243   // Adjust src_region_idx to prepare for decrementing destination counts (the
  3244   // destination count is not decremented when a region is copied to itself).
  3245   if (src_region_idx == region_idx) {
  3246     src_region_idx += 1;
  3249   if (bitmap->is_unmarked(closure.source())) {
  3250     // The first source word is in the middle of an object; copy the remainder
  3251     // of the object or as much as will fit.  The fact that pointer updates were
  3252     // deferred will be noted when the object header is processed.
  3253     HeapWord* const old_src_addr = closure.source();
  3254     closure.copy_partial_obj();
  3255     if (closure.is_full()) {
  3256       decrement_destination_counts(cm, src_space_id, src_region_idx,
  3257                                    closure.source());
  3258       region_ptr->set_deferred_obj_addr(NULL);
  3259       region_ptr->set_completed();
  3260       return;
  3263     HeapWord* const end_addr = sd.region_align_down(closure.source());
  3264     if (sd.region_align_down(old_src_addr) != end_addr) {
  3265       // The partial object was copied from more than one source region.
  3266       decrement_destination_counts(cm, src_space_id, src_region_idx, end_addr);
  3268       // Move to the next source region, possibly switching spaces as well.  All
  3269       // args except end_addr may be modified.
  3270       src_region_idx = next_src_region(closure, src_space_id, src_space_top,
  3271                                        end_addr);
  3275   do {
  3276     HeapWord* const cur_addr = closure.source();
  3277     HeapWord* const end_addr = MIN2(sd.region_align_up(cur_addr + 1),
  3278                                     src_space_top);
  3279     IterationStatus status = bitmap->iterate(&closure, cur_addr, end_addr);
  3281     if (status == ParMarkBitMap::incomplete) {
  3282       // The last obj that starts in the source region does not end in the
  3283       // region.
  3284       assert(closure.source() < end_addr, "sanity");
  3285       HeapWord* const obj_beg = closure.source();
  3286       HeapWord* const range_end = MIN2(obj_beg + closure.words_remaining(),
  3287                                        src_space_top);
  3288       HeapWord* const obj_end = bitmap->find_obj_end(obj_beg, range_end);
  3289       if (obj_end < range_end) {
  3290         // The end was found; the entire object will fit.
  3291         status = closure.do_addr(obj_beg, bitmap->obj_size(obj_beg, obj_end));
  3292         assert(status != ParMarkBitMap::would_overflow, "sanity");
  3293       } else {
  3294         // The end was not found; the object will not fit.
  3295         assert(range_end < src_space_top, "obj cannot cross space boundary");
  3296         status = ParMarkBitMap::would_overflow;
  3300     if (status == ParMarkBitMap::would_overflow) {
  3301       // The last object did not fit.  Note that interior oop updates were
  3302       // deferred, then copy enough of the object to fill the region.
  3303       region_ptr->set_deferred_obj_addr(closure.destination());
  3304       status = closure.copy_until_full(); // copies from closure.source()
  3306       decrement_destination_counts(cm, src_space_id, src_region_idx,
  3307                                    closure.source());
  3308       region_ptr->set_completed();
  3309       return;
  3312     if (status == ParMarkBitMap::full) {
  3313       decrement_destination_counts(cm, src_space_id, src_region_idx,
  3314                                    closure.source());
  3315       region_ptr->set_deferred_obj_addr(NULL);
  3316       region_ptr->set_completed();
  3317       return;
  3320     decrement_destination_counts(cm, src_space_id, src_region_idx, end_addr);
  3322     // Move to the next source region, possibly switching spaces as well.  All
  3323     // args except end_addr may be modified.
  3324     src_region_idx = next_src_region(closure, src_space_id, src_space_top,
  3325                                      end_addr);
  3326   } while (true);
  3329 void
  3330 PSParallelCompact::move_and_update(ParCompactionManager* cm, SpaceId space_id) {
  3331   const MutableSpace* sp = space(space_id);
  3332   if (sp->is_empty()) {
  3333     return;
  3336   ParallelCompactData& sd = PSParallelCompact::summary_data();
  3337   ParMarkBitMap* const bitmap = mark_bitmap();
  3338   HeapWord* const dp_addr = dense_prefix(space_id);
  3339   HeapWord* beg_addr = sp->bottom();
  3340   HeapWord* end_addr = sp->top();
  3342 #ifdef ASSERT
  3343   assert(beg_addr <= dp_addr && dp_addr <= end_addr, "bad dense prefix");
  3344   if (cm->should_verify_only()) {
  3345     VerifyUpdateClosure verify_update(cm, sp);
  3346     bitmap->iterate(&verify_update, beg_addr, end_addr);
  3347     return;
  3350   if (cm->should_reset_only()) {
  3351     ResetObjectsClosure reset_objects(cm);
  3352     bitmap->iterate(&reset_objects, beg_addr, end_addr);
  3353     return;
  3355 #endif
  3357   const size_t beg_region = sd.addr_to_region_idx(beg_addr);
  3358   const size_t dp_region = sd.addr_to_region_idx(dp_addr);
  3359   if (beg_region < dp_region) {
  3360     update_and_deadwood_in_dense_prefix(cm, space_id, beg_region, dp_region);
  3363   // The destination of the first live object that starts in the region is one
  3364   // past the end of the partial object entering the region (if any).
  3365   HeapWord* const dest_addr = sd.partial_obj_end(dp_region);
  3366   HeapWord* const new_top = _space_info[space_id].new_top();
  3367   assert(new_top >= dest_addr, "bad new_top value");
  3368   const size_t words = pointer_delta(new_top, dest_addr);
  3370   if (words > 0) {
  3371     ObjectStartArray* start_array = _space_info[space_id].start_array();
  3372     MoveAndUpdateClosure closure(bitmap, cm, start_array, dest_addr, words);
  3374     ParMarkBitMap::IterationStatus status;
  3375     status = bitmap->iterate(&closure, dest_addr, end_addr);
  3376     assert(status == ParMarkBitMap::full, "iteration not complete");
  3377     assert(bitmap->find_obj_beg(closure.source(), end_addr) == end_addr,
  3378            "live objects skipped because closure is full");
  3382 jlong PSParallelCompact::millis_since_last_gc() {
  3383   jlong ret_val = os::javaTimeMillis() - _time_of_last_gc;
  3384   // XXX See note in genCollectedHeap::millis_since_last_gc().
  3385   if (ret_val < 0) {
  3386     NOT_PRODUCT(warning("time warp: %d", ret_val);)
  3387     return 0;
  3389   return ret_val;
  3392 void PSParallelCompact::reset_millis_since_last_gc() {
  3393   _time_of_last_gc = os::javaTimeMillis();
  3396 ParMarkBitMap::IterationStatus MoveAndUpdateClosure::copy_until_full()
  3398   if (source() != destination()) {
  3399     DEBUG_ONLY(PSParallelCompact::check_new_location(source(), destination());)
  3400     Copy::aligned_conjoint_words(source(), destination(), words_remaining());
  3402   update_state(words_remaining());
  3403   assert(is_full(), "sanity");
  3404   return ParMarkBitMap::full;
  3407 void MoveAndUpdateClosure::copy_partial_obj()
  3409   size_t words = words_remaining();
  3411   HeapWord* const range_end = MIN2(source() + words, bitmap()->region_end());
  3412   HeapWord* const end_addr = bitmap()->find_obj_end(source(), range_end);
  3413   if (end_addr < range_end) {
  3414     words = bitmap()->obj_size(source(), end_addr);
  3417   // This test is necessary; if omitted, the pointer updates to a partial object
  3418   // that crosses the dense prefix boundary could be overwritten.
  3419   if (source() != destination()) {
  3420     DEBUG_ONLY(PSParallelCompact::check_new_location(source(), destination());)
  3421     Copy::aligned_conjoint_words(source(), destination(), words);
  3423   update_state(words);
  3426 ParMarkBitMapClosure::IterationStatus
  3427 MoveAndUpdateClosure::do_addr(HeapWord* addr, size_t words) {
  3428   assert(destination() != NULL, "sanity");
  3429   assert(bitmap()->obj_size(addr) == words, "bad size");
  3431   _source = addr;
  3432   assert(PSParallelCompact::summary_data().calc_new_pointer(source()) ==
  3433          destination(), "wrong destination");
  3435   if (words > words_remaining()) {
  3436     return ParMarkBitMap::would_overflow;
  3439   // The start_array must be updated even if the object is not moving.
  3440   if (_start_array != NULL) {
  3441     _start_array->allocate_block(destination());
  3444   if (destination() != source()) {
  3445     DEBUG_ONLY(PSParallelCompact::check_new_location(source(), destination());)
  3446     Copy::aligned_conjoint_words(source(), destination(), words);
  3449   oop moved_oop = (oop) destination();
  3450   moved_oop->update_contents(compaction_manager());
  3451   assert(moved_oop->is_oop_or_null(), "Object should be whole at this point");
  3453   update_state(words);
  3454   assert(destination() == (HeapWord*)moved_oop + moved_oop->size(), "sanity");
  3455   return is_full() ? ParMarkBitMap::full : ParMarkBitMap::incomplete;
  3458 UpdateOnlyClosure::UpdateOnlyClosure(ParMarkBitMap* mbm,
  3459                                      ParCompactionManager* cm,
  3460                                      PSParallelCompact::SpaceId space_id) :
  3461   ParMarkBitMapClosure(mbm, cm),
  3462   _space_id(space_id),
  3463   _start_array(PSParallelCompact::start_array(space_id))
  3467 // Updates the references in the object to their new values.
  3468 ParMarkBitMapClosure::IterationStatus
  3469 UpdateOnlyClosure::do_addr(HeapWord* addr, size_t words) {
  3470   do_addr(addr);
  3471   return ParMarkBitMap::incomplete;
  3474 // Verify the new location using the forwarding pointer
  3475 // from MarkSweep::mark_sweep_phase2().  Set the mark_word
  3476 // to the initial value.
  3477 ParMarkBitMapClosure::IterationStatus
  3478 PSParallelCompact::VerifyUpdateClosure::do_addr(HeapWord* addr, size_t words) {
  3479   // The second arg (words) is not used.
  3480   oop obj = (oop) addr;
  3481   HeapWord* forwarding_ptr = (HeapWord*) obj->mark()->decode_pointer();
  3482   HeapWord* new_pointer = summary_data().calc_new_pointer(obj);
  3483   if (forwarding_ptr == NULL) {
  3484     // The object is dead or not moving.
  3485     assert(bitmap()->is_unmarked(obj) || (new_pointer == (HeapWord*) obj),
  3486            "Object liveness is wrong.");
  3487     return ParMarkBitMap::incomplete;
  3489   assert(UseParallelOldGCDensePrefix ||
  3490          (HeapMaximumCompactionInterval > 1) ||
  3491          (MarkSweepAlwaysCompactCount > 1) ||
  3492          (forwarding_ptr == new_pointer),
  3493     "Calculation of new location is incorrect");
  3494   return ParMarkBitMap::incomplete;
  3497 // Reset objects modified for debug checking.
  3498 ParMarkBitMapClosure::IterationStatus
  3499 PSParallelCompact::ResetObjectsClosure::do_addr(HeapWord* addr, size_t words) {
  3500   // The second arg (words) is not used.
  3501   oop obj = (oop) addr;
  3502   obj->init_mark();
  3503   return ParMarkBitMap::incomplete;
  3506 // Prepare for compaction.  This method is executed once
  3507 // (i.e., by a single thread) before compaction.
  3508 // Save the updated location of the intArrayKlassObj for
  3509 // filling holes in the dense prefix.
  3510 void PSParallelCompact::compact_prologue() {
  3511   _updated_int_array_klass_obj = (klassOop)
  3512     summary_data().calc_new_pointer(Universe::intArrayKlassObj());

mercurial