]> git.llucax.com Git - z.facultad/75.06/emufs.git/blobdiff - doc/informe_2da_entrega.lyx
Se agrega justificación de bugo para usar B+ solo de primario.
[z.facultad/75.06/emufs.git] / doc / informe_2da_entrega.lyx
index 506a3df6a412742d588475313dfa4ee8f661ff1e..7c71ab5246c249931be6578ab9df9cb0a0f81c8f 100644 (file)
@@ -94,7 +94,12 @@ Exhaustivo
 
 Con la autorización de los ayudantes de la cátedra decidimos que el árbol
  B+ sólo pueda ser utilizado para índices principal ya que de otra manera
 
 Con la autorización de los ayudantes de la cátedra decidimos que el árbol
  B+ sólo pueda ser utilizado para índices principal ya que de otra manera
- no tiene sentido el set secuencial.
+ no tiene sentido el set secuencial (ver página 
+\begin_inset LatexCommand \pageref{sub:justificacion}
+
+\end_inset 
+
+ para una justificación más detallada).
 \layout Standard
 
 Finalmente, para obtener listados basados en campos de los cuales no se
 \layout Standard
 
 Finalmente, para obtener listados basados en campos de los cuales no se
@@ -194,7 +199,7 @@ INDICE
 \emph default 
 es la estructura principal que encapsula todas las funciones para el manejo
  de un índice.
 \emph default 
 es la estructura principal que encapsula todas las funciones para el manejo
  de un índice.
- Posee punteros a funciones que permite utilizar la misma interface para
+ Posee punteros a funciones que permite utilizar la misma interfaz para
  distintas implementaciones de árboles.
  
 \layout Standard
  distintas implementaciones de árboles.
  
 \layout Standard
@@ -324,10 +329,10 @@ Indice B
 Indice B*
 \layout Subsection
 
 Indice B*
 \layout Subsection
 
-Desiciones de diseño
+Decisiones de diseño
 \layout Standard
 
 \layout Standard
 
-Una de las pocas desiciones que tuvimos que tomar fue la forma de manejar
+Una de las pocas decisiones que tuvimos que tomar fue la forma de manejar
  el nodo raíz.
  Hay dos formas comunes de hacerlo:
 \layout Enumerate
  el nodo raíz.
  Hay dos formas comunes de hacerlo:
 \layout Enumerate
@@ -345,13 +350,13 @@ La primera forma garantiza un mejor aprovechamiento del espacio, ya que
  El problema que encontramos para hacerlo de esa forma fue que usamos un
  tamaño de nodo fijo de 512 para poder leer un sector completo del disco
  y ganar algo de velocidad, por lo que para poder mantener este esquema
  El problema que encontramos para hacerlo de esa forma fue que usamos un
  tamaño de nodo fijo de 512 para poder leer un sector completo del disco
  y ganar algo de velocidad, por lo que para poder mantener este esquema
- hubieramos necesitado de 3 bloques de 512 para poder guardar los 2N+1 claves,
+ hubiéramos necesitado de 3 bloques de 512 para poder guardar los 2N+1 claves,
  desperdiciando 512-tamaño_de_clave espacio en el bloque final y haciendo
  que cualquier ahorro de espacio en los hijos del nodo raíz difícilmente
  lo compense.
 \layout Standard
 
  desperdiciando 512-tamaño_de_clave espacio en el bloque final y haciendo
  que cualquier ahorro de espacio en los hijos del nodo raíz difícilmente
  lo compense.
 \layout Standard
 
-Ademas de esto, el utilizar la segunda forma trae como ventaja la reutilización
+Además de esto, el utilizar la segunda forma trae como ventaja la reutilización
  de código del árbol B, lo que facilita la implementación y el mantenimiento
  del código.
 \layout Standard
  de código del árbol B, lo que facilita la implementación y el mantenimiento
  del código.
 \layout Standard
@@ -360,15 +365,88 @@ Estas son las dos razones principales por las cuales elegimos tratar el
  nodo raíz como lo hace el árbol B.
 \layout Section
 
  nodo raíz como lo hace el árbol B.
 \layout Section
 
