annotate audioDB-internals.h @ 463:35bb388d0eac api-inversion

audioDB::query_loop and audioDB::query_loop_points are no more. Be a little bit careful about deleting the exact_evaluation_queue in error conditions, but otherwise this was simple (If you ignore the work of the previous $N$ commits, that is). The inversion work in query.cpp is now complete, apart from physically teasing apart the API function from the body of audioDB::query and then moving the two remaining audioDB:: methods elsewhere. Unfortunately, we're still not quite done, because we have to deal with audioDB::index_query_loop too, which is still a little bit tangled. Still, we're nearly there...
author mas01cr
date Tue, 30 Dec 2008 15:38:59 +0000
parents 2b8cfec91ed7
children 1030664df98c
rev   line source
mas01cr@457 1 #include "accumulator.h"
mas01cr@457 2
mas01cr@457 3 /* this struct is for writing polymorphic routines as puns. When
mas01cr@457 4 * inserting, we might have a "datum" (with actual numerical data) or
mas01cr@457 5 * a "reference" (with strings denoting pathnames containing numerical
mas01cr@457 6 * data), but most of the operations are the same. This struct, used
mas01cr@457 7 * only internally, allows us to write the main body of the insert
mas01cr@457 8 * code only once.
mas01cr@457 9 */
mas01cr@408 10 typedef struct adb_datum_internal {
mas01cr@408 11 uint32_t nvectors;
mas01cr@408 12 uint32_t dim;
mas01cr@408 13 const char *key;
mas01cr@408 14 void *data;
mas01cr@408 15 void *times;
mas01cr@408 16 void *power;
mas01cr@408 17 } adb_datum_internal_t;
mas01cr@408 18
mas01cr@463 19 /* this struct is to collect together a bunch of information about a
mas01cr@463 20 * query (or, in fact, a single database entry, or even a whole
mas01cr@463 21 * database). The _data pointers are immutable (hey, FIXME: should
mas01cr@463 22 * they be constified in some way?) so that free() can work on them
mas01cr@463 23 * later, while the ones without the suffix are mutable to maintain
mas01cr@463 24 * the "current" position in some way. mean_duration points to a
mas01cr@463 25 * (possibly single-element) array of mean durations for each track.
mas01cr@463 26 */
mas01cr@463 27 typedef struct adb_qpointers_internal {
mas01cr@463 28 uint32_t nvectors;
mas01cr@463 29 double *l2norm_data;
mas01cr@463 30 double *l2norm;
mas01cr@463 31 double *power_data;
mas01cr@463 32 double *power;
mas01cr@463 33 double *mean_duration;
mas01cr@463 34 } adb_qpointers_internal_t;
mas01cr@463 35
mas01cr@457 36 /* this struct is for maintaining per-query state. We don't want to
mas01cr@457 37 * store this stuff in the adb struct itself, because (a) it doesn't
mas01cr@457 38 * belong there and (b) in principle people might do two queries in
mas01cr@457 39 * parallel using the same adb handle. (b) is in practice a little
mas01cr@457 40 * bit academic because at the moment we're seeking all over the disk
mas01cr@457 41 * using adb->fd, but changing to use pread() might win us
mas01cr@457 42 * threadsafety eventually.
mas01cr@457 43 */
mas01cr@458 44 // FIXME moved to audioDB.h for now
mas01cr@457 45
mas01cr@402 46 struct adb {
mas01cr@402 47 char *path;
mas01cr@402 48 int fd;
mas01cr@402 49 int flags;
mas01cr@402 50 adb_header_t *header;
mas01cr@453 51 std::vector<std::string> *keys;
mas01cr@453 52 std::map<std::string,uint32_t> *keymap;
mas01cr@432 53 std::vector<uint32_t> *track_lengths;
mas01cr@442 54 std::vector<off_t> *track_offsets;
mas01cr@402 55 };
mas01cr@402 56
mas01cr@416 57 typedef struct {
mas01cr@416 58 bool operator() (const adb_result_t &r1, const adb_result_t &r2) {
mas01cr@416 59 return strcmp(r1.key, r2.key) < 0;
mas01cr@416 60 }
mas01cr@416 61 } adb_result_key_lt;
mas01cr@416 62
mas01cr@416 63 typedef struct {
mas01cr@416 64 bool operator() (const adb_result_t &r1, const adb_result_t &r2) {
mas01cr@416 65 return r1.qpos < r2.qpos;
mas01cr@416 66 }
mas01cr@416 67 } adb_result_qpos_lt;
mas01cr@416 68
mas01cr@416 69 typedef struct {
mas01cr@416 70 bool operator() (const adb_result_t &r1, const adb_result_t &r2) {
mas01cr@416 71 return r1.dist < r2.dist;
mas01cr@416 72 }
mas01cr@416 73 } adb_result_dist_lt;
mas01cr@416 74
mas01cr@416 75 typedef struct {
mas01cr@416 76 bool operator() (const adb_result_t &r1, const adb_result_t &r2) {
mas01cr@416 77 return r1.dist > r2.dist;
mas01cr@416 78 }
mas01cr@416 79 } adb_result_dist_gt;
mas01cr@416 80
mas01cr@416 81 typedef struct {
mas01cr@416 82 bool operator() (const adb_result_t &r1, const adb_result_t &r2) {
mas01cr@416 83 return ((r1.ipos < r2.ipos) ||
mas01cr@416 84 ((r1.ipos == r2.ipos) &&
mas01cr@416 85 ((r1.qpos < r2.qpos) ||
mas01cr@416 86 ((r1.qpos == r2.qpos) && (strcmp(r1.key, r2.key) < 0)))));
mas01cr@416 87 }
mas01cr@416 88 } adb_result_triple_lt;
mas01cr@416 89
mas01cr@401 90 /* We could go gcc-specific here and use typeof() instead of passing
mas01cr@401 91 * in an explicit type. Answers on a postcard as to whether that's a
mas01cr@401 92 * good plan or not. */
mas01cr@401 93 #define mmap_or_goto_error(type, var, start, length) \
mas01cr@401 94 { void *tmp = mmap(0, length, PROT_READ, MAP_SHARED, adb->fd, (start)); \
mas01cr@401 95 if(tmp == (void *) -1) { \
mas01cr@401 96 goto error; \
mas01cr@401 97 } \
mas01cr@401 98 var = (type) tmp; \
mas01cr@401 99 }
mas01cr@401 100
mas01cr@401 101 #define maybe_munmap(table, length) \
mas01cr@401 102 { if(table) { \
mas01cr@401 103 munmap(table, length); \
mas01cr@401 104 } \
mas01cr@401 105 }
mas01cr@401 106
mas01cr@410 107 #define write_or_goto_error(fd, buffer, size) \
mas01cr@410 108 { ssize_t tmp = size; \
mas01cr@410 109 if(write(fd, buffer, size) != tmp) { \
mas01cr@410 110 goto error; \
mas01cr@410 111 } \
mas01cr@410 112 }
mas01cr@410 113
mas01cr@410 114 #define read_or_goto_error(fd, buffer, size) \
mas01cr@410 115 { ssize_t tmp = size; \
mas01cr@410 116 if(read(fd, buffer, size) != tmp) { \
mas01cr@410 117 goto error; \
mas01cr@410 118 } \
mas01cr@410 119 }
mas01cr@410 120
mas01cr@401 121 static inline int audiodb_sync_header(adb_t *adb) {
mas01cr@401 122 off_t pos;
mas01cr@401 123 pos = lseek(adb->fd, (off_t) 0, SEEK_CUR);
mas01cr@401 124 if(pos == (off_t) -1) {
mas01cr@401 125 goto error;
mas01cr@401 126 }
mas01cr@401 127 if(lseek(adb->fd, (off_t) 0, SEEK_SET) == (off_t) -1) {
mas01cr@401 128 goto error;
mas01cr@401 129 }
mas01cr@401 130 if(write(adb->fd, adb->header, O2_HEADERSIZE) != O2_HEADERSIZE) {
mas01cr@401 131 goto error;
mas01cr@401 132 }
mas01cr@401 133
mas01cr@401 134 /* can be fsync() if fdatasync() is racily exciting and new */
mas01cr@401 135 fdatasync(adb->fd);
mas01cr@401 136 if(lseek(adb->fd, pos, SEEK_SET) == (off_t) -1) {
mas01cr@401 137 goto error;
mas01cr@401 138 }
mas01cr@401 139 return 0;
mas01cr@401 140
mas01cr@401 141 error:
mas01cr@401 142 return 1;
mas01cr@401 143 }
mas01cr@425 144
mas01cr@425 145 static inline double audiodb_dot_product(double *p, double *q, size_t count) {
mas01cr@425 146 double result = 0;
mas01cr@425 147 while(count--) {
mas01cr@425 148 result += *p++ * *q++;
mas01cr@425 149 }
mas01cr@425 150 return result;
mas01cr@425 151 }
mas01cr@426 152
mas01cr@426 153 static inline void audiodb_l2norm_buffer(double *d, size_t dim, size_t nvectors, double *l) {
mas01cr@426 154 while(nvectors--) {
mas01cr@426 155 double *d1 = d;
mas01cr@426 156 double *d2 = d;
mas01cr@426 157 *l++ = audiodb_dot_product(d1, d2, dim);
mas01cr@426 158 d += dim;
mas01cr@426 159 }
mas01cr@426 160 }
mas01cr@427 161
mas01cr@427 162 // This is a common pattern in sequence queries: what we are doing is
mas01cr@427 163 // taking a window of length seqlen over a buffer of length length,
mas01cr@427 164 // and placing the sum of the elements in that window in the first
mas01cr@427 165 // element of the window: thus replacing all but the last seqlen
mas01cr@427 166 // elements in the buffer with the corresponding windowed sum.
mas01cr@427 167 static inline void audiodb_sequence_sum(double *buffer, int length, int seqlen) {
mas01cr@427 168 double tmp1, tmp2, *ps;
mas01cr@427 169 int j, w;
mas01cr@427 170
mas01cr@427 171 tmp1 = *buffer;
mas01cr@427 172 j = 1;
mas01cr@427 173 w = seqlen - 1;
mas01cr@427 174 while(w--) {
mas01cr@427 175 *buffer += buffer[j++];
mas01cr@427 176 }
mas01cr@427 177 ps = buffer + 1;
mas01cr@427 178 w = length - seqlen; // +1 - 1
mas01cr@427 179 while(w--) {
mas01cr@427 180 tmp2 = *ps;
mas01cr@427 181 if(isfinite(tmp1)) {
mas01cr@427 182 *ps = *(ps - 1) - tmp1 + *(ps + seqlen - 1);
mas01cr@427 183 } else {
mas01cr@427 184 for(int i = 1; i < seqlen; i++) {
mas01cr@427 185 *ps += *(ps + i);
mas01cr@427 186 }
mas01cr@427 187 }
mas01cr@427 188 tmp1 = tmp2;
mas01cr@427 189 ps++;
mas01cr@427 190 }
mas01cr@427 191 }
mas01cr@427 192
mas01cr@427 193 // In contrast to audiodb_sequence_sum() above,
mas01cr@427 194 // audiodb_sequence_sqrt() and audiodb_sequence_average() below are
mas01cr@427 195 // simple mappers across the sequence.
mas01cr@427 196 static inline void audiodb_sequence_sqrt(double *buffer, int length, int seqlen) {
mas01cr@427 197 int w = length - seqlen + 1;
mas01cr@427 198 while(w--) {
mas01cr@427 199 *buffer = sqrt(*buffer);
mas01cr@427 200 buffer++;
mas01cr@427 201 }
mas01cr@427 202 }
mas01cr@427 203
mas01cr@427 204 static inline void audiodb_sequence_average(double *buffer, int length, int seqlen) {
mas01cr@427 205 int w = length - seqlen + 1;
mas01cr@427 206 while(w--) {
mas01cr@427 207 *buffer /= seqlen;
mas01cr@427 208 buffer++;
mas01cr@427 209 }
mas01cr@427 210 }
mas01cr@430 211
mas01cr@430 212 static inline uint32_t audiodb_key_index(adb_t *adb, const char *key) {
mas01cr@430 213 std::map<std::string,uint32_t>::iterator it;
mas01cr@453 214 it = adb->keymap->find(key);
mas01cr@453 215 if(it == adb->keymap->end()) {
mas01cr@430 216 return (uint32_t) -1;
mas01cr@430 217 } else {
mas01cr@430 218 return (*it).second;
mas01cr@430 219 }
mas01cr@430 220 }
mas01cr@433 221
mas01cr@458 222 static inline uint32_t audiodb_index_to_track_id(uint32_t lshid, uint32_t n_point_bits) {
mas01cr@458 223 return (lshid >> n_point_bits);
mas01cr@458 224 }
mas01cr@458 225
mas01cr@458 226 static inline uint32_t audiodb_index_to_track_pos(uint32_t lshid, uint32_t n_point_bits) {
mas01cr@458 227 return (lshid & ((1 << n_point_bits) - 1));
mas01cr@458 228 }
mas01cr@458 229
mas01cr@458 230 static inline uint32_t audiodb_index_from_trackinfo(uint32_t track_id, uint32_t track_pos, uint32_t n_point_bits) {
mas01cr@458 231 return ((track_id << n_point_bits) | track_pos);
mas01cr@458 232 }
mas01cr@458 233
mas01cr@458 234 static inline uint32_t audiodb_lsh_n_point_bits(adb_t *adb) {
mas01cr@458 235 uint32_t nbits = adb->header->flags >> 28;
mas01cr@458 236 return (nbits ? nbits : O2_DEFAULT_LSH_N_POINT_BITS);
mas01cr@458 237 }
mas01cr@458 238
mas01cr@433 239 int audiodb_read_data(adb_t *, int, int, double **, size_t *);
mas01cr@443 240 int audiodb_insert_create_datum(adb_insert_t *, adb_datum_t *);
mas01cr@461 241 int audiodb_track_id_datum(adb_t *, uint32_t, adb_datum_t *);
mas01cr@443 242 int audiodb_free_datum(adb_datum_t *);
mas01cr@461 243 int audiodb_datum_qpointers(adb_datum_t *, uint32_t, double **, double **, adb_qpointers_internal_t *);
mas01cr@444 244 int audiodb_query_spec_qpointers(adb_t *, adb_query_spec_t *, double **, double **, adb_qpointers_internal_t *);
mas01cr@463 245 int audiodb_query_queue_loop(adb_t *, adb_query_spec_t *, adb_qstate_internal_t *, double *, adb_qpointers_internal_t *);
mas01cr@463 246 int audiodb_query_loop(adb_t *, adb_query_spec_t *, adb_qstate_internal_t *);
mas01cr@460 247 char *audiodb_index_get_name(const char *, double, uint32_t);
mas01cr@460 248 bool audiodb_index_exists(const char *, double, uint32_t);