]> git.llucax.com Git - z.facultad/75.06/emufs.git/blobdiff - doc/informe.lyx
Subo lo poco que pude recuperar mio y algunas correcciones (en general puse las tabla...
[z.facultad/75.06/emufs.git] / doc / informe.lyx
index 5f84015c46e702426b2d07003d2041b382deb90a..5505ca77b3949ae00e4478c5359dce85376d424e 100644 (file)
@@ -79,19 +79,36 @@ EMUFS_Tipo
 \family typewriter 
 EMUFS_BLOCK_SIZE
 \family default 
- indica el tamaño del bloque para los tipos 1 y 3.
+ indica el tamaño del bloque para los tipos de archivo con bloques (ver
+ capítulos 
+\begin_inset LatexCommand \ref{cha:tipo1}
+
+\end_inset 
+
+ y 
+\begin_inset LatexCommand \ref{cha:tipo3}
+
+\end_inset 
+
+).
 \layout Enumerate
 
 
 \family typewriter 
 EMUFS_REG_SIZE
 \family default 
- indica el tamaño del registro, para el tipo 3 que posee tamaño constante.
+ indica el tamaño del registro, para el tipo de archivo con tamaño de registro
+ parametrizado (ver capítulo 
+\begin_inset LatexCommand \ref{cha:tipo3}
+
+\end_inset 
+
+).
 \layout Enumerate
 
 
 \family typewriter 
-void **leer_bloque() 
+void*leer_bloque() 
 \family default 
 puntero a la función para leer un bloque.
 \layout Enumerate
@@ -105,14 +122,14 @@ void *leer_bloque_raw()
 
 
 \family typewriter 
-void **leer_registro()
+void*leer_registro()
 \family default 
  puntero a la función para leer un registro.
 \layout Enumerate
 
 
 \family typewriter 
-void **leer_registro_raw()
+void*leer_registro_raw()
 \family default 
  puntero a la función para leer un registro con su encabezado.
 \layout Enumerate
@@ -154,7 +171,7 @@ void *compactar()
 
 
 \family typewriter 
-char *nombre
+charnombre
 \family default 
  almacena el nombre del archivo sin extensión.
 \layout Standard
@@ -322,10 +339,43 @@ archivo
 \layout Chapter
 
 Archivos Auxiliares
-\layout Comment
+\layout Standard
+
+Acompañando al archivo de datos (
+\series bold 
+.dat
+\series default 
+) el cual es responsable de la contención de los registros, tendremos tres
+ archivos auxiliares (
+\series bold 
+.idx
+\series default 
+, 
+\series bold 
+.fsc
+\series default 
+ y 
+\series bold 
+.did
+\series default 
+) cuya funcionalidad y propósito pasamos a describir a continuación, sin
+ antes remarcar que los tres archivos poseen una sola implementación para
+ las distintas formas de organización física que hemos implementado (tres
+ para ser mas exactos).
+\layout Standard
+
+Entre las ventajas de poseer la misma implementación se encuentra el tener
+ un API común entre los tres tipos para el manejo de la localización de
+ sus registros, administración de espacio libre e Id's liberados, sin necesidad
+ de realizar n-implementaciones para un mismo objetivo final.
+\layout Standard
 
-Por que los 3 tipos usan lo mismo.
- Ventajas y desventajas.
+Además, la obtención de ciertos datos estadísticos como espacio libre, o
+ cantidad de registros, se realiza a través de la misma interfaz, y también
+ se ha facilitado en cierto grado la re-organización física de un archivo
+ (pasar de un tipo a otro), dado el uso de estos tres archivos auxiliares
+ en común para funciones tan predominantes como índexación, administración
+ de espacio libre y recuperación de Id's.
 \layout Section
 
 
@@ -333,94 +383,343 @@ Por que los 3 tipos usan lo mismo.
 
 \end_inset 
 
-Archivo de índice
-\layout Standard
-
-Con la ayuda de un archivo de bloques y registros (de extensión .idx), podremos
- ubicar cualquier registro existente dentro del archivo.
+Archivo índice
 \layout Standard
 
-El archivo de índice contiene una estructura que contiene el id de un registro
- y el número de bloque al que pertenece.
- Este archivo esta ordenado por 
+El archivo índice (.idx), permite la localización de los registros en el
+ .DAT de forma directa, mediante la obtención de su offset respecto del inicio
+ del .dat, o nro bloque (segun el tipo de organización física) en donde se
+ encuentra un registro dado, indicado por su 
 \emph on 
-id
-\emph default 
-, de modo que incrementa su tamaño cada vez que se grabe en el archivo de
- datos un nuevo registro, excepto que un registro haya sido borrado con
- anterioridad lo cual produce que al guardar un nuevo registro se actualice
- y no crezca.
+id_reg.
 \layout Standard
 
-Si un registro es borrado del archivo de datos, debe actualizarse el índice,
- esto se logra colocando un flag que indique que el 
-\emph on 
-id
-\emph default 
- no pertenece a ningún bloque, hemos adoptado poner -1 en el campo location
- de la estructura 
-\family typewriter 
-EMUFS_IDX
-\family default 
-.
+Los registros de este archivo se encuentran representados una estructura
+ que indica un número de registro y el bloque u offset en donde se encuentra
+ el mísmo.
 \layout Standard
 
 Es necesario que este archivo esté ordenado por 
 \emph on 
-id
+id_reg
 \emph default 
- de registro, ya que esto permitirá el acceso directo para la búsqueda de
- un registro en el archivo de datos.
+, ya que esto permitirá el acceso directo al mismo, para la rápida obtención
+ del nro de bloque u offset y posterior búsqueda de un registro en el archivo
+ de datos.
 \layout Subsection
 
 Organización física
 \layout Standard
 
-El tipo 
+Los registros de este archivo se encuentran representados a nivel codigo
+ por el siguiente tipo de dato interno (
 \family typewriter 
 EMUFS_IDX
 \family default 
- define la estuctura de los registros de este archivo.
+):
+\layout LyX-Code
+
+typedef unsigned long EMUFS_REG_ID;
+\layout LyX-Code
+
+typedef unsigned long EMUFS_OFFSET;
+\layout LyX-Code
+
+typedef struct emufs_idx_t { 
+\layout LyX-Code
+
+  EMUFS_REG_ID id_reg;
+\layout LyX-Code
+
+  EMUFS_OFFSET location;
+\layout LyX-Code
+
+} EMUFS_IDX;
 \layout Standard
 
-Esta estructura está compuesta por:
-\layout Itemize
 
+\begin_inset Float table
+placement H
+wide false
+collapsed true
+
+\layout Caption
 
-\family typewriter 
-EMUFS_REG_ID
-\family default 
- reg_id indica el 
+Ejemplo de registro en archivo índice (.idx), para un archivo de organizacion
+ Tipo 1 y 3
+\layout Standard
+
+
+\begin_inset  Tabular
+<lyxtabular version="3" rows="2" columns="3">
+<features>
+<column alignment="center" valignment="top" leftline="true" width="0">
+<column alignment="center" valignment="top" leftline="true" width="0">
+<column alignment="center" valignment="top" leftline="true" rightline="true" width="0">
+<row topline="true" bottomline="true">
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+id_reg
+\end_inset 
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+nro_bloque
+\end_inset 
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+\end_inset 
+</cell>
+</row>
+<row topline="true" bottomline="true">
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+5
+\end_inset 
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+54
+\end_inset 
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+Indica que el registro de id_reg = 5, se encuentra en el bloque 54
+\end_inset 
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset 
+
+
+\end_inset 
+
+\begin_inset Float table
+placement H
+wide false
+collapsed true
+
+\layout Caption
+
+Ejemplo de registro en archivo índice (.idx), para un archivo de organizacion
+ Tipo 2
+\layout Standard
+
+
+\begin_inset  Tabular
+<lyxtabular version="3" rows="2" columns="3">
+<features>
+<column alignment="center" valignment="top" leftline="true" width="0">
+<column alignment="center" valignment="top" leftline="true" width="0">
+<column alignment="center" valignment="top" leftline="true" rightline="true" width="0">
+<row topline="true" bottomline="true">
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+id_reg
+\end_inset 
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+nro_bloque
+\end_inset 
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+\end_inset 
+</cell>
+</row>
+<row topline="true" bottomline="true">
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+5
+\end_inset 
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+54
+\end_inset 
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+Indica que el registro de id_reg = 5, se encuentra en el bloque 54
+\end_inset 
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset 
+
+
+\end_inset 
+
+
+\layout Standard
+
+
+\series bold 
 \emph on 
-id
+Nota: 
+\series default 
 \emph default 
- del registro
-\layout Itemize
-
+Como se puede observar, para distintas organizaciones el significado de
+ los registros en este archivo es diferente y se utilizará de distinta manera
+ en consecuencia.
+\layout Subsection
 
-\family typewriter 
-EMUFS_BLOCK_ID
-\family default 
- location número de bloque donde se encuentra el registro.
+Comportamiento
 \layout Standard
 
+Las declaraciones e implementación se pueden encontrar en 
+\series bold 
+\emph on 
+idx.h
+\series default 
+\emph default 
+ y 
+\series bold 
+\emph on 
+idx.c
+\series default 
+\emph default 
+ respectivamente:
+\layout List
+\labelwidthstring 00.00.0000
+
 
+\series bold 
+\emph on 
+Búsqueda:
+\series default 
+\emph default 
+ Los registros del archivo indice (
+\series bold 
+.idx
+\series default 
+), poseen una correspondencia 1 a 1, con los Id's de los registros en el
+ archivo de datos (
+\series bold 
+.dat
+\series default 
+).
+ Con esto, queremos decir que el N-ésimo registro del archivo índice, será
+ aquél que posea la información para localizar al registro cuyo 
 \family typewriter 
-EMUFS_REG_ID
+id_reg
 \family default 
- y 
+ es N, dentro del archivo de datos (
+\series bold 
+.dat
+\series default 
+).
+\newline 
+
+\series bold 
+NOTA:
+\series default 
+ Cabe aclarar que por si bien el indice se encuentra ordenado por 
 \family typewriter 
-EMUFS_BLOCK_ID
+id_reg
 \family default 
- son 
-\emph on 
-unsigned long.
-\layout Comment
+, los registros en el archivo de datos, por lo general no lo estarán.
+ (ordenados por id).
+\newline 
+Ver: 
+\family typewriter 
+emufs_idx_buscar_registro()
+\layout List
+\labelwidthstring 00.00.0000
+
+
+\series bold 
+Alta:
+\series default 
+ Ante la alta de un registro en el archivo de datos, se insetará un nuevo
+ registro en el archivo índice, con el id_reg del registro en cuestion,
+ y el offset u bloque donde se lo haya grabado en disco.
+\newline 
+Ver: 
+\family typewriter 
+emufs_idx_agregar()
+\layout List
+\labelwidthstring 00.00.0000
 
-ponerlo mas lindo...
-\layout Subsection
 
-Comportamiento (funciones generales)
+\series bold 
+Baja:
+\series default 
+ Ante el borrado de un registro del archivo de datos, se accederá el registro
+ correspondiente en el índice, y se actualizara su LOCATION, estableciendolo
+ en el valor -1 UL, el cual indica que ese registro ha sido eliminado y
+ por ende no se lo podrá localizar en el futuro.
+ Como se verá mas adelante, según el tipo de organización física, el registro
+ puede ser borrado concretamente del .
+\series bold 
+dat
+\series default 
+ o nó.
+\newline 
+Ver: 
+\family typewriter 
+emufs_idx_borrar()
+\layout List
+\labelwidthstring 00.00.0000
+
+
+\series bold 
+Modificación:
+\series default 
+ Ante la modificación en la posición física de un registro dentro del archivo
+ de datos (por ejemplo luego del proceso de recompactación, se realizará
+ la modificación respectiva del campo 
+\family typewriter 
+location
+\family default 
+.
+\newline 
+Ver: 
+\family typewriter 
+emufs_idx_actualizar()
 \layout Section
 
 
@@ -431,83 +730,356 @@ Comportamiento (funciones generales)
 Archivo de control de espacio libre
 \layout Standard
 
-El archivo de de espacios libres permite decidir a la hora de guardar un
- registro, donde será guardado.
+El archivo de espacio libre (
+\series bold 
+.fsc
+\series default 
+) (espacio por bloque o gaps en archivo, según el tipo de organización física),
+ tiene como función la administración del espacio libre, generado por previas
+ eliminaciones de registros en el archivo de datos.
+ El mismo, nos indicará donde hay lugar para insertar un nuevo registro.
+\layout Standard
+
+Para el caso de una organización por bloque, nos dirá en que bloque o si
+ se debe generar un nuevo bloque.
+ En el caso de la organización sin bloques, nos indicará en que gap o si
+ al final del archivo.
+\layout Standard
+
+Los registros de este archivo se encuentran representados una estructura
+ que indica un número de bloque u offset y el espacio libre disponible en
+ el mismo (o apartir del mismo en el caso del offset).
 \layout Standard
 
-La estructura de este archivo está formada por un número que indica el bloque
- y otro que indica el espacio libre en él.
+
+\series bold 
+Nota
+\series default 
+: Por requerimiento del algoritmo de compactación el tipo de organización
+ física con reg long var, sin bloques, los gaps se graban en forma ordenada
+ en el (.fsc).
+ (El orden se corresponde con lo que hay en el .dat).
+\layout Subsection
+
+Organización Física
 \layout Standard
 
-De esta manera al querer guardar un registro este archivo informará donde
- cabe el mismo, previa invocación al la función 
+Los registros de este archivo se encuentran representados a nivel codigo
+ por el siguiente tipo de dato interno (
 \family typewriter 
-EMUFS_BLOCK_ID emufs_fsc_buscar_lugar(EMUFS *, EMUFS_FREE, EMUFS_FREE*)
+EMUFS_FSC
 \family default 
- perteneciente a 
+):
+\layout LyX-Code
+
+typedef struct emufs_fsc_t { 
+\layout LyX-Code
+
+  unsigned long int marker;
+\layout LyX-Code
+
+  unsigned long int freespace;
+\layout LyX-Code
+
+} EMUFS_FSC;
+\layout Standard
+
+
+\series bold 
 \emph on 
-fsc.h,
-\emph default 
- la cual devuelve el número de bloque donde entra el registro o -1 si no
- hay un bloque con lugar suficiente, y toma como parámetros una estructura
+
+\begin_inset Float table
+placement H
+wide false
+collapsed true
+
+\layout Caption
+
+Ejemplo de registro en archivo de control de espacio libre para un archivo
+ con bloques
+\layout Standard
+
+
+\begin_inset  Tabular
+<lyxtabular version="3" rows="2" columns="3">
+<features>
+<column alignment="center" valignment="top" leftline="true" width="0">
+<column alignment="center" valignment="top" leftline="true" width="0">
+<column alignment="center" valignment="top" leftline="true" rightline="true" width="0">
+<row topline="true" bottomline="true">
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+nro_bloque
+\end_inset 
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+freespace
+\end_inset 
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+\end_inset 
+</cell>
+</row>
+<row topline="true" bottomline="true">
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+12
+\end_inset 
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+120
+\end_inset 
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+Indica que en el bloque 12, hay 120 bytes libres al final del mismo.
+\end_inset 
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset 
+
+
+\end_inset 
+
  
-\family typewriter 
-EMUFS
-\family default 
-, y dos 
-\family typewriter 
-EMUFS_FREE
-\family default 
- donde el segndo parámetro es el tamaño buscado, y el tercero devuelve el
- tamaño disponible.
+\begin_inset Float table
+placement H
+wide false
+collapsed true
+
+\layout Caption
+
+Ejemplo de registro en archivo de 
+\emph on 
+gaps
+\emph default 
+ para un archivo sin bloques
 \layout Standard
 
-De la misma manera, al borrar un registro este archivo debe ser actualizado
- colocando el nuevo espacio libre en el bloque.
-\layout Subsection
 
-Organización Física
+\begin_inset  Tabular
+<lyxtabular version="3" rows="2" columns="3">
+<features>
+<column alignment="center" valignment="top" leftline="true" width="0">
+<column alignment="center" valignment="top" leftline="true" width="0">
+<column alignment="center" valignment="top" leftline="true" rightline="true" width="0">
+<row topline="true" bottomline="true">
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+offset
+\end_inset 
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+freespace
+\end_inset 
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+\end_inset 
+</cell>
+</row>
+<row topline="true" bottomline="true">
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+12
+\end_inset 
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\layout Standard
+
+120
+\end_inset 
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+\begin_inset Text
+
 \layout Standard
 
-La estuctura que define este archivo es la siguiente:
+Indica que a partir del byte 12 del archivo de datos, hay 120 bytes libres.
+\end_inset 
+</cell>
+</row>
+</lyxtabular>
+
+\end_inset 
+
+
+\end_inset 
+
+
 \layout Standard
 
 
+\series bold 
+\emph on 
+Nota: 
+\series default 
+\emph default 
+Como se puede observar, para distintas organizaciones el significado de
+ los registros en este archivo es diferente y se utilizará de distinta manera
+ en consecuencia.
+\layout Subsection
+
+Funciones principales
+\layout Standard
+
+Las declaraciones e implementación se pueden encontrar en 
+\series bold 
+\emph on 
+fsc.h
+\series default 
+\emph default 
+ y 
+\series bold 
+\emph on 
+fsc.c
+\series default 
+\emph default 
+ respectivamente:
+\layout List
+\labelwidthstring 00.00.0000
+
+
+\series bold 
+Búsqueda:
+\series default 
+ Ante la operación de alta de un registro en el archivo de datos, se realizará
+ la búsqueda de espacio libre donde este podrá ser insertado.
+ En el caso de organizaciones con bloques, se buscará en que 
 \family typewriter 
-EMUFS_FSC
+nro_bloque
 \family default 
- que contiene:
-\layout Itemize
+ se posee espacio suficiente para albergar el nuevo registro.
+ En el caso de organizacion sin bloque, se buscará un gap o espacio libre
+ en el archivo, obteniéndose en consecuencia, el 
+\family typewriter 
+offset
+\family default 
+ hasta el mismo.
+\newline 
+Ver: 
+\family typewriter 
+emufs_fsc_buscar_lugar()
+\layout List
+\labelwidthstring 00.00.0000
 
 
+\series bold 
+Alta/Mod:
+\series default 
+ Luego de una operación de baja o alta de un registro en el archivo de datos
+ (
+\series bold 
+.dat
+\series default 
+), incrementará o decrementará respectivamente el espacio libre en el archivo
+ de datos, y esto deberá ser registrado, agregando un nuevo registro en
+ el archivo de espacios libres (
+\series bold 
+.fsc
+\series default 
+) o bien modificandoló.
+\newline 
+
+\newline 
+En el caso de organizaciónes con bloques, se actualizará el valor del espacio
+ libre 
 \family typewriter 
-EMUFS_BLOCK_ID
+freespace
 \family default 
- indica el número de bloque
-\layout Itemize
-
+ en el bloque (ya sea incrementandoló o decrementandoló) o bien se insertará
+ un nuevo registro en caso de que se esté creando un nuevo bloque en el
+ archivo de datos (en este caso no será debido a un alta o baja de registro
+ como se mencionó al principio).
+\newline 
 
+\newline 
+Para el caso de organización sin bloques, en el caso de baja de un registro
+ de datos (
+\series bold 
+.dat
+\series default 
+) se insertará un nuevo registro en el 
+\series bold 
+.fsc
+\series default 
+ dando cuenta de la aparición de un nuevo gap en el archivo de datos (
+\series bold 
+.dat
+\series default 
+), y en caso de estar este lindante con otro gap, se realizará el merge
+ pertinente.
+ (esto esta explicado más en profundidad en los casos particulares de organizaci
+ón fisica, registros variables sin bloques).
+ Para el caso de una alta en el archivo de datos (
+\series bold 
+.dat
+\series default 
+), el valor del gap donde se haya insertado se actualizará.
+\newline 
+Ver: 
 \family typewriter 
-EMUFS_FREE
-\family default 
- freespace indica la cantidad de espacio libre que queda en el bloque.
-\layout Standard
+emufs_fsc_agregar(), emufs_fsc_agregar_gap(), emufs_fsc_actualizar(), emufs_fsc_
+actualizar_gap().
+\layout List
+\labelwidthstring 00.00.0000
 
 
+\series bold 
+Baja
+\series default 
+: Unicamente para el caso de una organización que presente gaps en el archivo,
+ se podrá dar a lugar la eliminación de un registro del archivo de espacios
+ libres (
+\series bold 
+.fsc)
+\series default 
+.
+ Esta situación tendrá efecto cuando se inserte un registro que entre perfecto
+ en un gap disponible, y por ende el gap desaparecerá.
+\newline 
+Ver: 
 \family typewriter 
-EMUFS_FSC
-\family default 
- y 
-\family typewriter 
-EMUFS_FREE
-\family default 
- son 
-\emph on 
-unsiged long int
-\layout Subsection
-
-Comportamiento
+emufs_fsc_borrar_gap()
 \layout Section
 
 
@@ -515,76 +1087,125 @@ Comportamiento
 
 \end_inset 
 
-Archivo de índices recuperables
+Archivo de id's recuperables
 \layout Standard
 
-Este archivo funciona como una pila de i
-\emph on 
-d`s
-\emph default 
- borrados, es decir, cuando se borra un registro el 
+El archivo de Id's liberado (
+\series bold 
+.did
+\series default 
+) llevará cuenta de aquellos Id's de registros (
+\family typewriter 
+id_reg
+\family default 
+) que ya no se encuentran siendo utilizados y fueron liberados por registros
+ eliminados previamente.
+ A través del mismo, se podrá realizar la reutilización de Id's ante la
+ alta de nuevos registros.
+\layout Standard
+
+A nivel físico, este archivo poseerá una secuencia de datos del tipo EMUFS_REG_I
+D, y el comportamiento del sistema de recuperación de Id's será el de una
+ pila.
+ Es decir, ante el requerimiento de un 
+\family typewriter 
+reg_id
+\family default 
+ libre por una función del sistema como por ejemplo la alta de un nuevo
+ registro, el API del archivo (
+\series bold 
+.did
+\series default 
+), obtendrá el último dato del mismo (el 
 \emph on 
-id
+Id
 \emph default 
- se almacena en este archivo y será recuperado cuando se desee grabar un
- registro nuevo, de esta manera se aprovechan todos los 
+ que fue liberado mas recientemente), y truncará el archivo eliminando el
 \emph on 
-id`s
+Id
 \emph default 
- sin necesidad de crear uno nuevo cada vez que se borra y graba un registro.
+ recuperado de la tabla.
+ (LIFO, Last in First Out).
 \layout Subsection
 
-Estructura Física
+Organización Física
 \layout Standard
 
 Este archivo tiene registros de un solo campo, 
 \family typewriter 
 EMUFS_REG_ID
 \family default 
- el cual simboliza al id almacenado.
+ el cual simboliza al id que fue liberado en un proceso de baja de registros.
 \layout Subsection
 
-Comportamiento
+Funciones principales
 \layout Standard
 
 Las declaraciones e implementación se pueden encontrar en 
+\series bold 
 \emph on 
 did.h
+\series default 
 \emph default 
  y 
+\series bold 
 \emph on 
 did.c
+\series default 
 \emph default 
  respectivamente
-\layout Itemize
+\layout List
+\labelwidthstring 00.00.0000
 
 
 \series bold 
-Agregar
+Alta
 \series default 
-agrega un 
-\emph on 
-id 
-\emph default 
-al archivo, el cual será el primero recuperado.
+Ante la eliminación de un registro del archivo de datos (
+\series bold 
+.dat
+\series default 
+) se procederá al agregado del correspondiente 
 \family typewriter 
-Ver: emufs_did_agregar()
-\layout Itemize
-
-
+id_reg
+\family default 
+ que fue liberado por dicha operación, al archivo 
 \series bold 
-Obtener el último:
+.did
 \series default 
- Obtiene el último 
+.
+\family typewriter 
+
+\newline 
+
+\family default 
+Ver: 
+\family typewriter 
+emufs_did_agregar()
+\layout List
+\labelwidthstring 00.00.0000
+
+Baja Cuando el sistema desee grabar un nuevo registro en el archivo de datos,
+ este pedirá un 
+\family typewriter 
+id_reg
+\family default 
+ disponible para el mismo.
+ El sistema de administración de Id's libres, obtendrá el último 
 \emph on 
 id
 \emph default 
- que se guardó en el archivo (o se eliminó del archivo de datos), y trunca
- el archivo.
+ que se guardó en el archivo (o se eliminó del archivo de datos), y truncará
+ el archivo eliminandolo.
 \family typewriter 
-Ver: emufs_did_get_last()
+
+\newline 
+
+\family default 
+Ver: 
+\family typewriter 
+emufs_did_get_last()
 \layout Chapter
 
 
@@ -689,31 +1310,42 @@ Cada bloque no guarda informaci
 
 \end_inset 
 
-), que almacena pares (identificador de registro, número de bloque).
+), que almacena pares [identificador de registro, número de bloque].
  Para que sea suficiente este único índice para hallar un registro (siendo
  que puede haber más de un registro por bloque), es necesario 
 \emph on 
 alinear los registros a izquierda
 \emph default 
 .
