1663 |
1663 |
1664 // Delete entries for dead interned string and clean up unreferenced symbols |
1664 // Delete entries for dead interned string and clean up unreferenced symbols |
1665 // in symbol table, possibly in parallel. |
1665 // in symbol table, possibly in parallel. |
1666 void unlink_string_and_symbol_table(BoolObjectClosure* is_alive, bool unlink_strings = true, bool unlink_symbols = true); |
1666 void unlink_string_and_symbol_table(BoolObjectClosure* is_alive, bool unlink_strings = true, bool unlink_symbols = true); |
1667 |
1667 |
|
1668 // Redirty logged cards in the refinement queue. |
|
1669 void redirty_logged_cards(); |
1668 // Verification |
1670 // Verification |
1669 |
1671 |
1670 // The following is just to alert the verification code |
1672 // The following is just to alert the verification code |
1671 // that a full collection has occurred and that the |
1673 // that a full collection has occurred and that the |
1672 // remembered sets are no longer up to date. |
1674 // remembered sets are no longer up to date. |