-Indice B+ Secuencial Indexado
+Indice B+ Organizacion Secuencial Indexada
+\layout Subsection
+
+Decisiones de diseño
+\layout Standard
+
+Para la implementación de la organización secuencial indexada de archivos,
+ se ha utilizado un árbol B+, conocido por ser utilizado en términos generales
+ para implementaciones de esta índole.
+\layout Standard
+
+Como particularidad el arbol B+, poseerá en sus hojas todas las claves que
+ se hayan insertado en el árbol.
+ No obstante, las mismas no serán todas las claves que se encuentren en
+ el archivo de datos, sino la primer clave de cada bloque de datos, también
+ denominadas 'anclas de bloque'.
+\layout Standard
+
+En torno a esta distinción respecto de los demás arboles, el árbol B+ nos
+ indicará a la hora de grabar registros en nuestro archivo de datos con
+ bloques (Organización del TP1, Tipo1 o 3), en que bloque de datos debemos
+ realizar la mencionada inserción.
+ La operativa se detalla más adelante, pero básicamente realizaremos una
+ búsqueda del ancla menor inmediata a la clave del registro que se desea
+ insertar, y esto nos indicará el bloque apropiado (el bloque donde esta
+ el ancla).
 \layout Standard
 
 \layout Standard
 
-Se ha implementado un índice secuencial indexado utilizando un árbol B+,
- el cual tiene la particularidad de tener en sus hojas todas las claves
- que se han insertado.
+Como resultado concreto de este comportamiento (teniendo en cuenta también
+ el borrado y partición de bloques del .dat), obtendremos un archivo secuencial
+ indexado, en donde los registros se encuentran ordenados a nivel de bloques,
+ esto es, dentro de un bloque dado del archivo de datos, los registros estan
+ ordenados por clave primaria.
+ No obstante, los bloques no estarán necesariamente ordenados, pero igualmente
+ la cantidad de accesos para recorrer el archivo en forma secuencial, se
+ ve minimizada respecto de otras organizaciones, gracias al encadenamiento
+ de las hojas y la posesión de las anclas de bloque, cuya lista resultante
+ del encadenamiento es denominada 
+\series bold 
+Sequence Set.
+\layout Subsubsection
+
+
+\begin_inset LatexCommand \label{sub:justificacion}
+
+\end_inset 
+
+Razones por las cuales el B+ es útil sólo para clave principal.
 \layout Standard
 
 \layout Standard
 
-La estructura de un nodo del árbol es la siguiente:
+El mejor aprovechamiento del Arbol B+ se da en su utilizacion en implementacion
+ ISAM (Indexed Sequential Access Method), en donde se realiza una indexacion
+ parcial de claves, sólo ingresando en el árbol las claves anclas de cada
+ bloque en el archivo de datos.
+\layout Standard
+
+Esta aplicación del árbol B+ a ISAM, además de indicarnos donde grabar y
+ donde buscar los registros por identificación primaria, nos asegura el
+ ordenamiento de los registros parcialmente a nivel de bloque (esto es,
+ los registros en un bloque dado, estarán ordenados, pero los bloques no
+ necesariamente).
+ Así pués, recorriendo el Sequence Set del Arbol B+, minimizaremos los saltos
+ de lectura en disco, pues dentro de un bloque indicado por un ancla dada
+ en el Sequence Set, podremos recorrer los registros secuencialmente.
+\layout Standard
+
+Visto y considerando que la aplicación más importante a nuestro criterio
+ del Arbol B+, era para la indexacion parcial de claves primarias, y que
+ en caso de utilizarlo para otros índices, el B+ se convertiría simplemente
+ en un B con encadenamiento a nivel de hojas, luego de consultar con los
+ ayudantes, decidimos utilizarlo unicamente para el índice primario, y utilizar
+ el B y B* para los restantes índices y/o el primario.
+\layout Subsection
+
+Estructura
+\layout Standard
+
+Para comprender mejor la implementación particular que hemos dado al árbol
+ B+, damos una breve reseña de la estructura de un nodo del arbol, la cual
+ es la siguiente:
 \layout Itemize
 
 Nivel
 \layout Itemize
 
 Nivel
