collectedHeap.hpp 26.0 KB
Newer Older
D
duke 已提交
1
/*
2
 * Copyright (c) 2001, 2019, Oracle and/or its affiliates. All rights reserved.
D
duke 已提交
3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
 * 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.
 *
19 20 21
 * 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.
D
duke 已提交
22 23 24
 *
 */

25 26 27 28
#ifndef SHARE_VM_GC_INTERFACE_COLLECTEDHEAP_HPP
#define SHARE_VM_GC_INTERFACE_COLLECTEDHEAP_HPP

#include "gc_interface/gcCause.hpp"
S
sla 已提交
29
#include "gc_implementation/shared/gcWhen.hpp"
30 31 32 33 34
#include "memory/allocation.hpp"
#include "memory/barrierSet.hpp"
#include "runtime/handles.hpp"
#include "runtime/perfData.hpp"
#include "runtime/safepoint.hpp"
35
#include "utilities/events.hpp"
36

D
duke 已提交
37 38 39 40 41 42
// A "CollectedHeap" is an implementation of a java heap for HotSpot.  This
// is an abstract class: there may be many different kinds of heaps.  This
// class defines the functions that a heap must implement, and contains
// infrastructure common to all heaps.

class AdaptiveSizePolicy;
S
sla 已提交
43
class BarrierSet;
44
class CollectorPolicy;
S
sla 已提交
45 46 47 48 49 50 51
class GCHeapSummary;
class GCTimer;
class GCTracer;
class MetaspaceSummary;
class Thread;
class ThreadClosure;
class VirtualSpaceSummary;
J
johnc 已提交
52
class nmethod;
D
duke 已提交
53

54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76
class GCMessage : public FormatBuffer<1024> {
 public:
  bool is_before;

 public:
  GCMessage() {}
};

class GCHeapLog : public EventLogBase<GCMessage> {
 private:
  void log_heap(bool before);

 public:
  GCHeapLog() : EventLogBase<GCMessage>("GC Heap History") {}

  void log_heap_before() {
    log_heap(true);
  }
  void log_heap_after() {
    log_heap(false);
  }
};

D
duke 已提交
77 78 79 80 81 82 83
//
// CollectedHeap
//   SharedHeap
//     GenCollectedHeap
//     G1CollectedHeap
//   ParallelScavengeHeap
//
Z
zgu 已提交
84
class CollectedHeap : public CHeapObj<mtInternal> {
D
duke 已提交
85 86 87 88 89 90 91
  friend class VMStructs;
  friend class IsGCActiveMark; // Block structured external access to _is_gc_active

#ifdef ASSERT
  static int       _fire_out_of_memory_count;
#endif

92 93 94
  // Used for filler objects (static, but initialized in ctor).
  static size_t _filler_array_max_size;

95 96
  GCHeapLog* _gc_heap_log;

97 98 99
  // Used in support of ReduceInitialCardMarks; only consulted if COMPILER2 is being used
  bool _defer_initial_card_mark;

D
duke 已提交
100 101 102 103
 protected:
  MemRegion _reserved;
  BarrierSet* _barrier_set;
  bool _is_gc_active;
104
  uint _n_par_threads;
105

D
duke 已提交
106 107 108 109 110 111 112 113 114 115 116 117 118 119 120
  unsigned int _total_collections;          // ... started
  unsigned int _total_full_collections;     // ... started
  NOT_PRODUCT(volatile size_t _promotion_failure_alot_count;)
  NOT_PRODUCT(volatile size_t _promotion_failure_alot_gc_number;)

  // Reason for current garbage collection.  Should be set to
  // a value reflecting no collection between collections.
  GCCause::Cause _gc_cause;
  GCCause::Cause _gc_lastcause;
  PerfStringVariable* _perf_gc_cause;
  PerfStringVariable* _perf_gc_lastcause;

  // Constructor
  CollectedHeap();

121 122 123 124 125 126 127
  // Do common initializations that must follow instance construction,
  // for example, those needing virtual calls.
  // This code could perhaps be moved into initialize() but would
  // be slightly more awkward because we want the latter to be a
  // pure virtual.
  void pre_initialize();

128
  // Create a new tlab. All TLAB allocations must go through this.
D
duke 已提交
129 130 131 132 133 134 135 136 137
  virtual HeapWord* allocate_new_tlab(size_t size);

