[dm-devel] [PATCH 03/11] [PATCH 18/19] [dm-thin] [bio prison] Don't use the bi_next field for the holder of a cell.
Mike Snitzer
snitzer at redhat.com
Tue Feb 7 23:18:21 UTC 2012
On Thu, Feb 02 2012 at 11:39am -0500,
Joe Thornber <ejt at redhat.com> wrote:
> The holder can be passed down to lower devices which may want to use
> bi_next themselves. Also added BUG_ON checks to confirm fix.
Aside from not (ab)using bi_next; do any other patches in the series
depend on this patch? I don't think so but figured I'd explicitly ask.
> diff --git a/drivers/md/dm-thin.c b/drivers/md/dm-thin.c
> index c308757..6ef03a2 100644
> --- a/drivers/md/dm-thin.c
> +++ b/drivers/md/dm-thin.c
> @@ -220,8 +220,8 @@ static struct cell *__search_bucket(struct hlist_head *bucket,
> * This may block if a new cell needs allocating. You must ensure that
> * cells will be unlocked even if the calling thread is blocked.
> *
> - * Returns the number of entries in the cell prior to the new addition
> - * or < 0 on failure.
> + * Returns 1 if the cell was already held, 0 if @inmate is the new holder,
> + * or < 0 on error.
> */
> static int bio_detain(struct bio_prison *prison, struct cell_key *key,
> struct bio *inmate, struct cell **ref)
bio_detain() never returns < 0, so I've updated the above comment block.
> @@ -256,21 +256,25 @@ static int bio_detain(struct bio_prison *prison, struct cell_key *key,
>
> cell->prison = prison;
> memcpy(&cell->key, key, sizeof(cell->key));
> - cell->count = 0;
> + cell->holder = inmate;
> bio_list_init(&cell->bios);
> hlist_add_head(&cell->list, prison->cells + hash);
> + r = 0;
So in this case where there is no existing inmate in the cell, and
you're allocating the cell, you aren't adding the lone inmate (the
holder) to the cell->bios. But you did previously [1].
> +
> + } else {
> + mempool_free(cell2, prison->cell_pool);
> + cell2 = NULL;
> + r = 1;
> + bio_list_add(&cell->bios, inmate);
> }
> - }
>
> - r = cell->count++;
> - bio_list_add(&cell->bios, inmate);
[1] So you only added it in all cases before because you were looking to
get bio->bi_next to reflect the holder? Thing is bio_list_add()
will set: bio->bi_next = NULL; -- so I'm not seeing how overloading
bi_next to imply holder was reliable.
I'll need to look closer at the bigger picture of how a cell is used;
but it is clear that cell->holder isn't on the cell->bios bio_list now.
> @@ -286,6 +290,7 @@ static void __cell_release(struct cell *cell, struct bio_list *inmates)
> if (inmates)
> bio_list_merge(inmates, &cell->bios);
>
> + bio_list_add_head(inmates, cell->holder);
> mempool_free(cell, prison->cell_pool);
> }
__cell_release() assumes @inmates is a properly initialized bio_list.
So why the check for inmates != NULL?
And why is this bio_list_add_head() outside that inmates != NULL check?
But most important question: why is it so important to put the
cell->holder at the head of the @inmates list?
Anyway, __cell_release() is the only place where cell->holder is
actually used -- would be worthwhile to to add a comment above it's
bio_list_add_head() call to document _why_ it is important to add the
holder to the head there.
Especially considering @inmates _could_ already be non-empty, so you're
appending the cell->bios to the end of the @inmates list
(e.g. pool->deferred_bios), but then putting the holder of the cell at
the head of the @inmates list.. leaving the cell's holder disjoint from
it's other cell members... why? Was this intended?
(Maybe I'm not reading the code right).
> @@ -1302,8 +1309,10 @@ static void process_deferred_bios(struct pool *pool)
> return;
> }
>
> - while ((bio = bio_list_pop(&bios)))
> + while ((bio = bio_list_pop(&bios))) {
> + BUG_ON(bio->bi_next);
> generic_make_request(bio);
> + }
bio_list_pop() will always: bio->bi_next = NULL;
so there is no need for the BUG_ON() here.
I've refreshed this patch here:
http://people.redhat.com/msnitzer/patches/upstream/dm-thinp-3.3/0004-dm-thin-don-t-use-the-bi_next-field-for-the-holder-o.patch
More information about the dm-devel
mailing list