equal
deleted
inserted
replaced
145 |
145 |
146 // Do enqueuing work, i.e. notifying the GC about the changed discovered pointers. |
146 // Do enqueuing work, i.e. notifying the GC about the changed discovered pointers. |
147 void enqueue(); |
147 void enqueue(); |
148 |
148 |
149 // Move enqueued references to the reference pending list. |
149 // Move enqueued references to the reference pending list. |
150 void complete_enqeue(); |
150 void complete_enqueue(); |
151 |
151 |
152 // NULL out referent pointer. |
152 // NULL out referent pointer. |
153 void clear_referent(); |
153 void clear_referent(); |
154 |
154 |
155 // Statistics |
155 // Statistics |