src/share/vm/gc_implementation/parallelScavenge/psScavenge.hpp

Thu, 22 Sep 2011 10:57:37 -0700

author
johnc
date
Thu, 22 Sep 2011 10:57:37 -0700
changeset 3175
4dfb2df418f2
parent 2314
f95d63e2154a
child 3536
95f6641e38e0
permissions
-rw-r--r--

6484982: G1: process references during evacuation pauses
Summary: G1 now uses two reference processors - one is used by concurrent marking and the other is used by STW GCs (both full and incremental evacuation pauses). In an evacuation pause, the reference processor is embedded into the closures used to scan objects. Doing so causes causes reference objects to be 'discovered' by the reference processor. At the end of the evacuation pause, these discovered reference objects are processed - preserving (and copying) referent objects (and their reachable graphs) as appropriate.
Reviewed-by: ysr, jwilhelm, brutisso, stefank, tonyp

     1 /*
     2  * Copyright (c) 2002, 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 #ifndef SHARE_VM_GC_IMPLEMENTATION_PARALLELSCAVENGE_PSSCAVENGE_HPP
    26 #define SHARE_VM_GC_IMPLEMENTATION_PARALLELSCAVENGE_PSSCAVENGE_HPP
    28 #include "gc_implementation/parallelScavenge/cardTableExtension.hpp"
    29 #include "gc_implementation/parallelScavenge/psVirtualspace.hpp"
    30 #include "gc_implementation/shared/collectorCounters.hpp"
    31 #include "memory/allocation.hpp"
    32 #include "oops/oop.hpp"
    33 #include "utilities/stack.hpp"
    35 class GCTaskManager;
    36 class GCTaskQueue;
    37 class OopStack;
    38 class ReferenceProcessor;
    39 class ParallelScavengeHeap;
    40 class PSIsAliveClosure;
    41 class PSRefProcTaskExecutor;
    43 class PSScavenge: AllStatic {
    44   friend class PSIsAliveClosure;
    45   friend class PSKeepAliveClosure;
    46   friend class PSPromotionManager;
    48  enum ScavengeSkippedCause {
    49    not_skipped = 0,
    50    to_space_not_empty,
    51    promoted_too_large,
    52    full_follows_scavenge
    53  };
    55   // Saved value of to_space->top(), used to prevent objects in to_space from
    56   // being rescanned.
    57   static HeapWord* _to_space_top_before_gc;
    59   // Number of consecutive attempts to scavenge that were skipped
    60   static int                _consecutive_skipped_scavenges;
    63  protected:
    64   // Flags/counters
    65   static ReferenceProcessor* _ref_processor;        // Reference processor for scavenging.
    66   static PSIsAliveClosure    _is_alive_closure;     // Closure used for reference processing
    67   static CardTableExtension* _card_table;           // We cache the card table for fast access.
    68   static bool                _survivor_overflow;    // Overflow this collection
    69   static int                 _tenuring_threshold;   // tenuring threshold for next scavenge
    70   static elapsedTimer        _accumulated_time;     // total time spent on scavenge
    71   static HeapWord*           _young_generation_boundary; // The lowest address possible for the young_gen.
    72                                                          // This is used to decide if an oop should be scavenged,
    73                                                          // cards should be marked, etc.
    74   static Stack<markOop>          _preserved_mark_stack; // List of marks to be restored after failed promotion
    75   static Stack<oop>              _preserved_oop_stack;  // List of oops that need their mark restored.
    76   static CollectorCounters*      _counters;         // collector performance counters
    77   static bool                    _promotion_failed;
    79   static void clean_up_failed_promotion();
    81   static bool should_attempt_scavenge();
    83   static HeapWord* to_space_top_before_gc() { return _to_space_top_before_gc; }
    84   static inline void save_to_space_top_before_gc();
    86   // Private accessors
    87   static CardTableExtension* const card_table()       { assert(_card_table != NULL, "Sanity"); return _card_table; }
    89  public:
    90   // Accessors
    91   static int              tenuring_threshold()  { return _tenuring_threshold; }
    92   static elapsedTimer*    accumulated_time()    { return &_accumulated_time; }
    93   static bool             promotion_failed()    { return _promotion_failed; }
    94   static int              consecutive_skipped_scavenges()
    95     { return _consecutive_skipped_scavenges; }
    97   // Performance Counters
    98   static CollectorCounters* counters()           { return _counters; }
   100   // Used by scavenge_contents && psMarkSweep
   101   static ReferenceProcessor* const reference_processor() {
   102     assert(_ref_processor != NULL, "Sanity");
   103     return _ref_processor;
   104   }
   105   // Used to add tasks
   106   static GCTaskManager* const gc_task_manager();
   107   // The promotion managers tell us if they encountered overflow
   108   static void set_survivor_overflow(bool state) {
   109     _survivor_overflow = state;
   110   }
   111   // Adaptive size policy support.  When the young generation/old generation
   112   // boundary moves, _young_generation_boundary must be reset
   113   static void set_young_generation_boundary(HeapWord* v) {
   114     _young_generation_boundary = v;
   115   }
   117   // Called by parallelScavengeHeap to init the tenuring threshold
   118   static void initialize();
   120   // Scavenge entry point
   121   static void invoke();
   122   // Return true is a collection was done.  Return
   123   // false if the collection was skipped.
   124   static bool invoke_no_policy();
   126   // If an attempt to promote fails, this method is invoked
   127   static void oop_promotion_failed(oop obj, markOop obj_mark);
   129   template <class T> static inline bool should_scavenge(T* p);
   131   // These call should_scavenge() above and, if it returns true, also check that
   132   // the object was not newly copied into to_space.  The version with the bool
   133   // argument is a convenience wrapper that fetches the to_space pointer from
   134   // the heap and calls the other version (if the arg is true).
   135   template <class T> static inline bool should_scavenge(T* p, MutableSpace* to_space);
   136   template <class T> static inline bool should_scavenge(T* p, bool check_to_space);
   138   template <class T> inline static void copy_and_push_safe_barrier(PSPromotionManager* pm, T* p);
   140   // Is an object in the young generation
   141   // This assumes that the HeapWord argument is in the heap,
   142   // so it only checks one side of the complete predicate.
   143   inline static bool is_obj_in_young(HeapWord* o) {
   144     const bool result = (o >= _young_generation_boundary);
   145     return result;
   146   }
   147 };
   149 #endif // SHARE_VM_GC_IMPLEMENTATION_PARALLELSCAVENGE_PSSCAVENGE_HPP

mercurial