@Returns the time in seconds between [start, end]. */
| 494 | |
| 495 | /** @Returns the time in seconds between [start, end]. */ |
| 496 | static double timeDiff(const timeval& start, const timeval& end) |
| 497 | { |
| 498 | double result = (double)end.tv_sec + |
| 499 | (double)end.tv_usec/1000000.0; |
| 500 | result -= (double)start.tv_sec + |
| 501 | (double)start.tv_usec/1000000.0; |
| 502 | return result; |
| 503 | } |
| 504 | |
| 505 | static void* alignReadsToDB(void*) |
| 506 | { |