1 /*

     2  * Copyright (c) 2019, 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 

    24 #ifndef SHARE_GC_Z_ZVERIFY_HPP

    25 #define SHARE_GC_Z_ZVERIFY_HPP

    26 

    27 #include "memory/allocation.hpp"

    28 

    29 class ZVerify : public AllStatic {

    30 private:

    31   template <typename RootsIterator>

    32   static void roots_impl();

    33   static void roots(bool verify_weaks);

    34 

    35   static void roots_weak();

    36   static void roots_concurrent();

    37   static void roots_concurrent_weak();

    38 

    39   static void objects(bool verify_weaks);

    40 

    41   static void roots_and_objects(bool visit_weaks);

    42 

    43 public:

    44   // Verify strong (non-concurrent) roots. Should always be good.

    45   static void roots_strong();

    46 

    47   // Verify all strong roots and references after marking.

    48   static void after_mark();

    49 

    50   // Verify strong and weak roots and references.

    51   static void after_weak_processing();

    52 };

    53 

    54 class VM_ZVerifyOperation : public VM_Operation {

    55 public:

    56   virtual bool needs_inactive_gc_locker() const {

    57     // An inactive GC locker is needed in operations where we change the bad

    58     // mask or move objects. Changing the bad mask will invalidate all oops,

    59     // which makes it conceptually the same thing as moving all objects.

    60     return false;

    61   }

    62 

    63   virtual void doit() {

    64     ZVerify::after_weak_processing();

    65   }

    66 

    67   bool success() const {

    68     return true;

    69   }

    70 

    71   virtual VMOp_Type type() const { return VMOp_ZVerify; }

    72 };

    73 

    74 #endif // SHARE_GC_Z_ZVERIFY_HPP