@@ -392,8 +470,8 @@ Esta organizaci
  datos ordenado por la clave principal.
 \layout Standard
 
  datos ordenado por la clave principal.
 \layout Standard
 
-Para lograr esto, el árbol nos indicará donde (en qué bloque) debe insertarse
- un registro.
+Para lograr esto, como fue expuesto anteriormente, el árbol nos indicará
donde (en qué bloque) debe insertarse un registro.
  (ver 3.3.1 Inserción)
 \layout Standard
 
  (ver 3.3.1 Inserción)
 \layout Standard
 
@@ -435,13 +513,13 @@ n+1
 \series default 
 \emph default 
  contiene las claves mayores.
 \series default 
 \emph default 
  contiene las claves mayores.
- En el caso particular del nivel 1 el hijo 
+ En el caso particular del nivel 1 (index set) el hijo 
 \series bold 
 \emph on 
 n+1
 \series default 
 \emph default 
 \series bold 
 \emph on 
 n+1
 \series default 
 \emph default 
- contiene las claves mayores o iguales ya que el 
(sequence set) contiene las claves mayores o iguales ya que el 
 \begin_inset Quotes eld
 \end_inset 
 
 \begin_inset Quotes eld
 \end_inset 
 
@@ -456,8 +534,14 @@ secuence set
 En nuestro caso hemos implementado un Secuencial Indexado tipo ISAM (Indexed
  Sequential Access Method) el cual posee en sus hojas las anclas de cada
  bloque en el archivo de datos, es decir, solo se guardan en los nodos del
 En nuestro caso hemos implementado un Secuencial Indexado tipo ISAM (Indexed
  Sequential Access Method) el cual posee en sus hojas las anclas de cada
  bloque en el archivo de datos, es decir, solo se guardan en los nodos del
arbol la menor de las claves de un bloque del archivo de datos, acompañada
árbol la menor de las claves de un bloque del archivo de datos, acompañada
  cada clave por el numero de bloque al cual pertenece.
  cada clave por el numero de bloque al cual pertenece.
+\layout Standard
+
+Hemos adoptado que la cantidad de claves máxima en un nodo del árbol sea
+ una cantidad impar, ya que esto facilita la elección de la clave que será
+ promovida hacia su nodo padre en caso de que se produzca un overflow en
+ el nodo.
 \layout Subsection
 
 Inserción
 \layout Subsection
 
 Inserción
@@ -503,7 +587,7 @@ Esta funci
  Al encontrar la clave mayor inmediata, el resultado de la búsqueda será
  la clave anterior en el nodo, pues cada clave en el nodo es un ancla de
  bloque de datos, de esta manera la clave anterior será menor a la clave
  Al encontrar la clave mayor inmediata, el resultado de la búsqueda será
  la clave anterior en el nodo, pues cada clave en el nodo es un ancla de
  bloque de datos, de esta manera la clave anterior será menor a la clave
- enviada, pues las claves en las hojas estan ordenadas.
+ enviada, pues las claves en las hojas están ordenadas.
  
 \layout Standard
 
  
 \layout Standard
 
@@ -529,7 +613,135 @@ En el segundo caso, puede darse que la clave enviada sea menor a todas las
  Aquí la función retornará código -1 lo cual indica que no se ha encontrado
  un bloque donde insertar el registro nuevo, y es por esto que la estructura
  debe inicializarse con un número de bloque válido antes de realizarse la
  Aquí la función retornará código -1 lo cual indica que no se ha encontrado
  un bloque donde insertar el registro nuevo, y es por esto que la estructura
  debe inicializarse con un número de bloque válido antes de realizarse la
