More writeup about gc algorithm