  // Accumulate statistics on all tlabs.
  virtual void accumulate_statistics_all_tlabs();

  // Reinitialize tlabs before resuming mutators.
  virtual void resize_all_tlabs();

  // Allocate from the current thread's TLAB, with broken-out slow path.
S
sla 已提交
138 139
  inline static HeapWord* allocate_from_tlab(KlassHandle klass, Thread* thread, size_t size);
  static HeapWord* allocate_from_tlab_slow(KlassHandle klass, Thread* thread, size_t size);
D
duke 已提交
140 141 142

  // Allocate an uninitialized block of the given size, or returns NULL if
  // this is impossible.
S
sla 已提交
143
  inline static HeapWord* common_mem_allocate_noinit(KlassHandle klass, size_t size, TRAPS);
D
duke 已提交
144 145 146

  // Like allocate_init, but the block returned by a successful allocation
  // is guaranteed initialized to zeros.
S
sla 已提交
147
  inline static HeapWord* common_mem_allocate_init(KlassHandle klass, size_t size, TRAPS);
D
duke 已提交
148 149

  // Helper functions for (VM) allocation.
150
  inline static void post_allocation_setup_common(KlassHandle klass, HeapWord* obj);
D
duke 已提交
151
  inline static void post_allocation_setup_no_klass_install(KlassHandle klass,
152
                                                            HeapWord* objPtr);
D
duke 已提交
153

154
  inline static void post_allocation_setup_obj(KlassHandle klass, HeapWord* obj, int size);
D
duke 已提交
155 156

  inline static void post_allocation_setup_array(KlassHandle klass,
157
                                                 HeapWord* obj, int length);
D
duke 已提交
158 159 160 161

  // Clears an allocated object.
  inline static void init_obj(HeapWord* obj, size_t size);

162 163 164 165 166
  // Filler object utilities.
  static inline size_t filler_array_hdr_size();
  static inline size_t filler_array_min_size();

  DEBUG_ONLY(static void fill_args_check(HeapWord* start, size_t words);)
J
johnc 已提交
167
  DEBUG_ONLY(static void zap_filler_array(HeapWord* start, size_t words, bool zap = true);)
168 169 170

  // Fill with a single array; caller must ensure filler_array_min_size() <=
  // words <= filler_array_max_size().
J
johnc 已提交
171
  static inline void fill_with_array(HeapWord* start, size_t words, bool zap = true);
172 173

  // Fill with a single object (either an int array or a java.lang.Object).
J
johnc 已提交
174
  static inline void fill_with_object_impl(HeapWord* start, size_t words, bool zap = true);
175

S
sla 已提交
176 177
  virtual void trace_heap(GCWhen::Type when, GCTracer* tracer);

D
duke 已提交
178 179 180 181 182
  // Verification functions
  virtual void check_for_bad_heap_word_value(HeapWord* addr, size_t size)
    PRODUCT_RETURN;
  virtual void check_for_non_bad_heap_word_value(HeapWord* addr, size_t size)
    PRODUCT_RETURN;
183
  debug_only(static void check_for_valid_allocation_state();)
D
duke 已提交
184 185 186 187 188 189 190 191 192 193

 public:
  enum Name {
    Abstract,
    SharedHeap,
    GenCollectedHeap,
    ParallelScavengeHeap,
    G1CollectedHeap
  };

194 195 196 197
  static inline size_t filler_array_max_size() {
    return _filler_array_max_size;
  }

D
duke 已提交
198 199 200 201 202 203 204 205 206 207 208 209 210
  virtual CollectedHeap::Name kind() const { return CollectedHeap::Abstract; }

  /**
   * Returns JNI error code JNI_ENOMEM if memory could not be allocated,
   * and JNI_OK on success.
   */
  virtual jint initialize() = 0;

  // In many heaps, there will be a need to perform some initialization activities
  // after the Universe is fully formed, but before general heap allocation is allowed.
  // This is the correct place to place such initialization methods.
  virtual void post_initialize() = 0;

211 212 213
  // Stop any onging concurrent work and prepare for exit.
  virtual void stop() {}

D
duke 已提交
214
  MemRegion reserved_region() const { return _reserved; }
215
  address base() const { return (address)reserved_region().start(); }
D
duke 已提交
216 217 218 219 220 221 222 223 224 225 226 227

