src/util/container_bloomfilter.c

   1 /*
   2      This file is part of GNUnet.
   3      (C) 2001, 2002, 2003, 2004, 2006, 2008 Christian Grothoff (and other contributing authors)
   4
   5      GNUnet is free software; you can redistribute it and/or modify
   6      it under the terms of the GNU General Public License as published
   7      by the Free Software Foundation; either version 2, or (at your
   8      option) any later version.
   9
  10      GNUnet is distributed in the hope that it will be useful, but
  11      WITHOUT ANY WARRANTY; without even the implied warranty of
  12      MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  13      General Public License for more details.
  14
  15      You should have received a copy of the GNU General Public License
  16      along with GNUnet; see the file COPYING.  If not, write to the
  17      Free Software Foundation, Inc., 59 Temple Place - Suite 330,
  18      Boston, MA 02111-1307, USA.
  19 */
  20 /**
  21  * @file util/container_bloomfilter.c
  22  * @brief data structure used to reduce disk accesses.
  23  *
  24  * The idea basically: Create a signature for each element in the
  25  * database. Add those signatures to a bit array. When doing a lookup,
  26  * check if the bit array matches the signature of the requested
  27  * element. If yes, address the disk, otherwise return 'not found'.
  28  *
  29  * A property of the bloom filter is that sometimes we will have
  30  * a match even if the element is not on the disk (then we do
  31  * an unnecessary disk access), but what's most important is that
  32  * we never get a single "false negative".
  33  *
  34  * To be able to delete entries from the bloom filter, we maintain
  35  * a 4 bit counter in the file on the drive (we still use only one
  36  * bit in memory).
  37  *
  38  * @author Igor Wronsky
  39  * @author Christian Grothoff
  40  */
  41
  42 #include "platform.h"
  43 #include "gnunet_common.h"
  44 #include "gnunet_container_lib.h"
  45 #include "gnunet_disk_lib.h"
  46
  47 #define LOG(kind,...) GNUNET_log_from (kind, "util", __VA_ARGS__)
  48
  49 #define LOG_STRERROR(kind,syscall) GNUNET_log_from_strerror (kind, "util", syscall)
  50
  51 #define LOG_STRERROR_FILE(kind,syscall,filename) GNUNET_log_from_strerror_file (kind, "util", syscall, filename)
  52
  53 struct GNUNET_CONTAINER_BloomFilter
  54 {
  55
  56   /**
  57    * The actual bloomfilter bit array
  58    */
  59   char *bitArray;
  60
  61   /**
  62    * Filename of the filter
  63    */
  64   char *filename;
  65
  66   /**
  67    * The bit counter file on disk
  68    */
  69   struct GNUNET_DISK_FileHandle *fh;
  70
  71   /**
  72    * How many bits we set for each stored element
  73    */
  74   unsigned int addressesPerElement;
  75
  76   /**
  77    * Size of bitArray in bytes
  78    */
  79   size_t bitArraySize;
  80
  81 };
  82
  83
  84
  85 /**
  86  * Get size of the bloom filter.
  87  *
  88  * @param bf the filter
  89  * @return number of bytes used for the data of the bloom filter
  90  */
  91 size_t
  92 GNUNET_CONTAINER_bloomfilter_get_size (const struct GNUNET_CONTAINER_BloomFilter
  93                                        *bf)
  94 {
  95   if (bf == NULL)
  96     return 0;
  97   return bf->bitArraySize;
  98 }
  99
 100
 101 /**
 102  * Copy an existing memory.  Any association with a file
 103  * on-disk will be lost in the process.
 104  * @param bf the filter to copy
 105  * @return copy of the bf
 106  */
 107 struct GNUNET_CONTAINER_BloomFilter *
 108 GNUNET_CONTAINER_bloomfilter_copy (const struct GNUNET_CONTAINER_BloomFilter
 109                                    *bf)
 110 {
 111   return GNUNET_CONTAINER_bloomfilter_init (bf->bitArray, bf->bitArraySize,
 112                                             bf->addressesPerElement);
 113 }
 114
 115
 116 /**
 117  * Sets a bit active in the bitArray. Increment bit-specific
 118  * usage counter on disk only if below 4bit max (==15).
 119  *
 120  * @param bitArray memory area to set the bit in
 121  * @param bitIdx which bit to set
 122  */
 123 static void
 124 setBit (char *bitArray, unsigned int bitIdx)
 125 {
 126   size_t arraySlot;
 127   unsigned int targetBit;
 128
 129   arraySlot = bitIdx / 8;
 130   targetBit = (1L << (bitIdx % 8));
 131   bitArray[arraySlot] |= targetBit;
 132 }
 133
 134 /**
 135  * Clears a bit from bitArray. Bit is cleared from the array
 136  * only if the respective usage counter on the disk hits/is zero.
 137  *
 138  * @param bitArray memory area to set the bit in
 139  * @param bitIdx which bit to unset
 140  */
 141 static void
 142 clearBit (char *bitArray, unsigned int bitIdx)
 143 {
 144   size_t slot;
 145   unsigned int targetBit;
 146
 147   slot = bitIdx / 8;
 148   targetBit = (1L << (bitIdx % 8));
 149   bitArray[slot] = bitArray[slot] & (~targetBit);
 150 }
 151
 152 /**
 153  * Checks if a bit is active in the bitArray
 154  *
 155  * @param bitArray memory area to set the bit in
 156  * @param bitIdx which bit to test
 157  * @return GNUNET_YES if the bit is set, GNUNET_NO if not.
 158  */
 159 static int
 160 testBit (char *bitArray, unsigned int bitIdx)
 161 {
 162   size_t slot;
 163   unsigned int targetBit;
 164
 165   slot = bitIdx / 8;
 166   targetBit = (1L << (bitIdx % 8));
 167   if (bitArray[slot] & targetBit)
 168     return GNUNET_YES;
 169   else
 170     return GNUNET_NO;
 171 }
 172
 173 /**
 174  * Sets a bit active in the bitArray and increments
 175  * bit-specific usage counter on disk (but only if
 176  * the counter was below 4 bit max (==15)).
 177  *
 178  * @param bitArray memory area to set the bit in
 179  * @param bitIdx which bit to test
 180  * @param fh A file to keep the 4 bit address usage counters in
 181  */
 182 static void
 183 incrementBit (char *bitArray, unsigned int bitIdx,
 184               const struct GNUNET_DISK_FileHandle *fh)
 185 {
 186   off_t fileSlot;
 187   unsigned char value;
 188   unsigned int high;
 189   unsigned int low;
 190   unsigned int targetLoc;
 191
 192   setBit (bitArray, bitIdx);
 193   if (GNUNET_DISK_handle_invalid (fh))
 194     return;
 195   /* Update the counter file on disk */
 196   fileSlot = bitIdx / 2;
 197   targetLoc = bitIdx % 2;
 198
 199   GNUNET_assert (fileSlot ==
 200                  GNUNET_DISK_file_seek (fh, fileSlot, GNUNET_DISK_SEEK_SET));
 201   if (1 != GNUNET_DISK_file_read (fh, &value, 1))
 202     value = 0;
 203   low = value & 0xF;
 204   high = (value & (~0xF)) >> 4;
 205
 206   if (targetLoc == 0)
 207   {
 208     if (low < 0xF)
 209       low++;
 210   }
 211   else
 212   {
 213     if (high < 0xF)
 214       high++;
 215   }
 216   value = ((high << 4) | low);
 217   GNUNET_assert (fileSlot ==
 218                  GNUNET_DISK_file_seek (fh, fileSlot, GNUNET_DISK_SEEK_SET));
 219   GNUNET_assert (1 == GNUNET_DISK_file_write (fh, &value, 1));
 220 }
 221
 222 /**
 223  * Clears a bit from bitArray if the respective usage
 224  * counter on the disk hits/is zero.
 225  *
 226  * @param bitArray memory area to set the bit in
 227  * @param bitIdx which bit to test
 228  * @param fh A file to keep the 4bit address usage counters in
 229  */
 230 static void
 231 decrementBit (char *bitArray, unsigned int bitIdx,
 232               const struct GNUNET_DISK_FileHandle *fh)
 233 {
 234   off_t fileSlot;
 235   unsigned char value;
 236   unsigned int high;
 237   unsigned int low;
 238   unsigned int targetLoc;
 239
 240   if (GNUNET_DISK_handle_invalid (fh))
 241     return;                     /* cannot decrement! */
 242   /* Each char slot in the counter file holds two 4 bit counters */
 243   fileSlot = bitIdx / 2;
 244   targetLoc = bitIdx % 2;
 245   GNUNET_DISK_file_seek (fh, fileSlot, GNUNET_DISK_SEEK_SET);
 246   if (1 != GNUNET_DISK_file_read (fh, &value, 1))
 247     value = 0;
 248   low = value & 0xF;
 249   high = (value & 0xF0) >> 4;
 250
 251   /* decrement, but once we have reached the max, never go back! */
 252   if (targetLoc == 0)
 253   {
 254     if ((low > 0) && (low < 0xF))
 255       low--;
 256     if (low == 0)
 257     {
 258       clearBit (bitArray, bitIdx);
 259     }
 260   }
 261   else
 262   {
 263     if ((high > 0) && (high < 0xF))
 264       high--;
 265     if (high == 0)
 266     {
 267       clearBit (bitArray, bitIdx);
 268     }
 269   }
 270   value = ((high << 4) | low);
 271   GNUNET_DISK_file_seek (fh, fileSlot, GNUNET_DISK_SEEK_SET);
 272   GNUNET_assert (1 == GNUNET_DISK_file_write (fh, &value, 1));
 273 }
 274
 275 #define BUFFSIZE 65536
 276
 277 /**
 278  * Creates a file filled with zeroes
 279  *
 280  * @param fh the file handle
 281  * @param size the size of the file
 282  * @return GNUNET_OK if created ok, GNUNET_SYSERR otherwise
 283  */
 284 static int
 285 makeEmptyFile (const struct GNUNET_DISK_FileHandle *fh, size_t size)
 286 {
 287   char *buffer;
 288   size_t bytesleft = size;
 289   int res = 0;
 290
 291   if (GNUNET_DISK_handle_invalid (fh))
 292     return GNUNET_SYSERR;
 293   buffer = GNUNET_malloc (BUFFSIZE);
 294   memset (buffer, 0, BUFFSIZE);
 295   GNUNET_DISK_file_seek (fh, 0, GNUNET_DISK_SEEK_SET);
 296
 297   while (bytesleft > 0)
 298   {
 299     if (bytesleft > BUFFSIZE)
 300     {
 301       res = GNUNET_DISK_file_write (fh, buffer, BUFFSIZE);
 302       bytesleft -= BUFFSIZE;
 303     }
 304     else
 305     {
 306       res = GNUNET_DISK_file_write (fh, buffer, bytesleft);
 307       bytesleft = 0;
 308     }
 309     GNUNET_assert (res != GNUNET_SYSERR);
 310   }
 311   GNUNET_free (buffer);
 312   return GNUNET_OK;
 313 }
 314
 315 /* ************** GNUNET_CONTAINER_BloomFilter iterator ********* */
 316
 317 /**
 318  * Iterator (callback) method to be called by the
 319  * bloomfilter iterator on each bit that is to be
 320  * set or tested for the key.
 321  *
 322  * @param cls closure
 323  * @param bf the filter to manipulate
 324  * @param bit the current bit
 325  * @return GNUNET_YES to continue, GNUNET_NO to stop early
 326  */
 327 typedef int (*BitIterator) (void *cls,
 328                             const struct GNUNET_CONTAINER_BloomFilter * bf,
 329                             unsigned int bit);
 330
 331
 332 /**
 333  * Call an iterator for each bit that the bloomfilter
 334  * must test or set for this element.
 335  *
 336  * @param bf the filter
 337  * @param callback the method to call
 338  * @param arg extra argument to callback
 339  * @param key the key for which we iterate over the BF bits
 340  */
 341 static void
 342 iterateBits (const struct GNUNET_CONTAINER_BloomFilter *bf,
 343              BitIterator callback, void *arg, const GNUNET_HashCode * key)
 344 {
 345   GNUNET_HashCode tmp[2];
 346   int bitCount;
 347   unsigned int round;
 348   unsigned int slot = 0;
 349
 350   bitCount = bf->addressesPerElement;
 351   tmp[0] = *key;
 352   round = 0;
 353   while (bitCount > 0)
 354   {
 355     while (slot < (sizeof (GNUNET_HashCode) / sizeof (uint32_t)))
 356     {
 357       if (GNUNET_YES !=
 358           callback (arg, bf,
 359                     (((uint32_t *) & tmp[round & 1])[slot]) &
 360                     ((bf->bitArraySize * 8) - 1)))
 361         return;
 362       slot++;
 363       bitCount--;
 364       if (bitCount == 0)
 365         break;
 366     }
 367     if (bitCount > 0)
 368     {
 369       GNUNET_CRYPTO_hash (&tmp[round & 1], sizeof (GNUNET_HashCode),
 370                           &tmp[(round + 1) & 1]);
 371       round++;
 372       slot = 0;
 373     }
 374   }
 375 }
 376
 377
 378 /**
 379  * Callback: increment bit
 380  *
 381  * @param cls pointer to writeable form of bf
 382  * @param bf the filter to manipulate
 383  * @param bit the bit to increment
 384  * @return GNUNET_YES
 385  */
 386 static int
 387 incrementBitCallback (void *cls, const struct GNUNET_CONTAINER_BloomFilter *bf,
 388                       unsigned int bit)
 389 {
 390   struct GNUNET_CONTAINER_BloomFilter *b = cls;
 391
 392   incrementBit (b->bitArray, bit, bf->fh);
 393   return GNUNET_YES;
 394 }
 395
 396
 397 /**
 398  * Callback: decrement bit
 399  *
 400  * @param cls pointer to writeable form of bf
 401  * @param bf the filter to manipulate
 402  * @param bit the bit to decrement
 403  * @return GNUNET_YES
 404  */
 405 static int
 406 decrementBitCallback (void *cls, const struct GNUNET_CONTAINER_BloomFilter *bf,
 407                       unsigned int bit)
 408 {
 409   struct GNUNET_CONTAINER_BloomFilter *b = cls;
 410
 411   decrementBit (b->bitArray, bit, bf->fh);
 412   return GNUNET_YES;
 413 }
 414
 415
 416 /**
 417  * Callback: test if all bits are set
 418  *
 419  * @param cls pointer set to GNUNET_NO if bit is not set
 420  * @param bf the filter
 421  * @param bit the bit to test
 422  * @return YES if the bit is set, NO if not
 423  */
 424 static int
 425 testBitCallback (void *cls, const struct GNUNET_CONTAINER_BloomFilter *bf,
 426                  unsigned int bit)
 427 {
 428   int *arg = cls;
 429
 430   if (GNUNET_NO == testBit (bf->bitArray, bit))
 431   {
 432     *arg = GNUNET_NO;
 433     return GNUNET_NO;
 434   }
 435   return GNUNET_YES;
 436 }
 437
 438 /* *********************** INTERFACE **************** */
 439
 440 /**
 441  * Load a bloom-filter from a file.
 442  *
 443  * @param filename the name of the file (or the prefix)
 444  * @param size the size of the bloom-filter (number of
 445  *        bytes of storage space to use)
 446  * @param k the number of GNUNET_CRYPTO_hash-functions to apply per
 447  *        element (number of bits set per element in the set)
 448  * @return the bloomfilter
 449  */
 450 struct GNUNET_CONTAINER_BloomFilter *
 451 GNUNET_CONTAINER_bloomfilter_load (const char *filename, size_t size,
 452                                    unsigned int k)
 453 {
 454   struct GNUNET_CONTAINER_BloomFilter *bf;
 455   char *rbuff;
 456   off_t pos;
 457   int i;
 458   size_t ui;
 459
 460   GNUNET_assert (NULL != filename);
 461   if ((k == 0) || (size == 0))
 462     return NULL;
 463   if (size < BUFFSIZE)
 464     size = BUFFSIZE;
 465   ui = 1;
 466   while ( (ui < size) &&
 467           (ui * 2 > ui) )
 468     ui *= 2;
 469   size = ui;                    /* make sure it's a power of 2 */
 470
 471   bf = GNUNET_malloc (sizeof (struct GNUNET_CONTAINER_BloomFilter));
 472   /* Try to open a bloomfilter file */
 473   bf->fh =
 474       GNUNET_DISK_file_open (filename,
 475                              GNUNET_DISK_OPEN_READWRITE |
 476                              GNUNET_DISK_OPEN_CREATE,
 477                              GNUNET_DISK_PERM_USER_READ |
 478                              GNUNET_DISK_PERM_USER_WRITE);
 479   if (NULL == bf->fh)
 480   {
 481     GNUNET_free (bf);
 482     return NULL;
 483   }
 484   bf->filename = GNUNET_strdup (filename);
 485   /* Alloc block */
 486   bf->bitArray = GNUNET_malloc_large (size);
 487   if (bf->bitArray == NULL)
 488   {
 489     if (bf->fh != NULL)
 490       GNUNET_DISK_file_close (bf->fh);
 491     GNUNET_free (bf->filename);
 492     GNUNET_free (bf);
 493     return NULL;
 494   }
 495   bf->bitArraySize = size;
 496   bf->addressesPerElement = k;
 497   memset (bf->bitArray, 0, bf->bitArraySize);
 498
 499   /* Read from the file what bits we can */
 500   rbuff = GNUNET_malloc (BUFFSIZE);
 501   pos = 0;
 502   while (pos < size * 8)
 503   {
 504     int res;
 505
 506     res = GNUNET_DISK_file_read (bf->fh, rbuff, BUFFSIZE);
 507     if (res == -1)
 508     {
 509       LOG_STRERROR_FILE (GNUNET_ERROR_TYPE_WARNING, "read", bf->filename);
 510     }
 511     if (res == 0)
 512       break;                    /* is ok! we just did not use that many bits yet */
 513     for (i = 0; i < res; i++)
 514     {
 515       if ((rbuff[i] & 0x0F) != 0)
 516         setBit (bf->bitArray, pos + i * 2);
 517       if ((rbuff[i] & 0xF0) != 0)
 518         setBit (bf->bitArray, pos + i * 2 + 1);
 519     }
 520     if (res < BUFFSIZE)
 521       break;
 522     pos += BUFFSIZE * 2;        /* 2 bits per byte in the buffer */
 523   }
 524   GNUNET_free (rbuff);
 525   return bf;
 526 }
 527
 528
 529 /**
 530  * Create a bloom filter from raw bits.
 531  *
 532  * @param data the raw bits in memory (maybe NULL,
 533  *        in which case all bits should be considered
 534  *        to be zero).
 535  * @param size the size of the bloom-filter (number of
 536  *        bytes of storage space to use); also size of data
 537  *        -- unless data is NULL
 538  * @param k the number of GNUNET_CRYPTO_hash-functions to apply per
 539  *        element (number of bits set per element in the set)
 540  * @return the bloomfilter
 541  */
 542 struct GNUNET_CONTAINER_BloomFilter *
 543 GNUNET_CONTAINER_bloomfilter_init (const char *data, size_t size,
 544                                    unsigned int k)
 545 {
 546   struct GNUNET_CONTAINER_BloomFilter *bf;
 547   size_t ui;
 548
 549   if ((k == 0) || (size == 0))
 550     return NULL;
 551   ui = 1;
 552   while (ui < size)
 553     ui *= 2;
 554   if (size != ui)
 555   {
 556     GNUNET_break (0);
 557     return NULL;
 558   }
 559   bf = GNUNET_malloc (sizeof (struct GNUNET_CONTAINER_BloomFilter));
 560   bf->filename = NULL;
 561   bf->fh = NULL;
 562   bf->bitArray = GNUNET_malloc_large (size);
 563   if (bf->bitArray == NULL)
 564   {
 565     GNUNET_free (bf);
 566     return NULL;
 567   }
 568   bf->bitArraySize = size;
 569   bf->addressesPerElement = k;
 570   if (data != NULL)
 571     memcpy (bf->bitArray, data, size);
 572   else
 573     memset (bf->bitArray, 0, bf->bitArraySize);
 574   return bf;
 575 }
 576
 577
 578 /**
 579  * Copy the raw data of this bloomfilter into
 580  * the given data array.
 581  *
 582  * @param bf bloomfilter to take the raw data from
 583  * @param data where to write the data
 584  * @param size the size of the given data array
 585  * @return GNUNET_SYSERR if the data array is not big enough
 586  */
 587 int
 588 GNUNET_CONTAINER_bloomfilter_get_raw_data (const struct
 589                                            GNUNET_CONTAINER_BloomFilter *bf,
 590                                            char *data, size_t size)
 591 {
 592   if (NULL == bf)
 593     return GNUNET_SYSERR;
 594   if (bf->bitArraySize != size)
 595     return GNUNET_SYSERR;
 596   memcpy (data, bf->bitArray, size);
 597   return GNUNET_OK;
 598 }
 599
 600
 601 /**
 602  * Free the space associated with a filter
 603  * in memory, flush to drive if needed (do not
 604  * free the space on the drive)
 605  *
 606  * @param bf the filter
 607  */
 608 void
 609 GNUNET_CONTAINER_bloomfilter_free (struct GNUNET_CONTAINER_BloomFilter *bf)
 610 {
 611   if (NULL == bf)
 612     return;
 613   if (bf->fh != NULL)
 614     GNUNET_DISK_file_close (bf->fh);
 615   GNUNET_free_non_null (bf->filename);
 616   GNUNET_free (bf->bitArray);
 617   GNUNET_free (bf);
 618 }
 619
 620
 621 /**
 622  * Reset a bloom filter to empty. Clears the file on disk.
 623  *
 624  * @param bf the filter
 625  */
 626 void
 627 GNUNET_CONTAINER_bloomfilter_clear (struct GNUNET_CONTAINER_BloomFilter *bf)
 628 {
 629   if (NULL == bf)
 630     return;
 631
 632   memset (bf->bitArray, 0, bf->bitArraySize);
 633   if (bf->filename != NULL)
 634     makeEmptyFile (bf->fh, bf->bitArraySize * 4);
 635 }
 636
 637
 638 /**
 639  * Test if an element is in the filter.
 640  *
 641  * @param e the element
 642  * @param bf the filter
 643  * @return GNUNET_YES if the element is in the filter, GNUNET_NO if not
 644  */
 645 int
 646 GNUNET_CONTAINER_bloomfilter_test (const struct GNUNET_CONTAINER_BloomFilter
 647                                    *bf, const GNUNET_HashCode * e)
 648 {
 649   int res;
 650
 651   if (NULL == bf)
 652     return GNUNET_YES;
 653   res = GNUNET_YES;
 654   iterateBits (bf, &testBitCallback, &res, e);
 655   return res;
 656 }
 657
 658
 659 /**
 660  * Add an element to the filter
 661  *
 662  * @param bf the filter
 663  * @param e the element
 664  */
 665 void
 666 GNUNET_CONTAINER_bloomfilter_add (struct GNUNET_CONTAINER_BloomFilter *bf,
 667                                   const GNUNET_HashCode * e)
 668 {
 669   if (NULL == bf)
 670     return;
 671   iterateBits (bf, &incrementBitCallback, bf, e);
 672 }
 673
 674
 675 /**
 676  * Or the entries of the given raw data array with the
 677  * data of the given bloom filter.  Assumes that
 678  * the size of the data array and the current filter
 679  * match.
 680  *
 681  * @param bf the filter
 682  * @param data the data to or-in
 683  * @param size number of bytes in data
 684  */
 685 int
 686 GNUNET_CONTAINER_bloomfilter_or (struct GNUNET_CONTAINER_BloomFilter *bf,
 687                                  const char *data, size_t size)
 688 {
 689   unsigned int i;
 690   unsigned int n;
 691   unsigned long long *fc;
 692   const unsigned long long *dc;
 693
 694   if (NULL == bf)
 695     return GNUNET_YES;
 696   if (bf->bitArraySize != size)
 697     return GNUNET_SYSERR;
 698   fc = (unsigned long long *) bf->bitArray;
 699   dc = (const unsigned long long *) data;
 700   n = size / sizeof (unsigned long long);
 701
 702   for (i = 0; i < n; i++)
 703     fc[i] |= dc[i];
 704   for (i = n * sizeof (unsigned long long); i < size; i++)
 705     bf->bitArray[i] |= data[i];
 706   return GNUNET_OK;
 707 }
 708
 709 /**
 710  * Or the entries of the given raw data array with the
 711  * data of the given bloom filter.  Assumes that
 712  * the size of the data array and the current filter
 713  * match.
 714  *
 715  * @param bf the filter
 716  * @param to_or the bloomfilter to or-in
 717  * @param size number of bytes in data
 718  */
 719 int
 720 GNUNET_CONTAINER_bloomfilter_or2 (struct GNUNET_CONTAINER_BloomFilter *bf,
 721                                   const struct GNUNET_CONTAINER_BloomFilter
 722                                   *to_or, size_t size)
 723 {
 724   unsigned int i;
 725   unsigned int n;
 726   unsigned long long *fc;
 727   const unsigned long long *dc;
 728
 729   if (NULL == bf)
 730     return GNUNET_YES;
 731   if (bf->bitArraySize != size)
 732     return GNUNET_SYSERR;
 733   fc = (unsigned long long *) bf->bitArray;
 734   dc = (const unsigned long long *) to_or->bitArray;
 735   n = size / sizeof (unsigned long long);
 736
 737   for (i = 0; i < n; i++)
 738     fc[i] |= dc[i];
 739   for (i = n * sizeof (unsigned long long); i < size; i++)
 740     bf->bitArray[i] |= to_or->bitArray[i];
 741   return GNUNET_OK;
 742 }
 743
 744 /**
 745  * Remove an element from the filter.
 746  *
 747  * @param bf the filter
 748  * @param e the element to remove
 749  */
 750 void
 751 GNUNET_CONTAINER_bloomfilter_remove (struct GNUNET_CONTAINER_BloomFilter *bf,
 752                                      const GNUNET_HashCode * e)
 753 {
 754   if (NULL == bf)
 755     return;
 756   if (bf->filename == NULL)
 757     return;
 758   iterateBits (bf, &decrementBitCallback, bf, e);
 759 }
 760
 761 /**
 762  * Resize a bloom filter.  Note that this operation
 763  * is pretty costly.  Essentially, the bloom filter
 764  * needs to be completely re-build.
 765  *
 766  * @param bf the filter
 767  * @param iterator an iterator over all elements stored in the BF
 768  * @param iterator_cls argument to the iterator function
 769  * @param size the new size for the filter
 770  * @param k the new number of GNUNET_CRYPTO_hash-function to apply per element
 771  */
 772 void
 773 GNUNET_CONTAINER_bloomfilter_resize (struct GNUNET_CONTAINER_BloomFilter *bf,
 774                                      GNUNET_HashCodeIterator iterator,
 775                                      void *iterator_cls, size_t size,
 776                                      unsigned int k)
 777 {
 778   GNUNET_HashCode hc;
 779   unsigned int i;
 780
 781   GNUNET_free (bf->bitArray);
 782   i = 1;
 783   while (i < size)
 784     i *= 2;
 785   size = i;                     /* make sure it's a power of 2 */
 786
 787   bf->bitArraySize = size;
 788   bf->bitArray = GNUNET_malloc (size);
 789   memset (bf->bitArray, 0, bf->bitArraySize);
 790   if (bf->filename != NULL)
 791     makeEmptyFile (bf->fh, bf->bitArraySize * 4);
 792   while (GNUNET_YES == iterator (iterator_cls, &hc))
 793     GNUNET_CONTAINER_bloomfilter_add (bf, &hc);
 794 }
 795
 796 /* end of container_bloomfilter.c */