UBIFS: allow for racing between GC and TNC

The TNC mutex is unlocked prematurely when reading leaf nodes
with non-hashed keys.  This is unsafe because the node may be
moved by garbage collection and the eraseblock unmapped, although
that has never actually happened during stress testing.

This patch fixes the flaw by detecting the race and retrying with
the TNC mutex locked.

Signed-off-by: Adrian Hunter <ext-adrian.hunter@nokia.com>
This commit is contained in:
Adrian Hunter 2008-08-22 14:23:35 +03:00 committed by Artem Bityutskiy
parent 761e29f3bb
commit 601c0bc467
4 changed files with 87 additions and 51 deletions

View File

@ -344,6 +344,12 @@ int ubifs_garbage_collect_leb(struct ubifs_info *c, struct ubifs_lprops *lp)
if (err) if (err)
goto out; goto out;
/* Allow for races with TNC */
c->gced_lnum = lnum;
smp_wmb();
c->gc_seq += 1;
smp_wmb();
if (c->gc_lnum == -1) { if (c->gc_lnum == -1) {
c->gc_lnum = lnum; c->gc_lnum = lnum;
err = LEB_RETAINED; err = LEB_RETAINED;

View File

@ -325,4 +325,21 @@ static inline struct timespec ubifs_current_time(struct inode *inode)
current_fs_time(inode->i_sb) : CURRENT_TIME_SEC; current_fs_time(inode->i_sb) : CURRENT_TIME_SEC;
} }
/**
* ubifs_tnc_lookup - look up a file-system node.
* @c: UBIFS file-system description object
* @key: node key to lookup
* @node: the node is returned here
*
* This function look up and reads node with key @key. The caller has to make
* sure the @node buffer is large enough to fit the node. Returns zero in case
* of success, %-ENOENT if the node was not found, and a negative error code in
* case of failure.
*/
static inline int ubifs_tnc_lookup(struct ubifs_info *c,
const union ubifs_key *key, void *node)
{
return ubifs_tnc_locate(c, key, node, NULL, NULL);
}
#endif /* __UBIFS_MISC_H__ */ #endif /* __UBIFS_MISC_H__ */

View File