  virtual size_t capacity() const = 0;
  virtual size_t used() const = 0;

  // Return "true" if the part of the heap that allocates Java
  // objects has reached the maximal committed limit that it can
  // reach, without a garbage collection.
  virtual bool is_maximal_no_gc() const = 0;

  // Support for java.lang.Runtime.maxMemory():  return the maximum amount of
  // memory that the vm could make available for storing 'normal' java objects.
  // This is based on the reserved address space, but should not include space
228 229
  // that the vm uses internally for bookkeeping or temporary storage
  // (e.g., in the case of the young gen, one of the survivor
D
duke 已提交
230 231 232 233 234 235 236 237 238 239 240 241
  // spaces).
  virtual size_t max_capacity() const = 0;

  // Returns "TRUE" if "p" points into the reserved area of the heap.
  bool is_in_reserved(const void* p) const {
    return _reserved.contains(p);
  }

  bool is_in_reserved_or_null(const void* p) const {
    return p == NULL || is_in_reserved(p);
  }

S
stefank 已提交
242 243
  // Returns "TRUE" iff "p" points into the committed areas of the heap.
  // Since this method can be expensive in general, we restrict its
D
duke 已提交
244 245 246 247 248 249 250
  // use to assertion checking only.
  virtual bool is_in(const void* p) const = 0;

  bool is_in_or_null(const void* p) const {
    return p == NULL || is_in(p);
  }

251 252 253 254 255 256 257 258 259
  bool is_in_place(Metadata** p) {
    return !Universe::heap()->is_in(p);
  }
  bool is_in_place(oop* p) { return Universe::heap()->is_in(p); }
  bool is_in_place(narrowOop* p) {
    oop o = oopDesc::load_decode_heap_oop_not_null(p);
    return Universe::heap()->is_in((const void*)o);
  }

D
duke 已提交
260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291
  // Let's define some terms: a "closed" subset of a heap is one that
  //
  // 1) contains all currently-allocated objects, and
  //
  // 2) is closed under reference: no object in the closed subset
  //    references one outside the closed subset.
  //
  // Membership in a heap's closed subset is useful for assertions.
  // Clearly, the entire heap is a closed subset, so the default
  // implementation is to use "is_in_reserved".  But this may not be too
  // liberal to perform useful checking.  Also, the "is_in" predicate
  // defines a closed subset, but may be too expensive, since "is_in"
  // verifies that its argument points to an object head.  The
  // "closed_subset" method allows a heap to define an intermediate
  // predicate, allowing more precise checking than "is_in_reserved" at
  // lower cost than "is_in."

  // One important case is a heap composed of disjoint contiguous spaces,
  // such as the Garbage-First collector.  Such heaps have a convenient
  // closed subset consisting of the allocated portions of those
  // contiguous spaces.

  // Return "TRUE" iff the given pointer points into the heap's defined
  // closed subset (which defaults to the entire heap).
  virtual bool is_in_closed_subset(const void* p) const {
    return is_in_reserved(p);
  }

  bool is_in_closed_subset_or_null(const void* p) const {
    return p == NULL || is_in_closed_subset(p);
  }

292 293 294 295 296 297
#ifdef ASSERT
  // Returns true if "p" is in the part of the
  // heap being collected.
  virtual bool is_in_partial_collection(const void *p) = 0;
#endif

298 299
  // An object is scavengable if its location may move during a scavenge.
  // (A scavenge is a GC which is not a full GC.)
300
  virtual bool is_scavengable(const void *p) = 0;
301

D
duke 已提交
302 303 304 305 306 307 308 309 310 311
  void set_gc_cause(GCCause::Cause v) {
     if (UsePerfData) {
       _gc_lastcause = _gc_cause;
       _perf_gc_lastcause->set_value(GCCause::to_string(_gc_lastcause));
       _perf_gc_cause->set_value(GCCause::to_string(v));
     }
    _gc_cause = v;
  }
  GCCause::Cause gc_cause() { return _gc_cause; }

312
  // Number of threads currently working on GC tasks.
313
  uint n_par_threads() { return _n_par_threads; }
314 315

