Received-SPF: pass (google.com: domain of linux-kernel+bounces-90608-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45d1:ec00::1 as permitted sender) client-ip=2604:1380:45d1:ec00::1;
From: John Garry <john.g.garry@oracle.com>
To: djwong@kernel.org, hch@lst.de, viro@zeniv.linux.org.uk, brauner@kernel.org,
        jack@suse.cz, chandan.babu@oracle.com, david@fromorbit.com,
        axboe@kernel.dk
Cc: martin.petersen@oracle.com, linux-kernel@vger.kernel.org,
        linux-xfs@vger.kernel.org, linux-fsdevel@vger.kernel.org,
        tytso@mit.edu, jbongio@google.com, ojaswin@linux.ibm.com,
        ritesh.list@gmail.com, linux-block@vger.kernel.org,
        John Garry <john.g.garry@oracle.com>
Subject: [PATCH v2 07/14] fs: iomap: Sub-extent zeroing
Date: Mon,  4 Mar 2024 13:04:21 +0000
Message-Id: <20240304130428.13026-8-john.g.garry@oracle.com>
In-Reply-To: <20240304130428.13026-1-john.g.garry@oracle.com>
References: <20240304130428.13026-1-john.g.garry@oracle.com>
Content-Transfer-Encoding: 8bit
Content-Type: text/plain
Precedence: bulk
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: 
	=?us-ascii?Q?SDHLpNqgrdASdA8wZgHSn8hPbWSP9+0OMQVmN66+rHkcuUQrYRJpz8LqKtqk?=
 =?us-ascii?Q?+vfxg0/itJw69I9m2Xd+JYJ7uIocLP4SCPgngAg5mp9IDwquq6VpM5hTWCDI?=
 =?us-ascii?Q?JsqZHMKsdSDNoBhJsXebK1J8pZOP+WNEO8muGLjhDOdZUnttRt1oXGT/O3gt?=
 =?us-ascii?Q?Hbdx/QXNgapx8X0zyMHSAZuiACS017V4ZXtzLKXrnxh8c3Hkl3utMS372I5C?=
 =?us-ascii?Q?KwMOQUPeEzAmAk+Vsd7FTXEZk0VWYhdenmdjZKMQ+cD5kv4ZSomLhu2fPWdl?=
 =?us-ascii?Q?ihMKpfFmBCe9zbOouLBT8wXg4LuTD/VaxkOaG3YqLp1HbnOjXWCtxZPiMbAk?=
 =?us-ascii?Q?FgZqsAHqX/SSndiK4E9eYtiz3JI6vZ5DUPvmsJqg4mUh0CJSH2T0NamyGls2?=
 =?us-ascii?Q?H+VoH116wwXjlQdsCPmo9/WOPzmSzAFSOq5WA7D3NeTkXd/61E/en+/ais/i?=
 =?us-ascii?Q?nRCGJPcJg1dsRdAMGbqMFPRVsM/ny9Hrr7PLPZL+gr8kI8v126TsOP6IhYs+?=
 =?us-ascii?Q?sdi8oFPFWpZGGqNqpu7H70+oULCFPtNFisXwoJ3FM5ZV31MuFltmH0+hZxG9?=
 =?us-ascii?Q?L/u5/AurncD/A5noAh3QW/irFwIgC81AhTM04cXbFBs8EmiXRtPp+fFPP1lP?=
 =?us-ascii?Q?2HyQCgrVZQgzwF0xBvxjRlS2clqcim2aC4j+0zstu1GJSyeWnTtphCJmSkiT?=
 =?us-ascii?Q?cvAv19o/fxg3gz2Acrx9JxAfHrFR9tzYyW4xIUh4wq2A5OrnHu64P6jqsQjp?=
 =?us-ascii?Q?QGElZ9K2Pncon0lnE3mWbKhMR8i8zV3M2nNKjCSjQKx7x6oLbsDxaXkr8SQW?=
 =?us-ascii?Q?XQky4oDUAIpIqZMREi2cLHxd1z1xzLTFN4tme4kNfCNprh9AAJiuVsBqLkKm?=
 =?us-ascii?Q?+Tb8eoU5KosivxGFw1acY4gE6VK0NPs+9Lk5rlFjVTMOmdeI7PdtqxKKNHU1?=
 =?us-ascii?Q?t/iPW7PgWY8xYqCM81k1qyJH1QH8bwlLbzAYiqLPb0yvrNfvZJ3qMp4AzCuj?=
 =?us-ascii?Q?0QqUI8fukuvJR4dgNXHABOrpWVNtQEVTxlAH6qT8rRiQVsXpm2RgIbmAu9nW?=
 =?us-ascii?Q?scMwWCfgnb1J5taABn37+L/rlJsJCqAr1tExTgRPL35vpjtwvSEpaHV1TMp/?=
 =?us-ascii?Q?ptoh+lAUALvKGsv8n+2oY7LsymIz/gNU9YAWzIEgHF5FqIabF69H6Jr1/wnr?=
 =?us-ascii?Q?ns+t/yKRABUJ/MxJn+zNDwJy90yt45XOoMEfyk4Tz+SD8/JKxgbpWJRHQx2l?=
 =?us-ascii?Q?OD1EdCiVr3tA6DCVMnYtbaNqjd2yy/vU9mu9Nk5RD4F7FWIHSR4HAq2q9i+j?=
 =?us-ascii?Q?xZSZ1Q1iTvsVoi/3WoW5e1ZEWVjWZaLvLAhCXsxocd/9M5cclsIc3puMdLRS?=
 =?us-ascii?Q?7dE1IADif1+s3tEqYAx11JrZaIIUZnB5Fa6L9koXFD2jHcshfwrMLCBWTV5X?=
 =?us-ascii?Q?2p6Z+SRpfhB7c1Bq6i1v5wbWxy0RSm0e3LtQIDpVivSQuQld3G1aGm45WVQu?=
 =?us-ascii?Q?ZBj46MaqW9l45mqFpHsg7qGV+KfbzVuShz0g5s5eM4IiU7RWEZPhriimVpBa?=
 =?us-ascii?Q?DfNP3a961L3X0Re0FGLD7mwsfSaJG0fMzoArCHUAYMq0NlKuIlRfz7ZTvISe?=
 =?us-ascii?Q?sg=3D=3D?=
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: 
	F8eTPCnWkJiN2ENiaeuk4bXfth6Sb2Xkq9rj76DZbbg1zn8yC3/hrPNE0MdNDc3Nx5Hc1xY8hDHhqL45n2ryZY30CtuCrvvBsq9Z79WCmTlJgWnZyYfpBbcO1bjIgHlRe/uPqOgTzXweY2Ix/XQUChUyGYa0CdvzmuP1Nu9PKrn6HruL6i/O4U/+7dZEt6tQswjPpObWC0Vk5AhB2yn5MzMArUWc4W41MX+BJQwUXa2ITnWVwA2B0E5zrCrx3gKSrzcVZhSziNuJGGlSPfemj+c5X68CraE39ECsArrnb4w3zNaZPIIuiz3yaINrooIp0V7iRGxh+T/oSW3uboUDmtNZwClRpgRKjlTxYv3G3NyGBJVgPjP4qulz/NE8FFvi7LyfPg7dAUxCGjkbtjQ5u/xTo+BLr9EbxKfzRPf7nJM1I4lZDeCqySe5yQgptZbVCju1u5ZVMgW+0lAzAr8sMNB35gdbJ/eRc8Ncdvtri68NNbjbg8Gla7Rh3WMeBY27c4HMoKWDwv37JLkfTIBWO5lWTpmVUmMuJjibEdyXFg4GAKr0byVPE1u2nvOsmQydjzZ+jWWJQFv87m8zXnDoWG/R7i3oNSkkfBA1SVBOcFU=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 9a1aa76a-7a4b-41b8-91f8-08dc3c4bba5f
