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
|
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> static void roots();
32
33 static void roots_strong();
34 static void roots_weak();
35 static void roots_concurrent_strong();
36 static void roots_concurrent_weak();
37
38 static void roots(bool verify_weaks);
39 static void objects(bool verify_weaks);
40 static void roots_and_objects(bool verify_weaks);
41
42 public:
43 static void before_zoperation();
44 static void after_mark();
45 static void after_weak_processing();
46 };
47
48 #endif // SHARE_GC_Z_ZVERIFY_HPP
|