equal
deleted
inserted
replaced
103 public: |
103 public: |
104 ZMark(ZWorkers* workers, ZPageTable* page_table); |
104 ZMark(ZWorkers* workers, ZPageTable* page_table); |
105 |
105 |
106 bool is_initialized() const; |
106 bool is_initialized() const; |
107 |
107 |
108 template <bool finalizable, bool publish> void mark_object(uintptr_t addr); |
108 template <bool follow, bool finalizable, bool publish> void mark_object(uintptr_t addr); |
109 |
109 |
110 void start(); |
110 void start(); |
111 void mark(bool initial); |
111 void mark(bool initial); |
112 bool end(); |
112 bool end(); |
113 |
113 |