Utilizar foreach en vez de for en pseudo-código

[z.facultad/75.00/informe.git] / source / gc.rst

diff --git a/source/gc.rst b/source/gc.rst
index 4f9f91a82bab24e1629a535638e1ca2d05b24221..96da51bc7cba15b9c756bfcb71680884804a9e41 100644 (file)
--- a/source/gc.rst
+++ b/source/gc.rst
@@ -10,6 +10,8 @@ Recolección de basura
 ============================================================================
 
 
 ============================================================================
 
 

+.. _ref_gc_intro:
+

 Introducción
 ----------------------------------------------------------------------------
 
 Introducción
 ----------------------------------------------------------------------------
 


@@ -183,6 +185,7 @@ normalmente se lo llama *mutator* (mutador).
 
 
 
 
 
 

+.. _ref_gc_intro_mark:

 
 Recorrido del grafo de conectividad
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 Recorrido del grafo de conectividad
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~


@@ -328,14 +331,14 @@ Un algoritmo simple (recursivo) de marcado *primero a lo alto*  puede ser
 el siguiente (asumiendo que partimos con todos los vértices sin marcar)
 [#gcpseudo]_::
 
 el siguiente (asumiendo que partimos con todos los vértices sin marcar)
 [#gcpseudo]_::
 

-   mark(v)
+   function mark(v) is

       if not v.marked
          v.marked = true
          for (src, dst) in v.edges
             mark(dst)
 
       if not v.marked
          v.marked = true
          for (src, dst) in v.edges
             mark(dst)
 

-   mark_phase()
-      for r in root_set
+   function mark_phase() is
+      foreach r in root_set

          mark(r)
 
 .. [#gcpseudo] Para presentar los algoritmos se utiliza una forma simple de
          mark(r)
 
 .. [#gcpseudo] Para presentar los algoritmos se utiliza una forma simple de


@@ -583,7 +586,7 @@ dejando sin marcar solamente las celdas *basura* (en blanco).
 
 
 
 
 
 

-.. _ref_gc_tricolor:
+.. _ref_gc_intro_tricolor:

 
 Abstracción tricolor
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 Abstracción tricolor
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~


@@ -612,8 +615,8 @@ que todas las celdas parten pintadas de blanco, es decir, el conjunto
 blanco contiene todas las celdas de memoria y los conjuntos negro y gris
 están vacíos)::
 
 blanco contiene todas las celdas de memoria y los conjuntos negro y gris
 están vacíos)::
 

-   mark_phase()
-      for r in root_set
+   function mark_phase() is
+      foreach r in root_set

          gray_set.add(r)
       while not gray_set.empty()
          v = gray_set.pop()
          gray_set.add(r)
       while not gray_set.empty()
          v = gray_set.pop()


@@ -628,7 +631,7 @@ por sí ya presenta una ventaja sobre el marcado *bicolor*.
 
 
 
 
 
 

-.. _ref_gc_services:
+.. _ref_gc_intro_services:

 
 Servicios
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 Servicios
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~


@@ -713,7 +716,7 @@ usuario también.
 
 
 
 
 
 

-.. _ref_gc_clasic:
+.. _ref_gc_classic:

 
 Algoritmos clásicos
 ----------------------------------------------------------------------------
 
 Algoritmos clásicos
 ----------------------------------------------------------------------------


@@ -783,21 +786,21 @@ teóricamente la complejidad de eliminar una referencia puede ser
 Las primitivas implementadas para este tipo de recolector son las
 siguientes (acompañadas de una implementación básica)::
 
 Las primitivas implementadas para este tipo de recolector son las
 siguientes (acompañadas de una implementación básica)::
 

-   new()
+   function new() is

       cell = alloc()
       if cell is null
          throw out_of_memory
       cell.rc = 1
       return cell
 
       cell = alloc()
       if cell is null
          throw out_of_memory
       cell.rc = 1
       return cell
 

-   del(cell)
+   function del(cell) is

       cell.rc = cell.rc - 1
       if cell.rc is 0
       cell.rc = cell.rc - 1
       if cell.rc is 0

-         for child* in cell.children
+         foreach child* in cell.children

             del(*child)
          free(cell)
 
             del(*child)
          free(cell)
 

-   update(ref*, cell)
+   function update(ref*, cell) is

       cell.rc = cell.rc + 1
       del(*ref)
       *ref = cell
       cell.rc = cell.rc + 1
       del(*ref)
       *ref = cell


@@ -1601,6 +1604,7 @@ figura :vref:`fig:gc-rc-cycle`).
 
 
 
 
 
 

+.. _ref_gc_mark_sweep:

 
 Marcado y barrido
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 
 Marcado y barrido
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~