]> git.notmuchmail.org Git - notmuch/blob - lib/database.cc
lib: optionally support single argument date: queries
[notmuch] / lib / database.cc
1 /* database.cc - The database interfaces of the notmuch mail library
2  *
3  * Copyright © 2009 Carl Worth
4  *
5  * This program is free software: you can redistribute it and/or modify
6  * it under the terms of the GNU General Public License as published by
7  * the Free Software Foundation, either version 3 of the License, or
8  * (at your option) any later version.
9  *
10  * This program is distributed in the hope that it will be useful,
11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13  * GNU General Public License for more details.
14  *
15  * You should have received a copy of the GNU General Public License
16  * along with this program.  If not, see http://www.gnu.org/licenses/ .
17  *
18  * Author: Carl Worth <cworth@cworth.org>
19  */
20
21 #include "database-private.h"
22 #include "parse-time-vrp.h"
23 #include "string-util.h"
24
25 #include <iostream>
26
27 #include <sys/time.h>
28 #include <sys/stat.h>
29 #include <signal.h>
30 #include <ftw.h>
31
32 #include <glib.h> /* g_free, GPtrArray, GHashTable */
33 #include <glib-object.h> /* g_type_init */
34
35 #include <gmime/gmime.h> /* g_mime_init */
36
37 using namespace std;
38
39 #define ARRAY_SIZE(arr) (sizeof (arr) / sizeof (arr[0]))
40
41 typedef struct {
42     const char *name;
43     const char *prefix;
44 } prefix_t;
45
46 #define NOTMUCH_DATABASE_VERSION 3
47
48 #define STRINGIFY(s) _SUB_STRINGIFY(s)
49 #define _SUB_STRINGIFY(s) #s
50
51 /* Here's the current schema for our database (for NOTMUCH_DATABASE_VERSION):
52  *
53  * We currently have three different types of documents (mail, ghost,
54  * and directory) and also some metadata.
55  *
56  * Mail document
57  * -------------
58  * A mail document is associated with a particular email message. It
59  * is stored in one or more files on disk (though only one has its
60  * content indexed) and is uniquely identified  by its "id" field
61  * (which is generally the message ID). It is indexed with the
62  * following prefixed terms which the database uses to construct
63  * threads, etc.:
64  *
65  *    Single terms of given prefix:
66  *
67  *      type:   mail
68  *
69  *      id:     Unique ID of mail. This is from the Message-ID header
70  *              if present and not too long (see NOTMUCH_MESSAGE_ID_MAX).
71  *              If it's present and too long, then we use
72  *              "notmuch-sha1-<sha1_sum_of_message_id>".
73  *              If this header is not present, we use
74  *              "notmuch-sha1-<sha1_sum_of_entire_file>".
75  *
76  *      thread: The ID of the thread to which the mail belongs
77  *
78  *      replyto: The ID from the In-Reply-To header of the mail (if any).
79  *
80  *    Multiple terms of given prefix:
81  *
82  *      reference: All message IDs from In-Reply-To and References
83  *                 headers in the message.
84  *
85  *      tag:       Any tags associated with this message by the user.
86  *
87  *      file-direntry:  A colon-separated pair of values
88  *                      (INTEGER:STRING), where INTEGER is the
89  *                      document ID of a directory document, and
90  *                      STRING is the name of a file within that
91  *                      directory for this mail message.
92  *
93  *    A mail document also has four values:
94  *
95  *      TIMESTAMP:      The time_t value corresponding to the message's
96  *                      Date header.
97  *
98  *      MESSAGE_ID:     The unique ID of the mail mess (see "id" above)
99  *
100  *      FROM:           The value of the "From" header
101  *
102  *      SUBJECT:        The value of the "Subject" header
103  *
104  *      LAST_MOD:       The revision number as of the last tag or
105  *                      filename change.
106  *
107  * In addition, terms from the content of the message are added with
108  * "from", "to", "attachment", and "subject" prefixes for use by the
109  * user in searching. Similarly, terms from the path of the mail
110  * message are added with "folder" and "path" prefixes. But the
111  * database doesn't really care itself about any of these.
112  *
113  * The data portion of a mail document is empty.
114  *
115  * Ghost mail document [if NOTMUCH_FEATURE_GHOSTS]
116  * -----------------------------------------------
117  * A ghost mail document is like a mail document, but where we don't
118  * have the message content.  These are used to track thread reference
119  * information for messages we haven't received.
120  *
121  * A ghost mail document has type: ghost; id and thread fields that
122  * are identical to the mail document fields; and a MESSAGE_ID value.
123  *
124  * Directory document
125  * ------------------
126  * A directory document is used by a client of the notmuch library to
127  * maintain data necessary to allow for efficient polling of mail
128  * directories.
129  *
130  * All directory documents contain one term:
131  *
132  *      directory:      The directory path (relative to the database path)
133  *                      Or the SHA1 sum of the directory path (if the
134  *                      path itself is too long to fit in a Xapian
135  *                      term).
136  *
137  * And all directory documents for directories other than top-level
138  * directories also contain the following term:
139  *
140  *      directory-direntry: A colon-separated pair of values
141  *                          (INTEGER:STRING), where INTEGER is the
142  *                          document ID of the parent directory
143  *                          document, and STRING is the name of this
144  *                          directory within that parent.
145  *
146  * All directory documents have a single value:
147  *
148  *      TIMESTAMP:      The mtime of the directory (at last scan)
149  *
150  * The data portion of a directory document contains the path of the
151  * directory (relative to the database path).
152  *
153  * Database metadata
154  * -----------------
155  * Xapian allows us to store arbitrary name-value pairs as
156  * "metadata". We currently use the following metadata names with the
157  * given meanings:
158  *
159  *      version         The database schema version, (which is distinct
160  *                      from both the notmuch package version (see
161  *                      notmuch --version) and the libnotmuch library
162  *                      version. The version is stored as an base-10
163  *                      ASCII integer. The initial database version
164  *                      was 1, (though a schema existed before that
165  *                      were no "version" database value existed at
166  *                      all). Successive versions are allocated as
167  *                      changes are made to the database (such as by
168  *                      indexing new fields).
169  *
170  *      features        The set of features supported by this
171  *                      database. This consists of a set of
172  *                      '\n'-separated lines, where each is a feature
173  *                      name, a '\t', and compatibility flags.  If the
174  *                      compatibility flags contain 'w', then the
175  *                      opener must support this feature to safely
176  *                      write this database.  If the compatibility
177  *                      flags contain 'r', then the opener must
178  *                      support this feature to read this database.
179  *                      Introduced in database version 3.
180  *
181  *      last_thread_id  The last thread ID generated. This is stored
182  *                      as a 16-byte hexadecimal ASCII representation
183  *                      of a 64-bit unsigned integer. The first ID
184  *                      generated is 1 and the value will be
185  *                      incremented for each thread ID.
186  *
187  * Obsolete metadata
188  * -----------------
189  *
190  * If ! NOTMUCH_FEATURE_GHOSTS, there are no ghost mail documents.
191  * Instead, the database has the following additional database
192  * metadata:
193  *
194  *      thread_id_*     A pre-allocated thread ID for a particular
195  *                      message. This is actually an arbitrarily large
196  *                      family of metadata name. Any particular name is
197  *                      formed by concatenating "thread_id_" with a message
198  *                      ID (or the SHA1 sum of a message ID if it is very
199  *                      long---see description of 'id' in the mail
200  *                      document). The value stored is a thread ID.
201  *
202  *                      These thread ID metadata values are stored
203  *                      whenever a message references a parent message
204  *                      that does not yet exist in the database. A
205  *                      thread ID will be allocated and stored, and if
206  *                      the message is later added, the stored thread
207  *                      ID will be used (and the metadata value will
208  *                      be cleared).
209  *
210  *                      Even before a message is added, it's
211  *                      pre-allocated thread ID is useful so that all
212  *                      descendant messages that reference this common
213  *                      parent can be recognized as belonging to the
214  *                      same thread.
215  */
216
217 /* With these prefix values we follow the conventions published here:
218  *
219  * http://xapian.org/docs/omega/termprefixes.html
220  *
221  * as much as makes sense. Note that I took some liberty in matching
222  * the reserved prefix values to notmuch concepts, (for example, 'G'
223  * is documented as "newsGroup (or similar entity - e.g. a web forum
224  * name)", for which I think the thread is the closest analogue in
225  * notmuch. This in spite of the fact that we will eventually be
226  * storing mailing-list messages where 'G' for "mailing list name"
227  * might be even a closer analogue. I'm treating the single-character
228  * prefixes preferentially for core notmuch concepts (which will be
229  * nearly universal to all mail messages).
230  */
231
232 static prefix_t BOOLEAN_PREFIX_INTERNAL[] = {
233     { "type",                   "T" },
234     { "reference",              "XREFERENCE" },
235     { "replyto",                "XREPLYTO" },
236     { "directory",              "XDIRECTORY" },
237     { "file-direntry",          "XFDIRENTRY" },
238     { "directory-direntry",     "XDDIRENTRY" },
239 };
240
241 static prefix_t BOOLEAN_PREFIX_EXTERNAL[] = {
242     { "thread",                 "G" },
243     { "tag",                    "K" },
244     { "is",                     "K" },
245     { "id",                     "Q" },
246     { "path",                   "P" },
247     /*
248      * Without the ":", since this is a multi-letter prefix, Xapian
249      * will add a colon itself if the first letter of the path is
250      * upper-case ASCII. Including the ":" forces there to always be a
251      * colon, which keeps our own logic simpler.
252      */
253     { "folder",                 "XFOLDER:" },
254 };
255
256 static prefix_t PROBABILISTIC_PREFIX[]= {
257     { "from",                   "XFROM" },
258     { "to",                     "XTO" },
259     { "attachment",             "XATTACHMENT" },
260     { "mimetype",               "XMIMETYPE"},
261     { "subject",                "XSUBJECT"},
262 };
263
264 const char *
265 _find_prefix (const char *name)
266 {
267     unsigned int i;
268
269     for (i = 0; i < ARRAY_SIZE (BOOLEAN_PREFIX_INTERNAL); i++) {
270         if (strcmp (name, BOOLEAN_PREFIX_INTERNAL[i].name) == 0)
271             return BOOLEAN_PREFIX_INTERNAL[i].prefix;
272     }
273
274     for (i = 0; i < ARRAY_SIZE (BOOLEAN_PREFIX_EXTERNAL); i++) {
275         if (strcmp (name, BOOLEAN_PREFIX_EXTERNAL[i].name) == 0)
276             return BOOLEAN_PREFIX_EXTERNAL[i].prefix;
277     }
278
279     for (i = 0; i < ARRAY_SIZE (PROBABILISTIC_PREFIX); i++) {
280         if (strcmp (name, PROBABILISTIC_PREFIX[i].name) == 0)
281             return PROBABILISTIC_PREFIX[i].prefix;
282     }
283
284     INTERNAL_ERROR ("No prefix exists for '%s'\n", name);
285
286     return "";
287 }
288
289 static const struct {
290     /* NOTMUCH_FEATURE_* value. */
291     _notmuch_features value;
292     /* Feature name as it appears in the database.  This name should
293      * be appropriate for displaying to the user if an older version
294      * of notmuch doesn't support this feature. */
295     const char *name;
296     /* Compatibility flags when this feature is declared. */
297     const char *flags;
298 } feature_names[] = {
299     { NOTMUCH_FEATURE_FILE_TERMS,
300       "multiple paths per message", "rw" },
301     { NOTMUCH_FEATURE_DIRECTORY_DOCS,
302       "relative directory paths", "rw" },
303     /* Header values are not required for reading a database because a
304      * reader can just refer to the message file. */
305     { NOTMUCH_FEATURE_FROM_SUBJECT_ID_VALUES,
306       "from/subject/message-ID in database", "w" },
307     { NOTMUCH_FEATURE_BOOL_FOLDER,
308       "exact folder:/path: search", "rw" },
309     { NOTMUCH_FEATURE_GHOSTS,
310       "mail documents for missing messages", "w"},
311     /* Knowledge of the index mime-types are not required for reading
312      * a database because a reader will just be unable to query
313      * them. */
314     { NOTMUCH_FEATURE_INDEXED_MIMETYPES,
315       "indexed MIME types", "w"},
316     { NOTMUCH_FEATURE_LAST_MOD,
317       "modification tracking", "w"},
318 };
319
320 const char *
321 notmuch_status_to_string (notmuch_status_t status)
322 {
323     switch (status) {
324     case NOTMUCH_STATUS_SUCCESS:
325         return "No error occurred";
326     case NOTMUCH_STATUS_OUT_OF_MEMORY:
327         return "Out of memory";
328     case NOTMUCH_STATUS_READ_ONLY_DATABASE:
329         return "Attempt to write to a read-only database";
330     case NOTMUCH_STATUS_XAPIAN_EXCEPTION:
331         return "A Xapian exception occurred";
332     case NOTMUCH_STATUS_FILE_ERROR:
333         return "Something went wrong trying to read or write a file";
334     case NOTMUCH_STATUS_FILE_NOT_EMAIL:
335         return "File is not an email";
336     case NOTMUCH_STATUS_DUPLICATE_MESSAGE_ID:
337         return "Message ID is identical to a message in database";
338     case NOTMUCH_STATUS_NULL_POINTER:
339         return "Erroneous NULL pointer";
340     case NOTMUCH_STATUS_TAG_TOO_LONG:
341         return "Tag value is too long (exceeds NOTMUCH_TAG_MAX)";
342     case NOTMUCH_STATUS_UNBALANCED_FREEZE_THAW:
343         return "Unbalanced number of calls to notmuch_message_freeze/thaw";
344     case NOTMUCH_STATUS_UNBALANCED_ATOMIC:
345         return "Unbalanced number of calls to notmuch_database_begin_atomic/end_atomic";
346     case NOTMUCH_STATUS_UNSUPPORTED_OPERATION:
347         return "Unsupported operation";
348     case NOTMUCH_STATUS_UPGRADE_REQUIRED:
349         return "Operation requires a database upgrade";
350     case NOTMUCH_STATUS_PATH_ERROR:
351         return "Path supplied is illegal for this function";
352     default:
353     case NOTMUCH_STATUS_LAST_STATUS:
354         return "Unknown error status value";
355     }
356 }
357
358 void
359 _notmuch_database_log (notmuch_database_t *notmuch,
360                       const char *format,
361                       ...)
362 {
363     va_list va_args;
364
365     va_start (va_args, format);
366
367     if (notmuch->status_string)
368         talloc_free (notmuch->status_string);
369
370     notmuch->status_string = talloc_vasprintf (notmuch, format, va_args);
371
372     va_end (va_args);
373 }
374
375 static void
376 find_doc_ids_for_term (notmuch_database_t *notmuch,
377                        const char *term,
378                        Xapian::PostingIterator *begin,
379                        Xapian::PostingIterator *end)
380 {
381     *begin = notmuch->xapian_db->postlist_begin (term);
382
383     *end = notmuch->xapian_db->postlist_end (term);
384 }
385
386 static void
387 find_doc_ids (notmuch_database_t *notmuch,
388               const char *prefix_name,
389               const char *value,
390               Xapian::PostingIterator *begin,
391               Xapian::PostingIterator *end)
392 {
393     char *term;
394
395     term = talloc_asprintf (notmuch, "%s%s",
396                             _find_prefix (prefix_name), value);
397
398     find_doc_ids_for_term (notmuch, term, begin, end);
399
400     talloc_free (term);
401 }
402
403 notmuch_private_status_t
404 _notmuch_database_find_unique_doc_id (notmuch_database_t *notmuch,
405                                       const char *prefix_name,
406                                       const char *value,
407                                       unsigned int *doc_id)
408 {
409     Xapian::PostingIterator i, end;
410
411     find_doc_ids (notmuch, prefix_name, value, &i, &end);
412
413     if (i == end) {
414         *doc_id = 0;
415         return NOTMUCH_PRIVATE_STATUS_NO_DOCUMENT_FOUND;
416     }
417
418     *doc_id = *i;
419
420 #if DEBUG_DATABASE_SANITY
421     i++;
422
423     if (i != end)
424         INTERNAL_ERROR ("Term %s:%s is not unique as expected.\n",
425                         prefix_name, value);
426 #endif
427
428     return NOTMUCH_PRIVATE_STATUS_SUCCESS;
429 }
430
431 static Xapian::Document
432 find_document_for_doc_id (notmuch_database_t *notmuch, unsigned doc_id)
433 {
434     return notmuch->xapian_db->get_document (doc_id);
435 }
436
437 /* Generate a compressed version of 'message_id' of the form:
438  *
439  *      notmuch-sha1-<sha1_sum_of_message_id>
440  */
441 char *
442 _notmuch_message_id_compressed (void *ctx, const char *message_id)
443 {
444     char *sha1, *compressed;
445
446     sha1 = _notmuch_sha1_of_string (message_id);
447
448     compressed = talloc_asprintf (ctx, "notmuch-sha1-%s", sha1);
449     free (sha1);
450
451     return compressed;
452 }
453
454 notmuch_status_t
455 notmuch_database_find_message (notmuch_database_t *notmuch,
456                                const char *message_id,
457                                notmuch_message_t **message_ret)
458 {
459     notmuch_private_status_t status;
460     unsigned int doc_id;
461
462     if (message_ret == NULL)
463         return NOTMUCH_STATUS_NULL_POINTER;
464
465     if (strlen (message_id) > NOTMUCH_MESSAGE_ID_MAX)
466         message_id = _notmuch_message_id_compressed (notmuch, message_id);
467
468     try {
469         status = _notmuch_database_find_unique_doc_id (notmuch, "id",
470                                                        message_id, &doc_id);
471
472         if (status == NOTMUCH_PRIVATE_STATUS_NO_DOCUMENT_FOUND)
473             *message_ret = NULL;
474         else {
475             *message_ret = _notmuch_message_create (notmuch, notmuch, doc_id,
476                                                     NULL);
477             if (*message_ret == NULL)
478                 return NOTMUCH_STATUS_OUT_OF_MEMORY;
479         }
480
481         return NOTMUCH_STATUS_SUCCESS;
482     } catch (const Xapian::Error &error) {
483         _notmuch_database_log (notmuch, "A Xapian exception occurred finding message: %s.\n",
484                  error.get_msg().c_str());
485         notmuch->exception_reported = TRUE;
486         *message_ret = NULL;
487         return NOTMUCH_STATUS_XAPIAN_EXCEPTION;
488     }
489 }
490
491 /* Advance 'str' past any whitespace or RFC 822 comments. A comment is
492  * a (potentially nested) parenthesized sequence with '\' used to
493  * escape any character (including parentheses).
494  *
495  * If the sequence to be skipped continues to the end of the string,
496  * then 'str' will be left pointing at the final terminating '\0'
497  * character.
498  */
499 static void
500 skip_space_and_comments (const char **str)
501 {
502     const char *s;
503
504     s = *str;
505     while (*s && (isspace (*s) || *s == '(')) {
506         while (*s && isspace (*s))
507             s++;
508         if (*s == '(') {
509             int nesting = 1;
510             s++;
511             while (*s && nesting) {
512                 if (*s == '(') {
513                     nesting++;
514                 } else if (*s == ')') {
515                     nesting--;
516                 } else if (*s == '\\') {
517                     if (*(s+1))
518                         s++;
519                 }
520                 s++;
521             }
522         }
523     }
524
525     *str = s;
526 }
527
528 /* Parse an RFC 822 message-id, discarding whitespace, any RFC 822
529  * comments, and the '<' and '>' delimiters.
530  *
531  * If not NULL, then *next will be made to point to the first character
532  * not parsed, (possibly pointing to the final '\0' terminator.
533  *
534  * Returns a newly talloc'ed string belonging to 'ctx'.
535  *
536  * Returns NULL if there is any error parsing the message-id. */
537 static char *
538 _parse_message_id (void *ctx, const char *message_id, const char **next)
539 {
540     const char *s, *end;
541     char *result;
542
543     if (message_id == NULL || *message_id == '\0')
544         return NULL;
545
546     s = message_id;
547
548     skip_space_and_comments (&s);
549
550     /* Skip any unstructured text as well. */
551     while (*s && *s != '<')
552         s++;
553
554     if (*s == '<') {
555         s++;
556     } else {
557         if (next)
558             *next = s;
559         return NULL;
560     }
561
562     skip_space_and_comments (&s);
563
564     end = s;
565     while (*end && *end != '>')
566         end++;
567     if (next) {
568         if (*end)
569             *next = end + 1;
570         else
571             *next = end;
572     }
573
574     if (end > s && *end == '>')
575         end--;
576     if (end <= s)
577         return NULL;
578
579     result = talloc_strndup (ctx, s, end - s + 1);
580
581     /* Finally, collapse any whitespace that is within the message-id
582      * itself. */
583     {
584         char *r;
585         int len;
586
587         for (r = result, len = strlen (r); *r; r++, len--)
588             if (*r == ' ' || *r == '\t')
589                 memmove (r, r+1, len);
590     }
591
592     return result;
593 }
594
595 /* Parse a References header value, putting a (talloc'ed under 'ctx')
596  * copy of each referenced message-id into 'hash'.
597  *
598  * We explicitly avoid including any reference identical to
599  * 'message_id' in the result (to avoid mass confusion when a single
600  * message references itself cyclically---and yes, mail messages are
601  * not infrequent in the wild that do this---don't ask me why).
602  *
603  * Return the last reference parsed, if it is not equal to message_id.
604  */
605 static char *
606 parse_references (void *ctx,
607                   const char *message_id,
608                   GHashTable *hash,
609                   const char *refs)
610 {
611     char *ref, *last_ref = NULL;
612
613     if (refs == NULL || *refs == '\0')
614         return NULL;
615
616     while (*refs) {
617         ref = _parse_message_id (ctx, refs, &refs);
618
619         if (ref && strcmp (ref, message_id)) {
620             g_hash_table_insert (hash, ref, NULL);
621             last_ref = ref;
622         }
623     }
624
625     /* The return value of this function is used to add a parent
626      * reference to the database.  We should avoid making a message
627      * its own parent, thus the above check.
628      */
629     return last_ref;
630 }
631
632 notmuch_status_t
633 notmuch_database_create (const char *path, notmuch_database_t **database)
634 {
635     char *status_string = NULL;
636     notmuch_status_t status;
637
638     status = notmuch_database_create_verbose (path, database,
639                                               &status_string);
640
641     if (status_string) {
642         fputs (status_string, stderr);
643         free (status_string);
644     }
645
646     return status;
647 }
648
649 notmuch_status_t
650 notmuch_database_create_verbose (const char *path,
651                                  notmuch_database_t **database,
652                                  char **status_string)
653 {
654     notmuch_status_t status = NOTMUCH_STATUS_SUCCESS;
655     notmuch_database_t *notmuch = NULL;
656     char *notmuch_path = NULL;
657     char *message = NULL;
658     struct stat st;
659     int err;
660
661     if (path == NULL) {
662         message = strdup ("Error: Cannot create a database for a NULL path.\n");
663         status = NOTMUCH_STATUS_NULL_POINTER;
664         goto DONE;
665     }
666
667     if (path[0] != '/') {
668         message = strdup ("Error: Database path must be absolute.\n");
669         status = NOTMUCH_STATUS_PATH_ERROR;
670         goto DONE;
671     }
672
673     err = stat (path, &st);
674     if (err) {
675         IGNORE_RESULT (asprintf (&message, "Error: Cannot create database at %s: %s.\n",
676                                 path, strerror (errno)));
677         status = NOTMUCH_STATUS_FILE_ERROR;
678         goto DONE;
679     }
680
681     if (! S_ISDIR (st.st_mode)) {
682         IGNORE_RESULT (asprintf (&message, "Error: Cannot create database at %s: "
683                                  "Not a directory.\n",
684                                  path));
685         status = NOTMUCH_STATUS_FILE_ERROR;
686         goto DONE;
687     }
688
689     notmuch_path = talloc_asprintf (NULL, "%s/%s", path, ".notmuch");
690
691     err = mkdir (notmuch_path, 0755);
692
693     if (err) {
694         IGNORE_RESULT (asprintf (&message, "Error: Cannot create directory %s: %s.\n",
695                                  notmuch_path, strerror (errno)));
696         status = NOTMUCH_STATUS_FILE_ERROR;
697         goto DONE;
698     }
699
700     status = notmuch_database_open_verbose (path,
701                                             NOTMUCH_DATABASE_MODE_READ_WRITE,
702                                             &notmuch, &message);
703     if (status)
704         goto DONE;
705
706     /* Upgrade doesn't add these feature to existing databases, but
707      * new databases have them. */
708     notmuch->features |= NOTMUCH_FEATURE_FROM_SUBJECT_ID_VALUES;
709     notmuch->features |= NOTMUCH_FEATURE_INDEXED_MIMETYPES;
710
711     status = notmuch_database_upgrade (notmuch, NULL, NULL);
712     if (status) {
713         notmuch_database_close(notmuch);
714         notmuch = NULL;
715     }
716
717   DONE:
718     if (notmuch_path)
719         talloc_free (notmuch_path);
720
721     if (message) {
722         if (status_string)
723             *status_string = message;
724         else
725             free (message);
726     }
727     if (database)
728         *database = notmuch;
729     else
730         talloc_free (notmuch);
731     return status;
732 }
733
734 notmuch_status_t
735 _notmuch_database_ensure_writable (notmuch_database_t *notmuch)
736 {
737     if (notmuch->mode == NOTMUCH_DATABASE_MODE_READ_ONLY) {
738         _notmuch_database_log (notmuch, "Cannot write to a read-only database.\n");
739         return NOTMUCH_STATUS_READ_ONLY_DATABASE;
740     }
741
742     return NOTMUCH_STATUS_SUCCESS;
743 }
744
745 /* Allocate a revision number for the next change. */
746 unsigned long
747 _notmuch_database_new_revision (notmuch_database_t *notmuch)
748 {
749     unsigned long new_revision = notmuch->revision + 1;
750
751     /* If we're in an atomic section, hold off on updating the
752      * committed revision number until we commit the atomic section.
753      */
754     if (notmuch->atomic_nesting)
755         notmuch->atomic_dirty = TRUE;
756     else
757         notmuch->revision = new_revision;
758
759     return new_revision;
760 }
761
762 /* Parse a database features string from the given database version.
763  * Returns the feature bit set.
764  *
765  * For version < 3, this ignores the features string and returns a
766  * hard-coded set of features.
767  *
768  * If there are unrecognized features that are required to open the
769  * database in mode (which should be 'r' or 'w'), return a
770  * comma-separated list of unrecognized but required features in
771  * *incompat_out suitable for presenting to the user.  *incompat_out
772  * will be allocated from ctx.
773  */
774 static _notmuch_features
775 _parse_features (const void *ctx, const char *features, unsigned int version,
776                  char mode, char **incompat_out)
777 {
778     _notmuch_features res = static_cast<_notmuch_features>(0);
779     unsigned int namelen, i;
780     size_t llen = 0;
781     const char *flags;
782
783     /* Prior to database version 3, features were implied by the
784      * version number. */
785     if (version == 0)
786         return NOTMUCH_FEATURES_V0;
787     else if (version == 1)
788         return NOTMUCH_FEATURES_V1;
789     else if (version == 2)
790         return NOTMUCH_FEATURES_V2;
791
792     /* Parse the features string */
793     while ((features = strtok_len_c (features + llen, "\n", &llen)) != NULL) {
794         flags = strchr (features, '\t');
795         if (! flags || flags > features + llen)
796             continue;
797         namelen = flags - features;
798
799         for (i = 0; i < ARRAY_SIZE (feature_names); ++i) {
800             if (strlen (feature_names[i].name) == namelen &&
801                 strncmp (feature_names[i].name, features, namelen) == 0) {
802                 res |= feature_names[i].value;
803                 break;
804             }
805         }
806
807         if (i == ARRAY_SIZE (feature_names) && incompat_out) {
808             /* Unrecognized feature */
809             const char *have = strchr (flags, mode);
810             if (have && have < features + llen) {
811                 /* This feature is required to access this database in
812                  * 'mode', but we don't understand it. */
813                 if (! *incompat_out)
814                     *incompat_out = talloc_strdup (ctx, "");
815                 *incompat_out = talloc_asprintf_append_buffer (
816                     *incompat_out, "%s%.*s", **incompat_out ? ", " : "",
817                     namelen, features);
818             }
819         }
820     }
821
822     return res;
823 }
824
825 static char *
826 _print_features (const void *ctx, unsigned int features)
827 {
828     unsigned int i;
829     char *res = talloc_strdup (ctx, "");
830
831     for (i = 0; i < ARRAY_SIZE (feature_names); ++i)
832         if (features & feature_names[i].value)
833             res = talloc_asprintf_append_buffer (
834                 res, "%s\t%s\n", feature_names[i].name, feature_names[i].flags);
835
836     return res;
837 }
838
839 notmuch_status_t
840 notmuch_database_open (const char *path,
841                        notmuch_database_mode_t mode,
842                        notmuch_database_t **database)
843 {
844     char *status_string = NULL;
845     notmuch_status_t status;
846
847     status = notmuch_database_open_verbose (path, mode, database,
848                                            &status_string);
849
850     if (status_string) {
851         fputs (status_string, stderr);
852         free (status_string);
853     }
854
855     return status;
856 }
857
858 notmuch_status_t
859 notmuch_database_open_verbose (const char *path,
860                                notmuch_database_mode_t mode,
861                                notmuch_database_t **database,
862                                char **status_string)
863 {
864     notmuch_status_t status = NOTMUCH_STATUS_SUCCESS;
865     void *local = talloc_new (NULL);
866     notmuch_database_t *notmuch = NULL;
867     char *notmuch_path, *xapian_path, *incompat_features;
868     char *message = NULL;
869     struct stat st;
870     int err;
871     unsigned int i, version;
872     static int initialized = 0;
873
874     if (path == NULL) {
875         message = strdup ("Error: Cannot open a database for a NULL path.\n");
876         status = NOTMUCH_STATUS_NULL_POINTER;
877         goto DONE;
878     }
879
880     if (path[0] != '/') {
881         message = strdup ("Error: Database path must be absolute.\n");
882         status = NOTMUCH_STATUS_PATH_ERROR;
883         goto DONE;
884     }
885
886     if (! (notmuch_path = talloc_asprintf (local, "%s/%s", path, ".notmuch"))) {
887         message = strdup ("Out of memory\n");
888         status = NOTMUCH_STATUS_OUT_OF_MEMORY;
889         goto DONE;
890     }
891
892     err = stat (notmuch_path, &st);
893     if (err) {
894         IGNORE_RESULT (asprintf (&message, "Error opening database at %s: %s\n",
895                                  notmuch_path, strerror (errno)));
896         status = NOTMUCH_STATUS_FILE_ERROR;
897         goto DONE;
898     }
899
900     if (! (xapian_path = talloc_asprintf (local, "%s/%s", notmuch_path, "xapian"))) {
901         message = strdup ("Out of memory\n");
902         status = NOTMUCH_STATUS_OUT_OF_MEMORY;
903         goto DONE;
904     }
905
906     /* Initialize the GLib type system and threads */
907 #if !GLIB_CHECK_VERSION(2, 35, 1)
908     g_type_init ();
909 #endif
910
911     /* Initialize gmime */
912     if (! initialized) {
913         g_mime_init (GMIME_ENABLE_RFC2047_WORKAROUNDS);
914         initialized = 1;
915     }
916
917     notmuch = talloc_zero (NULL, notmuch_database_t);
918     notmuch->exception_reported = FALSE;
919     notmuch->status_string = NULL;
920     notmuch->path = talloc_strdup (notmuch, path);
921
922     if (notmuch->path[strlen (notmuch->path) - 1] == '/')
923         notmuch->path[strlen (notmuch->path) - 1] = '\0';
924
925     notmuch->mode = mode;
926     notmuch->atomic_nesting = 0;
927     try {
928         string last_thread_id;
929         string last_mod;
930
931         if (mode == NOTMUCH_DATABASE_MODE_READ_WRITE) {
932             notmuch->xapian_db = new Xapian::WritableDatabase (xapian_path,
933                                                                Xapian::DB_CREATE_OR_OPEN);
934         } else {
935             notmuch->xapian_db = new Xapian::Database (xapian_path);
936         }
937
938         /* Check version.  As of database version 3, we represent
939          * changes in terms of features, so assume a version bump
940          * means a dramatically incompatible change. */
941         version = notmuch_database_get_version (notmuch);
942         if (version > NOTMUCH_DATABASE_VERSION) {
943             IGNORE_RESULT (asprintf (&message,
944                       "Error: Notmuch database at %s\n"
945                       "       has a newer database format version (%u) than supported by this\n"
946                       "       version of notmuch (%u).\n",
947                                      notmuch_path, version, NOTMUCH_DATABASE_VERSION));
948             notmuch->mode = NOTMUCH_DATABASE_MODE_READ_ONLY;
949             notmuch_database_destroy (notmuch);
950             notmuch = NULL;
951             status = NOTMUCH_STATUS_FILE_ERROR;
952             goto DONE;
953         }
954
955         /* Check features. */
956         incompat_features = NULL;
957         notmuch->features = _parse_features (
958             local, notmuch->xapian_db->get_metadata ("features").c_str (),
959             version, mode == NOTMUCH_DATABASE_MODE_READ_WRITE ? 'w' : 'r',
960             &incompat_features);
961         if (incompat_features) {
962             IGNORE_RESULT (asprintf (&message,
963                 "Error: Notmuch database at %s\n"
964                 "       requires features (%s)\n"
965                 "       not supported by this version of notmuch.\n",
966                                      notmuch_path, incompat_features));
967             notmuch->mode = NOTMUCH_DATABASE_MODE_READ_ONLY;
968             notmuch_database_destroy (notmuch);
969             notmuch = NULL;
970             status = NOTMUCH_STATUS_FILE_ERROR;
971             goto DONE;
972         }
973
974         notmuch->last_doc_id = notmuch->xapian_db->get_lastdocid ();
975         last_thread_id = notmuch->xapian_db->get_metadata ("last_thread_id");
976         if (last_thread_id.empty ()) {
977             notmuch->last_thread_id = 0;
978         } else {
979             const char *str;
980             char *end;
981
982             str = last_thread_id.c_str ();
983             notmuch->last_thread_id = strtoull (str, &end, 16);
984             if (*end != '\0')
985                 INTERNAL_ERROR ("Malformed database last_thread_id: %s", str);
986         }
987
988         /* Get current highest revision number. */
989         last_mod = notmuch->xapian_db->get_value_upper_bound (
990             NOTMUCH_VALUE_LAST_MOD);
991         if (last_mod.empty ())
992             notmuch->revision = 0;
993         else
994             notmuch->revision = Xapian::sortable_unserialise (last_mod);
995         notmuch->uuid = talloc_strdup (
996             notmuch, notmuch->xapian_db->get_uuid ().c_str ());
997
998         notmuch->query_parser = new Xapian::QueryParser;
999         notmuch->term_gen = new Xapian::TermGenerator;
1000         notmuch->term_gen->set_stemmer (Xapian::Stem ("english"));
1001         notmuch->value_range_processor = new Xapian::NumberValueRangeProcessor (NOTMUCH_VALUE_TIMESTAMP);
1002         notmuch->date_range_processor = new ParseTimeValueRangeProcessor (NOTMUCH_VALUE_TIMESTAMP);
1003 #if HAVE_XAPIAN_FIELD_PROCESSOR
1004         /* This currently relies on the query parser to pass anything
1005          * with a .. to the range processor */
1006         notmuch->date_field_processor = new DateFieldProcessor();
1007         notmuch->query_parser->add_boolean_prefix("date", notmuch->date_field_processor);
1008 #endif
1009         notmuch->last_mod_range_processor = new Xapian::NumberValueRangeProcessor (NOTMUCH_VALUE_LAST_MOD, "lastmod:");
1010
1011         notmuch->query_parser->set_default_op (Xapian::Query::OP_AND);
1012         notmuch->query_parser->set_database (*notmuch->xapian_db);
1013         notmuch->query_parser->set_stemmer (Xapian::Stem ("english"));
1014         notmuch->query_parser->set_stemming_strategy (Xapian::QueryParser::STEM_SOME);
1015         notmuch->query_parser->add_valuerangeprocessor (notmuch->value_range_processor);
1016         notmuch->query_parser->add_valuerangeprocessor (notmuch->date_range_processor);
1017         notmuch->query_parser->add_valuerangeprocessor (notmuch->last_mod_range_processor);
1018
1019         for (i = 0; i < ARRAY_SIZE (BOOLEAN_PREFIX_EXTERNAL); i++) {
1020             prefix_t *prefix = &BOOLEAN_PREFIX_EXTERNAL[i];
1021             notmuch->query_parser->add_boolean_prefix (prefix->name,
1022                                                        prefix->prefix);
1023         }
1024
1025         for (i = 0; i < ARRAY_SIZE (PROBABILISTIC_PREFIX); i++) {
1026             prefix_t *prefix = &PROBABILISTIC_PREFIX[i];
1027             notmuch->query_parser->add_prefix (prefix->name, prefix->prefix);
1028         }
1029     } catch (const Xapian::Error &error) {
1030         IGNORE_RESULT (asprintf (&message, "A Xapian exception occurred opening database: %s\n",
1031                                  error.get_msg().c_str()));
1032         notmuch_database_destroy (notmuch);
1033         notmuch = NULL;
1034         status = NOTMUCH_STATUS_XAPIAN_EXCEPTION;
1035     }
1036
1037   DONE:
1038     talloc_free (local);
1039
1040     if (message) {
1041         if (status_string)
1042             *status_string = message;
1043         else
1044             free (message);
1045     }
1046
1047     if (database)
1048         *database = notmuch;
1049     else
1050         talloc_free (notmuch);
1051     return status;
1052 }
1053
1054 notmuch_status_t
1055 notmuch_database_close (notmuch_database_t *notmuch)
1056 {
1057     notmuch_status_t status = NOTMUCH_STATUS_SUCCESS;
1058
1059     /* Many Xapian objects (and thus notmuch objects) hold references to
1060      * the database, so merely deleting the database may not suffice to
1061      * close it.  Thus, we explicitly close it here. */
1062     if (notmuch->xapian_db != NULL) {
1063         try {
1064             /* If there's an outstanding transaction, it's unclear if
1065              * closing the Xapian database commits everything up to
1066              * that transaction, or may discard committed (but
1067              * unflushed) transactions.  To be certain, explicitly
1068              * cancel any outstanding transaction before closing. */
1069             if (notmuch->mode == NOTMUCH_DATABASE_MODE_READ_WRITE &&
1070                 notmuch->atomic_nesting)
1071                 (static_cast <Xapian::WritableDatabase *> (notmuch->xapian_db))
1072                     ->cancel_transaction ();
1073
1074             /* Close the database.  This implicitly flushes
1075              * outstanding changes. */
1076             notmuch->xapian_db->close();
1077         } catch (const Xapian::Error &error) {
1078             status = NOTMUCH_STATUS_XAPIAN_EXCEPTION;
1079             if (! notmuch->exception_reported) {
1080                 _notmuch_database_log (notmuch, "Error: A Xapian exception occurred closing database: %s\n",
1081                          error.get_msg().c_str());
1082             }
1083         }
1084     }
1085
1086     delete notmuch->term_gen;
1087     notmuch->term_gen = NULL;
1088     delete notmuch->query_parser;
1089     notmuch->query_parser = NULL;
1090     delete notmuch->xapian_db;
1091     notmuch->xapian_db = NULL;
1092     delete notmuch->value_range_processor;
1093     notmuch->value_range_processor = NULL;
1094     delete notmuch->date_range_processor;
1095     notmuch->date_range_processor = NULL;
1096     delete notmuch->last_mod_range_processor;
1097     notmuch->last_mod_range_processor = NULL;
1098
1099     return status;
1100 }
1101
1102 #if HAVE_XAPIAN_COMPACT
1103 static int
1104 unlink_cb (const char *path,
1105            unused (const struct stat *sb),
1106            unused (int type),
1107            unused (struct FTW *ftw))
1108 {
1109     return remove (path);
1110 }
1111
1112 static int
1113 rmtree (const char *path)
1114 {
1115     return nftw (path, unlink_cb, 64, FTW_DEPTH | FTW_PHYS);
1116 }
1117
1118 class NotmuchCompactor : public Xapian::Compactor
1119 {
1120     notmuch_compact_status_cb_t status_cb;
1121     void *status_closure;
1122
1123 public:
1124     NotmuchCompactor(notmuch_compact_status_cb_t cb, void *closure) :
1125         status_cb (cb), status_closure (closure) { }
1126
1127     virtual void
1128     set_status (const std::string &table, const std::string &status)
1129     {
1130         char *msg;
1131
1132         if (status_cb == NULL)
1133             return;
1134
1135         if (status.length () == 0)
1136             msg = talloc_asprintf (NULL, "compacting table %s", table.c_str());
1137         else
1138             msg = talloc_asprintf (NULL, "     %s", status.c_str());
1139
1140         if (msg == NULL) {
1141             return;
1142         }
1143
1144         status_cb (msg, status_closure);
1145         talloc_free (msg);
1146     }
1147 };
1148
1149 /* Compacts the given database, optionally saving the original database
1150  * in backup_path. Additionally, a callback function can be provided to
1151  * give the user feedback on the progress of the (likely long-lived)
1152  * compaction process.
1153  *
1154  * The backup path must point to a directory on the same volume as the
1155  * original database. Passing a NULL backup_path will result in the
1156  * uncompacted database being deleted after compaction has finished.
1157  * Note that the database write lock will be held during the
1158  * compaction process to protect data integrity.
1159  */
1160 notmuch_status_t
1161 notmuch_database_compact (const char *path,
1162                           const char *backup_path,
1163                           notmuch_compact_status_cb_t status_cb,
1164                           void *closure)
1165 {
1166     void *local;
1167     char *notmuch_path, *xapian_path, *compact_xapian_path;
1168     notmuch_status_t ret = NOTMUCH_STATUS_SUCCESS;
1169     notmuch_database_t *notmuch = NULL;
1170     struct stat statbuf;
1171     notmuch_bool_t keep_backup;
1172     char *message = NULL;
1173
1174     local = talloc_new (NULL);
1175     if (! local)
1176         return NOTMUCH_STATUS_OUT_OF_MEMORY;
1177
1178     ret = notmuch_database_open_verbose (path,
1179                                          NOTMUCH_DATABASE_MODE_READ_WRITE,
1180                                          &notmuch,
1181                                          &message);
1182     if (ret) {
1183         if (status_cb) status_cb (message, closure);
1184         goto DONE;
1185     }
1186
1187     if (! (notmuch_path = talloc_asprintf (local, "%s/%s", path, ".notmuch"))) {
1188         ret = NOTMUCH_STATUS_OUT_OF_MEMORY;
1189         goto DONE;
1190     }
1191
1192     if (! (xapian_path = talloc_asprintf (local, "%s/%s", notmuch_path, "xapian"))) {
1193         ret = NOTMUCH_STATUS_OUT_OF_MEMORY;
1194         goto DONE;
1195     }
1196
1197     if (! (compact_xapian_path = talloc_asprintf (local, "%s.compact", xapian_path))) {
1198         ret = NOTMUCH_STATUS_OUT_OF_MEMORY;
1199         goto DONE;
1200     }
1201
1202     if (backup_path == NULL) {
1203         if (! (backup_path = talloc_asprintf (local, "%s.old", xapian_path))) {
1204             ret = NOTMUCH_STATUS_OUT_OF_MEMORY;
1205             goto DONE;
1206         }
1207         keep_backup = FALSE;
1208     }
1209     else {
1210         keep_backup = TRUE;
1211     }
1212
1213     if (stat (backup_path, &statbuf) != -1) {
1214         _notmuch_database_log (notmuch, "Path already exists: %s\n", backup_path);
1215         ret = NOTMUCH_STATUS_FILE_ERROR;
1216         goto DONE;
1217     }
1218     if (errno != ENOENT) {
1219         _notmuch_database_log (notmuch, "Unknown error while stat()ing path: %s\n",
1220                  strerror (errno));
1221         ret = NOTMUCH_STATUS_FILE_ERROR;
1222         goto DONE;
1223     }
1224
1225     /* Unconditionally attempt to remove old work-in-progress database (if
1226      * any). This is "protected" by database lock. If this fails due to write
1227      * errors (etc), the following code will fail and provide error message.
1228      */
1229     (void) rmtree (compact_xapian_path);
1230
1231     try {
1232         NotmuchCompactor compactor (status_cb, closure);
1233
1234         compactor.set_renumber (false);
1235         compactor.add_source (xapian_path);
1236         compactor.set_destdir (compact_xapian_path);
1237         compactor.compact ();
1238     } catch (const Xapian::Error &error) {
1239         _notmuch_database_log (notmuch, "Error while compacting: %s\n", error.get_msg().c_str());
1240         ret = NOTMUCH_STATUS_XAPIAN_EXCEPTION;
1241         goto DONE;
1242     }
1243
1244     if (rename (xapian_path, backup_path)) {
1245         _notmuch_database_log (notmuch, "Error moving %s to %s: %s\n",
1246                  xapian_path, backup_path, strerror (errno));
1247         ret = NOTMUCH_STATUS_FILE_ERROR;
1248         goto DONE;
1249     }
1250
1251     if (rename (compact_xapian_path, xapian_path)) {
1252         _notmuch_database_log (notmuch, "Error moving %s to %s: %s\n",
1253                  compact_xapian_path, xapian_path, strerror (errno));
1254         ret = NOTMUCH_STATUS_FILE_ERROR;
1255         goto DONE;
1256     }
1257
1258     if (! keep_backup) {
1259         if (rmtree (backup_path)) {
1260             _notmuch_database_log (notmuch, "Error removing old database %s: %s\n",
1261                      backup_path, strerror (errno));
1262             ret = NOTMUCH_STATUS_FILE_ERROR;
1263             goto DONE;
1264         }
1265     }
1266
1267   DONE:
1268     if (notmuch) {
1269         notmuch_status_t ret2;
1270
1271         const char *str = notmuch_database_status_string (notmuch);
1272         if (status_cb && str)
1273             status_cb (str, closure);
1274
1275         ret2 = notmuch_database_destroy (notmuch);
1276
1277         /* don't clobber previous error status */
1278         if (ret == NOTMUCH_STATUS_SUCCESS && ret2 != NOTMUCH_STATUS_SUCCESS)
1279             ret = ret2;
1280     }
1281
1282     talloc_free (local);
1283
1284     return ret;
1285 }
1286 #else
1287 notmuch_status_t
1288 notmuch_database_compact (unused (const char *path),
1289                           unused (const char *backup_path),
1290                           unused (notmuch_compact_status_cb_t status_cb),
1291                           unused (void *closure))
1292 {
1293     _notmuch_database_log (notmuch, "notmuch was compiled against a xapian version lacking compaction support.\n");
1294     return NOTMUCH_STATUS_UNSUPPORTED_OPERATION;
1295 }
1296 #endif
1297
1298 notmuch_status_t
1299 notmuch_database_destroy (notmuch_database_t *notmuch)
1300 {
1301     notmuch_status_t status;
1302
1303     status = notmuch_database_close (notmuch);
1304     talloc_free (notmuch);
1305
1306     return status;
1307 }
1308
1309 const char *
1310 notmuch_database_get_path (notmuch_database_t *notmuch)
1311 {
1312     return notmuch->path;
1313 }
1314
1315 unsigned int
1316 notmuch_database_get_version (notmuch_database_t *notmuch)
1317 {
1318     unsigned int version;
1319     string version_string;
1320     const char *str;
1321     char *end;
1322
1323     version_string = notmuch->xapian_db->get_metadata ("version");
1324     if (version_string.empty ())
1325         return 0;
1326
1327     str = version_string.c_str ();
1328     if (str == NULL || *str == '\0')
1329         return 0;
1330
1331     version = strtoul (str, &end, 10);
1332     if (*end != '\0')
1333         INTERNAL_ERROR ("Malformed database version: %s", str);
1334
1335     return version;
1336 }
1337
1338 notmuch_bool_t
1339 notmuch_database_needs_upgrade (notmuch_database_t *notmuch)
1340 {
1341     return notmuch->mode == NOTMUCH_DATABASE_MODE_READ_WRITE &&
1342         ((NOTMUCH_FEATURES_CURRENT & ~notmuch->features) ||
1343          (notmuch_database_get_version (notmuch) < NOTMUCH_DATABASE_VERSION));
1344 }
1345
1346 static volatile sig_atomic_t do_progress_notify = 0;
1347
1348 static void
1349 handle_sigalrm (unused (int signal))
1350 {
1351     do_progress_notify = 1;
1352 }
1353
1354 /* Upgrade the current database.
1355  *
1356  * After opening a database in read-write mode, the client should
1357  * check if an upgrade is needed (notmuch_database_needs_upgrade) and
1358  * if so, upgrade with this function before making any modifications.
1359  *
1360  * The optional progress_notify callback can be used by the caller to
1361  * provide progress indication to the user. If non-NULL it will be
1362  * called periodically with 'count' as the number of messages upgraded
1363  * so far and 'total' the overall number of messages that will be
1364  * converted.
1365  */
1366 notmuch_status_t
1367 notmuch_database_upgrade (notmuch_database_t *notmuch,
1368                           void (*progress_notify) (void *closure,
1369                                                    double progress),
1370                           void *closure)
1371 {
1372     void *local = talloc_new (NULL);
1373     Xapian::TermIterator t, t_end;
1374     Xapian::WritableDatabase *db;
1375     struct sigaction action;
1376     struct itimerval timerval;
1377     notmuch_bool_t timer_is_active = FALSE;
1378     enum _notmuch_features target_features, new_features;
1379     notmuch_status_t status;
1380     notmuch_private_status_t private_status;
1381     notmuch_query_t *query = NULL;
1382     unsigned int count = 0, total = 0;
1383
1384     status = _notmuch_database_ensure_writable (notmuch);
1385     if (status)
1386         return status;
1387
1388     db = static_cast <Xapian::WritableDatabase *> (notmuch->xapian_db);
1389
1390     target_features = notmuch->features | NOTMUCH_FEATURES_CURRENT;
1391     new_features = NOTMUCH_FEATURES_CURRENT & ~notmuch->features;
1392
1393     if (! notmuch_database_needs_upgrade (notmuch))
1394         return NOTMUCH_STATUS_SUCCESS;
1395
1396     if (progress_notify) {
1397         /* Set up our handler for SIGALRM */
1398         memset (&action, 0, sizeof (struct sigaction));
1399         action.sa_handler = handle_sigalrm;
1400         sigemptyset (&action.sa_mask);
1401         action.sa_flags = SA_RESTART;
1402         sigaction (SIGALRM, &action, NULL);
1403
1404         /* Then start a timer to send SIGALRM once per second. */
1405         timerval.it_interval.tv_sec = 1;
1406         timerval.it_interval.tv_usec = 0;
1407         timerval.it_value.tv_sec = 1;
1408         timerval.it_value.tv_usec = 0;
1409         setitimer (ITIMER_REAL, &timerval, NULL);
1410
1411         timer_is_active = TRUE;
1412     }
1413
1414     /* Figure out how much total work we need to do. */
1415     if (new_features &
1416         (NOTMUCH_FEATURE_FILE_TERMS | NOTMUCH_FEATURE_BOOL_FOLDER |
1417          NOTMUCH_FEATURE_LAST_MOD)) {
1418         query = notmuch_query_create (notmuch, "");
1419         unsigned msg_count;
1420
1421         status = notmuch_query_count_messages_st (query, &msg_count);
1422         if (status)
1423             goto DONE;
1424
1425         total += msg_count;
1426         notmuch_query_destroy (query);
1427         query = NULL;
1428     }
1429     if (new_features & NOTMUCH_FEATURE_DIRECTORY_DOCS) {
1430         t_end = db->allterms_end ("XTIMESTAMP");
1431         for (t = db->allterms_begin ("XTIMESTAMP"); t != t_end; t++)
1432             ++total;
1433     }
1434     if (new_features & NOTMUCH_FEATURE_GHOSTS) {
1435         /* The ghost message upgrade converts all thread_id_*
1436          * metadata values into ghost message documents. */
1437         t_end = db->metadata_keys_end ("thread_id_");
1438         for (t = db->metadata_keys_begin ("thread_id_"); t != t_end; ++t)
1439             ++total;
1440     }
1441
1442     /* Perform the upgrade in a transaction. */
1443     db->begin_transaction (true);
1444
1445     /* Set the target features so we write out changes in the desired
1446      * format. */
1447     notmuch->features = target_features;
1448
1449     /* Perform per-message upgrades. */
1450     if (new_features &
1451         (NOTMUCH_FEATURE_FILE_TERMS | NOTMUCH_FEATURE_BOOL_FOLDER |
1452          NOTMUCH_FEATURE_LAST_MOD)) {
1453         notmuch_messages_t *messages;
1454         notmuch_message_t *message;
1455         char *filename;
1456
1457         query = notmuch_query_create (notmuch, "");
1458
1459         status = notmuch_query_search_messages_st (query, &messages);
1460         if (status)
1461             goto DONE;
1462         for (;
1463              notmuch_messages_valid (messages);
1464              notmuch_messages_move_to_next (messages))
1465         {
1466             if (do_progress_notify) {
1467                 progress_notify (closure, (double) count / total);
1468                 do_progress_notify = 0;
1469             }
1470
1471             message = notmuch_messages_get (messages);
1472
1473             /* Before version 1, each message document had its
1474              * filename in the data field. Copy that into the new
1475              * format by calling notmuch_message_add_filename.
1476              */
1477             if (new_features & NOTMUCH_FEATURE_FILE_TERMS) {
1478                 filename = _notmuch_message_talloc_copy_data (message);
1479                 if (filename && *filename != '\0') {
1480                     _notmuch_message_add_filename (message, filename);
1481                     _notmuch_message_clear_data (message);
1482                 }
1483                 talloc_free (filename);
1484             }
1485
1486             /* Prior to version 2, the "folder:" prefix was
1487              * probabilistic and stemmed. Change it to the current
1488              * boolean prefix. Add "path:" prefixes while at it.
1489              */
1490             if (new_features & NOTMUCH_FEATURE_BOOL_FOLDER)
1491                 _notmuch_message_upgrade_folder (message);
1492
1493             /* Prior to NOTMUCH_FEATURE_LAST_MOD, messages did not
1494              * track modification revisions.  Give all messages the
1495              * next available revision; since we just started tracking
1496              * revisions for this database, that will be 1.
1497              */
1498             if (new_features & NOTMUCH_FEATURE_LAST_MOD)
1499                 _notmuch_message_upgrade_last_mod (message);
1500
1501             _notmuch_message_sync (message);
1502
1503             notmuch_message_destroy (message);
1504
1505             count++;
1506         }
1507
1508         notmuch_query_destroy (query);
1509         query = NULL;
1510     }
1511
1512     /* Perform per-directory upgrades. */
1513
1514     /* Before version 1 we stored directory timestamps in
1515      * XTIMESTAMP documents instead of the current XDIRECTORY
1516      * documents. So copy those as well. */
1517     if (new_features & NOTMUCH_FEATURE_DIRECTORY_DOCS) {
1518         t_end = notmuch->xapian_db->allterms_end ("XTIMESTAMP");
1519
1520         for (t = notmuch->xapian_db->allterms_begin ("XTIMESTAMP");
1521              t != t_end;
1522              t++)
1523         {
1524             Xapian::PostingIterator p, p_end;
1525             std::string term = *t;
1526
1527             p_end = notmuch->xapian_db->postlist_end (term);
1528
1529             for (p = notmuch->xapian_db->postlist_begin (term);
1530                  p != p_end;
1531                  p++)
1532             {
1533                 Xapian::Document document;
1534                 time_t mtime;
1535                 notmuch_directory_t *directory;
1536
1537                 if (do_progress_notify) {
1538                     progress_notify (closure, (double) count / total);
1539                     do_progress_notify = 0;
1540                 }
1541
1542                 document = find_document_for_doc_id (notmuch, *p);
1543                 mtime = Xapian::sortable_unserialise (
1544                     document.get_value (NOTMUCH_VALUE_TIMESTAMP));
1545
1546                 directory = _notmuch_directory_create (notmuch, term.c_str() + 10,
1547                                                        NOTMUCH_FIND_CREATE, &status);
1548                 notmuch_directory_set_mtime (directory, mtime);
1549                 notmuch_directory_destroy (directory);
1550
1551                 db->delete_document (*p);
1552             }
1553
1554             ++count;
1555         }
1556     }
1557
1558     /* Perform metadata upgrades. */
1559
1560     /* Prior to NOTMUCH_FEATURE_GHOSTS, thread IDs for missing
1561      * messages were stored as database metadata. Change these to
1562      * ghost messages.
1563      */
1564     if (new_features & NOTMUCH_FEATURE_GHOSTS) {
1565         notmuch_message_t *message;
1566         std::string message_id, thread_id;
1567
1568         t_end = db->metadata_keys_end (NOTMUCH_METADATA_THREAD_ID_PREFIX);
1569         for (t = db->metadata_keys_begin (NOTMUCH_METADATA_THREAD_ID_PREFIX);
1570              t != t_end; ++t) {
1571             if (do_progress_notify) {
1572                 progress_notify (closure, (double) count / total);
1573                 do_progress_notify = 0;
1574             }
1575
1576             message_id = (*t).substr (
1577                 strlen (NOTMUCH_METADATA_THREAD_ID_PREFIX));
1578             thread_id = db->get_metadata (*t);
1579
1580             /* Create ghost message */
1581             message = _notmuch_message_create_for_message_id (
1582                 notmuch, message_id.c_str (), &private_status);
1583             if (private_status == NOTMUCH_PRIVATE_STATUS_SUCCESS) {
1584                 /* Document already exists; ignore the stored thread ID */
1585             } else if (private_status ==
1586                        NOTMUCH_PRIVATE_STATUS_NO_DOCUMENT_FOUND) {
1587                 private_status = _notmuch_message_initialize_ghost (
1588                     message, thread_id.c_str ());
1589                 if (! private_status)
1590                     _notmuch_message_sync (message);
1591             }
1592
1593             if (private_status) {
1594                 _notmuch_database_log (notmuch,
1595                          "Upgrade failed while creating ghost messages.\n");
1596                 status = COERCE_STATUS (private_status, "Unexpected status from _notmuch_message_initialize_ghost");
1597                 goto DONE;
1598             }
1599
1600             /* Clear saved metadata thread ID */
1601             db->set_metadata (*t, "");
1602
1603             ++count;
1604         }
1605     }
1606
1607     status = NOTMUCH_STATUS_SUCCESS;
1608     db->set_metadata ("features", _print_features (local, notmuch->features));
1609     db->set_metadata ("version", STRINGIFY (NOTMUCH_DATABASE_VERSION));
1610
1611  DONE:
1612     if (status == NOTMUCH_STATUS_SUCCESS)
1613         db->commit_transaction ();
1614     else
1615         db->cancel_transaction ();
1616
1617     if (timer_is_active) {
1618         /* Now stop the timer. */
1619         timerval.it_interval.tv_sec = 0;
1620         timerval.it_interval.tv_usec = 0;
1621         timerval.it_value.tv_sec = 0;
1622         timerval.it_value.tv_usec = 0;
1623         setitimer (ITIMER_REAL, &timerval, NULL);
1624
1625         /* And disable the signal handler. */
1626         action.sa_handler = SIG_IGN;
1627         sigaction (SIGALRM, &action, NULL);
1628     }
1629
1630     if (query)
1631         notmuch_query_destroy (query);
1632
1633     talloc_free (local);
1634     return status;
1635 }
1636
1637 notmuch_status_t
1638 notmuch_database_begin_atomic (notmuch_database_t *notmuch)
1639 {
1640     if (notmuch->mode == NOTMUCH_DATABASE_MODE_READ_ONLY ||
1641         notmuch->atomic_nesting > 0)
1642         goto DONE;
1643
1644         if (notmuch_database_needs_upgrade(notmuch))
1645                 return NOTMUCH_STATUS_UPGRADE_REQUIRED;
1646
1647     try {
1648         (static_cast <Xapian::WritableDatabase *> (notmuch->xapian_db))->begin_transaction (false);
1649     } catch (const Xapian::Error &error) {
1650         _notmuch_database_log (notmuch, "A Xapian exception occurred beginning transaction: %s.\n",
1651                  error.get_msg().c_str());
1652         notmuch->exception_reported = TRUE;
1653         return NOTMUCH_STATUS_XAPIAN_EXCEPTION;
1654     }
1655
1656 DONE:
1657     notmuch->atomic_nesting++;
1658     return NOTMUCH_STATUS_SUCCESS;
1659 }
1660
1661 notmuch_status_t
1662 notmuch_database_end_atomic (notmuch_database_t *notmuch)
1663 {
1664     Xapian::WritableDatabase *db;
1665
1666     if (notmuch->atomic_nesting == 0)
1667         return NOTMUCH_STATUS_UNBALANCED_ATOMIC;
1668
1669     if (notmuch->mode == NOTMUCH_DATABASE_MODE_READ_ONLY ||
1670         notmuch->atomic_nesting > 1)
1671         goto DONE;
1672
1673     db = static_cast <Xapian::WritableDatabase *> (notmuch->xapian_db);
1674     try {
1675         db->commit_transaction ();
1676
1677         /* This is a hack for testing.  Xapian never flushes on a
1678          * non-flushed commit, even if the flush threshold is 1.
1679          * However, we rely on flushing to test atomicity. */
1680         const char *thresh = getenv ("XAPIAN_FLUSH_THRESHOLD");
1681         if (thresh && atoi (thresh) == 1)
1682             db->flush ();
1683     } catch (const Xapian::Error &error) {
1684         _notmuch_database_log (notmuch, "A Xapian exception occurred committing transaction: %s.\n",
1685                  error.get_msg().c_str());
1686         notmuch->exception_reported = TRUE;
1687         return NOTMUCH_STATUS_XAPIAN_EXCEPTION;
1688     }
1689
1690     if (notmuch->atomic_dirty) {
1691         ++notmuch->revision;
1692         notmuch->atomic_dirty = FALSE;
1693     }
1694
1695 DONE:
1696     notmuch->atomic_nesting--;
1697     return NOTMUCH_STATUS_SUCCESS;
1698 }
1699
1700 unsigned long
1701 notmuch_database_get_revision (notmuch_database_t *notmuch,
1702                                 const char **uuid)
1703 {
1704     if (uuid)
1705         *uuid = notmuch->uuid;
1706     return notmuch->revision;
1707 }
1708
1709 /* We allow the user to use arbitrarily long paths for directories. But
1710  * we have a term-length limit. So if we exceed that, we'll use the
1711  * SHA-1 of the path for the database term.
1712  *
1713  * Note: This function may return the original value of 'path'. If it
1714  * does not, then the caller is responsible to free() the returned
1715  * value.
1716  */
1717 const char *
1718 _notmuch_database_get_directory_db_path (const char *path)
1719 {
1720     int term_len = strlen (_find_prefix ("directory")) + strlen (path);
1721
1722     if (term_len > NOTMUCH_TERM_MAX)
1723         return _notmuch_sha1_of_string (path);
1724     else
1725         return path;
1726 }
1727
1728 /* Given a path, split it into two parts: the directory part is all
1729  * components except for the last, and the basename is that last
1730  * component. Getting the return-value for either part is optional
1731  * (the caller can pass NULL).
1732  *
1733  * The original 'path' can represent either a regular file or a
1734  * directory---the splitting will be carried out in the same way in
1735  * either case. Trailing slashes on 'path' will be ignored, and any
1736  * cases of multiple '/' characters appearing in series will be
1737  * treated as a single '/'.
1738  *
1739  * Allocation (if any) will have 'ctx' as the talloc owner. But
1740  * pointers will be returned within the original path string whenever
1741  * possible.
1742  *
1743  * Note: If 'path' is non-empty and contains no non-trailing slash,
1744  * (that is, consists of a filename with no parent directory), then
1745  * the directory returned will be an empty string. However, if 'path'
1746  * is an empty string, then both directory and basename will be
1747  * returned as NULL.
1748  */
1749 notmuch_status_t
1750 _notmuch_database_split_path (void *ctx,
1751                               const char *path,
1752                               const char **directory,
1753                               const char **basename)
1754 {
1755     const char *slash;
1756
1757     if (path == NULL || *path == '\0') {
1758         if (directory)
1759             *directory = NULL;
1760         if (basename)
1761             *basename = NULL;
1762         return NOTMUCH_STATUS_SUCCESS;
1763     }
1764
1765     /* Find the last slash (not counting a trailing slash), if any. */
1766
1767     slash = path + strlen (path) - 1;
1768
1769     /* First, skip trailing slashes. */
1770     while (slash != path && *slash == '/')
1771         --slash;
1772
1773     /* Then, find a slash. */
1774     while (slash != path && *slash != '/') {
1775         if (basename)
1776             *basename = slash;
1777
1778         --slash;
1779     }
1780
1781     /* Finally, skip multiple slashes. */
1782     while (slash != path && *(slash - 1) == '/')
1783         --slash;
1784
1785     if (slash == path) {
1786         if (directory)
1787             *directory = talloc_strdup (ctx, "");
1788         if (basename)
1789             *basename = path;
1790     } else {
1791         if (directory)
1792             *directory = talloc_strndup (ctx, path, slash - path);
1793     }
1794
1795     return NOTMUCH_STATUS_SUCCESS;
1796 }
1797
1798 /* Find the document ID of the specified directory.
1799  *
1800  * If (flags & NOTMUCH_FIND_CREATE), a new directory document will be
1801  * created if one does not exist for 'path'.  Otherwise, if the
1802  * directory document does not exist, this sets *directory_id to
1803  * ((unsigned int)-1) and returns NOTMUCH_STATUS_SUCCESS.
1804  */
1805 notmuch_status_t
1806 _notmuch_database_find_directory_id (notmuch_database_t *notmuch,
1807                                      const char *path,
1808                                      notmuch_find_flags_t flags,
1809                                      unsigned int *directory_id)
1810 {
1811     notmuch_directory_t *directory;
1812     notmuch_status_t status;
1813
1814     if (path == NULL) {
1815         *directory_id = 0;
1816         return NOTMUCH_STATUS_SUCCESS;
1817     }
1818
1819     directory = _notmuch_directory_create (notmuch, path, flags, &status);
1820     if (status || !directory) {
1821         *directory_id = -1;
1822         return status;
1823     }
1824
1825     *directory_id = _notmuch_directory_get_document_id (directory);
1826
1827     notmuch_directory_destroy (directory);
1828
1829     return NOTMUCH_STATUS_SUCCESS;
1830 }
1831
1832 const char *
1833 _notmuch_database_get_directory_path (void *ctx,
1834                                       notmuch_database_t *notmuch,
1835                                       unsigned int doc_id)
1836 {
1837     Xapian::Document document;
1838
1839     document = find_document_for_doc_id (notmuch, doc_id);
1840
1841     return talloc_strdup (ctx, document.get_data ().c_str ());
1842 }
1843
1844 /* Given a legal 'filename' for the database, (either relative to
1845  * database path or absolute with initial components identical to
1846  * database path), return a new string (with 'ctx' as the talloc
1847  * owner) suitable for use as a direntry term value.
1848  *
1849  * If (flags & NOTMUCH_FIND_CREATE), the necessary directory documents
1850  * will be created in the database as needed.  Otherwise, if the
1851  * necessary directory documents do not exist, this sets
1852  * *direntry to NULL and returns NOTMUCH_STATUS_SUCCESS.
1853  */
1854 notmuch_status_t
1855 _notmuch_database_filename_to_direntry (void *ctx,
1856                                         notmuch_database_t *notmuch,
1857                                         const char *filename,
1858                                         notmuch_find_flags_t flags,
1859                                         char **direntry)
1860 {
1861     const char *relative, *directory, *basename;
1862     Xapian::docid directory_id;
1863     notmuch_status_t status;
1864
1865     relative = _notmuch_database_relative_path (notmuch, filename);
1866
1867     status = _notmuch_database_split_path (ctx, relative,
1868                                            &directory, &basename);
1869     if (status)
1870         return status;
1871
1872     status = _notmuch_database_find_directory_id (notmuch, directory, flags,
1873                                                   &directory_id);
1874     if (status || directory_id == (unsigned int)-1) {
1875         *direntry = NULL;
1876         return status;
1877     }
1878
1879     *direntry = talloc_asprintf (ctx, "%u:%s", directory_id, basename);
1880
1881     return NOTMUCH_STATUS_SUCCESS;
1882 }
1883
1884 /* Given a legal 'path' for the database, return the relative path.
1885  *
1886  * The return value will be a pointer to the original path contents,
1887  * and will be either the original string (if 'path' was relative) or
1888  * a portion of the string (if path was absolute and begins with the
1889  * database path).
1890  */
1891 const char *
1892 _notmuch_database_relative_path (notmuch_database_t *notmuch,
1893                                  const char *path)
1894 {
1895     const char *db_path, *relative;
1896     unsigned int db_path_len;
1897
1898     db_path = notmuch_database_get_path (notmuch);
1899     db_path_len = strlen (db_path);
1900
1901     relative = path;
1902
1903     if (*relative == '/') {
1904         while (*relative == '/' && *(relative+1) == '/')
1905             relative++;
1906
1907         if (strncmp (relative, db_path, db_path_len) == 0)
1908         {
1909             relative += db_path_len;
1910             while (*relative == '/')
1911                 relative++;
1912         }
1913     }
1914
1915     return relative;
1916 }
1917
1918 notmuch_status_t
1919 notmuch_database_get_directory (notmuch_database_t *notmuch,
1920                                 const char *path,
1921                                 notmuch_directory_t **directory)
1922 {
1923     notmuch_status_t status;
1924
1925     if (directory == NULL)
1926         return NOTMUCH_STATUS_NULL_POINTER;
1927     *directory = NULL;
1928
1929     try {
1930         *directory = _notmuch_directory_create (notmuch, path,
1931                                                 NOTMUCH_FIND_LOOKUP, &status);
1932     } catch (const Xapian::Error &error) {
1933         _notmuch_database_log (notmuch, "A Xapian exception occurred getting directory: %s.\n",
1934                  error.get_msg().c_str());
1935         notmuch->exception_reported = TRUE;
1936         status = NOTMUCH_STATUS_XAPIAN_EXCEPTION;
1937     }
1938     return status;
1939 }
1940
1941 /* Allocate a document ID that satisfies the following criteria:
1942  *
1943  * 1. The ID does not exist for any document in the Xapian database
1944  *
1945  * 2. The ID was not previously returned from this function
1946  *
1947  * 3. The ID is the smallest integer satisfying (1) and (2)
1948  *
1949  * This function will trigger an internal error if these constraints
1950  * cannot all be satisfied, (that is, the pool of available document
1951  * IDs has been exhausted).
1952  */
1953 unsigned int
1954 _notmuch_database_generate_doc_id (notmuch_database_t *notmuch)
1955 {
1956     assert (notmuch->last_doc_id >= notmuch->xapian_db->get_lastdocid ());
1957
1958     notmuch->last_doc_id++;
1959
1960     if (notmuch->last_doc_id == 0)
1961         INTERNAL_ERROR ("Xapian document IDs are exhausted.\n");
1962
1963     return notmuch->last_doc_id;
1964 }
1965
1966 static const char *
1967 _notmuch_database_generate_thread_id (notmuch_database_t *notmuch)
1968 {
1969     /* 16 bytes (+ terminator) for hexadecimal representation of
1970      * a 64-bit integer. */
1971     static char thread_id[17];
1972     Xapian::WritableDatabase *db;
1973
1974     db = static_cast <Xapian::WritableDatabase *> (notmuch->xapian_db);
1975
1976     notmuch->last_thread_id++;
1977
1978     sprintf (thread_id, "%016" PRIx64, notmuch->last_thread_id);
1979
1980     db->set_metadata ("last_thread_id", thread_id);
1981
1982     return thread_id;
1983 }
1984
1985 static char *
1986 _get_metadata_thread_id_key (void *ctx, const char *message_id)
1987 {
1988     if (strlen (message_id) > NOTMUCH_MESSAGE_ID_MAX)
1989         message_id = _notmuch_message_id_compressed (ctx, message_id);
1990
1991     return talloc_asprintf (ctx, NOTMUCH_METADATA_THREAD_ID_PREFIX "%s",
1992                             message_id);
1993 }
1994
1995 static notmuch_status_t
1996 _resolve_message_id_to_thread_id_old (notmuch_database_t *notmuch,
1997                                       void *ctx,
1998                                       const char *message_id,
1999                                       const char **thread_id_ret);
2000
2001 /* Find the thread ID to which the message with 'message_id' belongs.
2002  *
2003  * Note: 'thread_id_ret' must not be NULL!
2004  * On success '*thread_id_ret' is set to a newly talloced string belonging to
2005  * 'ctx'.
2006  *
2007  * Note: If there is no message in the database with the given
2008  * 'message_id' then a new thread_id will be allocated for this
2009  * message ID and stored in the database metadata so that the
2010  * thread ID can be looked up if the message is added to the database
2011  * later.
2012  */
2013 static notmuch_status_t
2014 _resolve_message_id_to_thread_id (notmuch_database_t *notmuch,
2015                                   void *ctx,
2016                                   const char *message_id,
2017                                   const char **thread_id_ret)
2018 {
2019     notmuch_private_status_t status;
2020     notmuch_message_t *message;
2021
2022     if (! (notmuch->features & NOTMUCH_FEATURE_GHOSTS))
2023         return _resolve_message_id_to_thread_id_old (notmuch, ctx, message_id,
2024                                                      thread_id_ret);
2025
2026     /* Look for this message (regular or ghost) */
2027     message = _notmuch_message_create_for_message_id (
2028         notmuch, message_id, &status);
2029     if (status == NOTMUCH_PRIVATE_STATUS_SUCCESS) {
2030         /* Message exists */
2031         *thread_id_ret = talloc_steal (
2032             ctx, notmuch_message_get_thread_id (message));
2033     } else if (status == NOTMUCH_PRIVATE_STATUS_NO_DOCUMENT_FOUND) {
2034         /* Message did not exist.  Give it a fresh thread ID and
2035          * populate this message as a ghost message. */
2036         *thread_id_ret = talloc_strdup (
2037             ctx, _notmuch_database_generate_thread_id (notmuch));
2038         if (! *thread_id_ret) {
2039             status = NOTMUCH_PRIVATE_STATUS_OUT_OF_MEMORY;
2040         } else {
2041             status = _notmuch_message_initialize_ghost (message, *thread_id_ret);
2042             if (status == 0)
2043                 /* Commit the new ghost message */
2044                 _notmuch_message_sync (message);
2045         }
2046     } else {
2047         /* Create failed. Fall through. */
2048     }
2049
2050     notmuch_message_destroy (message);
2051
2052     return COERCE_STATUS (status, "Error creating ghost message");
2053 }
2054
2055 /* Pre-ghost messages _resolve_message_id_to_thread_id */
2056 static notmuch_status_t
2057 _resolve_message_id_to_thread_id_old (notmuch_database_t *notmuch,
2058                                       void *ctx,
2059                                       const char *message_id,
2060                                       const char **thread_id_ret)
2061 {
2062     notmuch_status_t status;
2063     notmuch_message_t *message;
2064     string thread_id_string;
2065     char *metadata_key;
2066     Xapian::WritableDatabase *db;
2067
2068     status = notmuch_database_find_message (notmuch, message_id, &message);
2069
2070     if (status)
2071         return status;
2072
2073     if (message) {
2074         *thread_id_ret = talloc_steal (ctx,
2075                                        notmuch_message_get_thread_id (message));
2076
2077         notmuch_message_destroy (message);
2078
2079         return NOTMUCH_STATUS_SUCCESS;
2080     }
2081
2082     /* Message has not been seen yet.
2083      *
2084      * We may have seen a reference to it already, in which case, we
2085      * can return the thread ID stored in the metadata. Otherwise, we
2086      * generate a new thread ID and store it there.
2087      */
2088     db = static_cast <Xapian::WritableDatabase *> (notmuch->xapian_db);
2089     metadata_key = _get_metadata_thread_id_key (ctx, message_id);
2090     thread_id_string = notmuch->xapian_db->get_metadata (metadata_key);
2091
2092     if (thread_id_string.empty()) {
2093         *thread_id_ret = talloc_strdup (ctx,
2094                                         _notmuch_database_generate_thread_id (notmuch));
2095         db->set_metadata (metadata_key, *thread_id_ret);
2096     } else {
2097         *thread_id_ret = talloc_strdup (ctx, thread_id_string.c_str());
2098     }
2099
2100     talloc_free (metadata_key);
2101
2102     return NOTMUCH_STATUS_SUCCESS;
2103 }
2104
2105 static notmuch_status_t
2106 _merge_threads (notmuch_database_t *notmuch,
2107                 const char *winner_thread_id,
2108                 const char *loser_thread_id)
2109 {
2110     Xapian::PostingIterator loser, loser_end;
2111     notmuch_message_t *message = NULL;
2112     notmuch_private_status_t private_status;
2113     notmuch_status_t ret = NOTMUCH_STATUS_SUCCESS;
2114
2115     find_doc_ids (notmuch, "thread", loser_thread_id, &loser, &loser_end);
2116
2117     for ( ; loser != loser_end; loser++) {
2118         message = _notmuch_message_create (notmuch, notmuch,
2119                                            *loser, &private_status);
2120         if (message == NULL) {
2121             ret = COERCE_STATUS (private_status,
2122                                  "Cannot find document for doc_id from query");
2123             goto DONE;
2124         }
2125
2126         _notmuch_message_remove_term (message, "thread", loser_thread_id);
2127         _notmuch_message_add_term (message, "thread", winner_thread_id);
2128         _notmuch_message_sync (message);
2129
2130         notmuch_message_destroy (message);
2131         message = NULL;
2132     }
2133
2134   DONE:
2135     if (message)
2136         notmuch_message_destroy (message);
2137
2138     return ret;
2139 }
2140
2141 static void
2142 _my_talloc_free_for_g_hash (void *ptr)
2143 {
2144     talloc_free (ptr);
2145 }
2146
2147 static notmuch_status_t
2148 _notmuch_database_link_message_to_parents (notmuch_database_t *notmuch,
2149                                            notmuch_message_t *message,
2150                                            notmuch_message_file_t *message_file,
2151                                            const char **thread_id)
2152 {
2153     GHashTable *parents = NULL;
2154     const char *refs, *in_reply_to, *in_reply_to_message_id;
2155     const char *last_ref_message_id, *this_message_id;
2156     GList *l, *keys = NULL;
2157     notmuch_status_t ret = NOTMUCH_STATUS_SUCCESS;
2158
2159     parents = g_hash_table_new_full (g_str_hash, g_str_equal,
2160                                      _my_talloc_free_for_g_hash, NULL);
2161     this_message_id = notmuch_message_get_message_id (message);
2162
2163     refs = _notmuch_message_file_get_header (message_file, "references");
2164     last_ref_message_id = parse_references (message,
2165                                             this_message_id,
2166                                             parents, refs);
2167
2168     in_reply_to = _notmuch_message_file_get_header (message_file, "in-reply-to");
2169     in_reply_to_message_id = parse_references (message,
2170                                                this_message_id,
2171                                                parents, in_reply_to);
2172
2173     /* For the parent of this message, use the last message ID of the
2174      * References header, if available.  If not, fall back to the
2175      * first message ID in the In-Reply-To header. */
2176     if (last_ref_message_id) {
2177         _notmuch_message_add_term (message, "replyto",
2178                                    last_ref_message_id);
2179     } else if (in_reply_to_message_id) {
2180         _notmuch_message_add_term (message, "replyto",
2181                              in_reply_to_message_id);
2182     }
2183
2184     keys = g_hash_table_get_keys (parents);
2185     for (l = keys; l; l = l->next) {
2186         char *parent_message_id;
2187         const char *parent_thread_id = NULL;
2188
2189         parent_message_id = (char *) l->data;
2190
2191         _notmuch_message_add_term (message, "reference",
2192                                    parent_message_id);
2193
2194         ret = _resolve_message_id_to_thread_id (notmuch,
2195                                                 message,
2196                                                 parent_message_id,
2197                                                 &parent_thread_id);
2198         if (ret)
2199             goto DONE;
2200
2201         if (*thread_id == NULL) {
2202             *thread_id = talloc_strdup (message, parent_thread_id);
2203             _notmuch_message_add_term (message, "thread", *thread_id);
2204         } else if (strcmp (*thread_id, parent_thread_id)) {
2205             ret = _merge_threads (notmuch, *thread_id, parent_thread_id);
2206             if (ret)
2207                 goto DONE;
2208         }
2209     }
2210
2211   DONE:
2212     if (keys)
2213         g_list_free (keys);
2214     if (parents)
2215         g_hash_table_unref (parents);
2216
2217     return ret;
2218 }
2219
2220 static notmuch_status_t
2221 _notmuch_database_link_message_to_children (notmuch_database_t *notmuch,
2222                                             notmuch_message_t *message,
2223                                             const char **thread_id)
2224 {
2225     const char *message_id = notmuch_message_get_message_id (message);
2226     Xapian::PostingIterator child, children_end;
2227     notmuch_message_t *child_message = NULL;
2228     const char *child_thread_id;
2229     notmuch_status_t ret = NOTMUCH_STATUS_SUCCESS;
2230     notmuch_private_status_t private_status;
2231
2232     find_doc_ids (notmuch, "reference", message_id, &child, &children_end);
2233
2234     for ( ; child != children_end; child++) {
2235
2236         child_message = _notmuch_message_create (message, notmuch,
2237                                                  *child, &private_status);
2238         if (child_message == NULL) {
2239             ret = COERCE_STATUS (private_status,
2240                                  "Cannot find document for doc_id from query");
2241             goto DONE;
2242         }
2243
2244         child_thread_id = notmuch_message_get_thread_id (child_message);
2245         if (*thread_id == NULL) {
2246             *thread_id = talloc_strdup (message, child_thread_id);
2247             _notmuch_message_add_term (message, "thread", *thread_id);
2248         } else if (strcmp (*thread_id, child_thread_id)) {
2249             _notmuch_message_remove_term (child_message, "reference",
2250                                           message_id);
2251             _notmuch_message_sync (child_message);
2252             ret = _merge_threads (notmuch, *thread_id, child_thread_id);
2253             if (ret)
2254                 goto DONE;
2255         }
2256
2257         notmuch_message_destroy (child_message);
2258         child_message = NULL;
2259     }
2260
2261   DONE:
2262     if (child_message)
2263         notmuch_message_destroy (child_message);
2264
2265     return ret;
2266 }
2267
2268 /* Fetch and clear the stored thread_id for message, or NULL if none. */
2269 static char *
2270 _consume_metadata_thread_id (void *ctx, notmuch_database_t *notmuch,
2271                              notmuch_message_t *message)
2272 {
2273     const char *message_id;
2274     string stored_id;
2275     char *metadata_key;
2276
2277     message_id = notmuch_message_get_message_id (message);
2278     metadata_key = _get_metadata_thread_id_key (ctx, message_id);
2279
2280     /* Check if we have already seen related messages to this one.
2281      * If we have then use the thread_id that we stored at that time.
2282      */
2283     stored_id = notmuch->xapian_db->get_metadata (metadata_key);
2284     if (stored_id.empty ()) {
2285         return NULL;
2286     } else {
2287         Xapian::WritableDatabase *db;
2288
2289         db = static_cast <Xapian::WritableDatabase *> (notmuch->xapian_db);
2290
2291         /* Clear the metadata for this message ID. We don't need it
2292          * anymore. */
2293         db->set_metadata (metadata_key, "");
2294
2295         return talloc_strdup (ctx, stored_id.c_str ());
2296     }
2297 }
2298
2299 /* Given a blank or ghost 'message' and its corresponding
2300  * 'message_file' link it to existing threads in the database.
2301  *
2302  * First, if is_ghost, this retrieves the thread ID already stored in
2303  * the message (which will be the case if a message was previously
2304  * added that referenced this one).  If the message is blank
2305  * (!is_ghost), it doesn't have a thread ID yet (we'll generate one
2306  * later in this function).  If the database does not support ghost
2307  * messages, this checks for a thread ID stored in database metadata
2308  * for this message ID.
2309  *
2310  * Second, we look at 'message_file' and its link-relevant headers
2311  * (References and In-Reply-To) for message IDs.
2312  *
2313  * Finally, we look in the database for existing message that
2314  * reference 'message'.
2315  *
2316  * In all cases, we assign to the current message the first thread ID
2317  * found. We will also merge any existing, distinct threads where this
2318  * message belongs to both, (which is not uncommon when messages are
2319  * processed out of order).
2320  *
2321  * Finally, if no thread ID has been found through referenced messages, we
2322  * call _notmuch_message_generate_thread_id to generate a new thread
2323  * ID. This should only happen for new, top-level messages, (no
2324  * References or In-Reply-To header in this message, and no previously
2325  * added message refers to this message).
2326  */
2327 static notmuch_status_t
2328 _notmuch_database_link_message (notmuch_database_t *notmuch,
2329                                 notmuch_message_t *message,
2330                                 notmuch_message_file_t *message_file,
2331                                 notmuch_bool_t is_ghost)
2332 {
2333     void *local = talloc_new (NULL);
2334     notmuch_status_t status;
2335     const char *thread_id = NULL;
2336
2337     /* Check if the message already had a thread ID */
2338     if (notmuch->features & NOTMUCH_FEATURE_GHOSTS) {
2339         if (is_ghost)
2340             thread_id = notmuch_message_get_thread_id (message);
2341     } else {
2342         thread_id = _consume_metadata_thread_id (local, notmuch, message);
2343         if (thread_id)
2344             _notmuch_message_add_term (message, "thread", thread_id);
2345     }
2346
2347     status = _notmuch_database_link_message_to_parents (notmuch, message,
2348                                                         message_file,
2349                                                         &thread_id);
2350     if (status)
2351         goto DONE;
2352
2353     if (! (notmuch->features & NOTMUCH_FEATURE_GHOSTS)) {
2354         /* In general, it shouldn't be necessary to link children,
2355          * since the earlier indexing of those children will have
2356          * stored a thread ID for the missing parent.  However, prior
2357          * to ghost messages, these stored thread IDs were NOT
2358          * rewritten during thread merging (and there was no
2359          * performant way to do so), so if indexed children were
2360          * pulled into a different thread ID by a merge, it was
2361          * necessary to pull them *back* into the stored thread ID of
2362          * the parent.  With ghost messages, we just rewrite the
2363          * stored thread IDs during merging, so this workaround isn't
2364          * necessary. */
2365         status = _notmuch_database_link_message_to_children (notmuch, message,
2366                                                              &thread_id);
2367         if (status)
2368             goto DONE;
2369     }
2370
2371     /* If not part of any existing thread, generate a new thread ID. */
2372     if (thread_id == NULL) {
2373         thread_id = _notmuch_database_generate_thread_id (notmuch);
2374
2375         _notmuch_message_add_term (message, "thread", thread_id);
2376     }
2377
2378  DONE:
2379     talloc_free (local);
2380
2381     return status;
2382 }
2383
2384 notmuch_status_t
2385 notmuch_database_add_message (notmuch_database_t *notmuch,
2386                               const char *filename,
2387                               notmuch_message_t **message_ret)
2388 {
2389     notmuch_message_file_t *message_file;
2390     notmuch_message_t *message = NULL;
2391     notmuch_status_t ret = NOTMUCH_STATUS_SUCCESS, ret2;
2392     notmuch_private_status_t private_status;
2393     notmuch_bool_t is_ghost = false;
2394
2395     const char *date, *header;
2396     const char *from, *to, *subject;
2397     char *message_id = NULL;
2398
2399     if (message_ret)
2400         *message_ret = NULL;
2401
2402     ret = _notmuch_database_ensure_writable (notmuch);
2403     if (ret)
2404         return ret;
2405
2406     message_file = _notmuch_message_file_open (notmuch, filename);
2407     if (message_file == NULL)
2408         return NOTMUCH_STATUS_FILE_ERROR;
2409
2410     /* Adding a message may change many documents.  Do this all
2411      * atomically. */
2412     ret = notmuch_database_begin_atomic (notmuch);
2413     if (ret)
2414         goto DONE;
2415
2416     /* Parse message up front to get better error status. */
2417     ret = _notmuch_message_file_parse (message_file);
2418     if (ret)
2419         goto DONE;
2420
2421     try {
2422         /* Before we do any real work, (especially before doing a
2423          * potential SHA-1 computation on the entire file's contents),
2424          * let's make sure that what we're looking at looks like an
2425          * actual email message.
2426          */
2427         from = _notmuch_message_file_get_header (message_file, "from");
2428         subject = _notmuch_message_file_get_header (message_file, "subject");
2429         to = _notmuch_message_file_get_header (message_file, "to");
2430
2431         if ((from == NULL || *from == '\0') &&
2432             (subject == NULL || *subject == '\0') &&
2433             (to == NULL || *to == '\0'))
2434         {
2435             ret = NOTMUCH_STATUS_FILE_NOT_EMAIL;
2436             goto DONE;
2437         }
2438
2439         /* Now that we're sure it's mail, the first order of business
2440          * is to find a message ID (or else create one ourselves). */
2441
2442         header = _notmuch_message_file_get_header (message_file, "message-id");
2443         if (header && *header != '\0') {
2444             message_id = _parse_message_id (message_file, header, NULL);
2445
2446             /* So the header value isn't RFC-compliant, but it's
2447              * better than no message-id at all. */
2448             if (message_id == NULL)
2449                 message_id = talloc_strdup (message_file, header);
2450         }
2451
2452         if (message_id == NULL ) {
2453             /* No message-id at all, let's generate one by taking a
2454              * hash over the file's contents. */
2455             char *sha1 = _notmuch_sha1_of_file (filename);
2456
2457             /* If that failed too, something is really wrong. Give up. */
2458             if (sha1 == NULL) {
2459                 ret = NOTMUCH_STATUS_FILE_ERROR;
2460                 goto DONE;
2461             }
2462
2463             message_id = talloc_asprintf (message_file,
2464                                           "notmuch-sha1-%s", sha1);
2465             free (sha1);
2466         }
2467
2468         /* Now that we have a message ID, we get a message object,
2469          * (which may or may not reference an existing document in the
2470          * database). */
2471
2472         message = _notmuch_message_create_for_message_id (notmuch,
2473                                                           message_id,
2474                                                           &private_status);
2475
2476         talloc_free (message_id);
2477
2478         if (message == NULL) {
2479             ret = COERCE_STATUS (private_status,
2480                                  "Unexpected status value from _notmuch_message_create_for_message_id");
2481             goto DONE;
2482         }
2483
2484         _notmuch_message_add_filename (message, filename);
2485
2486         /* Is this a newly created message object or a ghost
2487          * message?  We have to be slightly careful: if this is a
2488          * blank message, it's not safe to call
2489          * notmuch_message_get_flag yet. */
2490         if (private_status == NOTMUCH_PRIVATE_STATUS_NO_DOCUMENT_FOUND ||
2491             (is_ghost = notmuch_message_get_flag (
2492                 message, NOTMUCH_MESSAGE_FLAG_GHOST))) {
2493             _notmuch_message_add_term (message, "type", "mail");
2494             if (is_ghost)
2495                 /* Convert ghost message to a regular message */
2496                 _notmuch_message_remove_term (message, "type", "ghost");
2497
2498             ret = _notmuch_database_link_message (notmuch, message,
2499                                                   message_file, is_ghost);
2500             if (ret)
2501                 goto DONE;
2502
2503             date = _notmuch_message_file_get_header (message_file, "date");
2504             _notmuch_message_set_header_values (message, date, from, subject);
2505
2506             ret = _notmuch_message_index_file (message, message_file);
2507             if (ret)
2508                 goto DONE;
2509         } else {
2510             ret = NOTMUCH_STATUS_DUPLICATE_MESSAGE_ID;
2511         }
2512
2513         _notmuch_message_sync (message);
2514     } catch (const Xapian::Error &error) {
2515         _notmuch_database_log (notmuch, "A Xapian exception occurred adding message: %s.\n",
2516                  error.get_msg().c_str());
2517         notmuch->exception_reported = TRUE;
2518         ret = NOTMUCH_STATUS_XAPIAN_EXCEPTION;
2519         goto DONE;
2520     }
2521
2522   DONE:
2523     if (message) {
2524         if ((ret == NOTMUCH_STATUS_SUCCESS ||
2525              ret == NOTMUCH_STATUS_DUPLICATE_MESSAGE_ID) && message_ret)
2526             *message_ret = message;
2527         else
2528             notmuch_message_destroy (message);
2529     }
2530
2531     if (message_file)
2532         _notmuch_message_file_close (message_file);
2533
2534     ret2 = notmuch_database_end_atomic (notmuch);
2535     if ((ret == NOTMUCH_STATUS_SUCCESS ||
2536          ret == NOTMUCH_STATUS_DUPLICATE_MESSAGE_ID) &&
2537         ret2 != NOTMUCH_STATUS_SUCCESS)
2538         ret = ret2;
2539
2540     return ret;
2541 }
2542
2543 notmuch_status_t
2544 notmuch_database_remove_message (notmuch_database_t *notmuch,
2545                                  const char *filename)
2546 {
2547     notmuch_status_t status;
2548     notmuch_message_t *message;
2549
2550     status = notmuch_database_find_message_by_filename (notmuch, filename,
2551                                                         &message);
2552
2553     if (status == NOTMUCH_STATUS_SUCCESS && message) {
2554             status = _notmuch_message_remove_filename (message, filename);
2555             if (status == NOTMUCH_STATUS_SUCCESS)
2556                 _notmuch_message_delete (message);
2557             else if (status == NOTMUCH_STATUS_DUPLICATE_MESSAGE_ID)
2558                 _notmuch_message_sync (message);
2559
2560             notmuch_message_destroy (message);
2561     }
2562
2563     return status;
2564 }
2565
2566 notmuch_status_t
2567 notmuch_database_find_message_by_filename (notmuch_database_t *notmuch,
2568                                            const char *filename,
2569                                            notmuch_message_t **message_ret)
2570 {
2571     void *local;
2572     const char *prefix = _find_prefix ("file-direntry");
2573     char *direntry, *term;
2574     Xapian::PostingIterator i, end;
2575     notmuch_status_t status;
2576
2577     if (message_ret == NULL)
2578         return NOTMUCH_STATUS_NULL_POINTER;
2579
2580     if (! (notmuch->features & NOTMUCH_FEATURE_FILE_TERMS))
2581         return NOTMUCH_STATUS_UPGRADE_REQUIRED;
2582
2583     /* return NULL on any failure */
2584     *message_ret = NULL;
2585
2586     local = talloc_new (notmuch);
2587
2588     try {
2589         status = _notmuch_database_filename_to_direntry (
2590             local, notmuch, filename, NOTMUCH_FIND_LOOKUP, &direntry);
2591         if (status || !direntry)
2592             goto DONE;
2593
2594         term = talloc_asprintf (local, "%s%s", prefix, direntry);
2595
2596         find_doc_ids_for_term (notmuch, term, &i, &end);
2597
2598         if (i != end) {
2599             notmuch_private_status_t private_status;
2600
2601             *message_ret = _notmuch_message_create (notmuch, notmuch, *i,
2602                                                     &private_status);
2603             if (*message_ret == NULL)
2604                 status = NOTMUCH_STATUS_OUT_OF_MEMORY;
2605         }
2606     } catch (const Xapian::Error &error) {
2607         _notmuch_database_log (notmuch, "Error: A Xapian exception occurred finding message by filename: %s\n",
2608                  error.get_msg().c_str());
2609         notmuch->exception_reported = TRUE;
2610         status = NOTMUCH_STATUS_XAPIAN_EXCEPTION;
2611     }
2612
2613   DONE:
2614     talloc_free (local);
2615
2616     if (status && *message_ret) {
2617         notmuch_message_destroy (*message_ret);
2618         *message_ret = NULL;
2619     }
2620     return status;
2621 }
2622
2623 notmuch_string_list_t *
2624 _notmuch_database_get_terms_with_prefix (void *ctx, Xapian::TermIterator &i,
2625                                          Xapian::TermIterator &end,
2626                                          const char *prefix)
2627 {
2628     int prefix_len = strlen (prefix);
2629     notmuch_string_list_t *list;
2630
2631     list = _notmuch_string_list_create (ctx);
2632     if (unlikely (list == NULL))
2633         return NULL;
2634
2635     for (i.skip_to (prefix); i != end; i++) {
2636         /* Terminate loop at first term without desired prefix. */
2637         if (strncmp ((*i).c_str (), prefix, prefix_len))
2638             break;
2639
2640         _notmuch_string_list_append (list, (*i).c_str () + prefix_len);
2641     }
2642
2643     return list;
2644 }
2645
2646 notmuch_tags_t *
2647 notmuch_database_get_all_tags (notmuch_database_t *db)
2648 {
2649     Xapian::TermIterator i, end;
2650     notmuch_string_list_t *tags;
2651
2652     try {
2653         i = db->xapian_db->allterms_begin();
2654         end = db->xapian_db->allterms_end();
2655         tags = _notmuch_database_get_terms_with_prefix (db, i, end,
2656                                                         _find_prefix ("tag"));
2657         _notmuch_string_list_sort (tags);
2658         return _notmuch_tags_create (db, tags);
2659     } catch (const Xapian::Error &error) {
2660         _notmuch_database_log (db, "A Xapian exception occurred getting tags: %s.\n",
2661                  error.get_msg().c_str());
2662         db->exception_reported = TRUE;
2663         return NULL;
2664     }
2665 }
2666
2667 const char *
2668 notmuch_database_status_string (const notmuch_database_t *notmuch)
2669 {
2670     return notmuch->status_string;
2671 }