- consulta.
+ consulta.De esta manera el árbol indica donde debe insertarse un nuevo registro
+ en el archivo de datos.
+\layout Standard
+
+Otro detalle de la inserción es que cuando el árbol indica donde debe insertarse
+ un registro pueden pasar dos cosas nuevamente:
+\layout Enumerate
+
+Que el registro quepa en el bloque.
+\layout Enumerate
+
+Que el registro no quepa en el bloque.
+\layout Standard
+
+El primer caso es trivial y el registro se insertará sin problemas en el
+ bloque indicado.
+\layout Standard
+
+En el caso que el registro no quepa en el bloque, se deberán separar los
+ registros del bloque en 2 bloques, en original y uno nuevo, cada uno con
+ la mitad (aproximadamente) de los registros.
+\layout Standard
+
+Al partir el bloque el ancla del bloque original no se modificará, pero
+ en el bloque nuevo se crea una nueva anlca de bloque, pues una de las claves
+ pertenecientes a los registros que contiene, será la menor.
+\layout Standard
+
+Antes de actualizar el árbol con el ancla nueva, habrá que discriminar en
+ qué bloque se debe insertar el registro nuevo.
+ Para ello se compara la menor de las claves del nuevo bloque con la clave
+ del registro, si la clave del registro es menor que el ancla del nuevo
+ bloque, este debe ir en el bloque original, y se inserta ordenado en él
+ y se le informa al árbol que actualice (inserte) una nueva clave correspondient
+e al bloque nuevo, sino se inserta en el bloque nuevo de forma ordenada
+ y en este caso cabe la posibilidad de que el nuevo registro posea la clave
+ mas pequeña de todas en el bloque, por ello se lo inserta ordenadamente
+ con ayuda de la función
+\family typewriter 
+ CLAVE grabar_ordenado_en_bloque(EMUFS *emu, void *ptr, EMUFS_REG_SIZE size,
+ void *bloque, int num_bloque, EMUFS_FREE fs, int *err) 
+\family default 
+la cual inserta el registro ordenado por CLAVE y devuelve la menor de las
+ claves del bloque, que se usará para informarle al árbol que inserte una
+ clave nueva junto con el número de bloque, para indexar este bloque.
+\layout Subsection
+
+Eliminación
+\layout Standard
+
+El proceso de eliminación es bastante similar al de inserción en el sentido
+ que también hay que realizar una consulta en el árbol para obtener el número
+ de bloque al que pertenece una clave.
+ Una vez conocido este número se levanta el bloque correspondiente y se
+ busca secuencialmente el registro que se debe eliminar.
+\layout Standard
+
+Si el registro a eliminar fuera el primero del bloque, habrá que modificar
+ el ancla de bloque en el árbol con el ancla que corresponda a la clave
+ del nuevo menor registro, y si el que se elimina fuera el único registro
+ en el bloque habrá que eliminar la clave del árbol.
+\layout Standard
+
+En cualquier otro caso, solo se eliminará el registro correspondiente y
+ se justificarán los registros a izquierda.
+\layout Subsection
+
+Búsqueda
+\layout Standard
+
+El proceso de búsqueda de un registro por su clave de identificación primaria
+ en la Organización Secuencial Indexada, es bastante directa en su entendimiento.
+ Para buscar un registro, acudiremos al árbol B+ con la clave anteriormente
+ mencionada, y obtendremos del mismo, el número de bloque donde se debe
+ encontrar el registro.
+\layout Standard
+
+Para obtener dicho número de bloque, el árbol internamente busca el ancla
+ menor inmediata a la clave buscada y luego devuelve el número de bloque
+ de datos donde está dicha ancla (el nro bloque será el dato asociado a
+ la clave ancla, en el árbol), el cual será el bloque potencial donde se
+ encuentre el registro buscado.
+\layout Standard
+
+Una desventaja de esta implementación con indexación parcial, es que no
+ sabremos si el registro se encuentra efectivamente en el bloque indicado,
+ hasta no buscarlo dentro del mismo en formal secuencial.
+ Si lo hallamos, daremos por finalizada la búsqueda del registro.
+\layout Subsection
+
+Recorrida secuencial de registros
+\layout Standard
+
+Una consecuencia importante de la organización secuencial indexada, en este
+ caso implementada a través de un árbol B+ con indexación parcial, es que
+ como mencionamos anteriormente, los registros dentro de un bloque se encuetran
+ ordenados, y si bien los bloques en si pueden no estar ordenados en el
+ archivo de datos, algunos lo estarán, y minimizarán en base a estas característ
+icas, los tiempos de acceso para una recorrida secuencial de registros.
+\layout Standard
+
+Suponiendo que nos encontramos con varios registros cargados en esta organizació
+n de archivo, y con el correspondiente árbol de indexación primaria B+ en
+ el disco, si se nos pidiera por ejemplo, recorrer los registros de articulos
+ desde el ID_Articulo 40, hasta el ID_Articulo 1406, la operativa será la
+ siguiente:
+\layout Itemize
+
+Acudimos al árbol y obtenemos el numero de bloque para el ID_Articulo 40,
+ buscando el ancla menor inmediata y obteniendo el nro de bloque de datos
+ donde se encuentra, siendo este el nro de bloque donde debería estar el
+ artículo de clave ID_Articulo 40.
+\layout Itemize
+
+Levantamos el bloque de datos y lo recorremos secuencialmente, pues como
+ dijimos anteriormente, sus registros se encuentran ordenados por la clave
+ de identificación primaria, en este caso ID_Articulo.
+\layout Itemize
+
+Cuando ya hayamos procesado todo el bloque, debemos obtener la siguiente
+ ancla a través del árbol y repetir el proceso.
+\layout Itemize
+
+NOTA: Cabe desatacar, que todas las anclas estan en las hojas del B+, y
+ por ello las recorremos a nivel hojas a traves del Sequence Set, que gracias
+ a su encadenamiento, nos permite obtener en forma muy directa y efectiva,
+ las anclas de bloque ordenadas en secuencia, y por consiguiente, recorrer
+ el archivo en forma secuencial minimizando accesos.
 \layout Chapter
 
 Ordenamiento Externo
 \layout Chapter
 
 Ordenamiento Externo