X-MS-Exchange-CrossTenant-AuthSource: DM6PR10MB4313.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 04 Mar 2024 13:05:12.7744
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: rRVpNkI1iQlHVBG/TSFjeV8ns/3p1cCuMPkAnxOcL+46c4DaV1EHqGhNoEj2kvjkUVGKEww7NIJKm8LpQpAfwA==
X-MS-Exchange-Transport-CrossTenantHeadersStamped: CH3PR10MB7805
X-Proofpoint-Virus-Version: vendor=baseguard
 engine=ICAP:2.0.272,Aquarius:18.0.1011,Hydra:6.0.619,FMLib:17.11.176.26
 definitions=2024-03-04_09,2024-03-04_01,2023-05-22_02
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 bulkscore=0 adultscore=0
 mlxlogscore=999 suspectscore=0 spamscore=0 malwarescore=0 mlxscore=0
 phishscore=0 classifier=spam adjust=0 reason=mlx scancount=1
 engine=8.12.0-2311290000 definitions=main-2403040098
X-Proofpoint-ORIG-GUID: EB1d-KFg5WCeZYecP-Rt73wVovmx94f4
X-Proofpoint-GUID: EB1d-KFg5WCeZYecP-Rt73wVovmx94f4

For FS_XFLAG_FORCEALIGN support, we want to treat any sub-extent IO like
sub-fsblock DIO, in that we will zero the sub-extent when the mapping is
unwritten.