+ Esto significa que hay que asegurar que siempre los registros en un bloque
+ se presenten de forma consecutiva, jamás permitiendo que haya un espacio
+ libre entre registros (en un mismo bloque).
+\layout Standard
+
+Podemos ver un ejemplo de esto en forma gráfica:
 \layout LyX-Code
 
-bloque N-1 | bloque N                                    | bloque N+1
+bloque N-1 | bloque N                                | bloque N+1
 \layout LyX-Code
 
-/----------+------------+------------+-------------------+-----------/
+/----------+------------+------------+---------------+-----------/
 \layout LyX-Code
 
 
 \backslash 
-          | registro 1 | registro 2 | espacio libre ...
- |           
+          | registro 1 | registro 2 | espacio libre |           
 \backslash 
- /----------+------------+------------+-------------------+-----------/
+
+\layout LyX-Code
+
+/----------+------------+------------+---------------+-----------/
+\layout LyX-Code
+
+           /------------- tamaño del bloque ---------/
 \layout Standard
 
-De forma tal que una vez obtenido el número de bloque se pueda recorrer
- secuencialmente hasta encontrar el registro deseado.
+De esta forma, una vez obtenido el número de bloque, se pueda recorrer secuencia
+lmente hasta encontrar el registro deseado.
  A fin de llevar el conteo de espacio libre se utiliza el archivo de control
  de espacio libre (ver página 
 \begin_inset LatexCommand \ref{sec:fsc}
@@ -729,9 +1361,207 @@ Puede darse un caso excepcional en el que un registro sea m
  (siendo N la cantidad de bloques que necesita el registro), ocupando completos
  los todos los bloques a excepción del último, en el que posteriormente
  se pueden agregar más registros.
+\layout Subsubsection
+
+
+\begin_inset LatexCommand \label{sub:tipo1_reg}
+
+\end_inset 
+
+Organización física de un registro.
+\layout Standard
+
+El registro es el que representa al dato realmente que se quiere almacenar.
+ Para representar ese dato se necesita una determinada información de control,
+ tanto para poder identificar el registro en un bloque (en búsquedas secuenciale
+s dentro del bloque) como para saber su longitud (dado que este tipo de
+ archivo utiliza registros de tamaño variable).
+\layout Standard
+
+Siguiendo la metodología general de E
+\begin_inset Formula $\mu$
+\end_inset 
+
+FS, se optó por incluir esta información de control como una cabecera al
+ comienzo del registro, siguiendo a esta los datos en sí.
+ La cabecera está compuesta por un identificador (
+\family typewriter 
+id
+\family default 
+) de registro (EMUFS_REG_ID, 4 bytes) seguido por el tamaño (
+\family typewriter 
+tamaño
+\family default 
+) del registros (EMUFS_REG_SIZE, 4 bytes).
+ Podemos ver gráficamente como se se compone un registro:
+\layout LyX-Code
+
+registro id
+\layout LyX-Code
+
++-----------+-----------+------------------+
+\layout LyX-Code
+
+|     id    |   tamaño  |   datos ...
+      |
+\layout LyX-Code
+
++-----------+-----------+------------------+
+\layout LyX-Code
+
+/- 4 bytes -/- 4 bytes -/- [tamaño] bytes -/
+\layout Subsubsection
+
+
+\begin_inset LatexCommand \label{sub:tipo1_reg_multi}
+
+\end_inset 
+
+Organización física de un registro más grande que un bloque (registro 
+\emph on 
+multibloque
+\emph default 
+).
+\layout Standard
+
+Puede darse el caso excepcional en que un registro sea de mayor longitud
+ que un bloque.
+ Al ser una situación excepcional, no siempre se resuelve de la forma más
+ eficiente ni se mínimiza el espacio ocupado por datos de control (como
+ se dijo anteriormente, se prefirió conservar la simpleza del código, adoptando
+ algoritmos generales aunque no sea de la forma más eficiente o maximizando
+ el uso del espacio para no perjudicar la mantenibilidad).
+\layout Standard
+
+Para menejar un registro 
+\emph on 
+multibloque 
+\emph default 
+se optó por limitarlo a la siguiente estructura (suponiendo que el registro
+ ocupa N bloques, con N > 1 y que un 
+\emph on 
+fragmento
+\emph default 
+ es una porción del registro que entra en un bloque):
+\layout Itemize
+
+Los primeros N-1 
+\emph on 
+fragmentos
+\emph default 
+ se almacenan en bloques completos consecutivos.
+\layout Itemize
+
+El último fragmento se almacena al comienzo del bloque inmediatamente posterior
+ al penúltimo.
+\layout Itemize
+
+Cada framento posee las cabeceras mencionadas en la sección 
+\begin_inset LatexCommand \ref{sub:tipo1_reg}
+
+\end_inset 
+
+, cuyo contenido es el siguiente:
+\begin_deeper 
+\layout Itemize
+
+En 
+\family typewriter 
+id
+\family default 
+ se almacena el identificador único obtenido al hacer el alta.
+\layout Itemize
+
+En 
+\family typewriter 
+tamaño
+\family default 
+ se almacena el tamaño del 
+\emph on 
+fragmento
+\emph default 
+ actual más los tamaños de los 
+\emph on 
+fragmentos
+\emph default 
+ posteriores, quedando en el primer 
+\emph on 
+fragmento
+\emph default 
+ el tamaño completo del registro y en el último sólo el tamaño del 
+\emph on 
+fragmento
+\emph default 
+ final.
+\end_deeper 
+\layout Standard
+
+Como puede observarse, la información de control en los 
+\emph on 
+fragmentos
+\emph default 
+ intermedios puede ser redundante, pero se conserva para poder realizar
+ algoritmos genéricos (que se basan en que al principio de un bloque, si
+ no está vacío, hay una cabecera de un registro) y para facilitar chequeos
+ de integridad del archivo.
+\layout Standard
+
+A continuación se presenta un ejemplo gráfico de un registro multibloque
+ de 10 bytes (de contenido 
+\begin_inset Quotes eld
+\end_inset 
+
+1234567890
+\begin_inset Quotes erd
+\end_inset 
+
+) almacenado en un archivo con bloques de 4 bytes:
+\layout LyX-Code
+
+| bloque 0          | bloque 1          | bloque 2
+\layout LyX-Code
+
++-------------------+-------------------+-------------------+-//-+
+\layout LyX-Code
+
+| registro 0 - 1/3  | registro 0 - 2/3  | registro 0 - 3/3..| 
+\backslash 
+
+\backslash 
+ |
+\layout LyX-Code
+
+|+----+-----+------+|+----+-----+------+|+----+-----+----+..| // |
+\layout LyX-Code
+
+|| id | tam | datos||| id | tam | datos||| id | tam |dato|..| 
+\backslash 
+
+\backslash 
+ |
+\layout LyX-Code
+
+||----+-----+------+||----+-----+------+||----+-----+----+..| // |
+\layout LyX-Code
+
+||  0 |  10 | 1234 |||  0 |  6  | 5678 |||  0 |  2  | 90 |..| 
+\backslash 
+
+\backslash 
+ |
+\layout LyX-Code
+
+|+----+-----+------+|+----+-----+------+|+----+-----+----+..| // |
+\layout LyX-Code
+
++-------------------+-------------------+-------------------+-
+\backslash 
+
+\backslash 
+-+
 \layout Section
 
-Comportamiento (funciones de la interfáz)
+Funciones principales
 \layout Section
 
 Detalles de implementación (funciones internas, ver si lo ponemos o no)
@@ -890,9 +1720,15 @@ As
 \series bold 
 .idx
 \series default 
- :
-\newline 
+: 
+\begin_inset Float table
+placement H
+wide false
+collapsed true
+
+\layout Caption
 
+Organización física del archivo de índice o posiciones relativas.
 \layout Standard
 
 
@@ -994,14 +1830,14 @@ El segundo registro (reg1) comienza en el byte 60
 \end_inset 
 
 
+\end_inset 
+
+
 \layout Standard
 
 
 \series bold 
 \emph on 
-\SpecialChar ~
-
-\newline 
 Observación:
 \series default 
 \emph default 
@@ -1026,10 +1862,21 @@ As
 \series bold 
 .fsc
 \series default 
- : 
-\newline 
+: 
+\begin_inset Float table
+placement H
+wide false
+collapsed true
+
+\layout Caption
+
+Organización física del archivo de 
+\emph on 
+gaps 
+\emph default 
+o control de espacio libre.
+\layout Standard
 
-\newline 
 
 \begin_inset  Tabular
 <lyxtabular version="3" rows="2" columns="3">
@@ -1101,14 +1948,14 @@ FREESPACE
 \end_inset 
 
 
+\end_inset 
+
+
 \layout Standard
 
 
 \series bold 
 \emph on 
-\SpecialChar ~
-
-\newline 
 Nota:
 \series default 
 \emph default 
@@ -1148,7 +1995,7 @@ El archivo de ID's liberados no presenta ning
  su estructura y funcionamiento.
 \layout Section
 
-Comportamiento (funciones de la interfaz)
+Funciones Principales
 \layout Standard
 
 Dentro de 
@@ -1796,9 +2643,6 @@ El comportamiento de este archivo, es com
 \layout Section
 
 Funciones Principales
-\layout Subsection
-
-EMUFS Tipo 3
 \layout Standard
 
 Dento de 
@@ -1814,7 +2658,7 @@ tipo3.c
 \layout Standard
 
 A continuación se comentará la descripción de algunas acciones importantes.
-\layout Subsubsection
+\layout Subsection
 
 Leer Registro
 \layout Standard
@@ -1836,7 +2680,7 @@ ID
 Ver: 
 \family typewriter 
 emufs_tipo3_leer_registro()
-\layout Subsubsection
+\layout Subsection
 
 Grabar Registro
 \layout Standard
@@ -1852,7 +2696,7 @@ Luego de grabar un registro, actualiza los archivos de 
 Ver: 
 \family typewriter 
 emufs_tipo3_grabar_registro()
-\layout Subsubsection
+\layout Subsection
 
 Borrar Registro
 \layout Standard
@@ -1871,7 +2715,12 @@ Cabe destacar que para dar de baja un registro no hace falta borrarlo del
  presente en el archivo de datos.
  Esto es una consecuencia del ajuste al borrar un registro, pudiendo no
  ser así, si no se realizara el mismo.
-\layout Subsubsection
+\layout Standard
+
+Ver: 
+\family typewriter 
+emufs_tipo3_borrar_registro()
+\layout Subsection
 
 Leer Estadísticas
 \layout Standard
@@ -1894,7 +2743,7 @@ Completa una estructura del tipo EMUFS_Estadisticas con las estad
 Ver: 
 \family typewriter 
 emufs_tipo3_leer_estadisticas()
-\layout Subsubsection
+\layout Subsection
 
 Compactar el Archivo
 \layout Standard