1 /*
2 * Copyright (c) 2013, 2019, Red Hat, Inc. 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
25 #ifndef SHARE_GC_SHENANDOAH_SHENANDOAHFORWARDING_HPP
26 #define SHARE_GC_SHENANDOAH_SHENANDOAHFORWARDING_HPP
27
28 #include "oops/markWord.hpp"
29 #include "oops/oop.hpp"
30 #include "utilities/globalDefinitions.hpp"
31
32 class ShenandoahForwarding {
33 private:
34 static const uintptr_t FWDED_HASH_TRANSITION = 0b111;
35
36 public:
37 /* Gets forwardee from the given object. For a self-forwarded object
38 * (evacuation failure), returns the object itself.
39 */
40 static inline oop get_forwardee(oop obj);
41
42 /* Gets forwardee from the given object. Only from mutator thread.
43 * For a self-forwarded object, returns the object itself.
44 */
45 static inline oop get_forwardee_mutator(oop obj);
46
47 /* Returns the raw value from forwardee slot. For a self-forwarded
48 * object, returns the object itself.
49 */
50 static inline oop get_forwardee_raw(oop obj);
51
52 /* Returns the raw value from forwardee slot without any checks.
53 * Used for quick verification. For a self-forwarded object,
54 * returns the object itself.
55 */
56 static inline oop get_forwardee_raw_unchecked(oop obj);
57
58 /**
59 * Returns true if the object is forwarded (including self-forwarded),
60 * false otherwise.
61 */
62 static inline bool is_forwarded(oop obj);
63
64 /**
65 * Returns true iff the mark word's lock bits are marked_value (0b11),
66 * i.e. the upper bits encode a real forwardee pointer. This covers both
67 * normal-forwarded (0b011) and forward-expanded (0b111) states, and
68 * excludes self-forwarded states (0b100, 0b101, 0b110) whose upper bits
69 * still hold the original klass/hash/age metadata.
70 *
71 * Do NOT use markWord::is_marked() for this purpose -- it also returns
72 * true for self-forwarded objects.
73 */
74 static inline bool has_forwardee(markWord m);
75
76 /**
77 * Returns true iff obj has been self-forwarded (i.e. evacuation has
78 * failed for this object in the current cycle).
79 */
80 static inline bool is_self_forwarded(oop obj);
81
82 /* Tries to atomically update forwardee in $holder object to $update.
83 * Assumes $holder points at itself.
84 * Asserts $holder is in from-space.
85 * Asserts $update is in to-space.
86 *
87 * Returns the new object 'update' upon success, or
88 * the new forwardee that a competing thread installed. If another
89 * thread self-forwarded the object, returns the object itself.
90 */
91 static inline oop try_update_forwardee(oop obj, oop update);
92
93 /* Tries to atomically self-forward obj. Used by the evacuation path
94 * when the copy allocation fails: the failing thread installs the
95 * self-forwarded bit so other threads see the object as "already
96 * handled" and return it unchanged.
97 *
98 * Returns nullptr on success (we installed the self-forward), or
99 * the winning forwardee when another thread raced ahead (either a
100 * real forwardee pointing at a copy, or obj itself if the winner
101 * also self-forwarded).
102 */
103 static inline oop try_forward_to_self(oop obj, markWord old_mark);
104
105 static inline size_t size(oop obj);
106 static inline Klass* klass(oop obj);
107 };
108
109 #endif // SHARE_GC_SHENANDOAH_SHENANDOAHFORWARDING_HPP