Re: [B.A.T.M.A.N.] [PATCH v2 maint] batman-adv: Fix TT sync flags for intermediate TT responses

On 11/05/18 00:08, Linus Lüssing wrote:

The previous TT sync fix so far only fixed TT responses issued by the target node directly. So far, TT responses issued by intermediate nodes still lead to the wrong flags being added, leading to CRC mismatches.

This behaviour was observed at Freifunk Hannover in a 800 nodes setup where a considerable amount of nodes were still infected with 'WI' TT flags even with (most) nodes having the previous TT sync fix applied.

I was able to reproduce the issue with intermediate TT responses in a four node test setup and this patch fixes this issue by ensuring to use the per originator instead of the summarized, OR'd ones.

Fixes: fa614fd04692 ("batman-adv: fix tt_global_entries flags update") Signed-off-by: Linus Lüssing linus.luessing@c0d3.blue

---

Changes v2:

• repurpose current valid_cb callback to get the flags -> saves us a second, duplicate orig-entry hash table lookup -> avoids the "guessing" of TT local vs. TT global / cb_data type

---

net/batman-adv/translation-table.c | 62 +++++++++++++++++++++++++++++--------- 1 file changed, 47 insertions(+), 15 deletions(-)

diff --git a/net/batman-adv/translation-table.c b/net/batman-adv/translation-table.c index 78993dd7..511cad0e 100644 --- a/net/batman-adv/translation-table.c +++ b/net/batman-adv/translation-table.c @@ -1538,6 +1538,7 @@ batadv_tt_global_orig_entry_find(const struct batadv_tt_global_entry *entry,

• handled by a given originator
• @entry: the TT global entry to check
• @orig_node: the originator to search in the list

• • @flags: a pointer to store flags to (may be NULL)

I'd suggest to make the doc at the line above a bit more specific. "Flags" is very generic and by reading the kerneldoc of this function it may not be obvious to grasp what flags we are talking about. Something like "TT flags forwarded by @orig for this global @entry" or similar..

• find out if an orig_node is already in the list of a tt_global_entry.

@@ -1545,7 +1546,8 @@ batadv_tt_global_orig_entry_find(const struct batadv_tt_global_entry *entry, */ static bool batadv_tt_global_entry_has_orig(const struct batadv_tt_global_entry *entry,

• 		const struct batadv_orig_node *orig_node)
  

• 		const struct batadv_orig_node *orig_node,
  

• 		u8 *flags)
  

{ struct batadv_tt_orig_list_entry *orig_entry; bool found = false; @@ -1553,6 +1555,10 @@ batadv_tt_global_entry_has_orig(const struct batadv_tt_global_entry *entry, orig_entry = batadv_tt_global_orig_entry_find(entry, orig_node); if (orig_entry) { found = true;

• if (flags)
  

• 	*flags = orig_entry->flags;
  

• batadv_tt_orig_list_entry_put(orig_entry); }

@@ -1731,7 +1737,7 @@ static bool batadv_tt_global_add(struct batadv_priv *bat_priv, if (!(common->flags & BATADV_TT_CLIENT_TEMP)) goto out; if (batadv_tt_global_entry_has_orig(tt_global_entry,

• 					    orig_node))
  

• 					    orig_node, NULL))
  	goto out_remove;
  batadv_tt_global_del_orig_list(tt_global_entry);
  goto add_orig_entry;
  

@@ -2880,27 +2886,49 @@ batadv_tt_req_node_new(struct batadv_priv *bat_priv, }

/**

• • batadv_tt_local_valid() - verify that given tt entry is a valid one

• • batadv_tt_local_get_flags() - verify local tt entry and get flags
  • @entry_ptr: to be checked local tt entry
  • @data_ptr: not used but definition required to satisfy the callback prototype
• • @flags: a pointer to store flags to

same here: maybe just mention "TT flags for this client"?

• • Checks the validity of the given local TT entry. If it is, then the provided
• • flags pointer is updated.
  • Return: true if the entry is a valid, false otherwise.
  */

-static bool batadv_tt_local_valid(const void *entry_ptr, const void *data_ptr) +static bool batadv_tt_local_get_flags(const void *entry_ptr,

• 		      const void *data_ptr,
  

• 		      u8 *flags)
  

{ const struct batadv_tt_common_entry *tt_common_entry = entry_ptr;

if (tt_common_entry->flags & BATADV_TT_CLIENT_NEW) return false;

• *flags = tt_common_entry->flags;
• return true;

}

-static bool batadv_tt_global_valid(const void *entry_ptr,

• 		   const void *data_ptr)
  

+/**

• • batadv_tt_global_get_flags() - verify global tt entry and get flags
• • @entry_ptr: to be checked global tt entry
• • @data_ptr: an orig_node object (may be NULL)
• • @flags: a pointer to store flags to

same as above

• • Checks the validity of the given global TT entry. If it is, then the provided
• • flags pointer is updated either with the common (summed) TT flags if data_ptr
• • is NULL or the specific, per originator TT flags otherwise.
• • Return: true if the entry is a valid, false otherwise.
• */

+static bool batadv_tt_global_get_flags(const void *entry_ptr,

• 		       const void *data_ptr,
  

• 		       u8 *flags)
  

{ const struct batadv_tt_common_entry *tt_common_entry = entry_ptr; const struct batadv_tt_global_entry *tt_global_entry;

• const struct batadv_orig_node *orig_node = data_ptr;

• const struct batadv_orig_node *orig = data_ptr;

why this free renaming? is it related to this patch?

if (tt_common_entry->flags & BATADV_TT_CLIENT_ROAM || tt_common_entry->flags & BATADV_TT_CLIENT_TEMP) @@ -2910,7 +2938,7 @@ static bool batadv_tt_global_valid(const void *entry_ptr, struct batadv_tt_global_entry, common);

• return batadv_tt_global_entry_has_orig(tt_global_entry, orig_node);

• return batadv_tt_global_entry_has_orig(tt_global_entry, orig, flags);

}

/** @@ -2920,20 +2948,23 @@ static bool batadv_tt_global_valid(const void *entry_ptr,

• @hash: hash table containing the tt entries
• @tt_len: expected tvlv tt data buffer length in number of bytes
• @tvlv_buff: pointer to the buffer to fill with the TT data

• • @valid_cb: function to filter tt change entries

• • @flags_cb: function to filter tt change entries and to return flags

I personally don't like the name "flags_cb" because this cb is still mainly used for filtering entries. maybe "filter_cb" is a better name? or just "cb" (so we get rid of any ambiguity :P)?

• @cb_data: data passed to the filter function as argument

*/ static void batadv_tt_tvlv_generate(struct batadv_priv *bat_priv, struct batadv_hashtable *hash, void *tvlv_buff, u16 tt_len,

• 		    bool (*valid_cb)(const void *,
  

• 				     const void *),
  

• 		    bool (*flags_cb)(const void *,
  

• 				     const void *,
  

• 				     u8 *flags),
  	    void *cb_data)
  

{ struct batadv_tt_common_entry *tt_common_entry; struct batadv_tvlv_tt_change *tt_change; struct hlist_head *head; u16 tt_tot, tt_num_entries = 0;

• u8 flags;

• bool ret; u32 i;

  tt_tot = batadv_tt_entries(tt_len);

@@ -2948,11 +2979,12 @@ static void batadv_tt_tvlv_generate(struct batadv_priv *bat_priv, if (tt_tot == tt_num_entries) break;

• 	if ((valid_cb) && (!valid_cb(tt_common_entry, cb_data)))
  

• 	ret = flags_cb(tt_common_entry, cb_data, &flags);
  

why changing the assumption to "flags_cb" is never NULL, while it was not the case before your change?

• 	if (!ret)
  	continue;
  
  ether_addr_copy(tt_change->addr, tt_common_entry->addr);
  

• 	tt_change->flags = tt_common_entry->flags;
  

• 	tt_change->flags = flags;
  tt_change->vid = htons(tt_common_entry->vid);
  memset(tt_change->reserved, 0,
         sizeof(tt_change->reserved));
  

@@ -3247,7 +3279,7 @@ static bool batadv_send_other_tt_response(struct batadv_priv *bat_priv, /* fill the rest of the tvlv with the real TT entries */ batadv_tt_tvlv_generate(bat_priv, bat_priv->tt.global_hash, tt_change, tt_len,

• 			batadv_tt_global_valid,
  

• 			batadv_tt_global_get_flags,
  		req_dst_orig_node);
  

  }

@@ -3376,7 +3408,7 @@ static bool batadv_send_my_tt_response(struct batadv_priv *bat_priv, /* fill the rest of the tvlv with the real TT entries */ batadv_tt_tvlv_generate(bat_priv, bat_priv->tt.local_hash, tt_change, tt_len,

• 			batadv_tt_local_valid, NULL);
  

• 			batadv_tt_local_get_flags, NULL);
  

  }

  tvlv_tt_data->flags = BATADV_TT_RESPONSE;

The rest looks good! Thanks!