This will be important for atomic writes support, in that atomically
writing over a partially written extent would mean that we would need to
do the unwritten extent conversion write separately, and the write could
no longer be atomic.

It is the task of the FS to set iomap.extent_shift per iter to indicate
sub-extent zeroing required.

Maybe a macro like i_blocksize() should be introduced for extent sizes,
instead of using extent_shift. It would also eliminate excessive use
of xfs_get_extss() for XFS in future.

Signed-off-by: John Garry <john.g.garry@oracle.com>
---
 fs/iomap/direct-io.c  | 14 ++++++++------
 include/linux/iomap.h |  1 +
 2 files changed, 9 insertions(+), 6 deletions(-)

diff --git a/fs/iomap/direct-io.c b/fs/iomap/direct-io.c
index bcd3f8cf5ea4..733f83f839b6 100644
--- a/fs/iomap/direct-io.c
+++ b/fs/iomap/direct-io.c
@@ -277,7 +277,7 @@ static loff_t iomap_dio_bio_iter(const struct iomap_iter *iter,
 {
 	const struct iomap *iomap = &iter->iomap;
 	struct inode *inode = iter->inode;
-	unsigned int fs_block_size = i_blocksize(inode), pad;
+	unsigned int zeroing_size, pad;
 	loff_t length = iomap_length(iter);
 	loff_t pos = iter->pos;
 	blk_opf_t bio_opf;
@@ -288,6 +288,8 @@ static loff_t iomap_dio_bio_iter(const struct iomap_iter *iter,
 	size_t copied = 0;
 	size_t orig_count;
 
+	zeroing_size = i_blocksize(inode) << iomap->extent_shift;
+
 	if ((pos | length) & (bdev_logical_block_size(iomap->bdev) - 1) ||
 	    !bdev_iter_is_aligned(iomap->bdev, dio->submit.iter))
 		return -EINVAL;
@@ -354,8 +356,8 @@ static loff_t iomap_dio_bio_iter(const struct iomap_iter *iter,
 		dio->iocb->ki_flags &= ~IOCB_HIPRI;
 
 	if (need_zeroout) {
-		/* zero out from the start of the block to the write offset */
-		pad = pos & (fs_block_size - 1);
+		/* zero out from the start of the region to the write offset */
+		pad = pos & (zeroing_size - 1);
 		if (pad)
 			iomap_dio_zero(iter, dio, pos - pad, pad);
 	}
@@ -427,10 +429,10 @@ static loff_t iomap_dio_bio_iter(const struct iomap_iter *iter,
 zero_tail:
 	if (need_zeroout ||
 	    ((dio->flags & IOMAP_DIO_WRITE) && pos >= i_size_read(inode))) {
-		/* zero out from the end of the write to the end of the block */
-		pad = pos & (fs_block_size - 1);
+		/* zero out from the end of the write to the end of the region */
+		pad = pos & (zeroing_size - 1);
 		if (pad)
-			iomap_dio_zero(iter, dio, pos, fs_block_size - pad);
+			iomap_dio_zero(iter, dio, pos, zeroing_size - pad);
 	}
 out:
 	/* Undo iter limitation to current extent */
diff --git a/include/linux/iomap.h b/include/linux/iomap.h
index 96dd0acbba44..89cd3dcbb8ec 100644
--- a/include/linux/iomap.h
+++ b/include/linux/iomap.h
@@ -97,6 +97,7 @@ struct iomap {
 	u64			length;	/* length of mapping, bytes */
 	u16			type;	/* type of mapping */
 	u16			flags;	/* flags for mapping */
+	unsigned int		extent_shift;
 	struct block_device	*bdev;	/* block device for I/O */
 	struct dax_device	*dax_dev; /* dax_dev for dax operations */
 	void			*inline_data;
-- 
2.31.1