annotate audioDB-internals.h @ 610:e21a3db643af

MORE MEMORY SANITY Move the logic tracking which points have been visited already (including the std::set datastructure) into the indexed query codepaths, rather than inside accumulators. This has the effect of drastically reducing the memory used in non-indexed queries, such that the working set for a 500-file database with 100000 vectors total goes from 1.2GB to slightly under 3MB. All this and less code, too!
author mas01cr
date Fri, 28 Aug 2009 17:14:06 +0000
parents 31a1556fc2d6
children b82b90c6445e
rev   line source
mas01cr@590 1 #if defined(WIN32)
mas01cr@590 2 #include <sys/locking.h>
mas01cr@590 3 #endif
mas01cr@590 4 #if !defined(WIN32)
mas01cr@589 5 #include <sys/mman.h>
mas01cr@590 6 #endif
mas01cr@591 7 #include <sys/stat.h>
mas01cr@563 8 #include <sys/types.h>
mas01cr@589 9
mas01cr@589 10 #include <errno.h>
mas01cr@589 11 #include <fcntl.h>
mas01cr@590 12 #if defined(WIN32)
mas01cr@590 13 #include <io.h>
mas01cr@590 14 #endif
mas01cr@589 15 #include <limits.h>
mas01cr@589 16 #include <math.h>
mas01cr@589 17 #include <string.h>
mas01cr@563 18 #include <unistd.h>
mas01cr@590 19 #if defined(WIN32)
mas01cr@590 20 #include <windows.h>
mas01cr@590 21 #endif
mas01cr@563 22
mas01cr@589 23 #include <algorithm>
mas01cr@589 24 #include <iostream>
mas01cr@589 25 #include <map>
mas01cr@589 26 #include <queue>
mas01cr@509 27 #include <set>
mas01cr@509 28 #include <string>
mas01cr@589 29 #include <vector>
mas01cr@509 30
mas01cr@589 31 #include "accumulator.h"
mas01cr@509 32 #include "pointpair.h"
mas01cr@509 33 #include "lshlib.h"
mas01cr@498 34
mas01cr@589 35 using namespace std;
mas01cr@589 36
mas01cr@498 37 /* this struct is for writing polymorphic routines as puns. When
mas01cr@498 38 * inserting, we might have a "datum" (with actual numerical data) or
mas01cr@498 39 * a "reference" (with strings denoting pathnames containing numerical
mas01cr@498 40 * data), but most of the operations are the same. This struct, used
mas01cr@498 41 * only internally, allows us to write the main body of the insert
mas01cr@498 42 * code only once.
mas01cr@498 43 */
mas01cr@498 44 typedef struct adb_datum_internal {
mas01cr@498 45 uint32_t nvectors;
mas01cr@498 46 uint32_t dim;
mas01cr@498 47 const char *key;
mas01cr@498 48 void *data;
mas01cr@498 49 void *times;
mas01cr@498 50 void *power;
mas01cr@498 51 } adb_datum_internal_t;
mas01cr@498 52
mas01cr@498 53 /* this struct is to collect together a bunch of information about a
mas01cr@498 54 * query (or, in fact, a single database entry, or even a whole
mas01cr@498 55 * database). The _data pointers are immutable (hey, FIXME: should
mas01cr@498 56 * they be constified in some way?) so that free() can work on them
mas01cr@498 57 * later, while the ones without the suffix are mutable to maintain
mas01cr@498 58 * the "current" position in some way. mean_duration points to a
mas01cr@498 59 * (possibly single-element) array of mean durations for each track.
mas01cr@498 60 */
mas01cr@498 61 typedef struct adb_qpointers_internal {
mas01cr@498 62 uint32_t nvectors;
mas01cr@498 63 double *l2norm_data;
mas01cr@498 64 double *l2norm;
mas01cr@498 65 double *power_data;
mas01cr@498 66 double *power;
mas01cr@498 67 double *mean_duration;
mas01cr@498 68 } adb_qpointers_internal_t;
mas01cr@498 69
mas01cr@509 70 /* this struct is the in-memory representation of the binary
mas01cr@509 71 * information stored at the head of each adb file */
mas01cr@509 72 typedef struct adbheader {
mas01cr@509 73 uint32_t magic;
mas01cr@509 74 uint32_t version;
mas01cr@509 75 uint32_t numFiles;
mas01cr@509 76 uint32_t dim;
mas01cr@509 77 uint32_t flags;
mas01cr@509 78 uint32_t headerSize;
mas01cr@509 79 off_t length;
mas01cr@509 80 off_t fileTableOffset;
mas01cr@509 81 off_t trackTableOffset;
mas01cr@509 82 off_t dataOffset;
mas01cr@509 83 off_t l2normTableOffset;
mas01cr@509 84 off_t timesTableOffset;
mas01cr@509 85 off_t powerTableOffset;
mas01cr@509 86 off_t dbSize;
mas01cr@509 87 } adb_header_t;
mas01cr@509 88
mas01cr@509 89 #define ADB_HEADER_SIZE (sizeof(struct adbheader))
mas01cr@509 90
mas01cr@509 91 #define ADB_HEADER_FLAG_L2NORM (0x1U)
mas01cr@509 92 #define ADB_HEADER_FLAG_POWER (0x4U)
mas01cr@509 93 #define ADB_HEADER_FLAG_TIMES (0x20U)
mas01cr@509 94 #define ADB_HEADER_FLAG_REFERENCES (0x40U)
mas01cr@509 95
mas01cr@595 96 /* macros to make file/directory creation non-painful */
mas01cr@595 97 #if defined(WIN32)
mas01cr@595 98 #define mkdir_or_goto_error(dirname) \
mas01cr@595 99 if(_mkdir(dirname) < 0) { \
mas01cr@595 100 goto error; \
mas01cr@595 101 }
mas01cr@595 102 #define ADB_CREAT_PERMISSIONS (_S_IREAD|_S_IWRITE)
mas01cr@595 103 #else
mas01cr@595 104 #define mkdir_or_goto_error(dirname) \
mas01cr@595 105 if(mkdir(dirname, S_IRWXU|S_IRWXG|S_IRWXO) < 0) { \
mas01cr@595 106 goto error; \
mas01cr@595 107 }
mas01cr@595 108 #define ADB_CREAT_PERMISSIONS (S_IRUSR|S_IWUSR|S_IRGRP|S_IWGRP|S_IROTH|S_IWOTH)
mas01cr@595 109 #endif
mas01cr@498 110 /* the transparent version of the opaque (forward-declared) adb_t. */
mas01cr@498 111 struct adb {
mas01cr@498 112 char *path;
mas01cr@498 113 int fd;
mas01cr@498 114 int flags;
mas01cr@498 115 adb_header_t *header;
mas01cr@498 116 std::vector<std::string> *keys;
mas01cr@498 117 std::map<std::string,uint32_t> *keymap;
mas01cr@498 118 std::vector<uint32_t> *track_lengths;
mas01cr@498 119 std::vector<off_t> *track_offsets;
mas01cr@498 120 LSH *cached_lsh;
mas01cr@498 121 };
mas01cr@498 122
mas01cr@498 123 typedef struct {
mas01cr@498 124 bool operator() (const adb_result_t &r1, const adb_result_t &r2) {
mas01cr@498 125 return strcmp(r1.key, r2.key) < 0;
mas01cr@498 126 }
mas01cr@498 127 } adb_result_key_lt;
mas01cr@498 128
mas01cr@498 129 typedef struct {
mas01cr@498 130 bool operator() (const adb_result_t &r1, const adb_result_t &r2) {
mas01cr@498 131 return r1.qpos < r2.qpos;
mas01cr@498 132 }
mas01cr@498 133 } adb_result_qpos_lt;
mas01cr@498 134
mas01cr@498 135 typedef struct {
mas01cr@498 136 bool operator() (const adb_result_t &r1, const adb_result_t &r2) {
mas01cr@498 137 return r1.dist < r2.dist;
mas01cr@498 138 }
mas01cr@498 139 } adb_result_dist_lt;
mas01cr@498 140
mas01cr@498 141 typedef struct {
mas01cr@498 142 bool operator() (const adb_result_t &r1, const adb_result_t &r2) {
mas01cr@498 143 return r1.dist > r2.dist;
mas01cr@498 144 }
mas01cr@498 145 } adb_result_dist_gt;
mas01cr@498 146
mas01cr@498 147 typedef struct {
mas01cr@498 148 bool operator() (const adb_result_t &r1, const adb_result_t &r2) {
mas01cr@498 149 return ((r1.ipos < r2.ipos) ||
mas01cr@498 150 ((r1.ipos == r2.ipos) &&
mas01cr@498 151 ((r1.qpos < r2.qpos) ||
mas01cr@498 152 ((r1.qpos == r2.qpos) && (strcmp(r1.key, r2.key) < 0)))));
mas01cr@498 153 }
mas01cr@498 154 } adb_result_triple_lt;
mas01cr@498 155
mas01cr@610 156 /* this struct is for maintaining per-query state. We don't want to
mas01cr@610 157 * store this stuff in the adb struct itself, because (a) it doesn't
mas01cr@610 158 * belong there and (b) in principle people might do two queries in
mas01cr@610 159 * parallel using the same adb handle. (b) is in practice a little
mas01cr@610 160 * bit academic because at the moment we're seeking all over the disk
mas01cr@610 161 * using adb->fd, but changing to use pread() might win us
mas01cr@610 162 * threadsafety eventually.
mas01cr@610 163 */
mas01cr@610 164 typedef struct adb_qstate_internal {
mas01cr@610 165 Accumulator *accumulator;
mas01cr@610 166 std::set<std::string> *allowed_keys;
mas01cr@610 167 std::priority_queue<PointPair> *exact_evaluation_queue;
mas01cr@610 168 std::set< adb_result_t, adb_result_triple_lt > *set;
mas01cr@610 169 LSH *lsh;
mas01cr@610 170 } adb_qstate_internal_t;
mas01cr@610 171
mas01cr@498 172 /* We could go gcc-specific here and use typeof() instead of passing
mas01cr@498 173 * in an explicit type. Answers on a postcard as to whether that's a
mas01cr@498 174 * good plan or not. */
mas01cr@498 175 #define mmap_or_goto_error(type, var, start, length) \
mas01cr@498 176 { void *tmp = mmap(0, length, PROT_READ, MAP_SHARED, adb->fd, (start)); \
mas01cr@498 177 if(tmp == (void *) -1) { \
mas01cr@498 178 goto error; \
mas01cr@498 179 } \
mas01cr@498 180 var = (type) tmp; \
mas01cr@498 181 }
mas01cr@498 182
mas01cr@498 183 #define maybe_munmap(table, length) \
mas01cr@498 184 { if(table) { \
mas01cr@498 185 munmap(table, length); \
mas01cr@498 186 } \
mas01cr@498 187 }
mas01cr@498 188
mas01cr@595 189 #define malloc_and_fill_or_goto_error(type, var, start, length) \
mas01cr@595 190 { void *tmp = malloc(length); \
mas01cr@595 191 if(tmp == NULL) { \
mas01cr@595 192 goto error; \
mas01cr@595 193 } \
mas01cr@595 194 var = (type) tmp; \
mas01cr@595 195 lseek_set_or_goto_error(adb->fd, (start)); \
mas01cr@595 196 read_or_goto_error(adb->fd, var, length); \
mas01cr@595 197 }
mas01cr@595 198
mas01cr@595 199 #define maybe_free(var) \
mas01cr@595 200 { if(var) { \
mas01cr@595 201 free(var); \
mas01cr@595 202 } \
mas01cr@595 203 }
mas01cr@595 204
mas01cr@509 205 #define maybe_delete_array(pointer) \
mas01cr@509 206 { if(pointer) { \
mas01cr@509 207 delete [] pointer; \
mas01cr@509 208 pointer = NULL; \
mas01cr@509 209 } \
mas01cr@509 210 }
mas01cr@509 211
mas01cr@498 212 #define write_or_goto_error(fd, buffer, size) \
mas01cr@498 213 { ssize_t tmp = size; \
mas01cr@498 214 if(write(fd, buffer, size) != tmp) { \
mas01cr@498 215 goto error; \
mas01cr@498 216 } \
mas01cr@498 217 }
mas01cr@498 218
mas01cr@498 219 #define read_or_goto_error(fd, buffer, size) \
mas01cr@498 220 { ssize_t tmp = size; \
mas01cr@498 221 if(read(fd, buffer, size) != tmp) { \
mas01cr@498 222 goto error; \
mas01cr@498 223 } \
mas01cr@498 224 }
mas01cr@498 225
mas01cr@592 226 #define lseek_set_or_goto_error(fd, offset) \
mas01cr@592 227 { if(lseek(fd, offset, SEEK_SET) == (off_t) -1) \
mas01cr@592 228 goto error; \
mas01cr@592 229 } \
mas01cr@592 230
mas01cr@498 231 static inline int audiodb_sync_header(adb_t *adb) {
mas01cr@498 232 off_t pos;
mas01cr@498 233 pos = lseek(adb->fd, (off_t) 0, SEEK_CUR);
mas01cr@498 234 if(pos == (off_t) -1) {
mas01cr@498 235 goto error;
mas01cr@498 236 }
mas01cr@498 237 if(lseek(adb->fd, (off_t) 0, SEEK_SET) == (off_t) -1) {
mas01cr@498 238 goto error;
mas01cr@498 239 }
mas01cr@509 240 if(write(adb->fd, adb->header, ADB_HEADER_SIZE) != ADB_HEADER_SIZE) {
mas01cr@498 241 goto error;
mas01cr@498 242 }
mas01cr@498 243
mas01cr@588 244 #if defined(WIN32)
mas01cr@588 245 _commit(adb->fd);
mas01cr@588 246 #elif defined(_POSIX_SYNCHRONIZED_IO) && (_POSIX_SYNCHRONIZED_IO > 0)
mas01cr@498 247 fdatasync(adb->fd);
mas01cr@563 248 #else
mas01cr@563 249 fsync(adb->fd);
mas01cr@563 250 #endif
mas01cr@498 251 if(lseek(adb->fd, pos, SEEK_SET) == (off_t) -1) {
mas01cr@498 252 goto error;
mas01cr@498 253 }
mas01cr@498 254 return 0;
mas01cr@498 255
mas01cr@498 256 error:
mas01cr@498 257 return 1;
mas01cr@498 258 }
mas01cr@498 259
mas01cr@498 260 static inline double audiodb_dot_product(double *p, double *q, size_t count) {
mas01cr@498 261 double result = 0;
mas01cr@498 262 while(count--) {
mas01cr@498 263 result += *p++ * *q++;
mas01cr@498 264 }
mas01cr@498 265 return result;
mas01cr@498 266 }
mas01cr@498 267
mas01cr@498 268 static inline void audiodb_l2norm_buffer(double *d, size_t dim, size_t nvectors, double *l) {
mas01cr@498 269 while(nvectors--) {
mas01cr@498 270 double *d1 = d;
mas01cr@498 271 double *d2 = d;
mas01cr@498 272 *l++ = audiodb_dot_product(d1, d2, dim);
mas01cr@498 273 d += dim;
mas01cr@498 274 }
mas01cr@498 275 }
mas01cr@498 276
mas01cr@498 277 // This is a common pattern in sequence queries: what we are doing is
mas01cr@498 278 // taking a window of length seqlen over a buffer of length length,
mas01cr@498 279 // and placing the sum of the elements in that window in the first
mas01cr@498 280 // element of the window: thus replacing all but the last seqlen
mas01cr@498 281 // elements in the buffer with the corresponding windowed sum.
mas01cr@498 282 static inline void audiodb_sequence_sum(double *buffer, int length, int seqlen) {
mas01cr@498 283 double tmp1, tmp2, *ps;
mas01cr@498 284 int j, w;
mas01cr@498 285
mas01cr@498 286 tmp1 = *buffer;
mas01cr@498 287 j = 1;
mas01cr@498 288 w = seqlen - 1;
mas01cr@498 289 while(w--) {
mas01cr@498 290 *buffer += buffer[j++];
mas01cr@498 291 }
mas01cr@498 292 ps = buffer + 1;
mas01cr@498 293 w = length - seqlen; // +1 - 1
mas01cr@498 294 while(w--) {
mas01cr@498 295 tmp2 = *ps;
mas01cr@498 296 if(isfinite(tmp1)) {
mas01cr@498 297 *ps = *(ps - 1) - tmp1 + *(ps + seqlen - 1);
mas01cr@498 298 } else {
mas01cr@498 299 for(int i = 1; i < seqlen; i++) {
mas01cr@498 300 *ps += *(ps + i);
mas01cr@498 301 }
mas01cr@498 302 }
mas01cr@498 303 tmp1 = tmp2;
mas01cr@498 304 ps++;
mas01cr@498 305 }
mas01cr@498 306 }
mas01cr@498 307
mas01cr@498 308 // In contrast to audiodb_sequence_sum() above,
mas01cr@498 309 // audiodb_sequence_sqrt() and audiodb_sequence_average() below are
mas01cr@498 310 // simple mappers across the sequence.
mas01cr@498 311 static inline void audiodb_sequence_sqrt(double *buffer, int length, int seqlen) {
mas01cr@498 312 int w = length - seqlen + 1;
mas01cr@498 313 while(w--) {
mas01cr@498 314 *buffer = sqrt(*buffer);
mas01cr@498 315 buffer++;
mas01cr@498 316 }
mas01cr@498 317 }
mas01cr@498 318
mas01cr@498 319 static inline void audiodb_sequence_average(double *buffer, int length, int seqlen) {
mas01cr@498 320 int w = length - seqlen + 1;
mas01cr@498 321 while(w--) {
mas01cr@498 322 *buffer /= seqlen;
mas01cr@498 323 buffer++;
mas01cr@498 324 }
mas01cr@498 325 }
mas01cr@498 326
mas01cr@498 327 static inline uint32_t audiodb_key_index(adb_t *adb, const char *key) {
mas01cr@498 328 std::map<std::string,uint32_t>::iterator it;
mas01cr@498 329 it = adb->keymap->find(key);
mas01cr@498 330 if(it == adb->keymap->end()) {
mas01cr@498 331 return (uint32_t) -1;
mas01cr@498 332 } else {
mas01cr@498 333 return (*it).second;
mas01cr@498 334 }
mas01cr@498 335 }
mas01cr@498 336
mas01cr@498 337 static inline const char *audiodb_index_key(adb_t *adb, uint32_t index) {
mas01cr@498 338 return (*adb->keys)[index].c_str();
mas01cr@498 339 }
mas01cr@498 340
mas01mc@557 341 static inline uint32_t audiodb_index_to_track_id(adb_t *adb, uint32_t lshid){
mas01mc@557 342 off_t offset = (off_t)lshid*adb->header->dim*sizeof(double);
mas01cr@536 343 std::vector<off_t>::iterator b = (*adb->track_offsets).begin();
mas01cr@536 344 std::vector<off_t>::iterator e = (*adb->track_offsets).end();
mas01cr@536 345 std::vector<off_t>::iterator p = std::upper_bound(b, e, offset);
mas01cr@536 346 return p - b - 1;
mas01cr@498 347 }
mas01cr@498 348
mas01mc@534 349 static inline uint32_t audiodb_index_to_track_pos(adb_t *adb, uint32_t track_id, uint32_t lshid) {
mas01mc@534 350 uint32_t trackIndexOffset = (*adb->track_offsets)[track_id] / (adb->header->dim * sizeof(double));
mas01mc@534 351 return lshid - trackIndexOffset;
mas01cr@498 352 }
mas01cr@498 353
mas01mc@534 354 static inline uint32_t audiodb_index_from_trackinfo(adb_t *adb, uint32_t track_id, uint32_t track_pos) {
mas01mc@534 355 uint32_t trackIndexOffset = (*adb->track_offsets)[track_id] / (adb->header->dim * sizeof(double));
mas01mc@534 356 return trackIndexOffset + track_pos;
mas01cr@498 357 }
mas01cr@498 358
mas01cr@498 359 int audiodb_read_data(adb_t *, int, int, double **, size_t *);
mas01cr@498 360 int audiodb_insert_create_datum(adb_insert_t *, adb_datum_t *);
mas01cr@498 361 int audiodb_track_id_datum(adb_t *, uint32_t, adb_datum_t *);
mas01cr@580 362 int audiodb_really_free_datum(adb_datum_t *);
mas01cr@498 363 int audiodb_datum_qpointers(adb_datum_t *, uint32_t, double **, double **, adb_qpointers_internal_t *);
mas01cr@498 364 int audiodb_query_spec_qpointers(adb_t *, const adb_query_spec_t *, double **, double **, adb_qpointers_internal_t *);
mas01cr@498 365 int audiodb_query_queue_loop(adb_t *, const adb_query_spec_t *, adb_qstate_internal_t *, double *, adb_qpointers_internal_t *);
mas01cr@498 366 int audiodb_query_loop(adb_t *, const adb_query_spec_t *, adb_qstate_internal_t *);
mas01cr@498 367 char *audiodb_index_get_name(const char *, double, uint32_t);
mas01cr@498 368 bool audiodb_index_exists(const char *, double, uint32_t);
mas01cr@498 369 int audiodb_index_query_loop(adb_t *, const adb_query_spec_t *, adb_qstate_internal_t *);
mas01cr@509 370 LSH *audiodb_index_allocate(adb_t *, char *, bool);
mas01cr@509 371 vector<vector<float> > *audiodb_index_initialize_shingles(uint32_t, uint32_t, uint32_t);
mas01cr@509 372 void audiodb_index_delete_shingles(vector<vector<float> > *);
mas01cr@509 373 void audiodb_index_make_shingle(vector<vector<float> > *, uint32_t, double *, uint32_t, uint32_t);
mas01cr@509 374 int audiodb_index_norm_shingles(vector<vector<float> > *, double *, double *, uint32_t, uint32_t, double, bool, bool, float);
mas01cr@509 375
mas01cr@509 376 #define ADB_MAXSTR (512U)
mas01cr@509 377 #define ADB_FILETABLE_ENTRY_SIZE (256U)
mas01cr@509 378 #define ADB_TRACKTABLE_ENTRY_SIZE (sizeof(uint32_t))
mas01cr@509 379 #define ADB_DISTANCE_TOLERANCE (1e-6)
mas01cr@509 380
mas01cr@509 381 #define ADB_DEFAULT_DATASIZE (1355U) /* in MB */
mas01cr@509 382 #define ADB_DEFAULT_NTRACKS (20000U)
mas01cr@509 383 #define ADB_DEFAULT_DATADIM (9U)
mas01cr@509 384
mas01cr@509 385 #define ADB_FIXME_LARGE_ADB_SIZE (ADB_DEFAULT_DATASIZE+1)
mas01cr@509 386 #define ADB_FIXME_LARGE_ADB_NTRACKS (ADB_DEFAULT_NTRACKS+1)
mas01cr@509 387
mas01cr@509 388 #define ADB_OLD_MAGIC ('O'|'2'<<8|'D'<<16|'B'<<24)
mas01cr@509 389 #define ADB_MAGIC ('o'|'2'<<8|'d'<<16|'b'<<24)
mas01cr@509 390 #define ADB_FORMAT_VERSION (4U)
mas01cr@509 391
mas01cr@509 392 #define align_up(x,w) (((x) + ((1<<w)-1)) & ~((1<<w)-1))
mas01cr@509 393 #define align_down(x,w) ((x) & ~((1<<w)-1))
mas01cr@509 394
mas01cr@591 395 #if defined(WIN32)
mas01cr@591 396 #define getpagesize() (64*1024)
mas01cr@591 397 #endif
mas01cr@591 398
mas01cr@509 399 #define align_page_up(x) (((x) + (getpagesize()-1)) & ~(getpagesize()-1))
mas01cr@509 400 #define align_page_down(x) ((x) & ~(getpagesize()-1))
mas01cr@509 401