From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-pg1-f179.google.com (mail-pg1-f179.google.com [209.85.215.179]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 65195322DDF for ; Tue, 23 Sep 2025 13:17:04 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.215.179 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1758633427; cv=none; b=eqX0dG6lnRFwqP+DZ0CLL3/S27YZc6/Ukeaiua6o28n2MYgv3Hk1GvFwVXtBdTW9Y5OyZAlbTKinYERi1B3bXvvjRC2xoKQo+HTONG6OjwaEuUaurnpC7/AQS6lELUOib1AKoYdXvCcjtlLcHFXMgI9HclcxLPQ1UIfchAd3EQw= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1758633427; c=relaxed/simple; bh=MjdyuQrqVvsTBegSnd3yU00JR+DMJq7p6mLUJWTlZdU=; h=Date:From:To:Cc:Subject:Message-ID:References:MIME-Version: Content-Type:Content-Disposition:In-Reply-To; b=WcX86kEUGY8n+DqS9bzY4soDm4zBERuTCWZGcAQ09uy4aBqVqFE+QEAc/EaDbyWz35tJGcQEF0BtCEsx8l9v3gMddXhxsakYUTucwUlAA4n9Ip7/3oDK99m+4sl/RQQtamhuohwI3kVx8DBZ86jZSQ12P5UGD17oVABr6x76P2k= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=fromorbit.com; spf=pass smtp.mailfrom=fromorbit.com; dkim=pass (2048-bit key) header.d=fromorbit-com.20230601.gappssmtp.com header.i=@fromorbit-com.20230601.gappssmtp.com header.b=yGwEv5jd; arc=none smtp.client-ip=209.85.215.179 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=fromorbit.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=fromorbit.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=fromorbit-com.20230601.gappssmtp.com header.i=@fromorbit-com.20230601.gappssmtp.com header.b="yGwEv5jd" Received: by mail-pg1-f179.google.com with SMTP id 41be03b00d2f7-b553412a19bso1941946a12.1 for ; Tue, 23 Sep 2025 06:17:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fromorbit-com.20230601.gappssmtp.com; s=20230601; t=1758633424; x=1759238224; darn=vger.kernel.org; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:from:to:cc:subject:date:message-id:reply-to; bh=DGZ8DWqCix+BtHtElOYwM96MkEfMXUBhKMzH5BSjHrU=; b=yGwEv5jdMt4Rgfi0m0bN3rxya9s2FAbia8xtqcTwhc19IK5r4PXmdK+C7UWreg1NfH 4sk+1SJaFqWoZk8UMTPHgcndklOJpzScvLF5bjkG6gqoUSKB2k3ZVGlgvwgMKVkiX9tQ HMMHDCD3TrzFuqxXTV9HAJcgYYX2He2h5yQzLxkZURdzd28u2rXo3M/TKNd/GoKCTF5R SSJHzKnVcZ1kR/S8ehZjuwzeAqAlS4edQgRc1y0V8xkXIINs5b4r82gsRo8F8hz5liGg WFWMrwFtm4OO2twE/EkvNGL9ESDPBnyP6iVe3AlnhcR6cmuUPbA6c7z1EUU5XrhnwxMP WISA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1758633424; x=1759238224; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=DGZ8DWqCix+BtHtElOYwM96MkEfMXUBhKMzH5BSjHrU=; b=Y6+Qu/D2BTpaDaBGUKS8vSab5mmaKgN8r4gMqT5KP1iNGklEQ4jlAqo5/az9kNNTTC XLgJKT21K4tlNQP9pikYHtSpRNGQ47gHSs87lDbHTODkcy0XXsZf32tFL99kXaLYh/8S w9+osu6dX5L2YYAZybjFU1V3py6DfZ8Tw5D8oAh+t1+mbjd6D0gNObO8XcaHiMA2jU7u aTIGPghn14FK4TqACKx8gF5sKx3FPUJJPgVXi5ceA0Qiu3lDPJfGOC41xGMVCPS4EkgF 6NAb408yWM8k6HlG0huCHi698Ky9uVRKDujsMNopfdETnqsUPUqjaKbhW5Og4se7bqzz 50mQ== X-Forwarded-Encrypted: i=1; AJvYcCWXJcdS2xKCzpfe/KZKxg43/RmjQ5NFtvF1vCFFmZhDegEWIW+lXIHCRJsgQteY4/3r9wUPe7MHM0Sj@vger.kernel.org X-Gm-Message-State: AOJu0YyFBoVCB9WPPa9cBMsnTLS1OJH/DWZE8nEXP2jVE+X4KJ0w2u8w GRDpNUU/uuERE3ZwHJ8EBmTcD8TSJcr/LezPcjCa5zfnM/UhYF1IXNV1jt4801vsgQo= X-Gm-Gg: ASbGncuyUnZ3JzpWN2dbyGGCWzR6ralVeyguqFkDfCfI1nD/IHjpkIxs/aKFVO8FEn0 PsprstQWubvBq+mPODzIXQ0QzdB40p7c6Q9iBXN0/448vuJMy1SSIEuT5Z0H8houXLjPjBIzFVj 1OF94Tim2Mwc/FrZAiqjB0PE1Ztzso1q7g6s2RBxzFv/7XSt0MU4EQox2jkm9YKrWVWqlv6rXGk sM6skVynXRBQ/GMbJdI7U/ej+dJ/jNul0YwEMeM6K+C9G2BlIGIxSRJ+lw47H6mDX9xqd68pWZ5 WdzlXIyfu0ni5KyqkMaLwdOl2mnopjxwW6fW+RNedTJXwj8iQKDeipsk3vmvwGhfX0RYpVMFg0X E5dC4D5SK4xQqajQdrdl0q4BCS2Zh5hSb5u+PrFug7GOo+TKa96BdCuSPWZGBDZlG6m4Lfcspv6 RHtIkJBAmo X-Google-Smtp-Source: AGHT+IEK7PfWxNFc7fb1bUErPP+++ZIWocUE2B9M31SxyszIkGAjugG30aXgLbzSTbCpFRJZYYXACg== X-Received: by 2002:a17:90b:17cc:b0:32b:9750:10e4 with SMTP id 98e67ed59e1d1-332a95e0514mr2945365a91.27.1758633423462; Tue, 23 Sep 2025 06:17:03 -0700 (PDT) Received: from dread.disaster.area (pa49-180-91-142.pa.nsw.optusnet.com.au. [49.180.91.142]) by smtp.gmail.com with ESMTPSA id 41be03b00d2f7-b551705bd02sm12047994a12.41.2025.09.23.06.17.02 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 23 Sep 2025 06:17:02 -0700 (PDT) Received: from dave by dread.disaster.area with local (Exim 4.98.2) (envelope-from ) id 1v12t9-00000005h4t-0IOy; Tue, 23 Sep 2025 23:16:59 +1000 Date: Tue, 23 Sep 2025 23:16:59 +1000 From: Dave Chinner To: Mateusz Guzik Cc: brauner@kernel.org, viro@zeniv.linux.org.uk, jack@suse.cz, linux-kernel@vger.kernel.org, linux-fsdevel@vger.kernel.org, josef@toxicpanda.com, kernel-team@fb.com, amir73il@gmail.com, linux-btrfs@vger.kernel.org, linux-ext4@vger.kernel.org, linux-xfs@vger.kernel.org, ceph-devel@vger.kernel.org, linux-unionfs@vger.kernel.org Subject: Re: [PATCH v6 0/4] hide ->i_state behind accessors Message-ID: References: <20250923104710.2973493-1-mjguzik@gmail.com> Precedence: bulk X-Mailing-List: linux-ext4@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20250923104710.2973493-1-mjguzik@gmail.com> On Tue, Sep 23, 2025 at 12:47:06PM +0200, Mateusz Guzik wrote: > First commit message quoted verbatim with rationable + API: > > [quote] > Open-coded accesses prevent asserting they are done correctly. One > obvious aspect is locking, but significantly more can checked. For > example it can be detected when the code is clearing flags which are > already missing, or is setting flags when it is illegal (e.g., I_FREEING > when ->i_count > 0). > > Given the late stage of the release cycle this patchset only aims to > hide access, it does not provide any of the checks. > > Consumers can be trivially converted. Suppose flags I_A and I_B are to > be handled, then: > > state = inode->i_state => state = inode_state_read(inode) > inode->i_state |= (I_A | I_B) => inode_state_set(inode, I_A | I_B) > inode->i_state &= ~(I_A | I_B) => inode_state_clear(inode, I_A | I_B) > inode->i_state = I_A | I_B => inode_state_assign(inode, I_A | I_B) > [/quote] > > Right now this is one big NOP, except for READ_ONCE/WRITE_ONCE for every access. > > Given this, I decided to not submit any per-fs patches. Instead, the > conversion is done in 2 parts: coccinelle and whatever which was missed. > > Generated against: > https://git.kernel.org/pub/scm/linux/kernel/git/vfs/vfs.git/commit/?h=vfs-6.18.inode.refcount.preliminaries Much simpler and nicer than the earlier versions. Looks good. Reviewed-by: Dave Chinner -- Dave Chinner david@fromorbit.com