@@ -878,11 +1090,11 @@ Alcance
 El algoritmo de ordenamiento es completamente genérico, ya que recibe un
  puntero void como registro, su tamaño (para poder manipularlo sin conocer
  su tipo) y una función de comparación, para poder comparar dos registros
 El algoritmo de ordenamiento es completamente genérico, ya que recibe un
  puntero void como registro, su tamaño (para poder manipularlo sin conocer
  su tipo) y una función de comparación, para poder comparar dos registros
- (sin saber su tipo) a través de una relación de órden (descripta por dicha
+ (sin saber su tipo) a través de una relación de orden (descripta por dicha
  función).
 \layout Section
 
  función).
 \layout Section
 
-Desiciones de diseño.
+Decisiones de diseño.
 \layout Standard
 
 El algoritmo se eligió en base a una serie de razones y cuenta con una serie
 \layout Standard
 
 El algoritmo se eligió en base a una serie de razones y cuenta con una serie
@@ -906,7 +1118,7 @@ Al usar un buffer intermedio, se puede controlar muy bien la cantidad de
 El buffer ordenado se implementó con un árbol binario debido a que tiene
  una buena relación entre velocidad de búsqueda y facilidad de implementación.
  Al ser el principal determinante de la velocidad los accesos a disco no
 El buffer ordenado se implementó con un árbol binario debido a que tiene
  una buena relación entre velocidad de búsqueda y facilidad de implementación.
  Al ser el principal determinante de la velocidad los accesos a disco no
- se creyo necesario buscar una alternativa más rapida para mantener el buffer
+ se creyó necesario buscar una alternativa más rápida para mantener el buffer
  ordenado en memoria, ya que no cambiaría de forma notable el tiempo total
  del algoritmo.
  Otras posibilidades hubieran sido cargar todo el buffer en memoria y ordenarlo
  ordenado en memoria, ya que no cambiaría de forma notable el tiempo total
  del algoritmo.
  Otras posibilidades hubieran sido cargar todo el buffer en memoria y ordenarlo