/*

 * Copyright (c) 2001, 2014, Oracle and/or its affiliates. All rights reserved.

 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.

 *

 * This code is free software; you can redistribute it and/or modify it

 * under the terms of the GNU General Public License version 2 only, as

 * published by the Free Software Foundation.

 *

 * This code is distributed in the hope that it will be useful, but WITHOUT

 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or

 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License

 * version 2 for more details (a copy is included in the LICENSE file that

 * accompanied this code).

 *

 * You should have received a copy of the GNU General Public License version

 * 2 along with this work; if not, write to the Free Software Foundation,

 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.

 *

 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA

 * or visit www.oracle.com if you need additional information or have any

 * questions.

 *

 */

#if !defined(__clang_major__) && defined(__GNUC__)

// FIXME, formats have issues.  Disable this macro definition, compile, and study warnings for more information.

#define ATTRIBUTE_PRINTF(x,y)

#endif

#include "precompiled.hpp"

#include "classfile/stringTable.hpp"

#include "code/codeCache.hpp"

#include "code/icBuffer.hpp"

#include "gc_implementation/g1/bufferingOopClosure.hpp"

#include "gc_implementation/g1/concurrentG1Refine.hpp"

#include "gc_implementation/g1/concurrentG1RefineThread.hpp"

#include "gc_implementation/g1/concurrentMarkThread.inline.hpp"

#include "gc_implementation/g1/g1AllocRegion.inline.hpp"

#include "gc_implementation/g1/g1CollectedHeap.inline.hpp"

#include "gc_implementation/g1/g1CollectorPolicy.hpp"

#include "gc_implementation/g1/g1ErgoVerbose.hpp"

#include "gc_implementation/g1/g1EvacFailure.hpp"

#include "gc_implementation/g1/g1GCPhaseTimes.hpp"

#include "gc_implementation/g1/g1Log.hpp"

#include "gc_implementation/g1/g1MarkSweep.hpp"

#include "gc_implementation/g1/g1OopClosures.inline.hpp"

#include "gc_implementation/g1/g1ParScanThreadState.inline.hpp"

#include "gc_implementation/g1/g1RegionToSpaceMapper.hpp"

#include "gc_implementation/g1/g1RemSet.inline.hpp"

#include "gc_implementation/g1/g1StringDedup.hpp"

#include "gc_implementation/g1/g1YCTypes.hpp"

#include "gc_implementation/g1/heapRegion.inline.hpp"

#include "gc_implementation/g1/heapRegionRemSet.hpp"

#include "gc_implementation/g1/heapRegionSet.inline.hpp"

#include "gc_implementation/g1/vm_operations_g1.hpp"

#include "gc_implementation/shared/gcHeapSummary.hpp"

#include "gc_implementation/shared/gcTimer.hpp"

#include "gc_implementation/shared/gcTrace.hpp"

#include "gc_implementation/shared/gcTraceTime.hpp"

#include "gc_implementation/shared/isGCActiveMark.hpp"

#include "memory/allocation.hpp"

#include "memory/gcLocker.inline.hpp"

#include "memory/generationSpec.hpp"

#include "memory/iterator.hpp"

#include "memory/referenceProcessor.hpp"

#include "oops/oop.inline.hpp"

#include "oops/oop.pcgc.inline.hpp"

#include "runtime/atomic.inline.hpp"

#include "runtime/orderAccess.inline.hpp"

#include "runtime/vmThread.hpp"

#include "utilities/globalDefinitions.hpp"

size_t G1CollectedHeap::_humongous_object_threshold_in_words = 0;

// turn it on so that the contents of the young list (scan-only /

// to-be-collected) are printed at "strategic" points before / during

// / after the collection --- this is useful for debugging

#define YOUNG_LIST_VERBOSE 0

// CURRENT STATUS

// This file is under construction.  Search for "FIXME".

// INVARIANTS/NOTES

//

// All allocation activity covered by the G1CollectedHeap interface is

// serialized by acquiring the HeapLock.  This happens in mem_allocate

// and allocate_new_tlab, which are the "entry" points to the

// allocation code from the rest of the JVM.  (Note that this does not

// apply to TLAB allocation, which is not part of this interface: it

// is done by clients of this interface.)

// Notes on implementation of parallelism in different tasks.

//

// G1ParVerifyTask uses heap_region_par_iterate_chunked() for parallelism.

// The number of GC workers is passed to heap_region_par_iterate_chunked().

// It does use run_task() which sets _n_workers in the task.

// G1ParTask executes g1_process_roots() ->

// SharedHeap::process_roots() which calls eventually to

// CardTableModRefBS::par_non_clean_card_iterate_work() which uses

