]> git.llucax.com Git - z.facultad/75.06/emufs.git/blob - emufs/indice_b.c
Empieza a borrar y la cosa se pone densa :-(
[z.facultad/75.06/emufs.git] / emufs / indice_b.c
1
2 #include "indice_b.h"
3 #include "common.h"
4
5 /* Cantidad de claves por nodo */
6 #define CANT_HIJOS(x) ((x->tam_bloque-sizeof(B_NodoHeader))/sizeof(B_NodoEntry))
7 #define CANT_NODOS(x) (CANT_HIJOS(x)+1)
8 #define MIN_HIJOS(x) (CANT_HIJOS(x)/2)
9
10 /* Auxiliares */
11 static void b_grabar_nodo(INDICE *idx, int id, char *data);
12 static int b_ultimo_id(INDICE *idx);
13 static char *b_leer_nodo(INDICE *idx, int id);
14 static char *b_crear_nodo(INDICE *idx, int *i);
15 static void b_leer_header(char *src, B_NodoHeader *header);
16 static void b_actualizar_header(char *src, B_NodoHeader *header);
17 static B_NodoEntry *b_leer_claves(char *src, B_NodoHeader *header);
18 static void b_insertar_en_nodo(INDICE *idx, CLAVE clave, INDICE_DATO dato, int nodo_id, char *nodo, int hijo1, int hijo2);
19 static int b_elegir_izquierdo(INDICE *idx, int a, int b);
20 static void b_borrar_clave(INDICE *idx, char *nodo, int nodo_id, CLAVE k);
21 static void b_pasar_clave_derecha(char *, int, char *, int, char *, int, int);
22 static void b_pasar_clave_izquierda(char *, int, char *, int, char *, int, int);
23 static void b_fundir_nodo(char *, int, char *, int, char *, int, int);
24
25 void emufs_indice_b_crear(INDICE *idx)
26 {
27         FILE *fp;
28         char *bloque;
29         B_NodoHeader header;
30
31         header.cant = 0;
32         header.nivel = 0;
33         header.padre = -1;
34         header.hijo_izquierdo = -1;
35
36         fp = fopen(idx->filename, "w");
37         PERR("Creando indice");
38         fprintf(stderr, "Archivo = (%s)\n", idx->filename);
39         if (fp == NULL) {
40                 PERR("Error al crear el archivo");
41                 return;
42         }
43         
44         /* Creo el archivo con el Nodo raiz */
45         bloque = (char *)malloc(idx->tam_bloque);
46         memset(bloque, -1, idx->tam_bloque);
47
48         memcpy(bloque, &header, sizeof(B_NodoHeader));
49
50         fwrite(bloque, idx->tam_bloque, 1, fp);
51         fclose(fp);
52 }
53
54 int emufs_indice_b_insertar(INDICE *idx, CLAVE clave, INDICE_DATO dato)
55 {
56         int i, nodo_id, padre_id;
57         B_NodoHeader header;
58         B_NodoEntry *claves;
59         char *nodo, *padre;
60         
61         /* Leo la raiz */
62         nodo = b_leer_nodo(idx, 0);
63         padre_id = nodo_id = 0;
64         padre = NULL;
65         while (nodo) {
66                 if (padre) free(padre);
67                 padre = nodo;
68                 padre_id = nodo_id;
69                 b_leer_header(nodo, &header);
70                 claves = b_leer_claves(nodo, &header);
71                 i=0;
72                 while ((i<header.cant) && (emufs_indice_es_menor(idx, claves[i].clave, clave))) i++;
73                 if ((i<header.cant) && (emufs_indice_es_igual(idx, claves[i].clave, clave))) {
74                         /* CLAVE DUPLICADA! */
75                         return 0;
76                 } else {
77                         if (i == 0) {
78                                 nodo = b_leer_nodo(idx, header.hijo_izquierdo);
79                                 nodo_id = header.hijo_izquierdo;
80                         } else {
81                                 nodo = b_leer_nodo(idx, claves[i-1].hijo_derecho);
82                                 nodo_id = claves[i-1].hijo_derecho;
83                         }
84                 }
85         }
86
87         if (nodo) free(nodo);
88         nodo = padre;
89         nodo_id = padre_id;
90         b_insertar_en_nodo(idx, clave, dato, nodo_id, nodo, -1, -1);
91         return 1; /* Agregar OK! */
92 }
93
94 INDICE_DATO emufs_indice_b_buscar(INDICE *idx, CLAVE clave)
95 {
96         int i;
97         INDICE_DATO ret;
98         B_NodoHeader header;
99         B_NodoEntry *claves;
100         char *nodo, *tmp;
101         
102         /* Leo la raiz */
103         nodo = b_leer_nodo(idx, 0);
104         while (nodo) {
105                 b_leer_header(nodo, &header);
106                 claves = b_leer_claves(nodo, &header);
107                 i=0;
108                 while ((i<header.cant) && (emufs_indice_es_menor(idx, claves[i].clave, clave))) i++;
109                 if (emufs_indice_es_igual(idx, claves[i].clave, clave)) {
110                                 ret = claves[i].dato;
111                                 free(nodo);
112                                 return ret;
113                 } else {
114                         tmp = nodo;
115                         if (i == 0) {
116                                 nodo = b_leer_nodo(idx, header.hijo_izquierdo);
117                         } else {
118                                 nodo = b_leer_nodo(idx, claves[i-1].hijo_derecho);
119                         }
120                         free(tmp);
121                 }
122         }
123
124         /* Nodo no encontrado */
125         ret.id = ret.bloque = -1;
126         return ret;
127 }
128
129 int emufs_indice_b_borrar(INDICE *idx, CLAVE k)
130 {
131         /* Busco el nodo que contiene la clave,si es que esta existe */
132         char *nodo;
133         int nodo_id, i;
134         char encontrado=0;
135         B_NodoHeader header;
136         B_NodoEntry *claves;
137
138         nodo_id = 0; /* Tomo la raiz */
139         nodo = b_leer_nodo(idx, nodo_id);
140         PERR("Buscando clave a borrar");
141         while (nodo && !encontrado) {
142                 /* Obtengo los datos del nodo */
143                 b_leer_header(nodo, &header);
144                 claves = b_leer_claves(nodo, &header);
145
146                 i=0;
147                 while ((i<header.cant) && (emufs_indice_es_menor(idx, claves[i].clave, k))) i++;
148
149                 if ((emufs_indice_es_igual(idx, claves[i].clave, k)) && (i<header.cant))
150                         encontrado = 1;
151                 else {
152                         if (i==0) {
153                                 free(nodo);
154                                 nodo_id = header.hijo_izquierdo;
155                                 nodo = b_leer_nodo(idx, nodo_id);
156                         } else {
157                                 nodo_id = claves[i-1].hijo_derecho;
158                                 free(nodo);
159                                 nodo = b_leer_nodo(idx, nodo_id);
160                         }
161                 }
162         }
163
164         if (encontrado) {
165                 PERR("Clave encontrada, borrando ...");
166                 b_borrar_clave(idx, nodo, nodo_id, k);
167         } else {
168                 PERR("Clave no encontrada");
169         }
170         return 0;
171 }
172
173 static int b_ultimo_id(INDICE *idx)
174 {
175         int i;
176         FILE *fp;
177         fp = fopen(idx->filename, "r");
178         fseek(fp, 0, SEEK_END);
179         i = ftell(fp)/idx->tam_bloque;
180         fclose(fp);
181
182         return i;
183 }
184
185 static char *b_crear_nodo(INDICE *idx, int *id)
186 {
187         char *bloque;
188         B_NodoHeader header;
189
190         (*id) = b_ultimo_id(idx);
191
192         header.cant = 0;
193         header.nivel = 0;
194         header.hijo_izquierdo = -1;
195         header.padre = -1;
196
197         bloque = (char *)malloc(idx->tam_bloque);
198         memset(bloque, -1, idx->tam_bloque);
199         memcpy(bloque, &header, sizeof(B_NodoHeader));
200
201         b_grabar_nodo(idx, *id, bloque);
202
203         return bloque;
204 }
205
206 static char *b_leer_nodo(INDICE *idx, int id)
207 {
208         FILE *fp;
209         char *out;
210
211         if (id < 0) return NULL;
212
213         fp = fopen(idx->filename, "r");
214         if (fp == NULL) return NULL;
215
216         fseek(fp, id*idx->tam_bloque, SEEK_SET);
217
218         out = (char *)malloc(idx->tam_bloque);
219         if (out == NULL) {
220                 fclose(fp);
221                 return NULL;
222         }
223
224         if (fread(out, 1, idx->tam_bloque, fp) != idx->tam_bloque) {
225                 free(out);
226                 /* No se puso leer el nodo */
227                 fclose(fp);
228                 return NULL;
229         }
230
231         fclose(fp);
232         return out;
233 }
234
235 static void b_grabar_nodo(INDICE *idx, int id, char *data)
236 {
237         FILE *fp;
238
239 /*      if (id > b_ultimo_id()) {
240                 printf("AGREGANDO AL FINAL\n");
241                 fp = fopen(FILENAME, "a");
242                 if (fp == NULL) {
243                 _("No se pudo abrir archivo\n");
244                         return;
245                 }
246         } else {
247                 fp = fopen(FILENAME, "w");
248                 if (fp == NULL) {
249                 _("No se pudo abrir archivo\n");
250                         return;
251                 }
252                 fseek(fp, id*BLOCK_SIZE, SEEK_SET);
253                 printf("SOLO GUARDO DATA\n");
254         }*/
255
256         fp = fopen(idx->filename, "r+");
257         fseek(fp, id*idx->tam_bloque, SEEK_SET);
258         fwrite(data, 1, idx->tam_bloque, fp);
259         fclose(fp);
260 }
261
262 static void b_leer_header(char *src, B_NodoHeader *header)
263 {
264         if (!src) return;
265
266         memcpy(header, src, sizeof(B_NodoHeader));
267 }
268
269 static void b_actualizar_header(char *src, B_NodoHeader *header)
270 {
271         if (!src) return;
272         memcpy(src, header, sizeof(B_NodoHeader));
273 }
274
275 static B_NodoEntry *b_leer_claves(char *src, B_NodoHeader *header)
276 {
277         return (B_NodoEntry *)(src+sizeof(B_NodoHeader));
278 }
279
280 static void b_insertar_en_nodo(INDICE *idx, CLAVE clave, INDICE_DATO dato, int nodo_id, char *nodo, int hijo1, int hijo2)
281 {
282         char *padre, *nuevo;
283         int nuevo_id;
284         int i, j;
285         static int rompi=0;
286         char salir = 0;
287         B_NodoHeader nodo_header, nuevo_header;
288         B_NodoEntry *claves, *tmp_claves, *claves_nuevo;
289
290         do {
291                 if (!nodo) {
292                         /* CREAR NODO? */
293                         nodo = b_crear_nodo(idx, &nodo_id);
294                 }
295                 b_leer_header(nodo, &nodo_header);
296                 claves = b_leer_claves(nodo, &nodo_header);
297
298                 padre = b_leer_nodo(idx, nodo_header.padre);
299
300                 if (nodo_header.cant == CANT_HIJOS(idx)) {
301                         int total;
302                         nuevo = b_crear_nodo(idx, &nuevo_id);
303                         i=0;
304                         /* Creo una lista ordenada de los nodos a partir */
305                         tmp_claves = (B_NodoEntry *)malloc(sizeof(B_NodoEntry)*(nodo_header.cant+1));
306                         total = nodo_header.cant;
307                         while ((i<nodo_header.cant) && (emufs_indice_es_menor(idx, claves[i].clave, clave))) {
308                                 tmp_claves[i] = claves[i];
309                                 i++;
310                         }
311                         tmp_claves[i].clave = clave;
312                         tmp_claves[i].dato = dato;
313                         tmp_claves[i].hijo_derecho = hijo1;
314                         tmp_claves[i+1].hijo_derecho = hijo2;
315                         while (i < nodo_header.cant) {
316                                 tmp_claves[i+1] = claves[i];
317                                 i++;
318                         }
319                         
320                         /* Asigno a cada nodo lo que corresponde */
321                         b_leer_header(nuevo, &nuevo_header);
322
323                         nuevo_header.nivel = nodo_header.nivel;
324                         nodo_header.cant = total/2;
325                         nuevo_header.cant = total - nodo_header.cant;
326
327                         memset(claves, '*', idx->tam_bloque-sizeof(B_NodoHeader));
328                         for(j=0; j<nodo_header.cant; j++)
329                                 claves[j] = tmp_claves[j];
330
331                         claves_nuevo = b_leer_claves(nuevo, &nuevo_header);
332                         memset(claves_nuevo, '*', idx->tam_bloque-sizeof(B_NodoHeader));
333                         for(j=0; j<nuevo_header.cant; j++)
334                                 claves_nuevo[j] = tmp_claves[j+total/2+1];
335
336                         b_actualizar_header(nodo, &nodo_header);
337                         b_actualizar_header(nuevo, &nuevo_header);
338
339                         if (nodo_id != 0) {
340                                 clave = tmp_claves[total/2].clave;
341                                 /* XXX dato.bloque = nuevo_id; */
342
343                                 b_grabar_nodo(idx, nodo_id, nodo);
344                                 b_grabar_nodo(idx, nuevo_id, nuevo);
345                                 free(nodo);
346                                 free(nuevo);
347                                 free(tmp_claves);
348
349                                 hijo1 = nodo_id;
350                                 hijo2 = nuevo_id;
351
352                                 nodo = padre;
353                                 nodo_id = nodo_header.padre;
354                         } else {
355                                 /* Oops, parti el raiz, y este debe quedar en 0, lo paso a otro bloque
356                                  * y dejo el padre vacio
357                                  */
358                                 char *tmp_nuevo = b_crear_nodo(idx, &nodo_id);
359                                 memcpy(tmp_nuevo, nodo, idx->tam_bloque);
360                                 free(nodo);
361                                 nodo = tmp_nuevo;
362         
363                                 clave = tmp_claves[total/2].clave;
364                                 /* XXX dato.bloque = nuevo_id; */
365
366                                 b_grabar_nodo(idx, nuevo_id+1, nodo);
367                                 b_grabar_nodo(idx, nuevo_id, nuevo);
368                 
369                                 free(nodo);
370                                 free(nuevo);
371                                 free(tmp_claves);
372
373                                 hijo1 = nuevo_id+1;
374                                 hijo2 = nuevo_id;
375
376                                 /* Limpio al padre */
377                                 nuevo = b_leer_nodo(idx, 0);
378
379                                 b_leer_header(nuevo, &nuevo_header);
380                                 nuevo_header.cant = 0;
381                                 nuevo_header.padre = -1;
382                                 nuevo_header.nivel = nodo_header.nivel+1;
383                                 memset(nuevo, -1, idx->tam_bloque);
384                                 b_actualizar_header(nuevo, &nuevo_header);
385                                 b_grabar_nodo(idx, 0, nuevo);
386
387                                 nodo_id = 0;
388                                 nodo = nuevo;
389                                 rompi = 1;
390                         }
391                 } else {
392                         /* La clave entra en este nodo!! */
393                         i = 0;
394                         if (nodo_header.cant > 0) {
395                                 while ((emufs_indice_es_menor(idx, claves[i].clave, clave)) && (i < nodo_header.cant)) i++;
396                                 for(j=nodo_header.cant; j > i; j--)
397                                         claves[j] = claves[j-1];
398                         }
399                         nodo_header.cant++;
400                         claves[i].clave = clave;
401                         claves[i].dato = dato;
402                         claves[i].hijo_derecho = hijo2;
403                         nodo_header.hijo_izquierdo = b_elegir_izquierdo(idx, nodo_header.hijo_izquierdo, hijo1);
404
405                         b_actualizar_header(nodo, &nodo_header);
406                         b_grabar_nodo(idx, nodo_id, nodo);
407
408                         /* Debo actualizar los punteros al padre de los hijos */
409                         if (hijo1 != -1) {
410                                 nuevo = b_leer_nodo(idx, hijo1);
411                                 if (nuevo != NULL) {
412                                         b_leer_header(nuevo, &nuevo_header);
413                                         nuevo_header.padre = nodo_id;
414                                         b_actualizar_header(nuevo, &nuevo_header);
415                                         b_grabar_nodo(idx, hijo1, nuevo);
416                                         free(nuevo);
417                                 } else printf("FUCK! hijo1=%d no existe!\n", hijo1);
418                         }
419                         if (hijo2 != -1) {
420                                 nuevo = b_leer_nodo(idx, hijo2);
421                                 if (nuevo != NULL) {
422                                         b_leer_header(nuevo, &nuevo_header);
423                                         nuevo_header.padre = nodo_id;
424                                         b_actualizar_header(nuevo, &nuevo_header);
425                                         b_grabar_nodo(idx, hijo2, nuevo);
426                                         free(nuevo);
427                                 } else printf("FUCK! hijo2=%d no existe!\n", hijo2);
428                         }
429                         salir = 1;
430                 }
431         } while (!salir);
432 }
433
434 static int b_elegir_izquierdo(INDICE *idx, int a, int b)
435 {
436         int cual;
437         char *nodo1, *nodo2;
438         B_NodoHeader header1, header2;
439         B_NodoEntry *claves1, *claves2;
440
441         if (a==-1) return b;
442         if (b==-1) return a;
443
444         nodo1 = b_leer_nodo(idx, a);
445         nodo2 = b_leer_nodo(idx, b);
446
447         b_leer_header(nodo1, &header1);
448         b_leer_header(nodo2, &header2);
449
450         claves1 = b_leer_claves(nodo1, &header1);
451         claves2 = b_leer_claves(nodo2, &header2);
452
453         if (emufs_indice_es_menor(idx, claves1[0].clave, claves2[0].clave))
454                 cual = a;
455         else
456                 cual = b;
457
458         free(nodo1);
459         free(nodo2);
460         return cual;
461 }
462
463 INDICE_DATO *emufs_indice_b_buscar_muchos(INDICE *idx, CLAVE clave, int *cant)
464 {
465         /* Si el indice es primario no tiene sentido hacer nada */
466         if (idx->funcion == IND_PRIMARIO) {
467                 *cant = 0;
468                 return NULL;
469         }
470
471         /* TODO Implementar indices con repeticion */
472         return NULL;
473 }
474
475 static void b_borrar_clave(INDICE *idx, char *nodo, int nodo_id, CLAVE k)
476 {
477         int pos, actual_id, padre_id, i, pos_padre, izquierda_id, derecha_id;
478         B_NodoHeader header, header_actual, header_padre, header_izq, header_der;
479         B_NodoEntry *claves, *claves_actual, *claves_padre;/*, *claves_izq, *claves_der;*/
480         char *actual, *padre, *izq, *der;
481
482         b_leer_header(nodo, &header);
483         claves = b_leer_claves(nodo, &header);
484
485         pos = 0;
486         /* Busco la posicion dentro de la lista de claves */
487         while (emufs_indice_es_menor(idx, claves[pos].clave, k)) pos++;
488
489         /* Es el nodo una hoja? */
490         if (header.hijo_izquierdo != -1) {
491                 /* No!, es un nodo intermedio!! */
492                 if (pos == 0)
493                         actual = b_leer_nodo(idx, header.hijo_izquierdo);
494                 else
495                         actual = b_leer_nodo(idx, claves[pos+1].hijo_derecho);
496
497                 b_leer_header(actual, &header_actual);
498                 while (header_actual.hijo_izquierdo != -1) {
499                         actual_id = header_actual.hijo_izquierdo;
500                         free(actual);
501                         actual = b_leer_nodo(idx, actual_id);
502                         b_leer_header(actual, &header_actual);
503                 }
504                 claves_actual = b_leer_claves(actual, &header);
505
506                 claves[pos] = claves_actual[0];
507                 pos = 0;
508                 b_grabar_nodo(idx, nodo_id, nodo);
509         } else {
510                 actual = nodo;
511         }
512
513         /* Borro la clave */
514         for(i=pos; i < header_actual.cant; i++) {
515                 claves_actual[i] = claves_actual[i+1];
516         }
517         header_actual.cant--;
518         /* Guardo los cambios */
519         b_actualizar_header(actual, &header_actual);
520         b_grabar_nodo(idx, actual_id, actual);
521
522         /* Se cumple la condicion de hijos? */
523         if (header_actual.cant >= MIN_HIJOS(idx)) {
524                 PERR("Borrar completo sin fundir");
525                 return;
526         }
527
528         /* Tengo que pasar datos o fundir nodos :-( */
529         do {
530                 padre_id = header.padre;
531                 padre = b_leer_nodo(idx, padre_id);
532                 b_leer_header(padre, &header_padre);
533                 claves_padre = b_leer_claves(padre, &header_padre);
534                 /* TODO Tengo el hijo_izquierdo para revisar!! XXX */
535                 if (header_padre.hijo_izquierdo == actual_id) {
536                         izquierda_id = -1; /* No tengo hermano izquierdo */
537                         /* Mi hermano derecho es el primer nodo del padre */
538                         derecha_id = claves_padre[0].hijo_derecho;
539                         der = b_leer_nodo(idx, derecha_id);
540                         b_leer_header(der, &header_der);
541                 } else {
542                         for(pos_padre=0; claves_padre[pos_padre].hijo_derecho != actual_id; pos_padre++)        {       }
543
544                         /* Busco mis hermanos a derecha e izquierda, si es que existen */
545                         if (pos_padre >= 0) {
546                                 if (pos_padre == 0)
547                                         izquierda_id = header_padre.hijo_izquierdo;
548                                 else
549                                         izquierda_id = claves_padre[pos_padre-1].hijo_derecho;
550                                 izq = b_leer_nodo(idx, izquierda_id);
551                                 b_leer_header(izq, &header_izq);
552                         } else {
553                                 izquierda_id = -1;
554                         }
555                         if (pos_padre < header_padre.cant) {
556                                 derecha_id = claves_padre[pos_padre+1].hijo_derecho;
557                                 der = b_leer_nodo(idx, derecha_id);
558                                 b_leer_header(der, &header_der);
559                         } else {
560                                 derecha_id = -1;
561                         }
562                 }
563                 /* Intendo pasar una clave desde un hermano hacia mi */
564                 if ((derecha_id != -1) && (header_der.cant > MIN_HIJOS(idx))) {
565                         b_pasar_clave_derecha(der, derecha_id, padre, padre_id, actual, actual_id, pos_padre);
566                 } else if ((izquierda_id != -1) && (header_izq.cant > MIN_HIJOS(idx))) {
567                         b_pasar_clave_izquierda(izq, izquierda_id, padre, padre_id, actual, actual_id, pos_padre-1);
568                 } else {
569                         /* No pude pasar clave, tengo que fundir :-( */
570                         if (derecha_id != -1) {
571                                 b_fundir_nodo(actual, actual_id, padre, padre_id, der, derecha_id, pos_padre);
572                         } else {
573                                 b_fundir_nodo(izq, izquierda_id, padre, padre_id, actual, actual_id, pos_padre-1);
574                         }
575                 }
576
577                 /* TODO que guardo ?, todo ? */
578                 b_grabar_nodo(idx, actual_id, actual);
579                 b_grabar_nodo(idx, izquierda_id, izq);
580                 b_grabar_nodo(idx, derecha_id, der);
581                 b_grabar_nodo(idx, padre_id, padre);
582                 if (actual_id != -1) free(actual);
583                 /*if (padre_id != -1) free(padre);*/
584                 if (derecha_id != -1) free(der);
585                 if (izquierda_id != -1) free(izq);
586                 actual = padre;
587                 actual_id = padre_id;
588         } while ((actual_id != -1) && (header_actual.cant < MIN_HIJOS(idx)));
589 }
590
591 static void b_pasar_clave_derecha(char *der, int der_id, char *padre, int padre_id, char *nodo, int nodo_id, int pos_clave)
592 {
593         int i;
594         B_NodoHeader h_der, h_padre, h_nodo;
595         B_NodoEntry *c_der, *c_padre, *c_nodo;
596
597         b_leer_header(nodo, &h_nodo);
598         c_nodo = b_leer_claves(nodo, &h_nodo);
599         b_leer_header(der, &h_der);
600         c_der = b_leer_claves(der, &h_der);
601         b_leer_header(padre, &h_padre);
602         c_padre = b_leer_claves(padre, &h_padre);
603
604         c_nodo[h_nodo.cant] = c_padre[pos_clave];
605         c_nodo[h_nodo.cant].hijo_derecho = -1; /* XXX */
606
607         c_padre[pos_clave] = c_der[0];
608         c_padre[pos_clave].hijo_derecho = der_id;
609         
610         /* Muevo las claves de derecho */
611         for(i=0; i<h_der.cant; i++) {
612                 c_der[i] = c_der[i+1];
613         }
614         h_der.cant--;
615         h_nodo.cant++;
616
617         b_actualizar_header(der, &h_der);
618         b_actualizar_header(nodo, &h_nodo);
619 }
620
621 static void b_pasar_clave_izquierda(char *izq, int izq_id, char *padre, int padre_id, char *nodo, int nodo_id, int pos_clave)
622 {
623         int i;
624         B_NodoHeader h_izq, h_padre, h_nodo;
625         B_NodoEntry *c_izq, *c_padre, *c_nodo;
626
627         b_leer_header(nodo, &h_nodo);
628         c_nodo = b_leer_claves(nodo, &h_nodo);
629         b_leer_header(izq, &h_izq);
630         c_izq = b_leer_claves(izq, &h_izq);
631         b_leer_header(padre, &h_padre);
632         c_padre = b_leer_claves(padre, &h_padre);
633
634         for(i=h_nodo.cant; i>0;i++)
635                 c_nodo[i] = c_nodo[i-1];
636
637         h_nodo.cant++;
638         c_nodo[0] = c_padre[pos_clave];
639         c_nodo[0].hijo_derecho = -1; /* XXX */
640         c_padre[pos_clave] = c_izq[h_izq.cant-1];
641         c_padre[pos_clave].hijo_derecho = izq_id;
642         h_izq.cant--;
643
644         b_actualizar_header(izq, &h_izq);
645         b_actualizar_header(padre, &h_padre);
646         b_actualizar_header(nodo, &h_nodo);
647 }
648
649 static void b_fundir_nodo(char *izq, int izq_id, char *padre, int padre_id, char *der, int der_id, int pos_clave)
650 {
651 }
652