  // May be overridden to set additional parallelism.
316
  virtual void set_par_threads(uint t) { _n_par_threads = t; };
317

D
duke 已提交
318 319 320
  // General obj/array allocation facilities.
  inline static oop obj_allocate(KlassHandle klass, int size, TRAPS);
  inline static oop array_allocate(KlassHandle klass, int size, int length, TRAPS);
321
  inline static oop array_allocate_nozero(KlassHandle klass, int size, int length, TRAPS);
322 323
 private:
  inline static void check_array_size(int size, int length, TRAPS);
D
duke 已提交
324

325
 public:
326 327
  inline static void post_allocation_install_obj_klass(KlassHandle klass,
                                                       oop obj);
D
duke 已提交
328 329 330

  // Raw memory allocation facilities
  // The obj and array allocate methods are covers for these methods.
331
  // mem_allocate() should never be
332
  // called to allocate TLABs, only individual objects.
D
duke 已提交
333 334 335
  virtual HeapWord* mem_allocate(size_t size,
                                 bool* gc_overhead_limit_was_exceeded) = 0;

336 337 338 339 340 341 342 343 344 345 346
  // Utilities for turning raw memory into filler objects.
  //
  // min_fill_size() is the smallest region that can be filled.
  // fill_with_objects() can fill arbitrary-sized regions of the heap using
  // multiple objects.  fill_with_object() is for regions known to be smaller
  // than the largest array of integers; it uses a single object to fill the
  // region and has slightly less overhead.
  static size_t min_fill_size() {
    return size_t(align_object_size(oopDesc::header_size()));
  }

J
johnc 已提交
347
  static void fill_with_objects(HeapWord* start, size_t words, bool zap = true);
348

J
johnc 已提交
349 350 351
  static void fill_with_object(HeapWord* start, size_t words, bool zap = true);
  static void fill_with_object(MemRegion region, bool zap = true) {
    fill_with_object(region.start(), region.word_size(), zap);
352
  }
J
johnc 已提交
353 354
  static void fill_with_object(HeapWord* start, HeapWord* end, bool zap = true) {
    fill_with_object(start, pointer_delta(end, start), zap);
355 356
  }

357 358 359 360 361 362
  // Return the address "addr" aligned by "alignment_in_bytes" if such
  // an address is below "end".  Return NULL otherwise.
  inline static HeapWord* align_allocation_or_fail(HeapWord* addr,
                                                   HeapWord* end,
                                                   unsigned short alignment_in_bytes);

D
duke 已提交
363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405
  // Some heaps may offer a contiguous region for shared non-blocking
  // allocation, via inlined code (by exporting the address of the top and
  // end fields defining the extent of the contiguous allocation region.)

  // This function returns "true" iff the heap supports this kind of
  // allocation.  (Default is "no".)
  virtual bool supports_inline_contig_alloc() const {
    return false;
  }
  // These functions return the addresses of the fields that define the
  // boundaries of the contiguous allocation area.  (These fields should be
  // physically near to one another.)
  virtual HeapWord** top_addr() const {
    guarantee(false, "inline contiguous allocation not supported");
    return NULL;
  }
  virtual HeapWord** end_addr() const {
    guarantee(false, "inline contiguous allocation not supported");
    return NULL;
  }

  // Some heaps may be in an unparseable state at certain times between
  // collections. This may be necessary for efficient implementation of
  // certain allocation-related activities. Calling this function before
  // attempting to parse a heap ensures that the heap is in a parsable
  // state (provided other concurrent activity does not introduce
  // unparsability). It is normally expected, therefore, that this
  // method is invoked with the world stopped.
  // NOTE: if you override this method, make sure you call
  // super::ensure_parsability so that the non-generational
  // part of the work gets done. See implementation of
  // CollectedHeap::ensure_parsability and, for instance,
  // that of GenCollectedHeap::ensure_parsability().
  // The argument "retire_tlabs" controls whether existing TLABs
  // are merely filled or also retired, thus preventing further
  // allocation from them and necessitating allocation of new TLABs.
  virtual void ensure_parsability(bool retire_tlabs);

