Как работает Mark-and-Sweep алгоритм сборки мусора?

Mark-and-Sweep — основной алгоритм GC в JavaScript. Работает в два этапа: Mark — GC начинает с корней (глобальные переменные, стек) и рекурсивно помечает все достижимые объекты; Sweep — все непомеченные объекты считаются мусором и освобождаются. В отличие от Reference Counting, корректно обрабатывает циклические ссылки.