Received: by 2002:a6b:fb09:0:0:0:0:0 with SMTP id h9csp93975iog; Thu, 23 Jun 2022 23:23:57 -0700 (PDT) X-Google-Smtp-Source: AGRyM1vkSyP2CslYbyGl/xvGaWTED7QYNuHOksjI1r6FBJ+7VAI9yWmfwzf+4BgxO9aIIphnoEkD X-Received: by 2002:a17:907:6295:b0:703:92b8:e113 with SMTP id nd21-20020a170907629500b0070392b8e113mr11848039ejc.594.1656051836888; Thu, 23 Jun 2022 23:23:56 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1656051836; cv=none; d=google.com; s=arc-20160816; b=mw4GzrTiNy5Lj1sbVtKI2cmNUVAf/7Fwn5sRUkdBo5iyXUKN0GmSAFVCCjbyjGJkMK aYofh/Qa9/4D41mdnW4/jPU2ooqB/Evz0d41CwSRONjqIUunFXb5PRVrZtos7uwWTahT gKnEFbpm8gPMnBbEU7R4xLSSIUrS7U5RA5IkiYm/n4qAsj5KSxipISj+UiMsx15ovGyV weKEdaLyauasVU5t2Q1gRLf7jUYRtnQuHtE4TGnWXZuw3wR8f4GIAUSYDgblrQYhmTDz mP2yeEI1Tp2ayArRiJmuVsf1XytfZc2EuliA8oX+OVT6BA1BM7JBdi3PLbPXPXCsYGRK yBUg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:content-transfer-encoding:mime-version :message-id:date:subject:cc:to:from:dkim-signature; bh=mkT5VsPQuJIUpR6DhxoHikkl9hw8/mnThH9CG3OtTQA=; b=WkzIqDrIHPaKy8LgkMH0nwzGdA4YoqSR2ea5P51r1lVqzAp8np8w+Ujuy1JLVnVsZn G7fUckVxJFnilkCPMeHqAKsb56QxTlh81JHB6Vo6x7pV0I56coldjTPIJATGQn9hh5+D 6yfzxDgOOK18qQlKNtIoM84fCTqjtNnQ5wI37cPdQFz059157K4JYwXejojeUH2Cg7A5 RBeS2SRx1sR8k5NzVAdXMw5xNyFZjDrTLpwNbVG5laeh2bkziyhI3slso3KoPsT7CiCN fiW4xDK3/Zp+OyVQboEoVGY7ah7tY/V+mw9Zhr3TyU2K5TTLqgoNbw2f0QDVuwMxlzDt 639w== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@bytedance-com.20210112.gappssmtp.com header.s=20210112 header.b=UOl+hrib; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=bytedance.com Return-Path: Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id v25-20020a50d599000000b0043565b4bda3si2016875edi.521.2022.06.23.23.23.31; Thu, 23 Jun 2022 23:23:56 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20; Authentication-Results: mx.google.com; dkim=pass header.i=@bytedance-com.20210112.gappssmtp.com header.s=20210112 header.b=UOl+hrib; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=bytedance.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S229927AbiFXF6r (ORCPT + 99 others); Fri, 24 Jun 2022 01:58:47 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:44938 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S229598AbiFXF6q (ORCPT ); Fri, 24 Jun 2022 01:58:46 -0400 Received: from mail-pf1-x42b.google.com (mail-pf1-x42b.google.com [IPv6:2607:f8b0:4864:20::42b]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 986A767E7C for ; Thu, 23 Jun 2022 22:58:43 -0700 (PDT) Received: by mail-pf1-x42b.google.com with SMTP id a15so1631012pfv.13 for ; Thu, 23 Jun 2022 22:58:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=bytedance-com.20210112.gappssmtp.com; s=20210112; h=from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=mkT5VsPQuJIUpR6DhxoHikkl9hw8/mnThH9CG3OtTQA=; b=UOl+hrib1e3Aocwgb7erU6umLmivsBwNvLC9H00sT05Vg8VG0H7E3b4+YSkbX7KaVk m+UOHmBOIG6LgZDV4r9iysNyeBfzOYeY41IKCA4JSgLYpx3TfMMzHn1YXD+8SnxfMMJX UPuraTdHeXLXUasN/tK9HfhAQtYzCOFistiuu6UKkd4ZMMixcKponrOgm7kSe3OQUUrM YXDfuhZ5pHefWH2g5X6xDZSpIbpMwkieebQLk+ZLGcsHcTX1SEn82fFKP2BIkCin7yGv BXJoo/lFoGhbB+3E7VnSsaZhL4xiKLgiiVivtQNNcXfFr3+iLJ3CYyCBzCBC+C+yfENu JMPw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=mkT5VsPQuJIUpR6DhxoHikkl9hw8/mnThH9CG3OtTQA=; b=PoZJjy4m07Y30kfDtvClHWosnyxpJD8IPewRAmev3jD8aMW5Pkq4O/T7zGsAeJXGBR qNWbjkLusHAaw6p9YBl+45jv5Mp+UVhtj4uxg976laDr8JfgVUXwBj0mzoVyPInYM22m Lu4KAbZmB9koBuzToJ422D6PDu0FDubKbQlIOCtdBBjNWaixPgat14txcouwfDv/koLl 2x87cMQvado0hJRaRa+An6HuP/jY7/U5Kg1kuyRwwrzweFnI47vfRV/k8h+vFoB7JI82 FPdHUp70kL+6Brhu9LVGmPW6c7sYTEG6IDqcV87FIy25GWiDRCq2ViLKiuvx3ISiQmAC S+Fw== X-Gm-Message-State: AJIora8YASILv+J+ls+RyKRgOqdpLUwhZoNX8XSs/JHzEuK1xszGRNHc 4d+pYMx7I/TjTDOB6VklS6DBUw== X-Received: by 2002:a05:6a00:21c7:b0:51c:4b2d:f82f with SMTP id t7-20020a056a0021c700b0051c4b2df82fmr44228553pfj.29.1656050323019; Thu, 23 Jun 2022 22:58:43 -0700 (PDT) Received: from bogon.bytedance.net ([61.120.150.70]) by smtp.gmail.com with ESMTPSA id q5-20020a170902bd8500b001640beeebf1sm811135pls.268.2022.06.23.22.58.39 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 23 Jun 2022 22:58:42 -0700 (PDT) From: Jiachen Zhang To: miklos@szeredi.hu, linux-fsdevel@vger.kernel.org Cc: linux-kernel@vger.kernel.org, xieyongji@bytedance.com, fam.zheng@bytedance.com, Jiachen Zhang , Miklos Szeredi Subject: [PATCH] fuse: writeback_cache consistency enhancement (writeback_cache_v2) Date: Fri, 24 Jun 2022 13:58:25 +0800 Message-Id: <20220624055825.29183-1-zhangjiachen.jaycee@bytedance.com> X-Mailer: git-send-email 2.35.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS, T_SCC_BODY_TEXT_LINE autolearn=unavailable autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on lindbergh.monkeyblade.net Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Some users may want both the high performance of the writeback_cahe mode and a little bit more consistency among FUSE mounts. In the current writeback mode implementation, users of one FUSE mount can never see the file expansion done by other FUSE mounts. Based on the suggested writeback V2 patch in the upstream mailing-list [1], this commit allows the cmtime and size to be updated from server in writeback mode. Compared with the writeback V2 patch in [1], this commit has several differences: 1. Ensure c/mtime are not updated from kernel to server. IOW, the cmtime generated by kernel are just temporary values that are never flushed to server, and they can also be updated by the official server cmtime when the writeback cache is clean. 2. Skip mtime-based revalidation when fc->auto_inval_data is set with fc->writeback_cache_v2. Because the kernel-generated temporary cmtime are likely not equal to the offical server cmtime. 3. If any page is ever flushed to the server during FUSE_GETATTR handling on fuse server, even if the cache is clean when fuse_change_attributes() checks, we should not update the i_size. This is because the FUSE_GETATTR may get a staled size before the FUSE_WRITE request changes server inode size. This commit ensures this by increasing attr_version after writeback for writeback_cache_v2. In that case, we should also ensure the ordering of the attr_version updating and the fi->writepages RB-tree updating. So that if a fuse page writeback ever happens during fuse_change_attributes(), either the fi->writepages is not empty, or the attr_version is increased. So we never mistakenly update a stale file size from server to kernel. With this patch, writeback mode can consider the server c/mtime as the official one. When inode attr is timeout or invalidated, kernel has chance to see size and c/mtime modified by others. Together with another patch [2], a FUSE daemon is able to implement close-to-open (CTO) consistency like what is done in NFS clients. [1] https://lore.kernel.org/linux-fsdevel/Ymfu8fGbfYi4FxQ4@miu.piliscsaba.redhat.com [2] https://lore.kernel.org/linux-fsdevel/20220608104202.19461-1-zhangjiachen.jaycee@bytedance.com/ Suggested-by: Miklos Szeredi Signed-off-by: Jiachen Zhang --- fs/fuse/file.c | 17 +++++++++++++++ fs/fuse/fuse_i.h | 3 +++ fs/fuse/inode.c | 44 +++++++++++++++++++++++++++++++++++++-- include/uapi/linux/fuse.h | 5 +++++ 4 files changed, 67 insertions(+), 2 deletions(-) diff --git a/fs/fuse/file.c b/fs/fuse/file.c index 9b64e2ff1c96..35bdc7af8468 100644 --- a/fs/fuse/file.c +++ b/fs/fuse/file.c @@ -1829,6 +1829,15 @@ static void fuse_writepage_end(struct fuse_mount *fm, struct fuse_args *args, */ fuse_send_writepage(fm, next, inarg->offset + inarg->size); } + + if (fc->writeback_cache_v2) + fi->attr_version = atomic64_inc_return(&fc->attr_version); + /* + * Ensure attr_version increases before the page is move out of the + * writepages rb-tree. + */ + smp_mb(); + fi->writectr--; fuse_writepage_finish(fm, wpa); spin_unlock(&fi->lock); @@ -1858,10 +1867,18 @@ static struct fuse_file *fuse_write_file_get(struct fuse_inode *fi) int fuse_write_inode(struct inode *inode, struct writeback_control *wbc) { + struct fuse_conn *fc = get_fuse_conn(inode); struct fuse_inode *fi = get_fuse_inode(inode); struct fuse_file *ff; int err; + /* + * Kernel c/mtime should not be updated to the server in the + * writeback_cache_v2 mode as server c/mtime are official. + */ + if (fc->writeback_cache_v2) + return 0; + /* * Inode is always written before the last reference is dropped and * hence this should not be reached from reclaim. diff --git a/fs/fuse/fuse_i.h b/fs/fuse/fuse_i.h index 488b460e046f..47de36146fb8 100644 --- a/fs/fuse/fuse_i.h +++ b/fs/fuse/fuse_i.h @@ -654,6 +654,9 @@ struct fuse_conn { /* show legacy mount options */ unsigned int legacy_opts_show:1; + /* Improved writeback cache policy */ + unsigned writeback_cache_v2:1; + /* * fs kills suid/sgid/cap on write/chown/trunc. suid is killed on * write/trunc only if caller did not have CAP_FSETID. sgid is killed diff --git a/fs/fuse/inode.c b/fs/fuse/inode.c index 8c0665c5dff8..2d5fa82b08b6 100644 --- a/fs/fuse/inode.c +++ b/fs/fuse/inode.c @@ -237,14 +237,41 @@ void fuse_change_attributes(struct inode *inode, struct fuse_attr *attr, u32 cache_mask; loff_t oldsize; struct timespec64 old_mtime; + bool try_wb_update = false; + + if (fc->writeback_cache_v2 && S_ISREG(inode->i_mode)) { + inode_lock(inode); + try_wb_update = true; + } spin_lock(&fi->lock); /* * In case of writeback_cache enabled, writes update mtime, ctime and * may update i_size. In these cases trust the cached value in the * inode. + * + * In writeback_cache_v2 mode, if all the following conditions are met, + * then we allow the attributes to be refreshed: + * + * - inode is not in the process of being written (I_SYNC) + * - inode has no dirty pages (I_DIRTY_PAGES) + * - inode data-related attributes are clean (I_DIRTY_DATASYNC) + * - inode does not have any page writeback in progress + * + * Note: checking PAGECACHE_TAG_WRITEBACK is not sufficient in fuse, + * since inode can appear to have no PageWriteback pages, yet still have + * outstanding write request. */ cache_mask = fuse_get_cache_mask(inode); + if (try_wb_update && !(inode->i_state & (I_DIRTY_PAGES | I_SYNC | + I_DIRTY_DATASYNC)) && RB_EMPTY_ROOT(&fi->writepages)) + cache_mask &= ~(STATX_MTIME | STATX_CTIME | STATX_SIZE); + /* + * Ensure the ordering of cleanness checking and following attr_version + * comparison. + */ + smp_mb(); + if (cache_mask & STATX_SIZE) attr->size = i_size_read(inode); @@ -283,7 +310,13 @@ void fuse_change_attributes(struct inode *inode, struct fuse_attr *attr, truncate_pagecache(inode, attr->size); if (!fc->explicit_inval_data) inval = true; - } else if (fc->auto_inval_data) { + } else if (!fc->writeback_cache_v2 && fc->auto_inval_data) { + /* + * When fc->writeback_cache_v2 is set, the old_mtime + * can be generated by kernel and must not equal to + * new_mtime generated by server. So skip in such + * case. + */ struct timespec64 new_mtime = { .tv_sec = attr->mtime, .tv_nsec = attr->mtimensec, @@ -303,6 +336,9 @@ void fuse_change_attributes(struct inode *inode, struct fuse_attr *attr, if (IS_ENABLED(CONFIG_FUSE_DAX)) fuse_dax_dontcache(inode, attr->flags); + + if (try_wb_update) + inode_unlock(inode); } static void fuse_init_inode(struct inode *inode, struct fuse_attr *attr) @@ -1153,6 +1189,10 @@ static void process_init_reply(struct fuse_mount *fm, struct fuse_args *args, fc->async_dio = 1; if (flags & FUSE_WRITEBACK_CACHE) fc->writeback_cache = 1; + if (flags & FUSE_WRITEBACK_CACHE_V2) { + fc->writeback_cache = 1; + fc->writeback_cache_v2 = 1; + } if (flags & FUSE_PARALLEL_DIROPS) fc->parallel_dirops = 1; if (flags & FUSE_HANDLE_KILLPRIV) @@ -1234,7 +1274,7 @@ void fuse_send_init(struct fuse_mount *fm) FUSE_ABORT_ERROR | FUSE_MAX_PAGES | FUSE_CACHE_SYMLINKS | FUSE_NO_OPENDIR_SUPPORT | FUSE_EXPLICIT_INVAL_DATA | FUSE_HANDLE_KILLPRIV_V2 | FUSE_SETXATTR_EXT | FUSE_INIT_EXT | - FUSE_SECURITY_CTX; + FUSE_SECURITY_CTX | FUSE_WRITEBACK_CACHE_V2; #ifdef CONFIG_FUSE_DAX if (fm->fc->dax) flags |= FUSE_MAP_ALIGNMENT; diff --git a/include/uapi/linux/fuse.h b/include/uapi/linux/fuse.h index d6ccee961891..b474763bcf59 100644 --- a/include/uapi/linux/fuse.h +++ b/include/uapi/linux/fuse.h @@ -194,6 +194,7 @@ * - add FUSE_SECURITY_CTX init flag * - add security context to create, mkdir, symlink, and mknod requests * - add FUSE_HAS_INODE_DAX, FUSE_ATTR_DAX + * - add FUSE_WRITEBACK_CACHE_V2 init flag */ #ifndef _LINUX_FUSE_H @@ -353,6 +354,9 @@ struct fuse_file_lock { * FUSE_SECURITY_CTX: add security context to create, mkdir, symlink, and * mknod * FUSE_HAS_INODE_DAX: use per inode DAX + * FUSE_WRITEBACK_CACHE_V2: + * allow time/size to be refreshed if no pending write + * c/mtime not updated from kernel to server */ #define FUSE_ASYNC_READ (1 << 0) #define FUSE_POSIX_LOCKS (1 << 1) @@ -389,6 +393,7 @@ struct fuse_file_lock { /* bits 32..63 get shifted down 32 bits into the flags2 field */ #define FUSE_SECURITY_CTX (1ULL << 32) #define FUSE_HAS_INODE_DAX (1ULL << 33) +#define FUSE_WRITEBACK_CACHE_V2 (1ULL << 34) /** * CUSE INIT request/reply flags -- 2.20.1