  // Section on thread-local allocation buffers (TLABs)
  // If the heap supports thread-local allocation buffers, it should override
  // the following methods:
  // Returns "true" iff the heap supports thread-local allocation buffers.
  // The default is "no".
B
brutisso 已提交
406 407
  virtual bool supports_tlab_allocation() const = 0;

D
duke 已提交
408
  // The amount of space available for thread-local allocation buffers.
B
brutisso 已提交
409 410 411 412 413 414 415
  virtual size_t tlab_capacity(Thread *thr) const = 0;

  // The amount of used space for thread-local allocation buffers for the given thread.
  virtual size_t tlab_used(Thread *thr) const = 0;

  virtual size_t max_tlab_size() const;

D
duke 已提交
416 417 418 419 420 421 422
  // An estimate of the maximum allocation that could be performed
  // for thread-local allocation buffers without triggering any
  // collection or expansion activity.
  virtual size_t unsafe_max_tlab_alloc(Thread *thr) const {
    guarantee(false, "thread-local allocation buffers not supported");
    return 0;
  }
423

D
duke 已提交
424 425
  // Can a compiler initialize a new object without store barriers?
  // This permission only extends from the creation of a new object
426 427 428 429 430
  // via a TLAB up to the first subsequent safepoint. If such permission
  // is granted for this heap type, the compiler promises to call
  // defer_store_barrier() below on any slow path allocation of
  // a new object for which such initializing store barriers will
  // have been elided.
431 432
  virtual bool can_elide_tlab_store_barriers() const = 0;

D
duke 已提交
433 434 435 436 437
  // If a compiler is eliding store barriers for TLAB-allocated objects,
  // there is probably a corresponding slow path which can produce
  // an object allocated anywhere.  The compiler's runtime support
  // promises to call this function on such a slow-path-allocated
  // object before performing initializations that have elided
438
  // store barriers. Returns new_obj, or maybe a safer copy thereof.
439
  virtual oop new_store_pre_barrier(JavaThread* thread, oop new_obj);
440 441

  // Answers whether an initializing store to a new object currently
442
  // allocated at the given address doesn't need a store
443 444 445 446
  // barrier. Returns "true" if it doesn't need an initializing
  // store barrier; answers "false" if it does.
  virtual bool can_elide_initializing_store_barrier(oop new_obj) = 0;

447 448 449 450 451 452 453 454 455 456 457
  // If a compiler is eliding store barriers for TLAB-allocated objects,
  // we will be informed of a slow-path allocation by a call
  // to new_store_pre_barrier() above. Such a call precedes the
  // initialization of the object itself, and no post-store-barriers will
  // be issued. Some heap types require that the barrier strictly follows
  // the initializing stores. (This is currently implemented by deferring the
  // barrier until the next slow-path allocation or gc-related safepoint.)
  // This interface answers whether a particular heap type needs the card
  // mark to be thus strictly sequenced after the stores.
  virtual bool card_mark_must_follow_store() const = 0;

458 459 460 461
  // If the CollectedHeap was asked to defer a store barrier above,
  // this informs it to flush such a deferred store barrier to the
  // remembered set.
  virtual void flush_deferred_store_barrier(JavaThread* thread);
D
duke 已提交
462 463

  // Does this heap support heap inspection (+PrintClassHistogram?)
464
  virtual bool supports_heap_inspection() const = 0;
D
duke 已提交
465 466 467 468 469 470

  // Perform a collection of the heap; intended for use in implementing
  // "System.gc".  This probably implies as full a collection as the
  // "CollectedHeap" supports.
  virtual void collect(GCCause::Cause cause) = 0;

471 472 473
  // Perform a full collection
  virtual void do_full_collection(bool clear_all_soft_refs) = 0;

D
duke 已提交
474 475 476 477
  // This interface assumes that it's being called by the
  // vm thread. It collects the heap assuming that the
  // heap lock is already held and that we are executing in
  // the context of the vm thread.
478 479
  virtual void collect_as_vm_thread(GCCause::Cause cause);

D
duke 已提交
480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505
  // Returns the barrier set for this heap
  BarrierSet* barrier_set() { return _barrier_set; }

