equal
deleted
inserted
replaced
138 void check_out_of_memory(); |
138 void check_out_of_memory(); |
139 |
139 |
140 // Marking |
140 // Marking |
141 bool is_object_live(uintptr_t addr) const; |
141 bool is_object_live(uintptr_t addr) const; |
142 bool is_object_strongly_live(uintptr_t addr) const; |
142 bool is_object_strongly_live(uintptr_t addr) const; |
143 template <bool finalizable, bool publish> void mark_object(uintptr_t addr); |
143 template <bool follow, bool finalizable, bool publish> void mark_object(uintptr_t addr); |
144 void mark_start(); |
144 void mark_start(); |
145 void mark(bool initial); |
145 void mark(bool initial); |
146 void mark_flush_and_free(Thread* thread); |
146 void mark_flush_and_free(Thread* thread); |
147 bool mark_end(); |
147 bool mark_end(); |
148 |
148 |