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_strong();
36 static void roots_weak();
37 static void roots_concurrent();
38 static void roots_concurrent_weak();
39
40 static void objects(bool verify_weaks);
41
42 static void roots_and_objects(bool visit_weaks);
43
44 public:
45 // Verify strong (non-concurrent) roots. Should always be good.
46 static void before_zoperation();
47
48 // Verify all strong roots and references after marking.
49 static void after_mark();
50
51 // Verify strong and weak roots and references.
52 static void after_weak_processing();
53 };
54
55 class VM_ZVerifyOperation : public VM_Operation {
56 public:
57 virtual bool needs_inactive_gc_locker() const {
58 // An inactive GC locker is needed in operations where we change the bad
59 // mask or move objects. Changing the bad mask will invalidate all oops,
60 // which makes it conceptually the same thing as moving all objects.
61 return false;
62 }
63
64 virtual void doit() {
65 ZVerify::after_weak_processing();
66 }
67
68 bool success() const {
69 return true;
70 }
71
72 virtual VMOp_Type type() const { return VMOp_ZVerify; }
73 };
74
75 #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
|