X-Git-Url: https://git.llucax.com/z.facultad/75.00/informe.git/blobdiff_plain/5f79318a52fc6ada10154cb148008bd9d44fa22e..fe7e2fe36d204307b6fcb525a3dac1e587a7ff3a:/source/gc.rst?ds=sidebyside diff --git a/source/gc.rst b/source/gc.rst index bf22c92..49e9fdd 100644 --- a/source/gc.rst +++ b/source/gc.rst @@ -354,7 +354,7 @@ celda sin marcar es de color blanco y una marcada de color negro. Puede observarse un ejemplo del algoritmo en la figura :vref:`fig:gc-mark-1`, en la cual se marca el sub-grafo apuntando por -``r0``. Luego se marca el sub-grafo al que apunta ``r1`` (figura +``r0``. Luego se marca el sub-grafo al que apunta ``r1`` (ver figura :vref:`fig:gc-mark-2`), concluyendo con el marcado del grafo completo, dejando sin marcar solamente las celdas *basura* (en blanco). @@ -822,12 +822,6 @@ o cambiar una referencia (cambios en la conectividad del grafo). En un comienzo todas las celdas son accesibles desde el *root set* por lo tanto son todas parte del *live set*. -Se comienza por eliminar la referencia de ``r0`` a ``h1``, que determina -que ``h1`` se convirtió en *basura* (figura :vref:`fig:gc-rc-rm-1`). Esto -conduce al decremento del contador de ``h2`` y ``h3`` que permanecen en el -*live set* ya que sus contadores siguen siendo mayores a 0 (figura -:vref:`fig:gc-rc-rm-2`). - .. fig:: fig:gc-rc-rm-1 @@ -1087,16 +1081,11 @@ conduce al decremento del contador de ``h2`` y ``h3`` que permanecen en el } -Luego se cambia una referencia (en vez de eliminarse) realizándose la -operación ``update(h3.l, h5)``. Para esto primero se incrementa el contador -de referencias de ``h5`` para evitar confundirlo accidentalmente con -*basura* si se elimina alguna celda que apuntaba a ésta. Luego se procede -a decrementar el contador de ``h2`` que queda en 0, transformándose en -*basura* (figura :vref:`fig:gc-rc-up-1`). Lo mismo pasa cuando se desciende -a ``h4``, pero al descender a ``h5`` y decrementar el contador, éste sigue -siendo mayor que 0 (pues ``h3`` va a apuntar a ``h5``) así que permanece en -el *live set*. Finalmente se termina de actualizar la referencia ``h3.l`` -para que apunte a ``h5`` (figura :vref:`fig:gc-rc-up-3`). +Se comienza por eliminar la referencia de ``r0`` a ``h1``, que determina +que ``h1`` se convirtió en *basura* (ver figura :vref:`fig:gc-rc-rm-1`). Esto +conduce al decremento del contador de ``h2`` y ``h3`` que permanecen en el +*live set* ya que sus contadores siguen siendo mayores a 0 (ver figura +:vref:`fig:gc-rc-rm-2`). .. fig:: fig:gc-rc-up-1 @@ -1427,6 +1416,19 @@ para que apunte a ``h5`` (figura :vref:`fig:gc-rc-up-3`). } +Luego se cambia una referencia (en vez de eliminarse) realizándose la +operación ``update(h3.l, h5)``. Para esto primero se incrementa el contador +de referencias de ``h5`` para evitar confundirlo accidentalmente con +*basura* si se elimina alguna celda que apuntaba a ésta. Luego se procede +a decrementar el contador de ``h2`` que queda en 0, transformándose en +*basura* (ver figura :vref:`fig:gc-rc-up-1`). Lo mismo pasa cuando se +desciende a ``h4``, pero al descender a ``h5`` y decrementar el contador, +éste sigue siendo mayor que 0 (pues ``h3`` va a apuntar a ``h5``) así que +permanece en el *live set*. Finalmente se termina de actualizar la +referencia ``h3.l`` para que apunte a ``h5`` (ver figura +:vref:`fig:gc-rc-up-2`). + + Marcado y barrido ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~