src/share/vm/gc_implementation/shared/markSweep.hpp

Wed, 02 Sep 2009 00:04:29 -0700

author
ysr
date
Wed, 02 Sep 2009 00:04:29 -0700
changeset 1376
8b46c4d82093
parent 631
d1605aabd0a1
child 1383
89e0543e1737
child 1428
54b3b351d6f9
permissions
-rw-r--r--

4957990: Perm heap bloat in JVM
Summary: Treat ProfileData in MDO's as a source of weak, not strong, roots. Fixes the bug for stop-world collection -- the case of concurrent collection will be fixed separately.
Reviewed-by: jcoomes, jmasa, kvn, never

     1 /*
     2  * Copyright 1997-2008 Sun Microsystems, Inc.  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 Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
    20  * CA 95054 USA or visit www.sun.com if you need additional information or
    21  * have any questions.
    22  *
    23  */
    25 class ReferenceProcessor;
    26 class DataLayout;
    28 // MarkSweep takes care of global mark-compact garbage collection for a
    29 // GenCollectedHeap using a four-phase pointer forwarding algorithm.  All
    30 // generations are assumed to support marking; those that can also support
    31 // compaction.
    32 //
    33 // Class unloading will only occur when a full gc is invoked.
    35 // If VALIDATE_MARK_SWEEP is defined, the -XX:+ValidateMarkSweep flag will
    36 // be operational, and will provide slow but comprehensive self-checks within
    37 // the GC.  This is not enabled by default in product or release builds,
    38 // since the extra call to track_adjusted_pointer() in _adjust_pointer()
    39 // would be too much overhead, and would disturb performance measurement.
    40 // However, debug builds are sometimes way too slow to run GC tests!
    41 #ifdef ASSERT
    42 #define VALIDATE_MARK_SWEEP 1
    43 #endif
    44 #ifdef VALIDATE_MARK_SWEEP
    45 #define VALIDATE_MARK_SWEEP_ONLY(code) code
    46 #else
    47 #define VALIDATE_MARK_SWEEP_ONLY(code)
    48 #endif
    50 // declared at end
    51 class PreservedMark;
    53 class MarkSweep : AllStatic {
    54   //
    55   // Inline closure decls
    56   //
    57   class FollowRootClosure: public OopsInGenClosure {
    58    public:
    59     virtual void do_oop(oop* p);
    60     virtual void do_oop(narrowOop* p);
    61     virtual const bool do_nmethods() const { return true; }
    62   };
    64   class MarkAndPushClosure: public OopClosure {
    65    public:
    66     virtual void do_oop(oop* p);
    67     virtual void do_oop(narrowOop* p);
    68     virtual const bool do_nmethods() const { return true; }
    69     virtual const bool should_remember_mdo() const { return true; }
    70     virtual void remember_mdo(DataLayout* p) { MarkSweep::revisit_mdo(p); }
    71   };
    73   class FollowStackClosure: public VoidClosure {
    74    public:
    75     virtual void do_void();
    76   };
    78   class AdjustPointerClosure: public OopsInGenClosure {
    79    private:
    80     bool _is_root;
    81    public:
    82     AdjustPointerClosure(bool is_root) : _is_root(is_root) {}
    83     virtual void do_oop(oop* p);
    84     virtual void do_oop(narrowOop* p);
    85   };
    87   // Used for java/lang/ref handling
    88   class IsAliveClosure: public BoolObjectClosure {
    89    public:
    90     virtual void do_object(oop p);
    91     virtual bool do_object_b(oop p);
    92   };
    94   class KeepAliveClosure: public OopClosure {
    95    protected:
    96     template <class T> void do_oop_work(T* p);
    97    public:
    98     virtual void do_oop(oop* p);
    99     virtual void do_oop(narrowOop* p);
   100   };
   102   //
   103   // Friend decls
   104   //
   105   friend class AdjustPointerClosure;
   106   friend class KeepAliveClosure;
   107   friend class VM_MarkSweep;
   108   friend void marksweep_init();
   109   friend class DataLayout;
   111   //
   112   // Vars
   113   //
   114  protected:
   115   // Traversal stack used during phase1
   116   static GrowableArray<oop>*             _marking_stack;
   117   // Stack for live klasses to revisit at end of marking phase
   118   static GrowableArray<Klass*>*          _revisit_klass_stack;
   119   // Set (stack) of MDO's to revisit at end of marking phase
   120   static GrowableArray<DataLayout*>*    _revisit_mdo_stack;
   122   // Space for storing/restoring mark word
   123   static GrowableArray<markOop>*         _preserved_mark_stack;
   124   static GrowableArray<oop>*             _preserved_oop_stack;
   125   static size_t                          _preserved_count;
   126   static size_t                          _preserved_count_max;
   127   static PreservedMark*                  _preserved_marks;
   129   // Reference processing (used in ...follow_contents)
   130   static ReferenceProcessor*             _ref_processor;
   132 #ifdef VALIDATE_MARK_SWEEP
   133   static GrowableArray<void*>*           _root_refs_stack;
   134   static GrowableArray<oop> *            _live_oops;
   135   static GrowableArray<oop> *            _live_oops_moved_to;
   136   static GrowableArray<size_t>*          _live_oops_size;
   137   static size_t                          _live_oops_index;
   138   static size_t                          _live_oops_index_at_perm;
   139   static GrowableArray<void*>*           _other_refs_stack;
   140   static GrowableArray<void*>*           _adjusted_pointers;
   141   static bool                            _pointer_tracking;
   142   static bool                            _root_tracking;
   144   // The following arrays are saved since the time of the last GC and
   145   // assist in tracking down problems where someone has done an errant
   146   // store into the heap, usually to an oop that wasn't properly
   147   // handleized across a GC. If we crash or otherwise fail before the
   148   // next GC, we can query these arrays to find out the object we had
   149   // intended to do the store to (assuming it is still alive) and the
   150   // offset within that object. Covered under RecordMarkSweepCompaction.
   151   static GrowableArray<HeapWord*> *      _cur_gc_live_oops;
   152   static GrowableArray<HeapWord*> *      _cur_gc_live_oops_moved_to;
   153   static GrowableArray<size_t>*          _cur_gc_live_oops_size;
   154   static GrowableArray<HeapWord*> *      _last_gc_live_oops;
   155   static GrowableArray<HeapWord*> *      _last_gc_live_oops_moved_to;
   156   static GrowableArray<size_t>*          _last_gc_live_oops_size;
   157 #endif
   159   // Non public closures
   160   static IsAliveClosure   is_alive;
   161   static KeepAliveClosure keep_alive;
   163   // Class unloading. Update subklass/sibling/implementor links at end of marking phase.
   164   static void follow_weak_klass_links();
   166   // Class unloading. Clear weak refs in MDO's (ProfileData)
   167   // at the end of the marking phase.
   168   static void follow_mdo_weak_refs();
   170   // Debugging
   171   static void trace(const char* msg) PRODUCT_RETURN;
   173  public:
   174   // Public closures
   175   static FollowRootClosure    follow_root_closure;
   176   static MarkAndPushClosure   mark_and_push_closure;
   177   static FollowStackClosure   follow_stack_closure;
   178   static AdjustPointerClosure adjust_root_pointer_closure;
   179   static AdjustPointerClosure adjust_pointer_closure;
   181   // Reference Processing
   182   static ReferenceProcessor* const ref_processor() { return _ref_processor; }
   184   // Call backs for marking
   185   static void mark_object(oop obj);
   186   // Mark pointer and follow contents.  Empty marking stack afterwards.
   187   template <class T> static inline void follow_root(T* p);
   188   // Mark pointer and follow contents.
   189   template <class T> static inline void mark_and_follow(T* p);
   190   // Check mark and maybe push on marking stack
   191   template <class T> static inline void mark_and_push(T* p);
   193   static void follow_stack();   // Empty marking stack.
   195   static void preserve_mark(oop p, markOop mark);
   196                                 // Save the mark word so it can be restored later
   197   static void adjust_marks();   // Adjust the pointers in the preserved marks table
   198   static void restore_marks();  // Restore the marks that we saved in preserve_mark
   200   template <class T> static inline void adjust_pointer(T* p, bool isroot);
   202   static void adjust_root_pointer(oop* p)  { adjust_pointer(p, true); }
   203   static void adjust_pointer(oop* p)       { adjust_pointer(p, false); }
   204   static void adjust_pointer(narrowOop* p) { adjust_pointer(p, false); }
   206 #ifdef VALIDATE_MARK_SWEEP
   207   static void track_adjusted_pointer(void* p, bool isroot);
   208   static void check_adjust_pointer(void* p);
   209   static void track_interior_pointers(oop obj);
   210   static void check_interior_pointers();
   212   static void reset_live_oop_tracking(bool at_perm);
   213   static void register_live_oop(oop p, size_t size);
   214   static void validate_live_oop(oop p, size_t size);
   215   static void live_oop_moved_to(HeapWord* q, size_t size, HeapWord* compaction_top);
   216   static void compaction_complete();
   218   // Querying operation of RecordMarkSweepCompaction results.
   219   // Finds and prints the current base oop and offset for a word
   220   // within an oop that was live during the last GC. Helpful for
   221   // tracking down heap stomps.
   222   static void print_new_location_of_heap_address(HeapWord* q);
   223 #endif
   225   // Call backs for class unloading
   226   // Update subklass/sibling/implementor links at end of marking.
   227   static void revisit_weak_klass_link(Klass* k);
   228   // For weak refs clearing in MDO's
   229   static void revisit_mdo(DataLayout* p);
   230 };
   232 class PreservedMark VALUE_OBJ_CLASS_SPEC {
   233 private:
   234   oop _obj;
   235   markOop _mark;
   237 public:
   238   void init(oop obj, markOop mark) {
   239     _obj = obj;
   240     _mark = mark;
   241   }
   243   void adjust_pointer() {
   244     MarkSweep::adjust_pointer(&_obj);
   245   }
   247   void restore() {
   248     _obj->set_mark(_mark);
   249   }
   250 };

mercurial