// SequentialSubTasksDone.  SharedHeap::process_roots() also

// directly uses SubTasksDone (_process_strong_tasks field in SharedHeap).

//

// Local to this file.

class RefineCardTableEntryClosure: public CardTableEntryClosure {

  bool _concurrent;

public:

  RefineCardTableEntryClosure() : _concurrent(true) { }

  bool do_card_ptr(jbyte* card_ptr, uint worker_i) {

    bool oops_into_cset = G1CollectedHeap::heap()->g1_rem_set()->refine_card(card_ptr, worker_i, false);

    // This path is executed by the concurrent refine or mutator threads,

    // concurrently, and so we do not care if card_ptr contains references

    // that point into the collection set.

    assert(!oops_into_cset, "should be");

    if (_concurrent && SuspendibleThreadSet::should_yield()) {

      // Caller will actually yield.

      return false;

    }

    // Otherwise, we finished successfully; return true.

    return true;

  }

  void set_concurrent(bool b) { _concurrent = b; }

};

class ClearLoggedCardTableEntryClosure: public CardTableEntryClosure {

  size_t _num_processed;

  CardTableModRefBS* _ctbs;

  int _histo[256];

 public:

  ClearLoggedCardTableEntryClosure() :

    _num_processed(0), _ctbs(G1CollectedHeap::heap()->g1_barrier_set())

  {

    for (int i = 0; i < 256; i++) _histo[i] = 0;

  }

  bool do_card_ptr(jbyte* card_ptr, uint worker_i) {

    unsigned char* ujb = (unsigned char*)card_ptr;

    int ind = (int)(*ujb);

    _histo[ind]++;

    *card_ptr = (jbyte)CardTableModRefBS::clean_card_val();

    _num_processed++;

    return true;

  }

  size_t num_processed() { return _num_processed; }

  void print_histo() {

    gclog_or_tty->print_cr("Card table value histogram:");

    for (int i = 0; i < 256; i++) {

      if (_histo[i] != 0) {

        gclog_or_tty->print_cr("  %d: %d", i, _histo[i]);

      }

    }

  }

};

class RedirtyLoggedCardTableEntryClosure : public CardTableEntryClosure {

 private:

  size_t _num_processed;

 public:

  RedirtyLoggedCardTableEntryClosure() : CardTableEntryClosure(), _num_processed(0) { }

  bool do_card_ptr(jbyte* card_ptr, uint worker_i) {

    *card_ptr = CardTableModRefBS::dirty_card_val();

    _num_processed++;

    return true;

  }

  size_t num_processed() const { return _num_processed; }

};

YoungList::YoungList(G1CollectedHeap* g1h) :

    _g1h(g1h), _head(NULL), _length(0), _last_sampled_rs_lengths(0),

    _survivor_head(NULL), _survivor_tail(NULL), _survivor_length(0) {

  guarantee(check_list_empty(false), "just making sure...");

}

void YoungList::push_region(HeapRegion *hr) {

  assert(!hr->is_young(), "should not already be young");

  assert(hr->get_next_young_region() == NULL, "cause it should!");

  hr->set_next_young_region(_head);

  _head = hr;

  _g1h->g1_policy()->set_region_eden(hr, (int) _length);

  ++_length;

}

void YoungList::add_survivor_region(HeapRegion* hr) {

  assert(hr->is_survivor(), "should be flagged as survivor region");

  assert(hr->get_next_young_region() == NULL, "cause it should!");

  hr->set_next_young_region(_survivor_head);

  if (_survivor_head == NULL) {

    _survivor_tail = hr;

  }

  _survivor_head = hr;

  ++_survivor_length;

}

void YoungList::empty_list(HeapRegion* list) {

  while (list != NULL) {

    HeapRegion* next = list->get_next_young_region();

    list->set_next_young_region(NULL);

    list->uninstall_surv_rate_group();

    list->set_not_young();

    list = next;

  }

}

void YoungList::empty_list() {

  assert(check_list_well_formed(), "young list should be well formed");

  empty_list(_head);

  _head = NULL;

  _length = 0;

  empty_list(_survivor_head);

  _survivor_head = NULL;

  _survivor_tail = NULL;

  _survivor_length = 0;

  _last_sampled_rs_lengths = 0;

  assert(check_list_empty(false), "just making sure...");

}

