Arreglar algoritmo de marcado tri-color

Además se hace notar que el algoritmo es O(|Live set|) en espacio aunque
sea iterativo.

diff --git a/source/gc.rst b/source/gc.rst
index 4f1fe6526ce9056af617c11e6a98423b9b36637e..6b26bdf0f1537f68f6f95673518a1abfedd0828a 100644 (file)
--- a/source/gc.rst
+++ b/source/gc.rst
@@ -626,12 +626,15 @@ vacíos)::
          v = gray_set.pop()
          black_set.add(v)
          for (src, dst) in v.edges
-            if v in white_set
-               white_set.remove(v)
-               gray_set.add(v)
-
-Es simple notar que este algoritmo es naturalmente no recursivo, lo que de por
-sí ya presenta una ventaja sobre el marcado *bicolor*.
+            if dst in white_set
+               white_set.remove(dst)
+               gray_set.add(dst)
+
+Si bien este algoritmo no es recursivo, tiene un requerimiento de espacio
+:math:`O(\lvert Live \thickspace set \rvert)`. Un ejemplo donde se aprecia
+esto a simple vista es cuando el *live set* resulta una lista simplemente
+enlazada, en cuyo caso el :math:`gray_set` deberá almacenar todos los nodos
+del *live set*.