[PATCH 00/12] Add ghost messages and fix thread linking

2014-10-22 Thread Mark Walters

On Tue, 07 Oct 2014, Austin Clements  wrote:
> This is v2 of the
> id:1412345958-8278-1-git-send-email-aclements at csail.mit.edu.  This
> adds some comments and clarifies some code as suggested by David.
> Patch 6 is new in v2 and adds some bit-twiddling macros for clarity
> and robustness in later patches.

Ok I have now been through the whole series and am basically happy with
it (I sent some trivial comments separately). The tests pass, and my
database still seems to work.

So +1 from me but it is code I am not very familiar with so it's a
slightly more cautious +1 than usual.

Best wishes

Mark


>
> The diff from v1 is below.
>
> diff --git a/lib/database.cc b/lib/database.cc
> index 4655f59..6e51a72 100644
> --- a/lib/database.cc
> +++ b/lib/database.cc
> @@ -1277,6 +1277,8 @@ notmuch_database_upgrade (notmuch_database_t *notmuch,
>   ++total;
>  }
>  if (new_features & NOTMUCH_FEATURE_GHOSTS) {
> + /* The ghost message upgrade converts all thread_id_*
> +  * metadata values into ghost message documents. */
>   t_end = db->metadata_keys_end ("thread_id_");
>   for (t = db->metadata_keys_begin ("thread_id_"); t != t_end; ++t)
>   ++total;
> diff --git a/lib/message.cc b/lib/message.cc
> index ad832cf..a7a13cc 100644
> --- a/lib/message.cc
> +++ b/lib/message.cc
> @@ -344,15 +344,17 @@ _notmuch_message_ensure_metadata (notmuch_message_t 
> *message)
>  
>  /* Get document type */
>  assert (strcmp (id_prefix, type_prefix) < 0);
> -if (! (message->lazy_flags & (1 << NOTMUCH_MESSAGE_FLAG_GHOST))) {
> +if (! NOTMUCH_TEST_BIT (message->lazy_flags, 
> NOTMUCH_MESSAGE_FLAG_GHOST)) {
>   i.skip_to (type_prefix);
> + /* "T" is the prefix "type" fields.  See
> +  * BOOLEAN_PREFIX_INTERNAL. */
>   if (*i == "Tmail")
> - message->flags &= ~(1 << NOTMUCH_MESSAGE_FLAG_GHOST);
> + NOTMUCH_CLEAR_BIT (>flags, NOTMUCH_MESSAGE_FLAG_GHOST);
>   else if (*i == "Tghost")
> - message->flags |= (1 << NOTMUCH_MESSAGE_FLAG_GHOST);
> + NOTMUCH_SET_BIT (>flags, NOTMUCH_MESSAGE_FLAG_GHOST);
>   else
>   INTERNAL_ERROR ("Message without type term");
> - message->lazy_flags |= (1 << NOTMUCH_MESSAGE_FLAG_GHOST);
> + NOTMUCH_SET_BIT (>lazy_flags, NOTMUCH_MESSAGE_FLAG_GHOST);
>  }
>  
>  /* Get filename list.  Here we get only the terms.  We lazily
> @@ -390,8 +392,8 @@ _notmuch_message_invalidate_metadata (notmuch_message_t 
> *message,
>  }
>  
>  if (strcmp ("type", prefix_name) == 0) {
> - message->flags &= ~(1 << NOTMUCH_MESSAGE_FLAG_GHOST);
> - message->lazy_flags &= ~(1 << NOTMUCH_MESSAGE_FLAG_GHOST);
> + NOTMUCH_CLEAR_BIT (>flags, NOTMUCH_MESSAGE_FLAG_GHOST);
> + NOTMUCH_CLEAR_BIT (>lazy_flags, NOTMUCH_MESSAGE_FLAG_GHOST);
>  }
>  
>  if (strcmp ("file-direntry", prefix_name) == 0) {
> @@ -893,10 +895,10 @@ notmuch_message_get_flag (notmuch_message_t *message,
> notmuch_message_flag_t flag)
>  {
>  if (flag == NOTMUCH_MESSAGE_FLAG_GHOST &&
> - ! (message->lazy_flags & (1 << flag)))
> + ! NOTMUCH_TEST_BIT (message->lazy_flags, flag))
>   _notmuch_message_ensure_metadata (message);
>  
> -return message->flags & (1 << flag);
> +return NOTMUCH_TEST_BIT (message->flags, flag);
>  }
>  
>  void
> @@ -904,10 +906,10 @@ notmuch_message_set_flag (notmuch_message_t *message,
> notmuch_message_flag_t flag, notmuch_bool_t enable)
>  {
>  if (enable)
> - message->flags |= (1 << flag);
> + NOTMUCH_SET_BIT (>flags, flag);
>  else
> - message->flags &= ~(1 << flag);
> -message->lazy_flags |= (1 << flag);
> + NOTMUCH_CLEAR_BIT (>flags, flag);
> +NOTMUCH_SET_BIT (>lazy_flags, flag);
>  }
>  
>  time_t
> diff --git a/lib/notmuch-private.h b/lib/notmuch-private.h
> index 2fbd38e..2f43c1d 100644
> --- a/lib/notmuch-private.h
> +++ b/lib/notmuch-private.h
> @@ -63,6 +63,17 @@ NOTMUCH_BEGIN_DECLS
>  #define STRNCMP_LITERAL(var, literal) \
>  strncmp ((var), (literal), sizeof (literal) - 1)
>  
> +/* Robust bit test/set/reset macros */
> +#define NOTMUCH_TEST_BIT(val, bit) \
> +((bit < 0 || bit >= CHAR_BIT * sizeof (unsigned long long)) ? 0  \
> + : !!((val) & (1ull << bit)))
> +#define NOTMUCH_SET_BIT(valp, bit) \
> +((bit < 0 || bit >= CHAR_BIT * sizeof (unsigned long long)) ? *(valp) \
> + : (*(valp) |= (1ull << bit)))
> +#define NOTMUCH_CLEAR_BIT(valp,  bit) \
> +((bit < 0 || bit >= CHAR_BIT * sizeof (unsigned long long)) ? *(valp) \
> + : (*(valp) &= ~(1ull << bit)))
> +
>  #define unused(x) x __attribute__ ((unused))
>  
>  #ifdef __cplusplus
>
>
> ___
> notmuch mailing list
> notmuch at notmuchmail.org
> http://notmuchmail.org/mailman/listinfo/notmuch


Re: [PATCH 00/12] Add ghost messages and fix thread linking

2014-10-21 Thread Mark Walters

On Tue, 07 Oct 2014, Austin Clements acleme...@csail.mit.edu wrote:
 This is v2 of the
 id:1412345958-8278-1-git-send-email-acleme...@csail.mit.edu.  This
 adds some comments and clarifies some code as suggested by David.
 Patch 6 is new in v2 and adds some bit-twiddling macros for clarity
 and robustness in later patches.

Ok I have now been through the whole series and am basically happy with
it (I sent some trivial comments separately). The tests pass, and my
database still seems to work.

So +1 from me but it is code I am not very familiar with so it's a
slightly more cautious +1 than usual.

Best wishes

Mark



 The diff from v1 is below.

 diff --git a/lib/database.cc b/lib/database.cc
 index 4655f59..6e51a72 100644
 --- a/lib/database.cc
 +++ b/lib/database.cc
 @@ -1277,6 +1277,8 @@ notmuch_database_upgrade (notmuch_database_t *notmuch,
   ++total;
  }
  if (new_features  NOTMUCH_FEATURE_GHOSTS) {
 + /* The ghost message upgrade converts all thread_id_*
 +  * metadata values into ghost message documents. */
   t_end = db-metadata_keys_end (thread_id_);
   for (t = db-metadata_keys_begin (thread_id_); t != t_end; ++t)
   ++total;
 diff --git a/lib/message.cc b/lib/message.cc
 index ad832cf..a7a13cc 100644
 --- a/lib/message.cc
 +++ b/lib/message.cc
 @@ -344,15 +344,17 @@ _notmuch_message_ensure_metadata (notmuch_message_t 
 *message)
  
  /* Get document type */
  assert (strcmp (id_prefix, type_prefix)  0);
 -if (! (message-lazy_flags  (1  NOTMUCH_MESSAGE_FLAG_GHOST))) {
 +if (! NOTMUCH_TEST_BIT (message-lazy_flags, 
 NOTMUCH_MESSAGE_FLAG_GHOST)) {
   i.skip_to (type_prefix);
 + /* T is the prefix type fields.  See
 +  * BOOLEAN_PREFIX_INTERNAL. */
   if (*i == Tmail)
 - message-flags = ~(1  NOTMUCH_MESSAGE_FLAG_GHOST);
 + NOTMUCH_CLEAR_BIT (message-flags, NOTMUCH_MESSAGE_FLAG_GHOST);
   else if (*i == Tghost)
 - message-flags |= (1  NOTMUCH_MESSAGE_FLAG_GHOST);
 + NOTMUCH_SET_BIT (message-flags, NOTMUCH_MESSAGE_FLAG_GHOST);
   else
   INTERNAL_ERROR (Message without type term);
 - message-lazy_flags |= (1  NOTMUCH_MESSAGE_FLAG_GHOST);
 + NOTMUCH_SET_BIT (message-lazy_flags, NOTMUCH_MESSAGE_FLAG_GHOST);
  }
  
  /* Get filename list.  Here we get only the terms.  We lazily
 @@ -390,8 +392,8 @@ _notmuch_message_invalidate_metadata (notmuch_message_t 
 *message,
  }
  
  if (strcmp (type, prefix_name) == 0) {
 - message-flags = ~(1  NOTMUCH_MESSAGE_FLAG_GHOST);
 - message-lazy_flags = ~(1  NOTMUCH_MESSAGE_FLAG_GHOST);
 + NOTMUCH_CLEAR_BIT (message-flags, NOTMUCH_MESSAGE_FLAG_GHOST);
 + NOTMUCH_CLEAR_BIT (message-lazy_flags, NOTMUCH_MESSAGE_FLAG_GHOST);
  }
  
  if (strcmp (file-direntry, prefix_name) == 0) {
 @@ -893,10 +895,10 @@ notmuch_message_get_flag (notmuch_message_t *message,
 notmuch_message_flag_t flag)
  {
  if (flag == NOTMUCH_MESSAGE_FLAG_GHOST 
 - ! (message-lazy_flags  (1  flag)))
 + ! NOTMUCH_TEST_BIT (message-lazy_flags, flag))
   _notmuch_message_ensure_metadata (message);
  
 -return message-flags  (1  flag);
 +return NOTMUCH_TEST_BIT (message-flags, flag);
  }
  
  void
 @@ -904,10 +906,10 @@ notmuch_message_set_flag (notmuch_message_t *message,
 notmuch_message_flag_t flag, notmuch_bool_t enable)
  {
  if (enable)
 - message-flags |= (1  flag);
 + NOTMUCH_SET_BIT (message-flags, flag);
  else
 - message-flags = ~(1  flag);
 -message-lazy_flags |= (1  flag);
 + NOTMUCH_CLEAR_BIT (message-flags, flag);
 +NOTMUCH_SET_BIT (message-lazy_flags, flag);
  }
  
  time_t
 diff --git a/lib/notmuch-private.h b/lib/notmuch-private.h
 index 2fbd38e..2f43c1d 100644
 --- a/lib/notmuch-private.h
 +++ b/lib/notmuch-private.h
 @@ -63,6 +63,17 @@ NOTMUCH_BEGIN_DECLS
  #define STRNCMP_LITERAL(var, literal) \
  strncmp ((var), (literal), sizeof (literal) - 1)
  
 +/* Robust bit test/set/reset macros */
 +#define NOTMUCH_TEST_BIT(val, bit) \
 +((bit  0 || bit = CHAR_BIT * sizeof (unsigned long long)) ? 0  \
 + : !!((val)  (1ull  bit)))
 +#define NOTMUCH_SET_BIT(valp, bit) \
 +((bit  0 || bit = CHAR_BIT * sizeof (unsigned long long)) ? *(valp) \
 + : (*(valp) |= (1ull  bit)))
 +#define NOTMUCH_CLEAR_BIT(valp,  bit) \
 +((bit  0 || bit = CHAR_BIT * sizeof (unsigned long long)) ? *(valp) \
 + : (*(valp) = ~(1ull  bit)))
 +
  #define unused(x) x __attribute__ ((unused))
  
  #ifdef __cplusplus


 ___
 notmuch mailing list
 notmuch@notmuchmail.org
 http://notmuchmail.org/mailman/listinfo/notmuch
___
notmuch mailing list
notmuch@notmuchmail.org
http://notmuchmail.org/mailman/listinfo/notmuch


[PATCH 00/12] Add ghost messages and fix thread linking

2014-10-06 Thread Austin Clements
This is v2 of the
id:1412345958-8278-1-git-send-email-aclements at csail.mit.edu.  This
adds some comments and clarifies some code as suggested by David.
Patch 6 is new in v2 and adds some bit-twiddling macros for clarity
and robustness in later patches.

The diff from v1 is below.

diff --git a/lib/database.cc b/lib/database.cc
index 4655f59..6e51a72 100644
--- a/lib/database.cc
+++ b/lib/database.cc
@@ -1277,6 +1277,8 @@ notmuch_database_upgrade (notmuch_database_t *notmuch,
++total;
 }
 if (new_features & NOTMUCH_FEATURE_GHOSTS) {
+   /* The ghost message upgrade converts all thread_id_*
+* metadata values into ghost message documents. */
t_end = db->metadata_keys_end ("thread_id_");
for (t = db->metadata_keys_begin ("thread_id_"); t != t_end; ++t)
++total;
diff --git a/lib/message.cc b/lib/message.cc
index ad832cf..a7a13cc 100644
--- a/lib/message.cc
+++ b/lib/message.cc
@@ -344,15 +344,17 @@ _notmuch_message_ensure_metadata (notmuch_message_t 
*message)

 /* Get document type */
 assert (strcmp (id_prefix, type_prefix) < 0);
-if (! (message->lazy_flags & (1 << NOTMUCH_MESSAGE_FLAG_GHOST))) {
+if (! NOTMUCH_TEST_BIT (message->lazy_flags, NOTMUCH_MESSAGE_FLAG_GHOST)) {
i.skip_to (type_prefix);
+   /* "T" is the prefix "type" fields.  See
+* BOOLEAN_PREFIX_INTERNAL. */
if (*i == "Tmail")
-   message->flags &= ~(1 << NOTMUCH_MESSAGE_FLAG_GHOST);
+   NOTMUCH_CLEAR_BIT (>flags, NOTMUCH_MESSAGE_FLAG_GHOST);
else if (*i == "Tghost")
-   message->flags |= (1 << NOTMUCH_MESSAGE_FLAG_GHOST);
+   NOTMUCH_SET_BIT (>flags, NOTMUCH_MESSAGE_FLAG_GHOST);
else
INTERNAL_ERROR ("Message without type term");
-   message->lazy_flags |= (1 << NOTMUCH_MESSAGE_FLAG_GHOST);
+   NOTMUCH_SET_BIT (>lazy_flags, NOTMUCH_MESSAGE_FLAG_GHOST);
 }

 /* Get filename list.  Here we get only the terms.  We lazily
@@ -390,8 +392,8 @@ _notmuch_message_invalidate_metadata (notmuch_message_t 
*message,
 }

 if (strcmp ("type", prefix_name) == 0) {
-   message->flags &= ~(1 << NOTMUCH_MESSAGE_FLAG_GHOST);
-   message->lazy_flags &= ~(1 << NOTMUCH_MESSAGE_FLAG_GHOST);
+   NOTMUCH_CLEAR_BIT (>flags, NOTMUCH_MESSAGE_FLAG_GHOST);
+   NOTMUCH_CLEAR_BIT (>lazy_flags, NOTMUCH_MESSAGE_FLAG_GHOST);
 }

 if (strcmp ("file-direntry", prefix_name) == 0) {
@@ -893,10 +895,10 @@ notmuch_message_get_flag (notmuch_message_t *message,
  notmuch_message_flag_t flag)
 {
 if (flag == NOTMUCH_MESSAGE_FLAG_GHOST &&
-   ! (message->lazy_flags & (1 << flag)))
+   ! NOTMUCH_TEST_BIT (message->lazy_flags, flag))
_notmuch_message_ensure_metadata (message);

-return message->flags & (1 << flag);
+return NOTMUCH_TEST_BIT (message->flags, flag);
 }

 void
@@ -904,10 +906,10 @@ notmuch_message_set_flag (notmuch_message_t *message,
  notmuch_message_flag_t flag, notmuch_bool_t enable)
 {
 if (enable)
-   message->flags |= (1 << flag);
+   NOTMUCH_SET_BIT (>flags, flag);
 else
-   message->flags &= ~(1 << flag);
-message->lazy_flags |= (1 << flag);
+   NOTMUCH_CLEAR_BIT (>flags, flag);
+NOTMUCH_SET_BIT (>lazy_flags, flag);
 }

 time_t
diff --git a/lib/notmuch-private.h b/lib/notmuch-private.h
index 2fbd38e..2f43c1d 100644
--- a/lib/notmuch-private.h
+++ b/lib/notmuch-private.h
@@ -63,6 +63,17 @@ NOTMUCH_BEGIN_DECLS
 #define STRNCMP_LITERAL(var, literal) \
 strncmp ((var), (literal), sizeof (literal) - 1)

+/* Robust bit test/set/reset macros */
+#define NOTMUCH_TEST_BIT(val, bit) \
+((bit < 0 || bit >= CHAR_BIT * sizeof (unsigned long long)) ? 0\
+ : !!((val) & (1ull << bit)))
+#define NOTMUCH_SET_BIT(valp, bit) \
+((bit < 0 || bit >= CHAR_BIT * sizeof (unsigned long long)) ? *(valp) \
+ : (*(valp) |= (1ull << bit)))
+#define NOTMUCH_CLEAR_BIT(valp,  bit) \
+((bit < 0 || bit >= CHAR_BIT * sizeof (unsigned long long)) ? *(valp) \
+ : (*(valp) &= ~(1ull << bit)))
+
 #define unused(x) x __attribute__ ((unused))

 #ifdef __cplusplus




[PATCH 00/12] Add ghost messages and fix thread linking

2014-10-06 Thread Austin Clements
This is v2 of the
id:1412345958-8278-1-git-send-email-acleme...@csail.mit.edu.  This
adds some comments and clarifies some code as suggested by David.
Patch 6 is new in v2 and adds some bit-twiddling macros for clarity
and robustness in later patches.

The diff from v1 is below.

diff --git a/lib/database.cc b/lib/database.cc
index 4655f59..6e51a72 100644
--- a/lib/database.cc
+++ b/lib/database.cc
@@ -1277,6 +1277,8 @@ notmuch_database_upgrade (notmuch_database_t *notmuch,
++total;
 }
 if (new_features  NOTMUCH_FEATURE_GHOSTS) {
+   /* The ghost message upgrade converts all thread_id_*
+* metadata values into ghost message documents. */
t_end = db-metadata_keys_end (thread_id_);
for (t = db-metadata_keys_begin (thread_id_); t != t_end; ++t)
++total;
diff --git a/lib/message.cc b/lib/message.cc
index ad832cf..a7a13cc 100644
--- a/lib/message.cc
+++ b/lib/message.cc
@@ -344,15 +344,17 @@ _notmuch_message_ensure_metadata (notmuch_message_t 
*message)
 
 /* Get document type */
 assert (strcmp (id_prefix, type_prefix)  0);
-if (! (message-lazy_flags  (1  NOTMUCH_MESSAGE_FLAG_GHOST))) {
+if (! NOTMUCH_TEST_BIT (message-lazy_flags, NOTMUCH_MESSAGE_FLAG_GHOST)) {
i.skip_to (type_prefix);
+   /* T is the prefix type fields.  See
+* BOOLEAN_PREFIX_INTERNAL. */
if (*i == Tmail)
-   message-flags = ~(1  NOTMUCH_MESSAGE_FLAG_GHOST);
+   NOTMUCH_CLEAR_BIT (message-flags, NOTMUCH_MESSAGE_FLAG_GHOST);
else if (*i == Tghost)
-   message-flags |= (1  NOTMUCH_MESSAGE_FLAG_GHOST);
+   NOTMUCH_SET_BIT (message-flags, NOTMUCH_MESSAGE_FLAG_GHOST);
else
INTERNAL_ERROR (Message without type term);
-   message-lazy_flags |= (1  NOTMUCH_MESSAGE_FLAG_GHOST);
+   NOTMUCH_SET_BIT (message-lazy_flags, NOTMUCH_MESSAGE_FLAG_GHOST);
 }
 
 /* Get filename list.  Here we get only the terms.  We lazily
@@ -390,8 +392,8 @@ _notmuch_message_invalidate_metadata (notmuch_message_t 
*message,
 }
 
 if (strcmp (type, prefix_name) == 0) {
-   message-flags = ~(1  NOTMUCH_MESSAGE_FLAG_GHOST);
-   message-lazy_flags = ~(1  NOTMUCH_MESSAGE_FLAG_GHOST);
+   NOTMUCH_CLEAR_BIT (message-flags, NOTMUCH_MESSAGE_FLAG_GHOST);
+   NOTMUCH_CLEAR_BIT (message-lazy_flags, NOTMUCH_MESSAGE_FLAG_GHOST);
 }
 
 if (strcmp (file-direntry, prefix_name) == 0) {
@@ -893,10 +895,10 @@ notmuch_message_get_flag (notmuch_message_t *message,
  notmuch_message_flag_t flag)
 {
 if (flag == NOTMUCH_MESSAGE_FLAG_GHOST 
-   ! (message-lazy_flags  (1  flag)))
+   ! NOTMUCH_TEST_BIT (message-lazy_flags, flag))
_notmuch_message_ensure_metadata (message);
 
-return message-flags  (1  flag);
+return NOTMUCH_TEST_BIT (message-flags, flag);
 }
 
 void
@@ -904,10 +906,10 @@ notmuch_message_set_flag (notmuch_message_t *message,
  notmuch_message_flag_t flag, notmuch_bool_t enable)
 {
 if (enable)
-   message-flags |= (1  flag);
+   NOTMUCH_SET_BIT (message-flags, flag);
 else
-   message-flags = ~(1  flag);
-message-lazy_flags |= (1  flag);
+   NOTMUCH_CLEAR_BIT (message-flags, flag);
+NOTMUCH_SET_BIT (message-lazy_flags, flag);
 }
 
 time_t
diff --git a/lib/notmuch-private.h b/lib/notmuch-private.h
index 2fbd38e..2f43c1d 100644
--- a/lib/notmuch-private.h
+++ b/lib/notmuch-private.h
@@ -63,6 +63,17 @@ NOTMUCH_BEGIN_DECLS
 #define STRNCMP_LITERAL(var, literal) \
 strncmp ((var), (literal), sizeof (literal) - 1)
 
+/* Robust bit test/set/reset macros */
+#define NOTMUCH_TEST_BIT(val, bit) \
+((bit  0 || bit = CHAR_BIT * sizeof (unsigned long long)) ? 0\
+ : !!((val)  (1ull  bit)))
+#define NOTMUCH_SET_BIT(valp, bit) \
+((bit  0 || bit = CHAR_BIT * sizeof (unsigned long long)) ? *(valp) \
+ : (*(valp) |= (1ull  bit)))
+#define NOTMUCH_CLEAR_BIT(valp,  bit) \
+((bit  0 || bit = CHAR_BIT * sizeof (unsigned long long)) ? *(valp) \
+ : (*(valp) = ~(1ull  bit)))
+
 #define unused(x) x __attribute__ ((unused))
 
 #ifdef __cplusplus


___
notmuch mailing list
notmuch@notmuchmail.org
http://notmuchmail.org/mailman/listinfo/notmuch