bool YoungList::check_list_well_formed() {

  bool ret = true;

  uint length = 0;

  HeapRegion* curr = _head;

  HeapRegion* last = NULL;

  while (curr != NULL) {

    if (!curr->is_young()) {

      gclog_or_tty->print_cr("### YOUNG REGION "PTR_FORMAT"-"PTR_FORMAT" "

                             "incorrectly tagged (y: %d, surv: %d)",

                             curr->bottom(), curr->end(),

                             curr->is_young(), curr->is_survivor());

      ret = false;

    }

    ++length;

    last = curr;

    curr = curr->get_next_young_region();

  }

  ret = ret && (length == _length);

  if (!ret) {

    gclog_or_tty->print_cr("### YOUNG LIST seems not well formed!");

    gclog_or_tty->print_cr("###   list has %u entries, _length is %u",

                           length, _length);

  }

  return ret;

}

bool YoungList::check_list_empty(bool check_sample) {

  bool ret = true;

  if (_length != 0) {

    gclog_or_tty->print_cr("### YOUNG LIST should have 0 length, not %u",

                  _length);

    ret = false;

  }

  if (check_sample && _last_sampled_rs_lengths != 0) {

    gclog_or_tty->print_cr("### YOUNG LIST has non-zero last sampled RS lengths");

    ret = false;

  }

  if (_head != NULL) {

    gclog_or_tty->print_cr("### YOUNG LIST does not have a NULL head");

    ret = false;

  }

  if (!ret) {

    gclog_or_tty->print_cr("### YOUNG LIST does not seem empty");

  }

  return ret;

}

void

YoungList::rs_length_sampling_init() {

  _sampled_rs_lengths = 0;

  _curr               = _head;

}

bool

YoungList::rs_length_sampling_more() {

  return _curr != NULL;

}

void

YoungList::rs_length_sampling_next() {

  assert( _curr != NULL, "invariant" );

  size_t rs_length = _curr->rem_set()->occupied();

  _sampled_rs_lengths += rs_length;

  // The current region may not yet have been added to the

  // incremental collection set (it gets added when it is

  // retired as the current allocation region).

  if (_curr->in_collection_set()) {

    // Update the collection set policy information for this region

    _g1h->g1_policy()->update_incremental_cset_info(_curr, rs_length);

  }

  _curr = _curr->get_next_young_region();

  if (_curr == NULL) {

    _last_sampled_rs_lengths = _sampled_rs_lengths;

    // gclog_or_tty->print_cr("last sampled RS lengths = %d", _last_sampled_rs_lengths);

  }

}

void

YoungList::reset_auxilary_lists() {

  guarantee( is_empty(), "young list should be empty" );

  assert(check_list_well_formed(), "young list should be well formed");

  // Add survivor regions to SurvRateGroup.

  _g1h->g1_policy()->note_start_adding_survivor_regions();

  _g1h->g1_policy()->finished_recalculating_age_indexes(true /* is_survivors */);

  int young_index_in_cset = 0;

  for (HeapRegion* curr = _survivor_head;

       curr != NULL;

       curr = curr->get_next_young_region()) {

    _g1h->g1_policy()->set_region_survivor(curr, young_index_in_cset);

    // The region is a non-empty survivor so let's add it to

    // the incremental collection set for the next evacuation

    // pause.

    _g1h->g1_policy()->add_region_to_incremental_cset_rhs(curr);

    young_index_in_cset += 1;

  }

  assert((uint) young_index_in_cset == _survivor_length, "post-condition");

  _g1h->g1_policy()->note_stop_adding_survivor_regions();

  _head   = _survivor_head;

  _length = _survivor_length;

  if (_survivor_head != NULL) {

    assert(_survivor_tail != NULL, "cause it shouldn't be");

    assert(_survivor_length > 0, "invariant");

    _survivor_tail->set_next_young_region(NULL);

  }

  // Don't clear the survivor list handles until the start of

  // the next evacuation pause - we need it in order to re-tag

  // the survivor regions from this evacuation pause as 'young'

  // at the start of the next.

  _g1h->g1_policy()->finished_recalculating_age_indexes(false /* is_survivors */);

  assert(check_list_well_formed(), "young list should be well formed");

}

void YoungList::print() {

  HeapRegion* lists[] = {_head,   _survivor_head};

  const char* names[] = {"YOUNG", "SURVIVOR"};

  for (unsigned int list = 0; list < ARRAY_SIZE(lists); ++list) {

    gclog_or_tty->print_cr("%s LIST CONTENTS", names[list]);

    HeapRegion *curr = lists[list];

    if (curr == NULL)

      gclog_or_tty->print_cr("  empty");

    while (curr != NULL) {

      gclog_or_tty->print_cr("  "HR_FORMAT", P: "PTR_FORMAT "N: "PTR_FORMAT", age: %4d",

                             HR_FORMAT_PARAMS(curr),

                             curr->prev_top_at_mark_start(),

                             curr->next_top_at_mark_start(),

                             curr->age_in_surv_rate_group_cond());

      curr = curr->get_next_young_region();

    }

  }

  gclog_or_tty->cr();

}