  // Returns "true" iff there is a stop-world GC in progress.  (I assume
  // that it should answer "false" for the concurrent part of a concurrent
  // collector -- dld).
  bool is_gc_active() const { return _is_gc_active; }

  // Total number of GC collections (started)
  unsigned int total_collections() const { return _total_collections; }
  unsigned int total_full_collections() const { return _total_full_collections;}

  // Increment total number of GC collections (started)
  // Should be protected but used by PSMarkSweep - cleanup for 1.4.2
  void increment_total_collections(bool full = false) {
    _total_collections++;
    if (full) {
      increment_total_full_collections();
    }
  }

  void increment_total_full_collections() { _total_full_collections++; }

  // Return the AdaptiveSizePolicy for the heap.
  virtual AdaptiveSizePolicy* size_policy() = 0;

506 507 508
  // Return the CollectorPolicy for the heap
  virtual CollectorPolicy* collector_policy() const = 0;

509 510
  void oop_iterate_no_header(OopClosure* cl);

D
duke 已提交
511
  // Iterate over all the ref-containing fields of all objects, calling
512 513
  // "cl.do_oop" on each.
  virtual void oop_iterate(ExtendedOopClosure* cl) = 0;
D
duke 已提交
514 515 516

  // Iterate over all objects, calling "cl.do_object" on each.
  virtual void object_iterate(ObjectClosure* cl) = 0;
517 518 519 520

  // Similar to object_iterate() except iterates only
  // over live objects.
  virtual void safe_object_iterate(ObjectClosure* cl) = 0;
D
duke 已提交
521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555

  // NOTE! There is no requirement that a collector implement these
  // functions.
  //
  // A CollectedHeap is divided into a dense sequence of "blocks"; that is,
  // each address in the (reserved) heap is a member of exactly
  // one block.  The defining characteristic of a block is that it is
  // possible to find its size, and thus to progress forward to the next
  // block.  (Blocks may be of different sizes.)  Thus, blocks may
  // represent Java objects, or they might be free blocks in a
  // free-list-based heap (or subheap), as long as the two kinds are
  // distinguishable and the size of each is determinable.

  // Returns the address of the start of the "block" that contains the
  // address "addr".  We say "blocks" instead of "object" since some heaps
  // may not pack objects densely; a chunk may either be an object or a
  // non-object.
  virtual HeapWord* block_start(const void* addr) const = 0;

  // Requires "addr" to be the start of a chunk, and returns its size.
  // "addr + size" is required to be the start of a new chunk, or the end
  // of the active area of the heap.
  virtual size_t block_size(const HeapWord* addr) const = 0;

  // Requires "addr" to be the start of a block, and returns "TRUE" iff
  // the block is an object.
  virtual bool block_is_obj(const HeapWord* addr) const = 0;

  // Returns the longest time (in ms) that has elapsed since the last
  // time that any part of the heap was examined by a garbage collection.
  virtual jlong millis_since_last_gc() = 0;

  // Perform any cleanup actions necessary before allowing a verification.
  virtual void prepare_for_verify() = 0;

556
  // Generate any dumps preceding or following a full gc
S
sla 已提交
557 558 559 560 561 562 563
  void pre_full_gc_dump(GCTimer* timer);
  void post_full_gc_dump(GCTimer* timer);

  VirtualSpaceSummary create_heap_space_summary();
  GCHeapSummary create_heap_summary();

  MetaspaceSummary create_metaspace_summary();
564

565
  // Print heap information on the given outputStream.
D
duke 已提交
566
  virtual void print_on(outputStream* st) const = 0;
567 568 569 570 571
  // The default behavior is to call print_on() on tty.
  virtual void print() const {
    print_on(tty);
  }
  // Print more detailed heap information on the given
S
sla 已提交
572
  // outputStream. The default behavior is to call print_on(). It is
573 574 575 576 577
  // up to each subclass to override it and add any additional output
  // it needs.
  virtual void print_extended_on(outputStream* st) const {
    print_on(st);
  }
D
duke 已提交
578

579 580 581 582 583 584 585 586
  virtual void print_on_error(outputStream* st) const {
    st->print_cr("Heap:");
    print_extended_on(st);
    st->cr();

    _barrier_set->print_on(st);
  }

D
duke 已提交
587 588 589
  // Print all GC threads (other than the VM thread)
  // used by this heap.
  virtual void print_gc_threads_on(outputStream* st) const = 0;
590 591 592 593
  // The default behavior is to call print_gc_threads_on() on tty.
  void print_gc_threads() {
    print_gc_threads_on(tty);
  }
D
duke 已提交
594 595 596 597 598 599 600
  // Iterator for all GC threads (other than VM thread)
  virtual void gc_threads_do(ThreadClosure* tc) const = 0;