@ -506,7 +506,7 @@ static int fallible_read_node(struct ubifs_info *c, const union ubifs_key *key,
if (keys_cmp(c, key, &node_key) != 0) if (keys_cmp(c, key, &node_key) != 0)
ret = 0; ret = 0;
} }
if (ret == 0) if (ret == 0 && c->replaying)
dbg_mnt("dangling branch LEB %d:%d len %d, key %s", dbg_mnt("dangling branch LEB %d:%d len %d, key %s",
zbr->lnum, zbr->offs, zbr->len, DBGKEY(key)); zbr->lnum, zbr->offs, zbr->len, DBGKEY(key));
return ret; return ret;
@ -1382,50 +1382,39 @@ static int lookup_level0_dirty(struct ubifs_info *c, const union ubifs_key *key,
} }
/** /**
* ubifs_tnc_lookup - look up a file-system node. * maybe_leb_gced - determine if a LEB may have been garbage collected.
* @c: UBIFS file-system description object * @c: UBIFS file-system description object
* @key: node key to lookup * @lnum: LEB number
* @node: the node is returned here * @gc_seq1: garbage collection sequence number
* *
* This function look up and reads node with key @key. The caller has to make * This function determines if @lnum may have been garbage collected since
* sure the @node buffer is large enough to fit the node. Returns zero in case * sequence number @gc_seq1. If it may have been then %1 is returned, otherwise
* of success, %-ENOENT if the node was not found, and a negative error code in * %0 is returned.
* case of failure.
*/ */
int ubifs_tnc_lookup(struct ubifs_info *c, const union ubifs_key *key, static int maybe_leb_gced(struct ubifs_info *c, int lnum, int gc_seq1)
void *node)
{ {
int found, n, err; int gc_seq2, gced_lnum;
struct ubifs_znode *znode;
struct ubifs_zbranch zbr, *zt;
mutex_lock(&c->tnc_mutex); gced_lnum = c->gced_lnum;
found = ubifs_lookup_level0(c, key, &znode, &n); smp_rmb();
if (!found) { gc_seq2 = c->gc_seq;
err = -ENOENT; /* Same seq means no GC */
goto out; if (gc_seq1 == gc_seq2)
} else if (found < 0) { return 0;
err = found; /* Different by more than 1 means we don't know */
goto out; if (gc_seq1 + 1 != gc_seq2)
} return 1;
zt = &znode->zbranch[n]; /*
if (is_hash_key(c, key)) { * We have seen the sequence number has increased by 1. Now we need to
/* * be sure we read the right LEB number, so read it again.
* In this case the leaf node cache gets used, so we pass the */
* address of the zbranch and keep the mutex locked smp_rmb();
*/ if (gced_lnum != c->gced_lnum)
err = tnc_read_node_nm(c, zt, node); return 1;
goto out; /* Finally we can check lnum */
} if (gced_lnum == lnum)
zbr = znode->zbranch[n]; return 1;
mutex_unlock(&c->tnc_mutex); return 0;
err = ubifs_tnc_read_node(c, &zbr, node);
return err;
out:
mutex_unlock(&c->tnc_mutex);
return err;
} }
/** /**
@ -1436,16 +1425,19 @@ out:
* @lnum: LEB number is returned here * @lnum: LEB number is returned here
* @offs: offset is returned here * @offs: offset is returned here
* *
* This function is the same as 'ubifs_tnc_lookup()' but it returns the node * This function look up and reads node with key @key. The caller has to make
* location also. See 'ubifs_tnc_lookup()'. * sure the @node buffer is large enough to fit the node. Returns zero in case
* of success, %-ENOENT if the node was not found, and a negative error code in
* case of failure. The node location can be returned in @lnum and @offs.
*/ */
int ubifs_tnc_locate(struct ubifs_info *c, const union ubifs_key *key, int ubifs_tnc_locate(struct ubifs_info *c, const union ubifs_key *key,
void *node, int *lnum, int *offs) void *node, int *lnum, int *offs)
{ {
int found, n, err; int found, n, err, safely = 0, gc_seq1;
struct ubifs_znode *znode; struct ubifs_znode *znode;
struct ubifs_zbranch zbr, *zt; struct ubifs_zbranch zbr, *zt;
again:
mutex_lock(&c->tnc_mutex); mutex_lock(&c->tnc_mutex);
found = ubifs_lookup_level0(c, key, &znode, &n); found = ubifs_lookup_level0(c, key, &znode, &n);
if (!found) { if (!found) {
@ -1456,24 +1448,43 @@ int ubifs_tnc_locate(struct ubifs_info *c, const union ubifs_key *key,
goto out; goto out;
} }
zt = &znode->zbranch[n]; zt = &znode->zbranch[n];
if (lnum) {
*lnum = zt->lnum;
*offs = zt->offs;
}
if (is_hash_key(c, key)) { if (is_hash_key(c, key)) {
/* /*
* In this case the leaf node cache gets used, so we pass the * In this case the leaf node cache gets used, so we pass the
* address of the zbranch and keep the mutex locked * address of the zbranch and keep the mutex locked
*/ */
*lnum = zt->lnum;
*offs = zt->offs;
err = tnc_read_node_nm(c, zt, node); err = tnc_read_node_nm(c, zt, node);
goto out; goto out;
} }
if (safely) {
err = ubifs_tnc_read_node(c, zt, node);
goto out;
}
/* Drop the TNC mutex prematurely and race with garbage collection */
zbr = znode->zbranch[n]; zbr = znode->zbranch[n];
gc_seq1 = c->gc_seq;
mutex_unlock(&c->tnc_mutex); mutex_unlock(&c->tnc_mutex);
*lnum = zbr.lnum; if (ubifs_get_wbuf(c, zbr.lnum)) {
*offs = zbr.offs; /* We do not GC journal heads */
err = ubifs_tnc_read_node(c, &zbr, node);
return err;
}
err = ubifs_tnc_read_node(c, &zbr, node); err = fallible_read_node(c, key, &zbr, node);
return err; if (maybe_leb_gced(c, zbr.lnum, gc_seq1)) {
/*
* The node may have been GC'ed out from under us so try again
* while keeping the TNC mutex locked.
*/
safely = 1;
goto again;
}
return 0;
out: out:
mutex_unlock(&c->tnc_mutex); mutex_unlock(&c->tnc_mutex);

View File

@ -1028,6 +1028,8 @@ struct ubifs_mount_opts {
* @sbuf: a buffer of LEB size used by GC and replay for scanning * @sbuf: a buffer of LEB size used by GC and replay for scanning
* @idx_gc: list of index LEBs that have been garbage collected * @idx_gc: list of index LEBs that have been garbage collected
* @idx_gc_cnt: number of elements on the idx_gc list * @idx_gc_cnt: number of elements on the idx_gc list
* @gc_seq: incremented for every non-index LEB garbage collected
* @gced_lnum: last non-index LEB that was garbage collected
* *
* @infos_list: links all 'ubifs_info' objects * @infos_list: links all 'ubifs_info' objects
* @umount_mutex: serializes shrinker and un-mount * @umount_mutex: serializes shrinker and un-mount
@ -1257,6 +1259,8 @@ struct ubifs_info {
void *sbuf; void *sbuf;
struct list_head idx_gc; struct list_head idx_gc;
int idx_gc_cnt; int idx_gc_cnt;
volatile int gc_seq;
volatile int gced_lnum;
struct list_head infos_list; struct list_head infos_list;
struct mutex umount_mutex; struct mutex umount_mutex;
@ -1451,8 +1455,6 @@ int ubifs_save_dirty_idx_lnums(struct ubifs_info *c);
/* tnc.c */ /* tnc.c */
int ubifs_lookup_level0(struct ubifs_info *c, const union ubifs_key *key, int ubifs_lookup_level0(struct ubifs_info *c, const union ubifs_key *key,
struct ubifs_znode **zn, int *n); struct ubifs_znode **zn, int *n);
int ubifs_tnc_lookup(struct ubifs_info *c, const union ubifs_key *key,
void *node);
int ubifs_tnc_lookup_nm(struct ubifs_info *c, const union ubifs_key *key, int ubifs_tnc_lookup_nm(struct ubifs_info *c, const union ubifs_key *key,
void *node, const struct qstr *nm); void *node, const struct qstr *nm);
int ubifs_tnc_locate(struct ubifs_info *c, const union ubifs_key *key, int ubifs_tnc_locate(struct ubifs_info *c, const union ubifs_key *key,