Received-SPF: pass (google.com: domain of linux-ext4+bounces-1480-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45e3:2400::1 as permitted sender) client-ip=2604:1380:45e3:2400::1;
Message-ID: <bac377c2-ccc2-4cc3-974e-01cdf3f14af7@gmx.net>
Date: Sat, 2 Mar 2024 14:16:44 +0100
Precedence: bulk
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Content-Language: en-US
To: Theodore Ts'o <tytso@mit.edu>, Andreas Dilger <adilger.kernel@dilger.ca>
Cc: linux-ext4@vger.kernel.org
From: Stefan Wahren <wahrenst@gmx.net>
Subject: KCSAN: data-race in ext4_da_write_end / mpage_process_page_bufs
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: quoted-printable
UI-OutboundReport: notjunk:1;M01:P0:XdAJ/S+ag8A=;WxrfU9+oO/3CVqv0teiEbt0ggsB
 iE8ujCtGlI6mEAf30a21o7z/3LRyozEgnZpdg0+QTxPSxbl9tJ1Mje4c65U+BDk1X3PtTTnpc
 DxEoWIwsD+qBqTwF3S603MAVWRMjTZy/FaFoi2FGUR0mvf5Iz/srDf7/AX1Y2K2KVVctTz9dp
 Vogruh7QiOfAsmYeEkgL0kupIxArVZ9F5BUHQIV3SbJYWeBeH81JU95jHl01Z9hb2NkPV0hOp
 yie2yYv2ewW/XFuTI0IsvIKMfRATYPiCw624K1saq/fSi0EP06Jea9MZURgSnjuR1Ua1vNPLE
 KtJwOAUHoVWLBldp++iHAVKcAopKJcH0QOiLwbrityoZC1j0GG/waued7MCN0RG6rF3eZxb2u
 Rsk2h0GOllAUKmwnDsYdJ+WcPvEgSFoEu04cNOFKk9shsuq3i3D26cKXGBfruf99iKiI7YyLD
 GE7j+bK7jX6oi1dTyuIECFIPhTyplNQPaOkZPYpCkKYnn7fiF5W6mbiS950hSUgDda2u1y3C2
 7q01/LABqE5tUWbTXfn14QCosYsMaP3GxBnvuysilORw8ZhhcDP2ziIDgffW8yIdYRttsg+Hz
 pPcZjPSm/5Zus3yBvx5g0Aet/FGAt+jCKwx3ZLCm6tfxFFIlK6x22q5euFzwdEDl+8S4R/H0t
 7U/ET4J7n+CKuWCeBZgaS3mKAsCAUZNfyIsGOkmljsIUgJqWdSnuimP/zCMf/lGowZ+flMzk+
 PbPK0o8I09DoCLdNXF5s4UQr6+cf1xrO6830Oq4orpJuvPhUOOFLbYUs9iS0gbHPJUfWs+NAy
 Ryukt7M3QcYBQfwxWjZh4kXzjUKiokFNL9GCtiZGRt3r0=

Hi,
i enabled KCSAN for Linux 6.6.19 on Raspberry Pi 3 B+ (arm64/defconfig)
and after installing a Debian packaging on the ext4 rootfs the following
has been triggered in the kernel log:

[ 1389.056656]
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
[ 1389.056781] BUG: KCSAN: data-race in ext4_da_write_end /
mpage_process_page_bufs

[ 1389.056926] write to 0xffff29ba65896a68 of 8 bytes by task 1447 on cpu =
1:
[ 1389.056989]=C2=A0 ext4_da_write_end+0xe4/0x43c
[ 1389.057058]=C2=A0 generic_perform_write+0x1c0/0x2dc
[ 1389.057161]=C2=A0 ext4_buffered_write_iter+0x90/0x198
[ 1389.057246]=C2=A0 ext4_file_write_iter+0x98/0x84c
[ 1389.057328]=C2=A0 vfs_write+0x374/0x4bc
[ 1389.057398]=C2=A0 ksys_write+0x84/0x138
[ 1389.057467]=C2=A0 __arm64_sys_write+0x44/0x58
[ 1389.057539]=C2=A0 invoke_syscall+0x60/0x180
[ 1389.057636]=C2=A0 el0_svc_common.constprop.0+0x78/0x14c
[ 1389.057735]=C2=A0 do_el0_svc+0x34/0x44
[ 1389.057827]=C2=A0 el0_svc+0x38/0x70
[ 1389.057914]=C2=A0 el0t_64_sync_handler+0x13c/0x158
[ 1389.058007]=C2=A0 el0t_64_sync+0x190/0x194

[ 1389.058109] read to 0xffff29ba65896a68 of 8 bytes by task 939 on cpu 0:
[ 1389.058172]=C2=A0 mpage_process_page_bufs+0x54/0x308
[ 1389.058268]=C2=A0 mpage_prepare_extent_to_map+0x670/0x81c
[ 1389.058337]=C2=A0 ext4_do_writepages+0x5bc/0xf78
[ 1389.058405]=C2=A0 ext4_writepages+0xf4/0x1a4
[ 1389.058471]=C2=A0 do_writepages+0xb8/0x294
[ 1389.058557]=C2=A0 __writeback_single_inode+0x54/0x270
[ 1389.058628]=C2=A0 writeback_sb_inodes+0x374/0x6ac
[ 1389.058697]=C2=A0 __writeback_inodes_wb+0x68/0x150
[ 1389.058767]=C2=A0 wb_writeback.isra.0+0x228/0x258
[ 1389.058837]=C2=A0 wb_workfn+0x3e4/0x618
[ 1389.058904]=C2=A0 process_one_work+0x314/0x53c
[ 1389.058993]=C2=A0 worker_thread+0x628/0x7e4
[ 1389.059080]=C2=A0 kthread+0x1c0/0x1c4
[ 1389.059156]=C2=A0 ret_from_fork+0x10/0x20

[ 1389.059262] value changed: 0x0000000002a34000 -> 0x0000000002a35000

[ 1389.059347] Reported by Kernel Concurrency Sanitizer on:
[ 1389.059390] CPU: 0 PID: 939 Comm: kworker/u8:1 Not tainted 6.6.19 #2
[ 1389.059466] Hardware name: Raspberry Pi 3 Model B Plus Rev 1.3 (DT)
[ 1389.059519] Workqueue: writeback wb_workfn (flush-179:0)
[ 1389.059631]
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

I hope this isn't a false positive and helpful.

Regards