  // Print any relevant tracing info that flags imply.
  // Default implementation does nothing.
  virtual void print_tracing_info() const = 0;

S
sla 已提交
601 602 603
  void print_heap_before_gc();
  void print_heap_after_gc();

J
johnc 已提交
604 605 606 607 608
  // Registering and unregistering an nmethod (compiled code) with the heap.
  // Override with specific mechanism for each specialized heap type.
  virtual void register_nmethod(nmethod* nm);
  virtual void unregister_nmethod(nmethod* nm);

S
sla 已提交
609 610
  void trace_heap_before_gc(GCTracer* gc_tracer);
  void trace_heap_after_gc(GCTracer* gc_tracer);
611

D
duke 已提交
612
  // Heap verification
613
  virtual void verify(bool silent, VerifyOption option) = 0;
D
duke 已提交
614 615 616 617 618 619 620 621 622 623

  // Non product verification and debugging.
#ifndef PRODUCT
  // Support for PromotionFailureALot.  Return true if it's time to cause a
  // promotion failure.  The no-argument version uses
  // this->_promotion_failure_alot_count as the counter.
  inline bool promotion_should_fail(volatile size_t* count);
  inline bool promotion_should_fail();

  // Reset the PromotionFailureALot counters.  Should be called at the end of a
S
sla 已提交
624
  // GC in which promotion failure occurred.
D
duke 已提交
625 626 627 628 629 630 631 632 633
  inline void reset_promotion_should_fail(volatile size_t* count);
  inline void reset_promotion_should_fail();
#endif  // #ifndef PRODUCT

#ifdef ASSERT
  static int fired_fake_oom() {
    return (CIFireOOMAt > 1 && _fire_out_of_memory_count >= CIFireOOMAt);
  }
#endif
634 635 636 637 638 639 640 641

 public:
  // This is a convenience method that is used in cases where
  // the actual number of GC worker threads is not pertinent but
  // only whether there more than 0.  Use of this method helps
  // reduce the occurrence of ParallelGCThreads to uses where the
  // actual number may be germane.
  static bool use_parallel_gc_threads() { return ParallelGCThreads > 0; }
S
stefank 已提交
642

643 644 645 646
  // Copy the current allocation context statistics for the specified contexts.
  // For each context in contexts, set the corresponding entries in the totals
  // and accuracy arrays to the current values held by the statistics.  Each
  // array should be of length len.
647 648
  // Returns true if there are more stats available.
  virtual bool copy_allocation_context_stats(const jint* contexts,
649 650
                                             jlong* totals,
                                             jbyte* accuracy,
651 652 653
                                             jint len) {
    return false;
  }
654

S
stefank 已提交
655 656 657
  /////////////// Unit tests ///////////////

  NOT_PRODUCT(static void test_is_in();)
D
duke 已提交
658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679
};

// Class to set and reset the GC cause for a CollectedHeap.

class GCCauseSetter : StackObj {
  CollectedHeap* _heap;
  GCCause::Cause _previous_cause;
 public:
  GCCauseSetter(CollectedHeap* heap, GCCause::Cause cause) {
    assert(SafepointSynchronize::is_at_safepoint(),
           "This method manipulates heap state without locking");
    _heap = heap;
    _previous_cause = _heap->gc_cause();
    _heap->set_gc_cause(cause);
  }

  ~GCCauseSetter() {
    assert(SafepointSynchronize::is_at_safepoint(),
          "This method manipulates heap state without locking");
    _heap->set_gc_cause(_previous_cause);
  }
};
680 681

#endif // SHARE_VM_GC_INTERFACE_COLLECTEDHEAP_HPP