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
29class ZVerify : public AllStatic {
30private:
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
43public:
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
54class VM_ZVerifyOperation : public VM_Operation {
55public:
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
75