annotate lshlib.h @ 306:921ba500a024

changed FORMAT2 index serialization so that token bits don't scribble over point index for >=32768 tracks
author mas01mc
date Tue, 05 Aug 2008 22:40:38 +0000
parents f922c234462f
children 896679d8cc39
rev   line source
mas01mc@292 1 // lshlib.h - a library for locality sensitive hashtable insertion and retrieval
mas01mc@292 2 //
mas01mc@292 3 // Author: Michael Casey
mas01mc@292 4 // Copyright (c) 2008 Michael Casey, All Rights Reserved
mas01mc@292 5
mas01mc@292 6 /* GNU GENERAL PUBLIC LICENSE
mas01mc@292 7 Version 2, June 1991
mas01mc@292 8 See LICENSE.txt
mas01mc@292 9 */
mas01mc@292 10
mas01mc@292 11 #ifndef __LSHLIB_H
mas01mc@292 12 #define __LSHLIB_H
mas01mc@292 13
mas01mc@292 14 #include <vector>
mas01mc@292 15 #include <queue>
mas01mc@292 16 #include <stdio.h>
mas01mc@292 17 #include <stdlib.h>
mas01mc@292 18 #include <sys/types.h>
mas01mc@292 19 #include <sys/stat.h>
mas01mc@292 20 #include <sys/mman.h>
mas01mc@292 21 #include <fcntl.h>
mas01mc@292 22 #include <string.h>
mas01mc@292 23 #include <iostream>
mas01mc@292 24 #include <fstream>
mas01mc@292 25 #include <math.h>
mas01mc@292 26 #include <sys/time.h>
mas01mc@292 27 #include <assert.h>
mas01mc@292 28 #include <float.h>
mas01mc@292 29 #include <signal.h>
mas01mc@292 30 #include <time.h>
mas01mc@292 31 #include <limits.h>
mas01mc@292 32 #include <errno.h>
mas01mc@292 33 #ifdef MT19937
mas01mc@292 34 #include "mt19937/mt19937ar.h"
mas01mc@292 35 #endif
mas01mc@292 36
mas01mc@292 37 #define IntT int
mas01mc@292 38 #define LongUns64T long long unsigned
mas01mc@292 39 #define Uns32T unsigned
mas01mc@292 40 #define Int32T int
mas01mc@292 41 #define BooleanT int
mas01mc@292 42 #define TRUE 1
mas01mc@292 43 #define FALSE 0
mas01mc@292 44
mas01mc@292 45 // A big number (>> max # of points)
mas01mc@292 46 #define INDEX_START_EMPTY 1000000000U
mas01mc@292 47
mas01mc@292 48 // 4294967291 = 2^32-5
mas01mc@292 49 #define UH_PRIME_DEFAULT 4294967291U
mas01mc@292 50
mas01mc@292 51 // 2^29
mas01mc@292 52 #define MAX_HASH_RND 536870912U
mas01mc@292 53
mas01mc@292 54 // 2^32-1
mas01mc@292 55 #define TWO_TO_32_MINUS_1 4294967295U
mas01mc@292 56
mas01mc@292 57 #define O2_SERIAL_VERSION 1 // Sync with SVN version
mas01mc@292 58 #define O2_SERIAL_HEADER_SIZE sizeof(SerialHeaderT)
mas01mc@292 59 #define O2_SERIAL_ELEMENT_SIZE sizeof(SerialElementT)
mas01mc@292 60 #define O2_SERIAL_MAX_TABLES (200)
mas01mc@292 61 #define O2_SERIAL_MAX_ROWS (1000000)
mas01mc@296 62 #define O2_SERIAL_MAX_COLS (100000)
mas01mc@292 63 #define O2_SERIAL_MAX_DIM (2000)
mas01mc@292 64 #define O2_SERIAL_MAX_FUNS (100)
mas01mc@292 65 #define O2_SERIAL_MAX_BINWIDTH (200)
mas01mc@296 66 #define O2_SERIAL_MAXFILESIZE (4000000000UL)
mas01mc@292 67
mas01mc@292 68 // Flags for Serial Header
mas01mc@292 69 #define O2_SERIAL_FILEFORMAT1 (0x1U) // Optimize for on-disk search
mas01mc@292 70 #define O2_SERIAL_FILEFORMAT2 (0x2U) // Optimize for in-core search
mas01mc@292 71
mas01mc@292 72 // Flags for serialization fileformat2: use high 3 bits of Uns32T
mas01mc@306 73 #define O2_SERIAL_TOKEN_T1 (0xFFFFFFFC)
mas01mc@306 74 #define O2_SERIAL_TOKEN_T2 (0xFFFFFFFDU)
mas01mc@306 75 #define O2_SERIAL_TOKEN_ENDTABLE (0xFFFFFFFEU)
mas01mc@292 76
mas01mc@292 77 unsigned align_up(unsigned x, unsigned w);
mas01mc@292 78
mas01mc@292 79 #define O2_SERIAL_FUNCTIONS_SIZE (align_up(sizeof(float) * O2_SERIAL_MAX_TABLES * O2_SERIAL_MAX_FUNS * O2_SERIAL_MAX_DIM \
mas01mc@292 80 + sizeof(float) * O2_SERIAL_MAX_TABLES * O2_SERIAL_MAX_FUNS + \
mas01mc@292 81 + sizeof(Uns32T) * O2_SERIAL_MAX_TABLES * O2_SERIAL_MAX_FUNS * 2 \
mas01mc@292 82 + O2_SERIAL_HEADER_SIZE,get_page_logn()))
mas01mc@292 83
mas01mc@292 84 #define O2_SERIAL_MAX_LSH_SIZE (O2_SERIAL_ELEMENT_SIZE * O2_SERIAL_MAX_TABLES \
mas01mc@292 85 * O2_SERIAL_MAX_ROWS * O2_SERIAL_MAX_COLS + O2_SERIAL_FUNCTIONS_SIZE)
mas01mc@292 86
mas01mc@292 87 #define O2_SERIAL_MAGIC ('o'|'2'<<8|'l'<<16|'s'<<24)
mas01mc@292 88
mas01mc@292 89 using namespace std;
mas01mc@292 90
mas01mc@292 91 Uns32T get_page_logn();
mas01mc@292 92
mas01mc@292 93 // Disk table entry
mas01mc@292 94 typedef class SerialElement SerialElementT;
mas01mc@292 95 class SerialElement {
mas01mc@292 96 public:
mas01mc@292 97 Uns32T hashValue;
mas01mc@292 98 Uns32T pointID;
mas01mc@292 99
mas01mc@292 100 SerialElement(Uns32T h, Uns32T pID):
mas01mc@292 101 hashValue(h),
mas01mc@292 102 pointID(pID){}
mas01mc@292 103 };
mas01mc@292 104
mas01mc@292 105 // Disk header
mas01mc@292 106 typedef class SerialHeader SerialHeaderT;
mas01mc@292 107 class SerialHeader {
mas01mc@292 108 public:
mas01mc@292 109 Uns32T lshMagic; // unique identifier for file header
mas01mc@292 110 float binWidth; // hash-function bin width
mas01mc@292 111 Uns32T numTables; // number of hash tables in file
mas01mc@292 112 Uns32T numRows; // size of each hash table
mas01mc@292 113 Uns32T numCols; // max collisions in each hash table
mas01mc@292 114 Uns32T elementSize; // size of a hash bucket
mas01mc@292 115 Uns32T version; // version number of file format
mas01mc@292 116 Uns32T size; // total size of database (bytes)
mas01mc@292 117 Uns32T flags; // 32 bits of useful information
mas01mc@292 118 Uns32T dataDim; // vector dimensionality
mas01mc@292 119 Uns32T numFuns; // number of independent hash functions
mas01mc@292 120 float radius; // 32-bit floating point radius
mas01mc@292 121 Uns32T maxp; // number of unique IDs in the database
mas01mc@296 122 unsigned long long size_long; // long version of size
mas01mc@296 123 Uns32T pointCount; // number of points in the database
mas01mc@292 124
mas01mc@292 125 SerialHeader();
mas01mc@296 126 SerialHeader(float W, Uns32T L, Uns32T N, Uns32T C, Uns32T k, Uns32T d, float radius, Uns32T p, Uns32T FMT, Uns32T pointCount);
mas01mc@292 127
mas01mc@292 128 float get_binWidth(){return binWidth;}
mas01mc@292 129 Uns32T get_numTables(){return numTables;}
mas01mc@292 130 Uns32T get_numRows(){return numRows;}
mas01mc@292 131 Uns32T get_numCols(){return numCols;}
mas01mc@292 132 Uns32T get_elementSize(){return elementSize;}
mas01mc@292 133 Uns32T get_version(){return version;}
mas01mc@292 134 Uns32T get_flags(){return flags;}
mas01mc@296 135 unsigned long long get_size(){return size_long;}
mas01mc@292 136 Uns32T get_dataDim(){return dataDim;}
mas01mc@292 137 Uns32T get_numFuns(){return numFuns;}
mas01mc@292 138 Uns32T get_maxp(){return maxp;}
mas01mc@296 139 Uns32T get_pointCount(){return pointCount;}
mas01mc@292 140 };
mas01mc@292 141
mas01mc@292 142 #define IFLAG 0xFFFFFFFF
mas01mc@292 143
mas01mc@292 144 // Point-set collision bucket (sbucket).
mas01mc@292 145 // sbuckets form a collision chain that identifies PointIDs falling in the same locale.
mas01mc@292 146 // sbuckets are chained from a bucket containing the collision list's t2 identifier
mas01mc@292 147 class sbucket {
mas01mc@292 148 friend class bucket;
mas01mc@292 149 friend class H;
mas01mc@292 150 friend class G;
mas01mc@292 151
mas01mc@292 152 public:
mas01mc@292 153 class sbucket* snext;
mas01mc@292 154 unsigned int pointID;
mas01mc@292 155
mas01mc@292 156 sbucket(){
mas01mc@292 157 snext=0;
mas01mc@292 158 pointID=IFLAG;
mas01mc@292 159 }
mas01mc@292 160 ~sbucket(){delete snext;}
mas01mc@292 161 sbucket* get_snext(){return snext;}
mas01mc@292 162 };
mas01mc@292 163
mas01mc@292 164 // bucket structure for a linked list of locales that collide with the same hash value t1
mas01mc@292 165 // different buckets represent different locales, collisions within a locale are chained
mas01mc@292 166 // in sbuckets
mas01mc@292 167 class bucket {
mas01mc@292 168 friend class H;
mas01mc@292 169 friend class G;
mas01mc@292 170 bucket* next;
mas01mc@292 171 sbucket* snext;
mas01mc@292 172 public:
mas01mc@292 173 unsigned int t2;
mas01mc@292 174 bucket(){
mas01mc@292 175 next=0;
mas01mc@292 176 snext=0;
mas01mc@292 177 t2=IFLAG;
mas01mc@292 178 }
mas01mc@292 179 ~bucket(){delete next;delete snext;}
mas01mc@292 180 bucket* get_next(){return next;}
mas01mc@292 181 };
mas01mc@292 182
mas01mc@292 183
mas01mc@292 184 // The hash_functions for locality-sensitive hashing
mas01mc@292 185 class H{
mas01mc@292 186 friend class G;
mas01mc@292 187 private:
mas01mc@293 188
mas01mc@293 189 float *** A; // m x k x d random projectors from R^d->R^k
mas01mc@293 190 float ** b; // m x k uniform additive constants
mas01mc@293 191
mas01mc@293 192 Uns32T ** g; // L x k random hash projections \in Z^k
mas01mc@292 193 Uns32T** r1; // random ints for hashing
mas01mc@292 194 Uns32T** r2; // random ints for hashing
mas01mc@293 195
mas01mc@293 196 bucket*** h; // The LSH hash tables
mas01mc@293 197
mas01mc@293 198 bool use_u_functions; // flag to optimize computation of hashes
mas01mc@293 199 vector<vector<Uns32T> > uu; // Storage for m patial hash evaluations ( g_j = [u_a,u_b] )
mas01mc@293 200
mas01mc@293 201 Uns32T maxp; // highest pointID stored in database
mas01mc@293 202 Uns32T bucketCount; // count of number of point buckets allocated
mas01mc@293 203 Uns32T pointCount; // count of number of points inserted
mas01mc@296 204 Uns32T collisionCount; // number of points collided in a hash-table row
mas01mc@293 205
mas01mc@292 206 Uns32T t1; // first hash table key
mas01mc@292 207 Uns32T t2; // second hash table key
mas01mc@292 208 Uns32T P; // hash table prime number
mas01mc@292 209
mas01mc@292 210 Uns32T N; // num rows per table
mas01mc@292 211 Uns32T C; // num collision per row
mas01mc@292 212 Uns32T k; // num projections per hash function
mas01mc@292 213 Uns32T m; // ~sqrt num hash tables
mas01mc@292 214 Uns32T L; // L = m*(m-1)/2, conversely, m = (1 + sqrt(1 + 8.0*L)) / 2.0
mas01mc@292 215 Uns32T d; // dimensions
mas01mc@292 216 Uns32T p; // current point
mas01mc@293 217 float w; // width of hash slots (relative to normalized feature space)
mas01mc@293 218 float radius;// scaling coefficient for data (1./radius)
mas01mc@292 219
mas01mc@293 220 void initialize_data_structures();
mas01mc@293 221 void initialize_lsh_functions();
mas01mc@293 222 void initialize_partial_functions();
mas01mc@293 223 void __bucket_insert_point(bucket*);
mas01mc@293 224 void __sbucket_insert_point(sbucket*);
mas01mc@293 225 Uns32T computeProductModDefaultPrime(Uns32T*,Uns32T*,IntT);
mas01mc@293 226 Uns32T randr();
mas01mc@293 227 float randn();
mas01mc@293 228 float ranf();
mas01mc@293 229 bucket** get_bucket(int j);
mas01mc@293 230 void error(const char* a, const char* b = "", const char *sysFunc = 0);
mas01mc@293 231
mas01mc@293 232 public:
mas01mc@293 233
mas01mc@293 234 H();
mas01mc@293 235 H(Uns32T k, Uns32T m, Uns32T d, Uns32T N, Uns32T C, float w, float r);
mas01mc@292 236 ~H();
mas01mc@292 237
mas01mc@293 238 float get_w(){return w;}
mas01mc@293 239 float get_radius(){return radius;}
mas01mc@293 240 Uns32T get_numRows(){return N;}
mas01mc@293 241 Uns32T get_numCols(){return C;}
mas01mc@293 242 Uns32T get_numFuns(){return k;}
mas01mc@293 243 Uns32T get_numTables(){return L;}
mas01mc@293 244 Uns32T get_dataDim(){return d;}
mas01mc@293 245 Uns32T get_maxp(){return maxp;}
mas01mc@292 246
mas01mc@292 247 Uns32T bucket_insert_point(bucket**);
mas01mc@292 248
mas01mc@293 249 // Interface to hash functions
mas01mc@293 250 void compute_hash_functions(vector<float>& v);
mas01mc@293 251 void generate_hash_keys(Uns32T* g, Uns32T* r1, Uns32T* r2);
mas01mc@293 252 Uns32T get_t1(){return t1;} // hash-key t1
mas01mc@293 253 Uns32T get_t2(){return t2;} // hash-key t2
mas01mc@292 254 };
mas01mc@292 255
mas01mc@293 256 // Typedef for point-reporting callback function. Used to collect points during LSH retrieval
mas01mc@292 257 typedef void (*ReporterCallbackPtr)(void* objPtr, Uns32T pointID, Uns32T queryIndex, float squaredDistance);
mas01mc@292 258
mas01mc@292 259 // Interface for indexing and retrieval
mas01mc@292 260 class G: public H{
mas01mc@292 261 private:
mas01mc@293 262 // LSH serial data structure file handling
mas01mc@292 263 void get_lock(int fd, bool exclusive);
mas01mc@292 264 void release_lock(int fd);
mas01mc@292 265 int serial_create(char* filename, Uns32T FMT);
mas01mc@292 266 int serial_create(char* filename, float binWidth, Uns32T nTables, Uns32T nRows, Uns32T nCols, Uns32T k, Uns32T d, Uns32T FMT);
mas01mc@292 267 char* serial_mmap(int dbfid, Uns32T sz, Uns32T w, off_t offset = 0);
mas01mc@292 268 void serial_munmap(char* db, Uns32T N);
mas01mc@292 269 int serial_open(char* filename,int writeFlag);
mas01mc@292 270 void serial_close(int dbfid);
mas01mc@292 271
mas01mc@292 272 // Function to write hashfunctions to disk
mas01mc@292 273 int serialize_lsh_hashfunctions(int fid);
mas01mc@292 274
mas01mc@292 275 // Functions to write hashtables to disk in format1 (optimized for on-disk retrieval)
mas01mc@292 276 int serialize_lsh_hashtables_format1(int fid, int merge);
mas01mc@292 277 void serial_write_hashtable_row_format1(SerialElementT*& pe, bucket* h, Uns32T& colCount);
mas01mc@292 278 void serial_write_element_format1(SerialElementT*& pe, sbucket* sb, Uns32T t2, Uns32T& colCount);
mas01mc@292 279 void serial_merge_hashtable_row_format1(SerialElementT* pr, bucket* h, Uns32T& colCount);
mas01mc@292 280 void serial_merge_element_format1(SerialElementT* pe, sbucket* sb, Uns32T t2, Uns32T& colCount);
mas01mc@292 281 int serial_can_merge(Uns32T requestedFormat); // Test to see whether core and on-disk structures are compatible
mas01mc@292 282
mas01mc@292 283 // Functions to write hashtables to disk in format2 (optimized for in-core retrieval)
mas01mc@292 284 int serialize_lsh_hashtables_format2(int fid, int merge);
mas01mc@292 285 void serial_write_hashtable_row_format2(int fid, bucket* h, Uns32T& colCount);
mas01mc@292 286 void serial_write_element_format2(int fid, sbucket* sb, Uns32T& colCount);
mas01mc@292 287
mas01mc@292 288 // Functions to read serial header and hash functions (format1 and format2)
mas01mc@292 289 int unserialize_lsh_header(char* filename); // read lsh header from disk into core
mas01mc@292 290 void unserialize_lsh_functions(int fid); // read the lsh hash functions into core
mas01mc@292 291
mas01mc@292 292 // Functions to read hashtables in format1
mas01mc@292 293 void unserialize_lsh_hashtables_format1(int fid); // read FORMAT1 hash tables into core (disk format)
mas01mc@292 294 void unserialize_hashtable_row_format1(SerialElementT* pe, bucket** b); // read lsh hash table row into core
mas01mc@292 295
mas01mc@292 296 // Functions to read hashtables in format2
mas01mc@292 297 void unserialize_lsh_hashtables_format2(int fid); // read FORMAT2 hash tables into core (core format)
mas01mc@292 298 Uns32T unserialize_hashtable_row_format2(int fid, bucket** b); // read lsh hash table row into core
mas01mc@292 299
mas01mc@292 300 // Helper functions
mas01mc@292 301 void serial_print_header(Uns32T requestedFormat);
mas01mc@292 302 float* get_serial_hashfunction_base(char* db);
mas01mc@292 303 SerialElementT* get_serial_hashtable_base(char* db);
mas01mc@292 304 Uns32T get_serial_hashtable_offset(); // Size of SerialHeader + HashFunctions
mas01mc@292 305 SerialHeaderT* serial_get_header(char* db);
mas01mc@292 306 SerialHeaderT* lshHeader;
mas01mc@292 307
mas01mc@292 308 // Core Retrieval/Inspections Functions
mas01mc@292 309 void bucket_chain_point(bucket* p, Uns32T qpos);
mas01mc@292 310 void sbucket_chain_point(sbucket* p, Uns32T qpos);
mas01mc@292 311 void dump_hashtable_row(bucket* p);
mas01mc@292 312
mas01mc@292 313 // Serial (Format 1) Retrieval/Inspection Functions
mas01mc@292 314 void serial_bucket_chain_point(SerialElementT* pe, Uns32T qpos);
mas01mc@292 315 void serial_bucket_dump(SerialElementT* pe);
mas01mc@292 316
mas01mc@293 317 // Callback Function for point reporting
mas01mc@293 318 void* calling_instance; // store calling object instance for member-function callback
mas01mc@293 319 void (*add_point_callback)(void*, Uns32T, Uns32T, float); // The callback
mas01mc@292 320
mas01mc@292 321 public:
mas01mc@292 322 G(char* lshFile, bool lshInCore = false); // unserialize constructor
mas01mc@292 323 G(float w, Uns32T k,Uns32T m, Uns32T d, Uns32T N, Uns32T C, float r); // core constructor
mas01mc@292 324 ~G();
mas01mc@292 325
mas01mc@292 326 Uns32T insert_point(vector<float>&, Uns32T pointID);
mas01mc@292 327 void insert_point_set(vector<vector<float> >& vv, Uns32T basePointID);
mas01mc@292 328
mas01mc@292 329 // point retrieval from core
mas01mc@292 330 void retrieve_point(vector<float>& v, Uns32T qpos, ReporterCallbackPtr, void* me=NULL);
mas01mc@292 331 // point set retrieval from core
mas01mc@292 332 void retrieve_point_set(vector<vector<float> >& vv, ReporterCallbackPtr, void* me=NULL);
mas01mc@292 333 // serial point set retrieval
mas01mc@292 334 void serial_retrieve_point_set(char* filename, vector<vector<float> >& vv, ReporterCallbackPtr, void* me=NULL);
mas01mc@292 335 // serial point retrieval
mas01mc@292 336 void serial_retrieve_point(char* filename, vector<float>& vv, Uns32T qpos, ReporterCallbackPtr, void* me=NULL);
mas01mc@292 337
mas01mc@292 338 void serialize(char* filename, Uns32T serialFormat = O2_SERIAL_FILEFORMAT1); // write hashfunctions and hashtables to disk
mas01mc@292 339
mas01mc@292 340 SerialHeaderT* get_lshHeader(){return lshHeader;}
mas01mc@292 341 void serial_dump_tables(char* filename);
mas01mc@292 342 float get_mean_collision_rate(){ return (float) pointCount / bucketCount ; }
mas01mc@292 343 };
mas01mc@292 344
mas01mc@292 345 typedef class G LSH;
mas01mc@292 346
mas01mc@292 347
mas01mc@292 348
mas01mc@292 349 #endif