[Devel] [PATCH RHEL7 COMMIT] fuse kio: Fix possible use after free in cslist_destroy()

Konstantin Khorenko khorenko at virtuozzo.com
Mon Jun 4 23:24:14 MSK 2018


The commit is pushed to "branch-rh7-3.10.0-693.21.1.vz7.50.x-ovz" and will appear at https://src.openvz.org/scm/ovz/vzkernel.git
after rh7-3.10.0-693.21.1.vz7.50.4
------>
commit bd49d2ba5358a87aa6bdf00a6bbdb817902c8c94
Author: Kirill Tkhai <ktkhai at virtuozzo.com>
Date:   Mon Jun 4 23:24:14 2018 +0300

    fuse kio: Fix possible use after free in cslist_destroy()
    
    This can race with pcs_csset_fini():
    
    pcs_csset_fini()       cslist_destroy()
                             if (!cslink->cs) <- compiler caches cslink->cs
      pcs_cs_isolate()
      pcs_cs_destroy()
                             spin_lock(&cslink->cs->lock) <- use after free
    
    Fix that.
    
    Signed-off-by: Kirill Tkhai <ktkhai at virtuozzo.com>
    
    =====================
    Patchset description:
    
    Fix deadlock during change of CS address
    
    This is not a complete patchset, but I meet the situation
    when it's necessary to change original logic in small way,
    so this is a request for comments.
    
    [1-5/7] are mostly preparations and fixes, so my question
    is about [6-7/7].
    
    1) Patch 6 changes order of actions: pcs_map_notify_addr_change()
    is called after assigning of rpc addr. Can we do that? As I
    understand this results in new maps are created with new address,
    while in pcs_map_notify_addr_change() we invalidate old ones.
    So, for me it seems there is no a problem.
    
    This is needed for possibility to unlock cs->lock in pcs_map_notify_addr_change().
    Theoretically, two pcs_cs_find_create() may happen in parallel,
    so we want they assign addr in the order they happen. Otherwise,
    the first one with the old addr_serno may overwrite the addr.
    
    2) Patch 7 uses the preparations from previous patches and
    makes pcs_map_notify_addr_change() to unlock cs->lock for a while.
    New elements are added to head of cs->map_list, so we skip
    them on iterations. But it seems, they must be correct because
    we already updated rpc addr in pcs_cs_find_create(). Is there
    a reason we can't do this?
    
    Kirill Tkhai (7):
          fuse kio: Introduce pcs_cs_list_of_cs_link()
          fuse kio: Fix potential use after free
          fuse kio: Fix possible use after free in cslist_destroy()
          fuse kio: Introduce pcs_cs::use_count instead of ::is_probing
          fuse kio: Wait till cs is unused in pcs_csset_fini()
          fuse kio: Change order around pcs_map_notify_addr_change()
          fuse kio: Fix fix deadlock during change CS address
---
 fs/fuse/kio/pcs/pcs_cs.c  |  2 +-
 fs/fuse/kio/pcs/pcs_map.c | 11 +++++++----
 fs/fuse/kio/pcs/pcs_map.h |  2 +-
 3 files changed, 9 insertions(+), 6 deletions(-)

diff --git a/fs/fuse/kio/pcs/pcs_cs.c b/fs/fuse/kio/pcs/pcs_cs.c
index 899bf5c9f650..0b6c4f248251 100644
--- a/fs/fuse/kio/pcs/pcs_cs.c
+++ b/fs/fuse/kio/pcs/pcs_cs.c
@@ -728,7 +728,7 @@ static void pcs_cs_isolate(struct pcs_cs *cs, struct list_head *dispose)
 		struct pcs_cs_link *csl = list_first_entry(&cs->map_list,
 							       struct pcs_cs_link,
 							       link);
-		csl->cs = NULL;
+		rcu_assign_pointer(csl->cs, NULL);
 		cs->nmaps--;
 		list_del_init(&csl->link);
 	}
diff --git a/fs/fuse/kio/pcs/pcs_map.c b/fs/fuse/kio/pcs/pcs_map.c
index ef4efa6cc13e..56a1118af255 100644
--- a/fs/fuse/kio/pcs/pcs_map.c
+++ b/fs/fuse/kio/pcs/pcs_map.c
@@ -60,20 +60,23 @@ static void cslist_destroy(struct pcs_cs_list * csl)
 	TRACE("csl:%p csl->map:%p refcnt:%d\n", csl, csl->map, atomic_read(&csl->refcnt));
 	BUG_ON(csl->map);
 
+	rcu_read_lock();
 	for (i = 0; i < csl->nsrv; i++) {
 		struct pcs_cs_link * cslink = &csl->cs[i].cslink;
+		struct pcs_cs __rcu *cs = rcu_dereference(cslink->cs);
 
 		/* Possible after error inside cslist_alloc() */
-		if (!cslink->cs)
+		if (!cs)
 			continue;
 
-		spin_lock(&cslink->cs->lock);
+		spin_lock(&cs->lock);
 		if (!list_empty(&cslink->link)) {
 			list_del_init(&cslink->link);
-			cslink->cs->nmaps--;
+			cs->nmaps--;
 		}
 		spin_unlock(&cslink->cs->lock);
 	}
+	rcu_read_unlock();
 	kfree(csl);
 }
 
@@ -948,7 +951,7 @@ struct pcs_cs_list* cslist_alloc( struct pcs_cs_set *css, struct pcs_cs_info *re
 		assert_spin_locked(&cs->lock);
 		BUG_ON(cs->is_dead);
 
-		cslink->cs = cs;
+		rcu_assign_pointer(cslink->cs, cs);
 		cslink->addr_serno = cs->addr_serno;
 
 		cs->io_prio = cs_list->cs[i].info.io_prio;
diff --git a/fs/fuse/kio/pcs/pcs_map.h b/fs/fuse/kio/pcs/pcs_map.h
index 49a05ff625f4..bc6874a2ebc2 100644
--- a/fs/fuse/kio/pcs/pcs_map.h
+++ b/fs/fuse/kio/pcs/pcs_map.h
@@ -26,7 +26,7 @@ struct pcs_int_request;
 
 struct pcs_cs_link
 {
-	struct pcs_cs	* cs;
+	struct pcs_cs __rcu *cs;
 	int		index;
 	int		addr_serno;
 	struct list_head	link;  /* Link in list of maps routed via cs,


More information about the Devel mailing list