| 1 | /* |
| 2 | * Copyright (c) 2014, 2018, Red Hat, Inc. All rights reserved. |
| 3 | * |
| 4 | * This code is free software; you can redistribute it and/or modify it |
| 5 | * under the terms of the GNU General Public License version 2 only, as |
| 6 | * published by the Free Software Foundation. |
| 7 | * |
| 8 | * This code is distributed in the hope that it will be useful, but WITHOUT |
| 9 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
| 10 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
| 11 | * version 2 for more details (a copy is included in the LICENSE file that |
| 12 | * accompanied this code). |
| 13 | * |
| 14 | * You should have received a copy of the GNU General Public License version |
| 15 | * 2 along with this work; if not, write to the Free Software Foundation, |
| 16 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. |
| 17 | * |
| 18 | * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA |
| 19 | * or visit www.oracle.com if you need additional information or have any |
| 20 | * questions. |
| 21 | * |
| 22 | */ |
| 23 | |
| 24 | #ifndef SHARE_GC_SHENANDOAH_SHENANDOAHMARKCOMPACT_HPP |
| 25 | #define SHARE_GC_SHENANDOAH_SHENANDOAHMARKCOMPACT_HPP |
| 26 | |
| 27 | #include "gc/shared/gcTimer.hpp" |
| 28 | #include "gc/shenandoah/shenandoahHeap.hpp" |
| 29 | #include "gc/shenandoah/shenandoahHeapRegionSet.hpp" |
| 30 | |
| 31 | /** |
| 32 | * This implements Full GC (e.g. when invoking System.gc()) using a mark-compact algorithm. |
| 33 | * |
| 34 | * Current implementation is parallel sliding Lisp-2-style algorithm, based on |
| 35 | * "Parallel Garbage Collection for Shared Memory Multiprocessors", by Christine Flood et al. |
| 36 | * http://people.csail.mit.edu/shanir/publications/dfsz2001.pdf |
| 37 | * |
| 38 | * It is implemented in four phases: |
| 39 | * |
| 40 | * 1. Mark all live objects of the heap by traversing objects starting at GC roots. |
| 41 | * 2. Calculate the new location of each live object. This is done by sequentially scanning |
| 42 | * the heap, keeping track of a next-location-pointer, which is then written to each |
| 43 | * object's fwdptr field. |
| 44 | * 3. Update all references. This is implemented by another scan of the heap, and updates |
| 45 | * all references in live objects by what's stored in the target object's fwdptr. |
| 46 | * 4. Compact the heap by copying all live objects to their new location. |
| 47 | * |
| 48 | * Parallelization is handled by assigning each GC worker the slice of the heap (the set of regions) |
| 49 | * where it does sliding compaction, without interfering with other threads. |
| 50 | */ |
| 51 | |
| 52 | class PreservedMarksSet; |
| 53 | |
| 54 | class ShenandoahMarkCompact : public CHeapObj<mtGC> { |
| 55 | friend class ShenandoahPrepareForCompactionObjectClosure; |
| 56 | private: |
| 57 | GCTimer* _gc_timer; |
| 58 | |
| 59 | PreservedMarksSet* _preserved_marks; |
| 60 | |
| 61 | public: |
| 62 | ShenandoahMarkCompact(); |
| 63 | void initialize(GCTimer* gc_timer); |
| 64 | |
| 65 | void do_it(GCCause::Cause gc_cause); |
| 66 | |
| 67 | private: |
| 68 | void phase1_mark_heap(); |
| 69 | void phase2_calculate_target_addresses(ShenandoahHeapRegionSet** worker_slices); |
| 70 | void phase3_update_references(); |
| 71 | void phase4_compact_objects(ShenandoahHeapRegionSet** worker_slices); |
| 72 | |
| 73 | void calculate_target_humongous_objects(); |
| 74 | void compact_humongous_objects(); |
| 75 | }; |
| 76 | |
| 77 | #endif // SHARE_GC_SHENANDOAH_SHENANDOAHMARKCOMPACT_HPP |
| 78 | |