void G1RegionMappingChangedListener::reset_from_card_cache(uint start_idx, size_t num_regions) {

  OtherRegionsTable::invalidate(start_idx, num_regions);

}

void G1RegionMappingChangedListener::on_commit(uint start_idx, size_t num_regions) {

  reset_from_card_cache(start_idx, num_regions);

}

void G1CollectedHeap::push_dirty_cards_region(HeapRegion* hr)

{

  // Claim the right to put the region on the dirty cards region list

  // by installing a self pointer.

  HeapRegion* next = hr->get_next_dirty_cards_region();

  if (next == NULL) {

    HeapRegion* res = (HeapRegion*)

      Atomic::cmpxchg_ptr(hr, hr->next_dirty_cards_region_addr(),

                          NULL);

    if (res == NULL) {

      HeapRegion* head;

      do {

        // Put the region to the dirty cards region list.

        head = _dirty_cards_region_list;

        next = (HeapRegion*)

          Atomic::cmpxchg_ptr(hr, &_dirty_cards_region_list, head);

        if (next == head) {

          assert(hr->get_next_dirty_cards_region() == hr,

                 "hr->get_next_dirty_cards_region() != hr");

          if (next == NULL) {

            // The last region in the list points to itself.

            hr->set_next_dirty_cards_region(hr);

          } else {

            hr->set_next_dirty_cards_region(next);

          }

        }

      } while (next != head);

    }

  }

}

HeapRegion* G1CollectedHeap::pop_dirty_cards_region()

{

  HeapRegion* head;

  HeapRegion* hr;

  do {

    head = _dirty_cards_region_list;

    if (head == NULL) {

      return NULL;

    }

    HeapRegion* new_head = head->get_next_dirty_cards_region();

    if (head == new_head) {

      // The last region.

      new_head = NULL;

    }

    hr = (HeapRegion*)Atomic::cmpxchg_ptr(new_head, &_dirty_cards_region_list,

                                          head);

  } while (hr != head);

  assert(hr != NULL, "invariant");

  hr->set_next_dirty_cards_region(NULL);

  return hr;

}

#ifdef ASSERT

// A region is added to the collection set as it is retired

// so an address p can point to a region which will be in the

// collection set but has not yet been retired.  This method

// therefore is only accurate during a GC pause after all

// regions have been retired.  It is used for debugging

// to check if an nmethod has references to objects that can

// be move during a partial collection.  Though it can be

// inaccurate, it is sufficient for G1 because the conservative

// implementation of is_scavengable() for G1 will indicate that

// all nmethods must be scanned during a partial collection.

bool G1CollectedHeap::is_in_partial_collection(const void* p) {

  if (p == NULL) {

    return false;

  }

  return heap_region_containing(p)->in_collection_set();

}

#endif

// Returns true if the reference points to an object that

// can move in an incremental collection.

bool G1CollectedHeap::is_scavengable(const void* p) {

  HeapRegion* hr = heap_region_containing(p);

  return !hr->isHumongous();

}

void G1CollectedHeap::check_ct_logs_at_safepoint() {

  DirtyCardQueueSet& dcqs = JavaThread::dirty_card_queue_set();

  CardTableModRefBS* ct_bs = g1_barrier_set();

  // Count the dirty cards at the start.

  CountNonCleanMemRegionClosure count1(this);

  ct_bs->mod_card_iterate(&count1);

  int orig_count = count1.n();

  // First clear the logged cards.

  ClearLoggedCardTableEntryClosure clear;

  dcqs.apply_closure_to_all_completed_buffers(&clear);

  dcqs.iterate_closure_all_threads(&clear, false);

  clear.print_histo();

  // Now ensure that there's no dirty cards.

  CountNonCleanMemRegionClosure count2(this);

  ct_bs->mod_card_iterate(&count2);

  if (count2.n() != 0) {

    gclog_or_tty->print_cr("Card table has %d entries; %d originally",

                           count2.n(), orig_count);

  }

  guarantee(count2.n() == 0, "Card table should be clean.");

  RedirtyLoggedCardTableEntryClosure redirty;

  dcqs.apply_closure_to_all_completed_buffers(&redirty);

  dcqs.iterate_closure_all_threads(&redirty, false);

  gclog_or_tty->print_cr("Log entries = %d, dirty cards = %d.",

                         clear.num_processed(), orig_count);

  guarantee(redirty.num_processed() == clear.num_processed(),