linux-f2fs-devel.lists.sourceforge.net archive mirror
 help / color / mirror / Atom feed
From: Sahitya Tummala <stummala@codeaurora.org>
To: zhengliang <zhengliang6@huawei.com>
Cc: jaegeuk@kernel.org, linux-f2fs-devel@lists.sourceforge.net
Subject: Re: [PATCH v4] f2fs: fix to data block override node segment by mistake
Date: Mon, 4 Mar 2019 10:18:53 +0530	[thread overview]
Message-ID: <20190304044853.GB8377@codeaurora.org> (raw)
In-Reply-To: <46bb1ca2-e768-274b-6d98-3ff4323abd1f@huawei.com>

On Mon, Mar 04, 2019 at 09:32:25AM +0800, zhengliang wrote:
> v4: Rearrange the previous three versions.
> 
> The following scenario could lead to data block override by mistake.
> 
> TASK A            |  TASK kworker                                            |     TASK B                                            |       TASK C
>                   |                                                          |                                                       |
> open              |                                                          |                                                       |
> write             |                                                          |                                                       |
> close             |                                                          |                                                       |
>                   |  f2fs_write_data_pages                                   |                                                       |
>                   |    f2fs_write_cache_pages                                |                                                       |
>                   |      f2fs_outplace_write_data                            |                                                       |
>                   |        f2fs_allocate_data_block (get block in seg S,     |                                                       |
>                   |                                  S is full, and only     |                                                       |
>                   |                                  have this valid data    |                                                       |
>                   |                                  block)                  |                                                       |
>                   |          allocate_segment                                |                                                       |
>                   |          locate_dirty_segment (mark S as PRE)            |                                                       |

In Task kworker context, if there is one valid data block allocated from S, then how can
S be marked as PRE? Shouldn't it be DIRTY? Please clarify.

>                   |        f2fs_submit_page_write (submit but is not         |                                                       |
>                   |                                written on dev)           |                                                       |
> unlink            |                                                          |                                                       |
>  iput_final       |                                                          |                                                       |
>   f2fs_drop_inode |                                                          |                                                       |
>     f2fs_truncate |                                                          |                                                       |
>  (not evict)      |                                                          |                                                       |
>                   |                                                          | write_checkpoint                                      |
>                   |                                                          |  flush merged bio but not wait file data writeback    |
>                   |                                                          |  set_prefree_as_free (mark S as FREE)                 |
>                   |                                                          |                                                       | update NODE/DATA
>                   |                                                          |                                                       | allocate_segment (select S)
>                   |     writeback done                                       |                                                       |
> 
> So we need to guarantee io complete before truncate inode in f2fs_drop_inode.
> 
> Reviewed-by: Chao Yu <yuchao0@huawei.com>
> Signed-off-by: Zheng Liang <zhengliang6@huawei.com>
> --------
> diff --git a/fs/f2fs/super.c b/fs/f2fs/super.c
> index c46a1d43..60f0599 100644
> --- a/fs/f2fs/super.c
> +++ b/fs/f2fs/super.c
> @@ -915,6 +915,10 @@ static int f2fs_drop_inode(struct inode *inode)
>                         sb_start_intwrite(inode->i_sb);
>                         f2fs_i_size_write(inode, 0);
> 
> +                       f2fs_submit_merged_write_cond(F2FS_I_SB(inode),
> +                                       inode, NULL, 0, DATA);
> +                       truncate_inode_pages_final(inode->i_mapping);
> +
>                         if (F2FS_HAS_BLOCKS(inode))
>                                 f2fs_truncate(inode);
> 
> 
> 
> _______________________________________________
> Linux-f2fs-devel mailing list
> Linux-f2fs-devel@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/linux-f2fs-devel

-- 
--
Sent by a consultant of the Qualcomm Innovation Center, Inc.
The Qualcomm Innovation Center, Inc. is a member of the Code Aurora Forum.

  reply	other threads:[~2019-03-04  4:49 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-03-04  1:32 [PATCH v4] f2fs: fix to data block override node segment by mistake zhengliang
2019-03-04  4:48 ` Sahitya Tummala [this message]
2019-03-04 12:32   ` zhengliang

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20190304044853.GB8377@codeaurora.org \
    --to=stummala@codeaurora.org \
    --cc=jaegeuk@kernel.org \
    --cc=linux-f2fs-devel@lists.sourceforge.net \
    --cc=zhengliang6@huawei.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).