From nobody Mon Feb 9 12:29:28 2026 Received: from azure-sdnproxy.icoremail.net (azure-sdnproxy.icoremail.net [207.46.229.174]) by smtp.subspace.kernel.org (Postfix) with ESMTP id 0D86313DB99; Wed, 7 Aug 2024 16:28:15 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=207.46.229.174 ARC-Seal: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1723048102; cv=none; b=K2WW+hetlryvc8qyDLGoX+Yk8tPyzM9cptsuDyXRChe5Ce/vkOsGTrfqctRSDk0PdynahEa24mCf+ZwPBsBfcy3PB3V5OKqdYfdGJIaUIPUgp28XFlbG/YADY9B4GgviZyRD7ADa1UkRR49umf/LGTBRKF8aRhNyAHnjQtW7iTY= ARC-Message-Signature: i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1723048102; c=relaxed/simple; bh=sKwQ4u9tMNubqWXTCuy5hWzJcTIREeHEoMSO6hsgKR4=; h=From:To:Cc:Subject:Date:Message-Id:MIME-Version:Content-Type; b=XhfJj8yKzG0OFfF6uAm1dF//vUUWOS5EURvULBJBH4ckVVpiqjiicQo8Q3qLuTVxDtiaQp69hUtsPZG1OQeOTpSzcNoI7VpZtuQM+VKxwXFJarlcnh5hkkyXtBoMuAcDlOhq7geqYuczcigSvsC9w83D8eE1qV9qcuHKxFwCvFw= ARC-Authentication-Results: i=1; smtp.subspace.kernel.org; dmarc=none (p=none dis=none) header.from=hust.edu.cn; spf=pass smtp.mailfrom=hust.edu.cn; arc=none smtp.client-ip=207.46.229.174 Authentication-Results: smtp.subspace.kernel.org; dmarc=none (p=none dis=none) header.from=hust.edu.cn Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=hust.edu.cn Received: from hust.edu.cn (unknown [172.16.0.50]) by app2 (Coremail) with SMTP id HwEQrADn7896oLNmMVZuAA--.60746S2; Thu, 08 Aug 2024 00:27:38 +0800 (CST) Received: from russ.tail3da2e.ts.net (unknown [58.19.99.130]) by gateway (Coremail) with SMTP id _____wB3fyNsoLNmZADlAA--.3394S2; Thu, 08 Aug 2024 00:27:34 +0800 (CST) From: Haoyang Liu To: Alex Shi , Yanteng Si , Jonathan Corbet , Nathan Chancellor , Nick Desaulniers , Bill Wendling , Justin Stitt Cc: hust-os-kernel-patches@googlegroups.com, Haoyang Liu , linux-doc@vger.kernel.org, linux-kernel@vger.kernel.org, llvm@lists.linux.dev Subject: [PATCH v5] docs/zh_CN: Add dev-tools/kcsan Chinese translation Date: Thu, 8 Aug 2024 00:27:19 +0800 Message-Id: <20240807162720.46588-1-tttturtleruss@hust.edu.cn> X-Mailer: git-send-email 2.25.1 Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-CM-TRANSID: HwEQrADn7896oLNmMVZuAA--.60746S2 Authentication-Results: app2; spf=neutral smtp.mail=tttturtleruss@hust .edu.cn; X-Coremail-Antispam: 1UD129KBjvAXoWftryUZF1Dtw17JFWUAF1DZFb_yoW8ZFy3uo WYkFs8Crs5Cw15JF15G3yDJa43Gw4vkFnxAanrKrnru34UKwnYy3WxAw43Jr43C3y5K3W3 tw17XFW7G3WDXa4Dn29KB7ZKAUJUUUUf529EdanIXcx71UUUUU7v73VFW2AGmfu7bjvjm3 AaLaJ3UjIYCTnIWjp_UUUOV7k0a2IF6w4kM7kC6x804xWl1xkIjI8I6I8E6xAIw20EY4v2 0xvaj40_Wr0E3s1l8cAvFVAK0II2c7xJM28CjxkF64kEwVA0rcxSw2x7M28EF7xvwVC0I7 IYx2IY67AKxVWDJVCq3wA2z4x0Y4vE2Ix0cI8IcVCY1x0267AKxVW8Jr0_Cr1UM28EF7xv wVC2z280aVAFwI0_Gr1j6F4UJwA2z4x0Y4vEx4A2jsIEc7CjxVAFwI0_Gr1j6F4UJwAaw2 AFwI0_JF0_Jw1le2I262IYc4CY6c8Ij28IcVAaY2xG8wAqjxCEc2xF0cIa020Ex4CE44I2 7wAqx4xG64xvF2IEw4CE5I8CrVC2j2WlYx0EF7xvrVAajcxG14v26F4UJVW0owAv7VCjz4 8v1sIEY20_GFW3Jr1UJwAv7VCY1x0262k0Y48FwI0_Gr1j6F4UJwAm72CE4IkC6x0Yz7v_ Jr0_Gr1lF7xvr2IYc2Ij64vIr41lc7CjxVAaw2AFwI0_Jw0_GFyl42xK82IYc2Ij64vIr4 1l42xK82IY6x8ErcxFaVAv8VW8uFyUJr1UMxC20s026xCaFVCjc4AY6r1j6r4UMxCIbckI 1I0E14v26r126r1DMI8I3I0E5I8CrVAFwI0_Jr0_Jr4lx2IqxVCjr7xvwVAFwI0_JrI_Jr Wlx4CE17CEb7AF67AKxVWUtVW8ZwCIc40Y0x0EwIxGrwCI42IY6xIIjxv20xvE14v26r1I 6r4UMIIF0xvE2Ix0cI8IcVCY1x0267AKxVWUJVW8JwCI42IY6xAIw20EY4v20xvaj40_Jr 0_JF4lIxAIcVC2z280aVAFwI0_Jr0_Gr1lIxAIcVC2z280aVCY1x0267AKxVWUJVW8JbIY CTnIWIevJa73UjIFyTuYvjxU60edUUUUU X-CM-SenderInfo: rxsqjiqrssiko6kx23oohg3hdfq/1tbiAQsBAmaxmbIwEAAOsb Translate dev-tools/kcsan commit 31f605a308e6 ("kcsan, compiler_types: Introduce __data_racy type qualifier") into Chinese and add it in dev-tools/zh_CN/index.rst Signed-off-by: Haoyang Liu Reviewed-by tag. Reviewed-by: Yanteng Si --- v4 -> v5: Translate link into Chinese as well according to reviewer's advic= e. v3 -> v4: Added original English text for proper nouns and modified some un= clear experessions.=20 v2 -> v3: Revised some sentences based on reviewer's suggestions and update= d the KTSAN url. v1 -> v2: Added commit tag and fixed style problems according to reviewer's= suggestions. .../translations/zh_CN/dev-tools/index.rst | 2 +- .../translations/zh_CN/dev-tools/kcsan.rst | 321 ++++++++++++++++++ 2 files changed, 322 insertions(+), 1 deletion(-) create mode 100644 Documentation/translations/zh_CN/dev-tools/kcsan.rst diff --git a/Documentation/translations/zh_CN/dev-tools/index.rst b/Documen= tation/translations/zh_CN/dev-tools/index.rst index c540e4a7d5db..6a8c637c0be1 100644 --- a/Documentation/translations/zh_CN/dev-tools/index.rst +++ b/Documentation/translations/zh_CN/dev-tools/index.rst @@ -21,6 +21,7 @@ Documentation/translations/zh_CN/dev-tools/testing-overvi= ew.rst testing-overview sparse kcov + kcsan gcov kasan ubsan @@ -32,7 +33,6 @@ Todolist: - checkpatch - coccinelle - kmsan - - kcsan - kfence - kgdb - kselftest diff --git a/Documentation/translations/zh_CN/dev-tools/kcsan.rst b/Documen= tation/translations/zh_CN/dev-tools/kcsan.rst new file mode 100644 index 000000000000..59be1bab1ef2 --- /dev/null +++ b/Documentation/translations/zh_CN/dev-tools/kcsan.rst @@ -0,0 +1,321 @@ +.. SPDX-License-Identifier: GPL-2.0 + +.. include:: ../disclaimer-zh_CN.rst + +:Original: Documentation/dev-tools/kcsan.rst +:Translator: =E5=88=98=E6=B5=A9=E9=98=B3 Haoyang Liu + +=E5=86=85=E6=A0=B8=E5=B9=B6=E5=8F=91=E6=B6=88=E6=AF=92=E5=89=82(KCSAN) +=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D + +=E5=86=85=E6=A0=B8=E5=B9=B6=E5=8F=91=E6=B6=88=E6=AF=92=E5=89=82=EF=BC=88KC= SAN=EF=BC=89=E6=98=AF=E4=B8=80=E4=B8=AA=E5=8A=A8=E6=80=81=E7=AB=9E=E4=BA=89= =E6=A3=80=E6=B5=8B=E5=99=A8=EF=BC=8C=E4=BE=9D=E8=B5=96=E7=BC=96=E8=AF=91=E6= =97=B6=E6=8F=92=E6=A1=A9=EF=BC=8C=E5=B9=B6=E4=B8=94=E4=BD=BF=E7=94=A8=E5=9F= =BA=E4=BA=8E=E8=A7=82=E5=AF=9F +=E7=82=B9=E7=9A=84=E9=87=87=E6=A0=B7=E6=96=B9=E6=B3=95=E6=9D=A5=E6=A3=80= =E6=B5=8B=E7=AB=9E=E4=BA=89=E3=80=82KCSAN =E7=9A=84=E4=B8=BB=E8=A6=81=E7=9B= =AE=E7=9A=84=E6=98=AF=E6=A3=80=E6=B5=8B `=E6=95=B0=E6=8D=AE=E7=AB=9E=E4=BA= =89`_=E3=80=82 + +=E4=BD=BF=E7=94=A8 +---- + +KCSAN =E5=8F=97 GCC =E5=92=8C Clang =E6=94=AF=E6=8C=81=E3=80=82=E4=BD=BF= =E7=94=A8 GCC =E9=9C=80=E8=A6=81=E7=89=88=E6=9C=AC 11 =E6=88=96=E6=9B=B4=E9= =AB=98=EF=BC=8C=E4=BD=BF=E7=94=A8 Clang =E4=B9=9F=E9=9C=80=E8=A6=81 +=E7=89=88=E6=9C=AC 11 =E6=88=96=E6=9B=B4=E9=AB=98=E3=80=82 + +=E4=B8=BA=E4=BA=86=E5=90=AF=E7=94=A8 KCSAN=EF=BC=8C=E7=94=A8=E5=A6=82=E4= =B8=8B=E5=8F=82=E6=95=B0=E9=85=8D=E7=BD=AE=E5=86=85=E6=A0=B8:: + + CONFIG_KCSAN =3D y + +KCSAN =E6=8F=90=E4=BE=9B=E4=BA=86=E5=87=A0=E4=B8=AA=E5=85=B6=E4=BB=96=E7= =9A=84=E9=85=8D=E7=BD=AE=E9=80=89=E9=A1=B9=E6=9D=A5=E8=87=AA=E5=AE=9A=E4=B9= =89=E8=A1=8C=E4=B8=BA=EF=BC=88=E8=A7=81 ``lib/Kconfig.kcsan`` =E4=B8=AD=E7= =9A=84=E5=90=84=E8=87=AA=E7=9A=84 +=E5=B8=AE=E5=8A=A9=E6=96=87=E6=A1=A3=E4=BB=A5=E8=8E=B7=E5=8F=96=E6=9B=B4= =E5=A4=9A=E4=BF=A1=E6=81=AF=EF=BC=89=E3=80=82 + +=E9=94=99=E8=AF=AF=E6=8A=A5=E5=91=8A +~~~~~~~~ + +=E4=B8=80=E4=B8=AA=E5=85=B8=E5=9E=8B=E6=95=B0=E6=8D=AE=E7=AB=9E=E4=BA=89= =E7=9A=84=E6=8A=A5=E5=91=8A=E5=A6=82=E4=B8=8B=E6=89=80=E7=A4=BA:: + + =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 + BUG: KCSAN: data-race in test_kernel_read / test_kernel_write + + write to 0xffffffffc009a628 of 8 bytes by task 487 on cpu 0: + test_kernel_write+0x1d/0x30 + access_thread+0x89/0xd0 + kthread+0x23e/0x260 + ret_from_fork+0x22/0x30 + + read to 0xffffffffc009a628 of 8 bytes by task 488 on cpu 6: + test_kernel_read+0x10/0x20 + access_thread+0x89/0xd0 + kthread+0x23e/0x260 + ret_from_fork+0x22/0x30 + + value changed: 0x00000000000009a6 -> 0x00000000000009b2 + + Reported by Kernel Concurrency Sanitizer on: + CPU: 6 PID: 488 Comm: access_thread Not tainted 5.12.0-rc2+ #1 + Hardware name: QEMU Standard PC (i440FX + PIIX, 1996), BIOS 1.14.0-2 0= 4/01/2014 + =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 + +=E6=8A=A5=E5=91=8A=E7=9A=84=E5=A4=B4=E9=83=A8=E6=8F=90=E4=BE=9B=E4=BA=86= =E4=B8=80=E4=B8=AA=E5=85=B3=E4=BA=8E=E7=AB=9E=E4=BA=89=E4=B8=AD=E6=B6=89=E5= =8F=8A=E5=88=B0=E7=9A=84=E5=87=BD=E6=95=B0=E7=9A=84=E7=AE=80=E7=9F=AD=E6=80= =BB=E7=BB=93=E3=80=82=E9=9A=8F=E5=90=8E=E6=98=AF=E7=AB=9E=E4=BA=89=E4=B8=AD= =E7=9A=84=E4=B8=A4=E4=B8=AA=E7=BA=BF=E7=A8=8B=E7=9A=84 +=E8=AE=BF=E9=97=AE=E7=B1=BB=E5=9E=8B=E5=92=8C=E5=A0=86=E6=A0=88=E4=BF=A1= =E6=81=AF=E3=80=82=E5=A6=82=E6=9E=9C KCSAN =E5=8F=91=E7=8E=B0=E4=BA=86=E4= =B8=80=E4=B8=AA=E5=80=BC=E7=9A=84=E5=8F=98=E5=8C=96=EF=BC=8C=E9=82=A3=E4=B9= =88=E9=82=A3=E4=B8=AA=E5=80=BC=E7=9A=84=E6=97=A7=E5=80=BC=E5=92=8C=E6=96=B0= =E5=80=BC=E4=BC=9A=E5=9C=A8 +=E2=80=9Cvalue changed=E2=80=9D=E8=BF=99=E4=B8=80=E8=A1=8C=E5=8D=95=E7=8B= =AC=E6=98=BE=E7=A4=BA=E3=80=82 + +=E5=8F=A6=E4=B8=80=E4=B8=AA=E4=B8=8D=E5=A4=AA=E5=B8=B8=E8=A7=81=E7=9A=84= =E6=95=B0=E6=8D=AE=E7=AB=9E=E4=BA=89=E7=B1=BB=E5=9E=8B=E7=9A=84=E6=8A=A5=E5= =91=8A=E5=A6=82=E4=B8=8B=E6=89=80=E7=A4=BA:: + + =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 + BUG: KCSAN: data-race in test_kernel_rmw_array+0x71/0xd0 + + race at unknown origin, with read to 0xffffffffc009bdb0 of 8 bytes by = task 515 on cpu 2: + test_kernel_rmw_array+0x71/0xd0 + access_thread+0x89/0xd0 + kthread+0x23e/0x260 + ret_from_fork+0x22/0x30 + + value changed: 0x0000000000002328 -> 0x0000000000002329 + + Reported by Kernel Concurrency Sanitizer on: + CPU: 2 PID: 515 Comm: access_thread Not tainted 5.12.0-rc2+ #1 + Hardware name: QEMU Standard PC (i440FX + PIIX, 1996), BIOS 1.14.0-2 0= 4/01/2014 + =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 + +=E8=BF=99=E4=B8=AA=E6=8A=A5=E5=91=8A=E6=98=AF=E5=BD=93=E5=8F=A6=E4=B8=80= =E4=B8=AA=E7=AB=9E=E4=BA=89=E7=BA=BF=E7=A8=8B=E4=B8=8D=E5=8F=AF=E8=83=BD=E8= =A2=AB=E5=8F=91=E7=8E=B0=EF=BC=8C=E4=BD=86=E6=98=AF=E5=8F=AF=E4=BB=A5=E4=BB= =8E=E8=A7=82=E6=B5=8B=E7=9A=84=E5=86=85=E5=AD=98=E5=9C=B0=E5=9D=80=E7=9A=84= =E5=80=BC=E6=94=B9=E5=8F=98=E8=80=8C=E6=8E=A8=E6=96=AD +=E5=87=BA=E6=9D=A5=E7=9A=84=E6=97=B6=E5=80=99=E7=94=9F=E6=88=90=E7=9A=84= =E3=80=82=E8=BF=99=E7=B1=BB=E6=8A=A5=E5=91=8A=E6=80=BB=E6=98=AF=E4=BC=9A=E5= =B8=A6=E6=9C=89=E2=80=9Cvalue changed=E2=80=9D=E8=A1=8C=E3=80=82=E8=BF=99= =E7=B1=BB=E6=8A=A5=E5=91=8A=E7=9A=84=E5=87=BA=E7=8E=B0=E9=80=9A=E5=B8=B8=E6= =98=AF=E5=9B=A0 +=E4=B8=BA=E5=9C=A8=E7=AB=9E=E4=BA=89=E7=BA=BF=E7=A8=8B=E4=B8=AD=E7=BC=BA= =E5=B0=91=E6=8F=92=E6=A1=A9=EF=BC=8C=E4=B9=9F=E5=8F=AF=E8=83=BD=E6=98=AF=E5= =9B=A0=E4=B8=BA=E5=85=B6=E4=BB=96=E5=8E=9F=E5=9B=A0=EF=BC=8C=E6=AF=94=E5=A6= =82 DMA =E8=AE=BF=E9=97=AE=E3=80=82=E8=BF=99=E7=B1=BB=E6=8A=A5=E5=91=8A=E5= =8F=AA=E4=BC=9A=E5=9C=A8 +=E8=AE=BE=E7=BD=AE=E4=BA=86=E5=86=85=E6=A0=B8=E5=8F=82=E6=95=B0 ``CONFIG_K= CSAN_REPORT_RACE_UNKNOWN_ORIGIN=3Dy`` =E6=97=B6=E6=89=8D=E4=BC=9A=E5=87=BA= =E7=8E=B0=EF=BC=8C=E8=80=8C=E8=BF=99 +=E4=B8=AA=E5=8F=82=E6=95=B0=E6=98=AF=E9=BB=98=E8=AE=A4=E5=90=AF=E7=94=A8= =E7=9A=84=E3=80=82 + +=E9=80=89=E6=8B=A9=E6=80=A7=E5=88=86=E6=9E=90 +~~~~~~~~~~ + +=E5=AF=B9=E4=BA=8E=E4=B8=80=E4=BA=9B=E7=89=B9=E5=AE=9A=E7=9A=84=E8=AE=BF= =E9=97=AE=EF=BC=8C=E5=87=BD=E6=95=B0=EF=BC=8C=E7=BC=96=E8=AF=91=E5=8D=95=E5= =85=83=E6=88=96=E8=80=85=E6=95=B4=E4=B8=AA=E5=AD=90=E7=B3=BB=E7=BB=9F=EF=BC= =8C=E5=8F=AF=E8=83=BD=E9=9C=80=E8=A6=81=E7=A6=81=E7=94=A8=E6=95=B0=E6=8D=AE= =E7=AB=9E=E4=BA=89=E6=A3=80=E6=B5=8B=E3=80=82 +=E5=AF=B9=E4=BA=8E=E9=9D=99=E6=80=81=E9=BB=91=E5=90=8D=E5=8D=95=EF=BC=8C= =E6=9C=89=E5=A6=82=E4=B8=8B=E5=8F=AF=E7=94=A8=E7=9A=84=E5=8F=82=E6=95=B0=EF= =BC=9A + +* KCSAN =E6=94=AF=E6=8C=81=E4=BD=BF=E7=94=A8 ``data_race(expr)`` =E6=B3=A8= =E8=A7=A3=EF=BC=8C=E8=BF=99=E4=B8=AA=E6=B3=A8=E8=A7=A3=E5=91=8A=E8=AF=89 KC= SAN =E4=BB=BB=E4=BD=95=E7=94=B1=E8=AE=BF=E9=97=AE + ``expr`` =E6=89=80=E5=BC=95=E8=B5=B7=E7=9A=84=E6=95=B0=E6=8D=AE=E7=AB=9E= =E4=BA=89=E9=83=BD=E5=BA=94=E8=AF=A5=E8=A2=AB=E5=BF=BD=E7=95=A5=EF=BC=8C=E5= =85=B6=E4=BA=A7=E7=94=9F=E7=9A=84=E8=A1=8C=E4=B8=BA=E5=90=8E=E6=9E=9C=E8=A2= =AB=E8=AE=A4=E4=B8=BA=E6=98=AF=E5=AE=89=E5=85=A8=E7=9A=84=E3=80=82=E8=AF=B7= =E6=9F=A5=E9=98=85 + `=E5=9C=A8 LKMM =E4=B8=AD "=E6=A0=87=E8=AE=B0=E5=85=B1=E4=BA=AB=E5=86=85= =E5=AD=98=E8=AE=BF=E9=97=AE"`_ =E8=8E=B7=E5=BE=97=E6=9B=B4=E5=A4=9A=E4=BF= =A1=E6=81=AF=E3=80=82=C2=B7 + +* =E4=B8=8E ``data_race(...)`` =E7=9B=B8=E4=BC=BC=EF=BC=8C=E5=8F=AF=E4=BB= =A5=E4=BD=BF=E7=94=A8=E7=B1=BB=E5=9E=8B=E9=99=90=E5=AE=9A=E7=AC=A6 ``__data= _racy`` =E6=9D=A5=E6=A0=87=E8=AE=B0=E4=B8=80=E4=B8=AA=E5=8F=98=E9=87=8F + =EF=BC=8C=E6=89=80=E6=9C=89=E8=AE=BF=E9=97=AE=E8=AF=A5=E5=8F=98=E9=87=8F= =E8=80=8C=E5=AF=BC=E8=87=B4=E7=9A=84=E6=95=B0=E6=8D=AE=E7=AB=9E=E4=BA=89=E9= =83=BD=E6=98=AF=E6=95=85=E6=84=8F=E4=B8=BA=E4=B9=8B=E5=B9=B6=E4=B8=94=E5=BA= =94=E8=AF=A5=E8=A2=AB KCSAN =E5=BF=BD=E7=95=A5:: + + struct foo { + ... + int __data_racy stats_counter; + ... + }; + +* =E4=BD=BF=E7=94=A8=E5=87=BD=E6=95=B0=E5=B1=9E=E6=80=A7 ``__no_kcsan`` = =E5=8F=AF=E4=BB=A5=E5=AF=B9=E6=95=B4=E4=B8=AA=E5=87=BD=E6=95=B0=E7=A6=81=E7= =94=A8=E6=95=B0=E6=8D=AE=E7=AB=9E=E4=BA=89=E6=A3=80=E6=B5=8B:: + + __no_kcsan + void foo(void) { + ... + + =E4=B8=BA=E4=BA=86=E5=8A=A8=E6=80=81=E9=99=90=E5=88=B6=E8=AF=A5=E4=B8=BA= =E5=93=AA=E4=BA=9B=E5=87=BD=E6=95=B0=E7=94=9F=E6=88=90=E6=8A=A5=E5=91=8A=EF= =BC=8C=E6=9F=A5=E9=98=85 `Debug =E6=96=87=E4=BB=B6=E7=B3=BB=E7=BB=9F=E6=8E= =A5=E5=8F=A3`_ =E9=BB=91=E5=90=8D=E5=8D=95/=E7=99=BD=E5=90=8D=E5=8D=95=E7= =89=B9=E6=80=A7=E3=80=82 + +* =E4=B8=BA=E7=89=B9=E5=AE=9A=E7=9A=84=E7=BC=96=E8=AF=91=E5=8D=95=E5=85=83= =E7=A6=81=E7=94=A8=E6=95=B0=E6=8D=AE=E7=AB=9E=E4=BA=89=E6=A3=80=E6=B5=8B=EF= =BC=8C=E5=B0=86=E4=B8=8B=E5=88=97=E5=8F=82=E6=95=B0=E5=8A=A0=E5=85=A5=E5=88= =B0 ``Makefile`` =E4=B8=AD:: + + KCSAN_SANITIZE_file.o :=3D n + +* =E4=B8=BA ``Makefile`` =E4=B8=AD=E7=9A=84=E6=89=80=E6=9C=89=E7=BC=96=E8= =AF=91=E5=8D=95=E5=85=83=E7=A6=81=E7=94=A8=E6=95=B0=E6=8D=AE=E7=AB=9E=E4=BA= =89=E6=A3=80=E6=B5=8B=EF=BC=8C=E5=B0=86=E4=B8=8B=E5=88=97=E5=8F=82=E6=95=B0= =E6=B7=BB=E5=8A=A0=E5=88=B0=E7=9B=B8=E5=BA=94=E7=9A=84 + ``Makefile`` =E4=B8=AD:: + + KCSAN_SANITIZE :=3D n + +.. _=E5=9C=A8 LKMM =E4=B8=AD "=E6=A0=87=E8=AE=B0=E5=85=B1=E4=BA=AB=E5=86= =85=E5=AD=98=E8=AE=BF=E9=97=AE": https://git.kernel.org/pub/scm/linux/kerne= l/git/torvalds/linux.git/tree/tools/memory-model/Documentation/access-marki= ng.txt + +=E6=AD=A4=E5=A4=96=EF=BC=8CKCSAN =E5=8F=AF=E4=BB=A5=E6=A0=B9=E6=8D=AE=E5= =81=8F=E5=A5=BD=E8=AE=BE=E7=BD=AE=E6=98=BE=E7=A4=BA=E6=88=96=E9=9A=90=E8=97= =8F=E6=95=B4=E4=B8=AA=E7=B1=BB=E5=88=AB=E7=9A=84=E6=95=B0=E6=8D=AE=E7=AB=9E= =E4=BA=89=E3=80=82=E5=8F=AF=E4=BB=A5=E4=BD=BF=E7=94=A8=E5=A6=82=E4=B8=8B +Kconfig =E5=8F=82=E6=95=B0=E8=BF=9B=E8=A1=8C=E6=9B=B4=E6=94=B9: + +* ``CONFIG_KCSAN_REPORT_VALUE_CHANGE_ONLY``: =E5=A6=82=E6=9E=9C=E5=90=AF= =E7=94=A8=E4=BA=86=E8=AF=A5=E5=8F=82=E6=95=B0=E5=B9=B6=E4=B8=94=E9=80=9A=E8= =BF=87=E8=A7=82=E6=B5=8B=E7=82=B9 + (watchpoint) =E8=A7=82=E6=B5=8B=E5=88=B0=E4=B8=80=E4=B8=AA=E6=9C=89=E5= =86=B2=E7=AA=81=E7=9A=84=E5=86=99=E6=93=8D=E4=BD=9C=EF=BC=8C=E4=BD=86=E6=98= =AF=E5=AF=B9=E5=BA=94=E7=9A=84=E5=86=85=E5=AD=98=E5=9C=B0=E5=9D=80=E4=B8=AD= =E5=AD=98=E5=82=A8=E7=9A=84=E5=80=BC=E6=B2=A1=E6=9C=89=E6=94=B9=E5=8F=98=EF= =BC=8C + =E5=88=99=E4=B8=8D=E4=BC=9A=E6=8A=A5=E5=91=8A=E8=BF=99=E8=B5=B7=E6=95=B0= =E6=8D=AE=E7=AB=9E=E4=BA=89=E3=80=82 + +* ``CONFIG_KCSAN_ASSUME_PLAIN_WRITES_ATOMIC``: =E5=81=87=E8=AE=BE=E9=BB=98= =E8=AE=A4=E6=83=85=E5=86=B5=E4=B8=8B=EF=BC=8C=E4=B8=8D=E8=B6=85=E8=BF=87=E5= =AD=97=E5=A4=A7=E5=B0=8F=E7=9A=84=E7=AE=80 + =E5=8D=95=E5=AF=B9=E9=BD=90=E5=86=99=E5=85=A5=E6=93=8D=E4=BD=9C=E6=98=AF= =E5=8E=9F=E5=AD=90=E7=9A=84=E3=80=82=E5=81=87=E8=AE=BE=E8=BF=99=E4=BA=9B=E5= =86=99=E5=85=A5=E6=93=8D=E4=BD=9C=E4=B8=8D=E4=BC=9A=E5=8F=97=E5=88=B0=E4=B8= =8D=E5=AE=89=E5=85=A8=E7=9A=84=E7=BC=96=E8=AF=91=E5=99=A8=E4=BC=98=E5=8C=96= =E5=BD=B1=E5=93=8D=EF=BC=8C=E4=BB=8E=E8=80=8C=E5=AF=BC + =E8=87=B4=E6=95=B0=E6=8D=AE=E7=AB=9E=E4=BA=89=E3=80=82=E8=AF=A5=E9=80=89= =E9=A1=B9=E4=BD=BF KCSAN =E4=B8=8D=E6=8A=A5=E5=91=8A=E4=BB=85=E7=94=B1=E4= =B8=8D=E8=B6=85=E8=BF=87=E5=AD=97=E5=A4=A7=E5=B0=8F=E7=9A=84=E7=AE=80=E5=8D= =95=E5=AF=B9=E9=BD=90=E5=86=99=E5=85=A5=E6=93=8D=E4=BD=9C=E5=BC=95=E8=B5=B7 + =E7=9A=84=E5=86=B2=E7=AA=81=E6=89=80=E5=AF=BC=E8=87=B4=E7=9A=84=E6=95=B0= =E6=8D=AE=E7=AB=9E=E4=BA=89=E3=80=82 + +* ``CONFIG_KCSAN_PERMISSIVE``: =E5=90=AF=E7=94=A8=E9=A2=9D=E5=A4=96=E7=9A= =84=E5=AE=BD=E6=9D=BE=E8=A7=84=E5=88=99=E6=9D=A5=E5=BF=BD=E7=95=A5=E6=9F=90= =E4=BA=9B=E5=B8=B8=E8=A7=81=E7=B1=BB=E5=9E=8B=E7=9A=84=E6=95=B0=E6=8D=AE=E7= =AB=9E=E4=BA=89=E3=80=82 + =E4=B8=8E=E4=B8=8A=E9=9D=A2=E7=9A=84=E8=A7=84=E5=88=99=E4=B8=8D=E5=90=8C= =EF=BC=8C=E8=BF=99=E6=9D=A1=E8=A7=84=E5=88=99=E6=9B=B4=E5=8A=A0=E5=A4=8D=E6= =9D=82=EF=BC=8C=E6=B6=89=E5=8F=8A=E5=88=B0=E5=80=BC=E6=94=B9=E5=8F=98=E6=A8= =A1=E5=BC=8F=EF=BC=8C=E8=AE=BF=E9=97=AE=E7=B1=BB=E5=9E=8B=E5=92=8C=E5=9C=B0= =E5=9D=80=E3=80=82=E8=BF=99=E4=B8=AA + =E9=80=89=E9=A1=B9=E4=BE=9D=E8=B5=96=E7=BC=96=E8=AF=91=E9=80=89=E9=A1=B9= ``CONFIG_KCSAN_REPORT_VALUE_CHANGE_ONLY=3Dy``=E3=80=82=E8=AF=B7=E6=9F=A5= =E7=9C=8B + ``kernel/kcsan/permissive.h`` =E8=8E=B7=E5=8F=96=E6=9B=B4=E5=A4=9A=E7=BB= =86=E8=8A=82=E3=80=82=E5=AF=B9=E4=BA=8E=E5=8F=AA=E4=BE=A7=E9=87=8D=E4=BA=8E= =E7=89=B9=E5=AE=9A=E5=AD=90=E7=B3=BB=E7=BB=9F=E8=80=8C=E4=B8=8D=E6=98=AF=E6= =95=B4=E4=B8=AA + =E5=86=85=E6=A0=B8=E6=8A=A5=E5=91=8A=E7=9A=84=E6=B5=8B=E8=AF=95=E8=80=85= =E5=92=8C=E7=BB=B4=E6=8A=A4=E8=80=85=EF=BC=8C=E5=BB=BA=E8=AE=AE=E7=A6=81=E7= =94=A8=E8=AF=A5=E9=80=89=E9=A1=B9=E3=80=82 + +=E8=A6=81=E4=BD=BF=E7=94=A8=E5=B0=BD=E5=8F=AF=E8=83=BD=E4=B8=A5=E6=A0=BC= =E7=9A=84=E8=A7=84=E5=88=99=EF=BC=8C=E9=80=89=E6=8B=A9 ``CONFIG_KCSAN_STRIC= T=3Dy``=EF=BC=8C=E8=BF=99=E5=B0=86=E9=85=8D=E7=BD=AE KCSAN =E5=B0=BD=E5=8F= =AF +=E8=83=BD=E7=B4=A7=E5=AF=86=E5=9C=B0=E9=81=B5=E5=BE=AA Linux =E5=86=85=E6= =A0=B8=E5=86=85=E5=AD=98=E4=B8=80=E8=87=B4=E6=80=A7=E6=A8=A1=E5=9E=8B=EF=BC= =88LKMM=EF=BC=89=E3=80=82 + +Debug =E6=96=87=E4=BB=B6=E7=B3=BB=E7=BB=9F=E6=8E=A5=E5=8F=A3 +~~~~~~~~~~~~~~~~~~ + +=E6=96=87=E4=BB=B6 ``/sys/kernel/debug/kcsan`` =E6=8F=90=E4=BE=9B=E4=BA=86= =E5=A6=82=E4=B8=8B=E6=8E=A5=E5=8F=A3=EF=BC=9A + +* =E8=AF=BB ``/sys/kernel/debug/kcsan`` =E8=BF=94=E5=9B=9E=E4=B8=8D=E5=90= =8C=E7=9A=84=E8=BF=90=E8=A1=8C=E6=97=B6=E7=BB=9F=E8=AE=A1=E6=95=B0=E6=8D=AE= =E3=80=82 + +* =E5=B0=86 ``on`` =E6=88=96 ``off`` =E5=86=99=E5=85=A5 ``/sys/kernel/debu= g/kcsan`` =E5=85=81=E8=AE=B8=E6=89=93=E5=BC=80=E6=88=96=E5=85=B3=E9=97=AD K= CSAN=E3=80=82 + +* =E5=B0=86 ``!some_func_name`` =E5=86=99=E5=85=A5 ``/sys/kernel/debug/kcs= an`` =E4=BC=9A=E5=B0=86 + ``some_func_name`` =E6=B7=BB=E5=8A=A0=E5=88=B0=E6=8A=A5=E5=91=8A=E8=BF= =87=E6=BB=A4=E5=88=97=E8=A1=A8=E4=B8=AD=EF=BC=8C=E8=AF=A5=E5=88=97=E8=A1=A8= =EF=BC=88=E9=BB=98=E8=AE=A4=EF=BC=89=E4=BC=9A=E5=B0=86=E6=95=B0=E6=8D=AE=E7= =AB=9E=E4=BA=89=E6=8A=A5=E5=91=8A=E4=B8=AD=E7=9A=84=E9=A1=B6 + =E5=B1=82=E5=A0=86=E6=A0=88=E5=B8=A7=E6=98=AF=E5=88=97=E8=A1=A8=E4=B8=AD= =E5=87=BD=E6=95=B0=E7=9A=84=E6=83=85=E5=86=B5=E5=88=97=E5=85=A5=E9=BB=91=E5= =90=8D=E5=8D=95=E3=80=82 + +* =E5=B0=86 ``blacklist`` =E6=88=96 ``whitelist`` =E5=86=99=E5=85=A5 ``/sy= s/kernel/debug/kcsan`` =E4=BC=9A=E6=94=B9=E5=8F=98=E6=8A=A5=E5=91=8A + =E8=BF=87=E6=BB=A4=E8=A1=8C=E4=B8=BA=E3=80=82=E4=BE=8B=E5=A6=82=EF=BC=8C= =E9=BB=91=E5=90=8D=E5=8D=95=E7=9A=84=E7=89=B9=E6=80=A7=E5=8F=AF=E4=BB=A5=E7= =94=A8=E6=9D=A5=E8=BF=87=E6=BB=A4=E6=8E=89=E7=BB=8F=E5=B8=B8=E5=8F=91=E7=94= =9F=E7=9A=84=E6=95=B0=E6=8D=AE=E7=AB=9E=E4=BA=89=E3=80=82=E7=99=BD=E5=90=8D= =E5=8D=95=E7=89=B9=E6=80=A7=E5=8F=AF=E4=BB=A5=E5=B8=AE + =E5=8A=A9=E5=A4=8D=E7=8E=B0=E5=92=8C=E4=BF=AE=E5=A4=8D=E6=B5=8B=E8=AF=95= =E3=80=82 + +=E6=80=A7=E8=83=BD=E8=B0=83=E4=BC=98 +~~~~~~~~ + +=E5=BD=B1=E5=93=8D KCSAN =E6=95=B4=E4=BD=93=E7=9A=84=E6=80=A7=E8=83=BD=E5= =92=8C bug =E6=A3=80=E6=B5=8B=E8=83=BD=E5=8A=9B=E7=9A=84=E6=A0=B8=E5=BF=83= =E5=8F=82=E6=95=B0=E6=98=AF=E4=BD=9C=E4=B8=BA=E5=86=85=E6=A0=B8=E5=91=BD=E4= =BB=A4=E8=A1=8C=E5=8F=82=E6=95=B0=E5=85=AC=E5=BC=80=E7=9A=84=EF=BC=8C=E5=85= =B6=E9=BB=98=E8=AE=A4 +=E5=80=BC=E4=B9=9F=E5=8F=AF=E4=BB=A5=E9=80=9A=E8=BF=87=E7=9B=B8=E5=BA=94= =E7=9A=84 Kconfig =E9=80=89=E9=A1=B9=E6=9B=B4=E6=94=B9=E3=80=82 + +* ``kcsan.skip_watch`` (``CONFIG_KCSAN_SKIP_WATCH``): =E5=9C=A8=E5=8F=A6= =E4=B8=80=E4=B8=AA=E8=A7=82=E6=B5=8B=E7=82=B9=E8=AE=BE=E7=BD=AE=E4=B9=8B=E5= =89=8D=E6=AF=8F + =E4=B8=AA CPU =E8=A6=81=E8=B7=B3=E8=BF=87=E7=9A=84=E5=86=85=E5=AD=98=E6= =93=8D=E4=BD=9C=E6=AC=A1=E6=95=B0=E3=80=82=E6=9B=B4=E5=8A=A0=E9=A2=91=E7=B9= =81=E7=9A=84=E8=AE=BE=E7=BD=AE=E8=A7=82=E6=B5=8B=E7=82=B9=E5=B0=86=E5=A2=9E= =E5=8A=A0=E8=A7=82=E5=AF=9F=E5=88=B0=E7=AB=9E=E4=BA=89=E6=83=85=E5=86=B5=E7= =9A=84=E5=8F=AF=E8=83=BD=E6=80=A7 + =E3=80=82=E8=BF=99=E4=B8=AA=E5=8F=82=E6=95=B0=E5=AF=B9=E7=B3=BB=E7=BB=9F= =E6=95=B4=E4=BD=93=E7=9A=84=E6=80=A7=E8=83=BD=E5=92=8C=E7=AB=9E=E4=BA=89=E6= =A3=80=E6=B5=8B=E8=83=BD=E5=8A=9B=E5=BD=B1=E5=93=8D=E6=9C=80=E6=98=BE=E8=91= =97=E3=80=82 + +* ``kcsan.udelay_task`` (``CONFIG_KCSAN_UDELAY_TASK``): =E5=AF=B9=E4=BA=8E= =E4=BB=BB=E5=8A=A1=EF=BC=8C=E8=A7=82=E6=B5=8B=E7=82=B9=E8=AE=BE=E7=BD=AE=E4= =B9=8B + =E5=90=8E=E6=9A=82=E5=81=9C=E6=89=A7=E8=A1=8C=E7=9A=84=E5=BE=AE=E7=A7=92= =E5=BB=B6=E8=BF=9F=E3=80=82=E5=80=BC=E8=B6=8A=E5=A4=A7=EF=BC=8C=E6=A3=80=E6= =B5=8B=E5=88=B0=E7=AB=9E=E4=BA=89=E6=83=85=E5=86=B5=E7=9A=84=E5=8F=AF=E8=83= =BD=E6=80=A7=E8=B6=8A=E9=AB=98=E3=80=82 + +* ``kcsan.udelay_interrupt`` (``CONFIG_KCSAN_UDELAY_INTERRUPT``): =E5=AF= =B9=E4=BA=8E=E4=B8=AD=E6=96=AD=EF=BC=8C + =E8=A7=82=E6=B5=8B=E7=82=B9=E8=AE=BE=E7=BD=AE=E4=B9=8B=E5=90=8E=E6=9A=82= =E5=81=9C=E6=89=A7=E8=A1=8C=E7=9A=84=E5=BE=AE=E7=A7=92=E5=BB=B6=E8=BF=9F=E3= =80=82=E4=B8=AD=E6=96=AD=E5=AF=B9=E4=BA=8E=E5=BB=B6=E8=BF=9F=E7=9A=84=E8=A6= =81=E6=B1=82=E6=9B=B4=E5=8A=A0=E4=B8=A5=E6=A0=BC=EF=BC=8C=E5=85=B6=E5=BB=B6= =E8=BF=9F=E9=80=9A=E5=B8=B8=E5=BA=94=E8=AF=A5=E5=B0=8F + =E4=BA=8E=E4=B8=BA=E4=BB=BB=E5=8A=A1=E9=80=89=E6=8B=A9=E7=9A=84=E5=BB=B6= =E8=BF=9F=E3=80=82 + +=E5=AE=83=E4=BB=AC=E5=8F=AF=E4=BB=A5=E9=80=9A=E8=BF=87 ``/sys/module/kcsan= /parameters/`` =E5=9C=A8=E8=BF=90=E8=A1=8C=E6=97=B6=E8=BF=9B=E8=A1=8C=E8=B0= =83=E6=95=B4=E3=80=82 + +=E6=95=B0=E6=8D=AE=E7=AB=9E=E4=BA=89 +-------- + +=E5=9C=A8=E4=B8=80=E6=AC=A1=E6=89=A7=E8=A1=8C=E4=B8=AD=EF=BC=8C=E5=A6=82= =E6=9E=9C=E4=B8=A4=E4=B8=AA=E5=86=85=E5=AD=98=E8=AE=BF=E9=97=AE=E5=AD=98=E5= =9C=A8 *=E5=86=B2=E7=AA=81*=EF=BC=8C=E5=9C=A8=E4=B8=8D=E5=90=8C=E7=9A=84=E7= =BA=BF=E7=A8=8B=E4=B8=AD=E5=B9=B6=E5=8F=91=E6=89=A7=E8=A1=8C=EF=BC=8C=E5=B9= =B6=E4=B8=94=E8=87=B3=E5=B0=91 +=E6=9C=89=E4=B8=80=E4=B8=AA=E8=AE=BF=E9=97=AE=E6=98=AF *=E7=AE=80=E5=8D=95= =E8=AE=BF=E9=97=AE*=EF=BC=8C=E5=88=99=E5=AE=83=E4=BB=AC=E5=B0=B1=E5=BD=A2= =E6=88=90=E4=BA=86 *=E6=95=B0=E6=8D=AE=E7=AB=9E=E4=BA=89*=E3=80=82=E5=A6=82= =E6=9E=9C=E5=AE=83=E4=BB=AC=E8=AE=BF=E9=97=AE=E4=BA=86=E5=90=8C=E4=B8=80=E4= =B8=AA=E5=86=85=E5=AD=98=E5=9C=B0=E5=9D=80=E5=B9=B6=E4=B8=94 +=E8=87=B3=E5=B0=91=E6=9C=89=E4=B8=80=E4=B8=AA=E6=98=AF=E5=86=99=E6=93=8D= =E4=BD=9C=EF=BC=8C=E5=88=99=E7=A7=B0=E5=AE=83=E4=BB=AC=E5=AD=98=E5=9C=A8 *= =E5=86=B2=E7=AA=81*=E3=80=82=E6=9C=89=E5=85=B3=E6=9B=B4=E8=AF=A6=E7=BB=86= =E7=9A=84=E8=AE=A8=E8=AE=BA=E5=92=8C=E5=AE=9A=E4=B9=89=EF=BC=8C=E8=A7=81 +`LKMM =E4=B8=AD=E7=9A=84 "=E7=AE=80=E5=8D=95=E8=AE=BF=E9=97=AE=E5=92=8C=E6= =95=B0=E6=8D=AE=E7=AB=9E=E4=BA=89"`_=E3=80=82 + +.. _LKMM =E4=B8=AD=E7=9A=84 "=E7=AE=80=E5=8D=95=E8=AE=BF=E9=97=AE=E5=92=8C= =E6=95=B0=E6=8D=AE=E7=AB=9E=E4=BA=89": https://git.kernel.org/pub/scm/linux= /kernel/git/torvalds/linux.git/tree/tools/memory-model/Documentation/explan= ation.txt#n1922 + +=E4=B8=8E Linux =E5=86=85=E6=A0=B8=E5=86=85=E5=AD=98=E4=B8=80=E8=87=B4=E6= =80=A7=E6=A8=A1=E5=9E=8B(LKMM)=E7=9A=84=E5=85=B3=E7=B3=BB +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ + +LKMM =E5=AE=9A=E4=B9=89=E4=BA=86=E5=90=84=E7=A7=8D=E5=86=85=E5=AD=98=E6=93= =8D=E4=BD=9C=E7=9A=84=E4=BC=A0=E6=92=AD=E5=92=8C=E6=8E=92=E5=BA=8F=E8=A7=84= =E5=88=99=EF=BC=8C=E8=AE=A9=E5=BC=80=E5=8F=91=E8=80=85=E5=8F=AF=E4=BB=A5=E6= =8E=A8=E7=90=86=E5=B9=B6=E5=8F=91=E4=BB=A3=E7=A0=81=E3=80=82=E6=9C=80=E7=BB= =88=E8=BF=99=E5=85=81=E8=AE=B8=E7=A1=AE +=E5=AE=9A=E5=B9=B6=E5=8F=91=E4=BB=A3=E7=A0=81=E5=8F=AF=E8=83=BD=E7=9A=84= =E6=89=A7=E8=A1=8C=E6=83=85=E5=86=B5=E5=B9=B6=E5=88=A4=E6=96=AD=E8=BF=99=E4= =BA=9B=E4=BB=A3=E7=A0=81=E6=98=AF=E5=90=A6=E5=AD=98=E5=9C=A8=E6=95=B0=E6=8D= =AE=E7=AB=9E=E4=BA=89=E3=80=82 + +KCSAN =E5=8F=AF=E4=BB=A5=E8=AF=86=E5=88=AB *=E8=A2=AB=E6=A0=87=E8=AE=B0=E7= =9A=84=E5=8E=9F=E5=AD=90=E6=93=8D=E4=BD=9C* =EF=BC=88 ``READ_ONCE``, ``WRIT= E_ONCE`` , ``atomic_*`` +=E7=AD=89=EF=BC=89=EF=BC=8C=E4=BB=A5=E5=8F=8A=E5=86=85=E5=AD=98=E5=B1=8F= =E9=9A=9C=E6=89=80=E9=9A=90=E5=90=AB=E7=9A=84=E4=B8=80=E9=83=A8=E5=88=86=E9= =A1=BA=E5=BA=8F=E4=BF=9D=E8=AF=81=E3=80=82=E5=90=AF=E7=94=A8 ``CONFIG_KCSAN= _WEAK_MEMORY=3Dy`` +=E9=85=8D=E7=BD=AE=EF=BC=8CKCSAN =E4=BC=9A=E5=AF=B9=E5=8A=A0=E8=BD=BD=E6= =88=96=E5=AD=98=E5=82=A8=E7=BC=93=E5=86=B2=E5=8C=BA=E8=BF=9B=E8=A1=8C=E5=BB= =BA=E6=A8=A1=EF=BC=8C=E5=B9=B6=E5=8F=AF=E4=BB=A5=E6=A3=80=E6=B5=8B=E9=81=97= =E6=BC=8F=E7=9A=84 +``smp_mb()``, ``smp_wmb()``, ``smp_rmb()``, ``smp_store_release()``=EF=BC= =8C=E4=BB=A5=E5=8F=8A=E6=89=80=E6=9C=89=E7=9A=84 +=E5=85=B7=E6=9C=89=E7=AD=89=E6=95=88=E9=9A=90=E5=90=AB=E5=86=85=E5=AD=98= =E5=B1=8F=E9=9A=9C=E7=9A=84 ``atomic_*`` =E6=93=8D=E4=BD=9C=E3=80=82 + +=E8=AF=B7=E6=B3=A8=E6=84=8F=EF=BC=8CKCSAN =E4=B8=8D=E4=BC=9A=E6=8A=A5=E5= =91=8A=E6=89=80=E6=9C=89=E7=94=B1=E4=BA=8E=E7=BC=BA=E5=A4=B1=E5=86=85=E5=AD= =98=E9=A1=BA=E5=BA=8F=E8=80=8C=E5=AF=BC=E8=87=B4=E7=9A=84=E6=95=B0=E6=8D=AE= =E7=AB=9E=E4=BA=89=EF=BC=8C=E7=89=B9=E5=88=AB=E6=98=AF=E5=9C=A8=E9=9C=80=E8= =A6=81=E5=86=85=E5=AD=98=E5=B1=8F=E9=9A=9C +=E6=9D=A5=E7=A6=81=E6=AD=A2=E5=90=8E=E7=BB=AD=E5=86=85=E5=AD=98=E6=93=8D= =E4=BD=9C=E5=9C=A8=E5=B1=8F=E9=9A=9C=E4=B9=8B=E5=89=8D=E9=87=8D=E6=96=B0=E6= =8E=92=E5=BA=8F=E7=9A=84=E6=83=85=E5=86=B5=E4=B8=8B=E3=80=82=E5=9B=A0=E6=AD= =A4=EF=BC=8C=E5=BC=80=E5=8F=91=E4=BA=BA=E5=91=98=E5=BA=94=E8=AF=A5=E4=BB=94= =E7=BB=86=E8=80=83=E8=99=91=E9=82=A3=E4=BA=9B=E6=9C=AA +=E8=A2=AB=E6=A3=80=E6=9F=A5=E7=9A=84=E5=86=85=E5=AD=98=E9=A1=BA=E5=BA=8F= =E8=A6=81=E6=B1=82=E3=80=82 + +=E6=95=B0=E6=8D=AE=E7=AB=9E=E4=BA=89=E4=BB=A5=E5=A4=96=E7=9A=84=E7=AB=9E= =E4=BA=89=E6=A3=80=E6=B5=8B +--------------------------- + +=E5=AF=B9=E4=BA=8E=E6=9C=89=E7=9D=80=E5=A4=8D=E6=9D=82=E5=B9=B6=E5=8F=91= =E8=AE=BE=E8=AE=A1=E7=9A=84=E4=BB=A3=E7=A0=81=EF=BC=8C=E7=AB=9E=E4=BA=89=E7= =8A=B6=E5=86=B5=E4=B8=8D=E6=80=BB=E6=98=AF=E8=A1=A8=E7=8E=B0=E4=B8=BA=E6=95= =B0=E6=8D=AE=E7=AB=9E=E4=BA=89=E3=80=82=E5=A6=82=E6=9E=9C=E5=B9=B6=E5=8F=91= =E6=93=8D=E4=BD=9C=E5=BC=95=E8=B5=B7=E4=BA=86=E6=84=8F +=E6=96=99=E4=B9=8B=E5=A4=96=E7=9A=84=E7=B3=BB=E7=BB=9F=E8=A1=8C=E4=B8=BA= =EF=BC=8C=E5=88=99=E8=AE=A4=E4=B8=BA=E5=8F=91=E7=94=9F=E4=BA=86=E7=AB=9E=E4= =BA=89=E7=8A=B6=E5=86=B5=E3=80=82=E5=8F=A6=E4=B8=80=E6=96=B9=E9=9D=A2=EF=BC= =8C=E6=95=B0=E6=8D=AE=E7=AB=9E=E4=BA=89=E6=98=AF=E5=9C=A8 C =E8=AF=AD=E8=A8= =80=E5=B1=82=E9=9D=A2=E5=AE=9A=E4=B9=89 +=E7=9A=84=E3=80=82=E4=B8=8B=E9=9D=A2=E7=9A=84=E5=AE=8F=E5=AE=9A=E4=B9=89= =E5=8F=AF=E4=BB=A5=E7=94=A8=E6=9D=A5=E6=A3=80=E6=B5=8B=E9=9D=9E=E6=95=B0=E6= =8D=AE=E7=AB=9E=E4=BA=89=E7=9A=84=E6=BC=8F=E6=B4=9E=E5=B9=B6=E5=8F=91=E4=BB= =A3=E7=A0=81=E7=9A=84=E5=B1=9E=E6=80=A7=E3=80=82 + +.. kernel-doc:: include/linux/kcsan-checks.h + :functions: ASSERT_EXCLUSIVE_WRITER ASSERT_EXCLUSIVE_WRITER_SCOPED + ASSERT_EXCLUSIVE_ACCESS ASSERT_EXCLUSIVE_ACCESS_SCOPED + ASSERT_EXCLUSIVE_BITS + +=E5=AE=9E=E7=8E=B0=E7=BB=86=E8=8A=82 +-------- + +KCSAN =E9=9C=80=E8=A6=81=E8=A7=82=E6=B5=8B=E4=B8=A4=E4=B8=AA=E5=B9=B6=E5= =8F=91=E8=AE=BF=E9=97=AE=E3=80=82=E7=89=B9=E5=88=AB=E9=87=8D=E8=A6=81=E7=9A= =84=E6=98=AF=EF=BC=8C=E6=88=91=E4=BB=AC=E6=83=B3=E8=A6=81=EF=BC=88a=EF=BC= =89=E5=A2=9E=E5=8A=A0=E8=A7=82=E6=B5=8B=E5=88=B0=E7=AB=9E=E4=BA=89=E7=9A=84= =E6=9C=BA=E4=BC=9A=EF=BC=88=E5=B0=A4 +=E5=85=B6=E6=98=AF=E5=BE=88=E5=B0=91=E5=8F=91=E7=94=9F=E7=9A=84=E7=AB=9E= =E4=BA=89=EF=BC=89=EF=BC=8C=E4=BB=A5=E5=8F=8A=EF=BC=88b=EF=BC=89=E8=83=BD= =E5=A4=9F=E5=AE=9E=E9=99=85=E8=A7=82=E6=B5=8B=E5=88=B0=E8=BF=99=E4=BA=9B=E7= =AB=9E=E4=BA=89=E3=80=82=E6=88=91=E4=BB=AC=E5=8F=AF=E4=BB=A5=E9=80=9A=E8=BF= =87=EF=BC=88a=EF=BC=89=E6=B3=A8=E5=85=A5 +=E4=B8=8D=E5=90=8C=E7=9A=84=E5=BB=B6=E8=BF=9F=EF=BC=8C=E4=BB=A5=E5=8F=8A= =EF=BC=88b=EF=BC=89=E4=BD=BF=E7=94=A8=E5=9C=B0=E5=9D=80=E8=A7=82=E6=B5=8B= =E7=82=B9=EF=BC=88=E6=88=96=E6=96=AD=E7=82=B9=EF=BC=89=E6=9D=A5=E5=AE=9E=E7= =8E=B0=E3=80=82 + +=E5=A6=82=E6=9E=9C=E6=88=91=E4=BB=AC=E5=9C=A8=E8=AE=BE=E7=BD=AE=E4=BA=86= =E5=9C=B0=E5=9D=80=E8=A7=82=E5=AF=9F=E7=82=B9=E7=9A=84=E6=83=85=E5=86=B5=E4= =B8=8B=E6=95=85=E6=84=8F=E5=BB=B6=E8=BF=9F=E4=B8=80=E4=B8=AA=E5=86=85=E5=AD= =98=E8=AE=BF=E9=97=AE=EF=BC=8C=E7=84=B6=E5=90=8E=E8=A7=82=E5=AF=9F=E5=88=B0= =E8=A7=82=E5=AF=9F=E7=82=B9=E8=A2=AB=E8=A7=A6=E5=8F=91 +=EF=BC=8C=E9=82=A3=E4=B9=88=E4=B8=A4=E4=B8=AA=E5=AF=B9=E5=90=8C=E4=B8=80= =E5=9C=B0=E5=9D=80=E7=9A=84=E8=AE=BF=E9=97=AE=E5=B0=B1=E5=8F=91=E7=94=9F=E4= =BA=86=E7=AB=9E=E4=BA=89=E3=80=82=E4=BD=BF=E7=94=A8=E7=A1=AC=E4=BB=B6=E8=A7= =82=E5=AF=9F=E7=82=B9=EF=BC=8C=E8=BF=99=E6=98=AF `DataCollider +`_ = =E4=B8=AD=E9=87=87=E7=94=A8 +=E7=9A=84=E6=96=B9=E6=B3=95=E3=80=82=E4=B8=8E DataCollider =E4=B8=8D=E5=90= =8C=EF=BC=8CKCSAN =E4=B8=8D=E4=BD=BF=E7=94=A8=E7=A1=AC=E4=BB=B6=E8=A7=82=E5= =AF=9F=E7=82=B9=EF=BC=8C=E8=80=8C=E6=98=AF=E4=BE=9D=E8=B5=96=E4=BA=8E=E7=BC= =96=E8=AF=91=E5=99=A8=E6=8F=92=E6=A1=A9=E5=92=8C=E2=80=9C=E8=BD=AF +=E8=A7=82=E6=B5=8B=E7=82=B9=E2=80=9D=E3=80=82 + +=E5=9C=A8 KCSAN =E4=B8=AD=EF=BC=8C=E8=A7=82=E5=AF=9F=E7=82=B9=E6=98=AF=E9= =80=9A=E8=BF=87=E4=B8=80=E7=A7=8D=E9=AB=98=E6=95=88=E7=9A=84=E7=BC=96=E7=A0= =81=E5=AE=9E=E7=8E=B0=E7=9A=84=EF=BC=8C=E8=AF=A5=E7=BC=96=E7=A0=81=E5=B0=86= =E8=AE=BF=E9=97=AE=E7=B1=BB=E5=9E=8B=E3=80=81=E5=A4=A7=E5=B0=8F=E5=92=8C=E5= =9C=B0=E5=9D=80=E5=AD=98=E5=82=A8 +=E5=9C=A8=E4=B8=80=E4=B8=AA=E9=95=BF=E6=95=B4=E5=9E=8B=E5=8F=98=E9=87=8F= =E4=B8=AD=EF=BC=9B=E4=BD=BF=E7=94=A8=E2=80=9C=E8=BD=AF=E8=A7=82=E5=AF=9F=E7= =82=B9=E2=80=9D=E7=9A=84=E5=A5=BD=E5=A4=84=E6=98=AF=E5=85=B7=E6=9C=89=E5=8F= =AF=E7=A7=BB=E6=A4=8D=E6=80=A7=E5=92=8C=E6=9B=B4=E5=A4=A7=E7=9A=84=E7=81=B5= =E6=B4=BB=E6=80=A7=E3=80=82=E7=84=B6=E5=90=8E=EF=BC=8C +KCSAN=E4=BE=9D=E8=B5=96=E4=BA=8E=E7=BC=96=E8=AF=91=E5=99=A8=E5=AF=B9=E6=99= =AE=E9=80=9A=E8=AE=BF=E9=97=AE=E7=9A=84=E6=8F=92=E6=A1=A9=E3=80=82=E5=AF=B9= =E4=BA=8E=E6=AF=8F=E4=B8=AA=E6=8F=92=E6=A1=A9=E7=9A=84=E6=99=AE=E9=80=9A=E8= =AE=BF=E9=97=AE=EF=BC=9A + +1. =E6=A3=80=E6=B5=8B=E6=98=AF=E5=90=A6=E5=AD=98=E5=9C=A8=E4=B8=80=E4=B8= =AA=E7=AC=A6=E5=90=88=E7=9A=84=E8=A7=82=E6=B5=8B=E7=82=B9=EF=BC=8C=E5=A6=82= =E6=9E=9C=E5=AD=98=E5=9C=A8=EF=BC=8C=E5=B9=B6=E4=B8=94=E8=87=B3=E5=B0=91=E6= =9C=89=E4=B8=80=E4=B8=AA=E6=93=8D=E4=BD=9C=E6=98=AF=E5=86=99=E6=93=8D=E4=BD= =9C=EF=BC=8C=E5=88=99=E6=88=91=E4=BB=AC=E5=8F=91 + =E7=8E=B0=E4=BA=86=E4=B8=80=E4=B8=AA=E7=AB=9E=E4=BA=89=E8=AE=BF=E9=97= =AE=E3=80=82 + +2. =E5=A6=82=E6=9E=9C=E4=B8=8D=E5=AD=98=E5=9C=A8=E5=8C=B9=E9=85=8D=E7=9A= =84=E8=A7=82=E5=AF=9F=E7=82=B9=EF=BC=8C=E5=88=99=E5=AE=9A=E6=9C=9F=E7=9A=84= =E8=AE=BE=E7=BD=AE=E4=B8=80=E4=B8=AA=E8=A7=82=E6=B5=8B=E7=82=B9=E5=B9=B6=E9= =9A=8F=E6=9C=BA=E5=BB=B6=E8=BF=9F=E4=B8=80=E5=B0=8F=E6=AE=B5=E6=97=B6=E9=97= =B4=E3=80=82 + +3. =E5=9C=A8=E5=BB=B6=E8=BF=9F=E5=89=8D=E6=A3=80=E6=9F=A5=E6=95=B0=E6=8D= =AE=E5=80=BC=EF=BC=8C=E5=B9=B6=E5=9C=A8=E5=BB=B6=E8=BF=9F=E5=90=8E=E9=87=8D= =E6=96=B0=E6=A3=80=E6=9F=A5=E6=95=B0=E6=8D=AE=E5=80=BC=EF=BC=9B=E5=A6=82=E6= =9E=9C=E5=80=BC=E4=B8=8D=E5=8C=B9=E9=85=8D=EF=BC=8C=E6=88=91=E4=BB=AC=E6=8E= =A8=E6=B5=8B=E5=AD=98=E5=9C=A8=E4=B8=80=E4=B8=AA + =E6=9C=AA=E7=9F=A5=E6=9D=A5=E6=BA=90=E7=9A=84=E7=AB=9E=E4=BA=89=E7=8A= =B6=E5=86=B5=E3=80=82 + +=E4=B8=BA=E4=BA=86=E6=A3=80=E6=B5=8B=E6=99=AE=E9=80=9A=E8=AE=BF=E9=97=AE= =E5=92=8C=E6=A0=87=E8=AE=B0=E8=AE=BF=E9=97=AE=E4=B9=8B=E9=97=B4=E7=9A=84=E6= =95=B0=E6=8D=AE=E7=AB=9E=E4=BA=89=EF=BC=8CKCSAN =E4=B9=9F=E5=AF=B9=E6=A0=87= =E8=AE=B0=E8=AE=BF=E9=97=AE=E8=BF=9B=E8=A1=8C=E6=A0=87=E8=AE=B0=EF=BC=8C=E4= =BD=86=E4=BB=85=E7=94=A8=E4=BA=8E +=E6=A3=80=E6=9F=A5=E6=98=AF=E5=90=A6=E5=AD=98=E5=9C=A8=E8=A7=82=E5=AF=9F= =E7=82=B9=EF=BC=9B=E5=8D=B3 KCSAN =E4=B8=8D=E4=BC=9A=E5=9C=A8=E6=A0=87=E8= =AE=B0=E8=AE=BF=E9=97=AE=E4=B8=8A=E8=AE=BE=E7=BD=AE=E8=A7=82=E5=AF=9F=E7=82= =B9=E3=80=82=E9=80=9A=E8=BF=87=E4=B8=8D=E5=9C=A8=E6=A0=87=E8=AE=B0=E6=93=8D= =E4=BD=9C=E4=B8=8A=E8=AE=BE +=E7=BD=AE=E8=A7=82=E5=AF=9F=E7=82=B9=EF=BC=8C=E5=A6=82=E6=9E=9C=E5=AF=B9= =E4=B8=80=E4=B8=AA=E5=8F=98=E9=87=8F=E7=9A=84=E6=89=80=E6=9C=89=E5=B9=B6=E5= =8F=91=E8=AE=BF=E9=97=AE=E9=83=BD=E8=A2=AB=E6=AD=A3=E7=A1=AE=E6=A0=87=E8=AE= =B0=EF=BC=8CKCSAN =E5=B0=86=E6=B0=B8=E8=BF=9C=E4=B8=8D=E4=BC=9A=E8=A7=A6=E5= =8F=91=E8=A7=82=E5=AF=9F=E7=82=B9 +=EF=BC=8C=E5=9B=A0=E6=AD=A4=E4=B9=9F=E4=B8=8D=E4=BC=9A=E6=8A=A5=E5=91=8A= =E8=BF=99=E4=BA=9B=E8=AE=BF=E9=97=AE=E3=80=82 + +=E5=BC=B1=E5=86=85=E5=AD=98=E5=BB=BA=E6=A8=A1 +~~~~~~~~~~ + +KCSAN =E9=80=9A=E8=BF=87=E5=BB=BA=E6=A8=A1=E8=AE=BF=E9=97=AE=E9=87=8D=E6= =96=B0=E6=8E=92=E5=BA=8F=EF=BC=88=E4=BD=BF=E7=94=A8 ``CONFIG_KCSAN_WEAK_MEM= ORY=3Dy``=EF=BC=89=E6=9D=A5=E6=A3=80=E6=B5=8B=E7=94=B1=E4=BA=8E=E7=BC=BA=E5= =B0=91 +=E5=86=85=E5=AD=98=E5=B1=8F=E9=9A=9C=E8=80=8C=E5=AF=BC=E8=87=B4=E7=9A=84= =E6=95=B0=E6=8D=AE=E7=AB=9E=E4=BA=89=E3=80=82=E6=AF=8F=E4=B8=AA=E8=AE=BE=E7= =BD=AE=E4=BA=86=E8=A7=82=E5=AF=9F=E7=82=B9=E7=9A=84=E6=99=AE=E9=80=9A=E5=86= =85=E5=AD=98=E8=AE=BF=E9=97=AE=E4=B9=9F=E4=BC=9A=E8=A2=AB=E9=80=89=E6=8B=A9= =E5=9C=A8=E5=85=B6=E5=87=BD=E6=95=B0=E8=8C=83=E5=9B=B4 +=E5=86=85=E8=BF=9B=E8=A1=8C=E6=A8=A1=E6=8B=9F=E9=87=8D=E6=96=B0=E6=8E=92= =E5=BA=8F=EF=BC=88=E6=9C=80=E5=A4=9A=E4=B8=80=E4=B8=AA=E6=AD=A3=E5=9C=A8=E8= =BF=9B=E8=A1=8C=E7=9A=84=E8=AE=BF=E9=97=AE=EF=BC=89=E3=80=82 + +=E4=B8=80=E6=97=A6=E6=9F=90=E4=B8=AA=E8=AE=BF=E9=97=AE=E8=A2=AB=E9=80=89= =E6=8B=A9=E7=94=A8=E4=BA=8E=E9=87=8D=E6=96=B0=E6=8E=92=E5=BA=8F=EF=BC=8C=E5= =AE=83=E5=B0=86=E5=9C=A8=E5=87=BD=E6=95=B0=E8=8C=83=E5=9B=B4=E5=86=85=E4=B8= =8E=E6=AF=8F=E4=B8=AA=E5=85=B6=E4=BB=96=E8=AE=BF=E9=97=AE=E8=BF=9B=E8=A1=8C= =E6=A3=80=E6=9F=A5=E3=80=82=E5=A6=82=E6=9E=9C=E9=81=87 +=E5=88=B0=E9=80=82=E5=BD=93=E7=9A=84=E5=86=85=E5=AD=98=E5=B1=8F=E9=9A=9C= =EF=BC=8C=E8=AF=A5=E8=AE=BF=E9=97=AE=E5=B0=86=E4=B8=8D=E5=86=8D=E8=A2=AB=E8= =80=83=E8=99=91=E8=BF=9B=E8=A1=8C=E6=A8=A1=E6=8B=9F=E9=87=8D=E6=96=B0=E6=8E= =92=E5=BA=8F=E3=80=82 + +=E5=BD=93=E5=86=85=E5=AD=98=E6=93=8D=E4=BD=9C=E7=9A=84=E7=BB=93=E6=9E=9C= =E5=BA=94=E8=AF=A5=E7=94=B1=E5=B1=8F=E9=9A=9C=E6=8E=92=E5=BA=8F=E6=97=B6=EF= =BC=8CKCSAN =E5=8F=AF=E4=BB=A5=E6=A3=80=E6=B5=8B=E5=88=B0=E4=BB=85=E7=94=B1= =E4=BA=8E=E7=BC=BA=E5=A4=B1=E5=B1=8F=E9=9A=9C=E8=80=8C=E5=AF=BC=E8=87=B4=E7= =9A=84=E5=86=B2=E7=AA=81=E7=9A=84 +=E6=95=B0=E6=8D=AE=E7=AB=9E=E4=BA=89=E3=80=82=E8=80=83=E8=99=91=E4=B8=8B= =E9=9D=A2=E7=9A=84=E4=BE=8B=E5=AD=90:: + + int x, flag; + void T1(void) + { + x =3D 1; // data race! + WRITE_ONCE(flag, 1); // correct: smp_store_release(&flag, 1) + } + void T2(void) + { + while (!READ_ONCE(flag)); // correct: smp_load_acquire(&flag) + ... =3D x; // data race! + } + +=E5=BD=93=E5=90=AF=E7=94=A8=E4=BA=86=E5=BC=B1=E5=86=85=E5=AD=98=E5=BB=BA= =E6=A8=A1=EF=BC=8CKCSAN =E5=B0=86=E8=80=83=E8=99=91=E5=AF=B9 ``T1`` =E4=B8= =AD=E7=9A=84 ``x`` =E8=BF=9B=E8=A1=8C=E6=A8=A1=E6=8B=9F=E9=87=8D=E6=96=B0= =E6=8E=92=E5=BA=8F=E3=80=82=E5=9C=A8=E5=86=99=E5=85=A5 +``flag`` =E4=B9=8B=E5=90=8E=EF=BC=8Cx=E5=86=8D=E6=AC=A1=E8=A2=AB=E6=A3=80= =E6=9F=A5=E6=98=AF=E5=90=A6=E6=9C=89=E5=B9=B6=E5=8F=91=E8=AE=BF=E9=97=AE=EF= =BC=9A=E5=9B=A0=E4=B8=BA ``T2`` =E5=8F=AF=E4=BB=A5=E5=9C=A8=E5=86=99=E5=85= =A5 +``flag`` =E4=B9=8B=E5=90=8E=E7=BB=A7=E7=BB=AD=E8=BF=9B=E8=A1=8C=EF=BC=8C= =E5=9B=A0=E6=AD=A4=E6=A3=80=E6=B5=8B=E5=88=B0=E6=95=B0=E6=8D=AE=E7=AB=9E=E4= =BA=89=E3=80=82=E5=A6=82=E6=9E=9C=E9=81=87=E5=88=B0=E4=BA=86=E6=AD=A3=E7=A1= =AE=E7=9A=84=E5=B1=8F=E9=9A=9C=EF=BC=8C ``x`` =E5=9C=A8=E6=AD=A3=E7=A1=AE +=E9=87=8A=E6=94=BE ``flag`` =E5=90=8E=E5=B0=86=E4=B8=8D=E4=BC=9A=E8=A2=AB= =E8=80=83=E8=99=91=E9=87=8D=E6=96=B0=E6=8E=92=E5=BA=8F=EF=BC=8C=E5=9B=A0=E6= =AD=A4=E4=B8=8D=E4=BC=9A=E6=A3=80=E6=B5=8B=E5=88=B0=E6=95=B0=E6=8D=AE=E7=AB= =9E=E4=BA=89=E3=80=82 + +=E5=9C=A8=E5=A4=8D=E6=9D=82=E6=80=A7=E4=B8=8A=E7=9A=84=E6=9D=83=E8=A1=A1= =E4=BB=A5=E5=8F=8A=E5=AE=9E=E9=99=85=E7=9A=84=E9=99=90=E5=88=B6=E6=84=8F=E5= =91=B3=E7=9D=80=E5=8F=AA=E8=83=BD=E6=A3=80=E6=B5=8B=E5=88=B0=E4=B8=80=E9=83= =A8=E5=88=86=E7=94=B1=E4=BA=8E=E7=BC=BA=E5=A4=B1=E5=86=85=E5=AD=98=E5=B1=8F= =E9=9A=9C=E8=80=8C=E5=AF=BC=E8=87=B4=E7=9A=84=E6=95=B0 +=E6=8D=AE=E7=AB=9E=E4=BA=89=E3=80=82=E7=94=B1=E4=BA=8E=E5=BD=93=E5=89=8D= =E5=8F=AF=E7=94=A8=E7=9A=84=E7=BC=96=E8=AF=91=E5=99=A8=E6=94=AF=E6=8C=81=EF= =BC=8CKCSAN =E7=9A=84=E5=AE=9E=E7=8E=B0=E4=BB=85=E9=99=90=E4=BA=8E=E5=BB=BA= =E6=A8=A1=E2=80=9C=E7=BC=93=E5=86=B2=E2=80=9D=EF=BC=88=E5=BB=B6=E8=BF=9F=E8= =AE=BF=E9=97=AE=EF=BC=89=E7=9A=84 +=E6=95=88=E6=9E=9C=EF=BC=8C=E5=9B=A0=E4=B8=BA=E8=BF=90=E8=A1=8C=E6=97=B6= =E4=B8=8D=E8=83=BD=E2=80=9C=E9=A2=84=E5=8F=96=E2=80=9D=E8=AE=BF=E9=97=AE=E3= =80=82=E5=90=8C=E6=97=B6=E8=A6=81=E6=B3=A8=E6=84=8F=EF=BC=8C=E8=A7=82=E6=B5= =8B=E7=82=B9=E5=8F=AA=E8=AE=BE=E7=BD=AE=E5=9C=A8=E6=99=AE=E9=80=9A=E8=AE=BF= =E9=97=AE=E4=B8=8A=EF=BC=8C=E8=BF=99=E6=98=AF=E5=94=AF +=E4=B8=80=E4=B8=80=E4=B8=AA KCSAN =E4=BC=9A=E6=A8=A1=E6=8B=9F=E9=87=8D=E6= =96=B0=E6=8E=92=E5=BA=8F=E7=9A=84=E8=AE=BF=E9=97=AE=E7=B1=BB=E5=9E=8B=E3=80= =82=E8=BF=99=E6=84=8F=E5=91=B3=E7=9D=80=E6=A0=87=E8=AE=B0=E8=AE=BF=E9=97=AE= =E7=9A=84=E9=87=8D=E6=96=B0=E6=8E=92=E5=BA=8F=E4=B8=8D=E4=BC=9A=E8=A2=AB=E5= =BB=BA=E6=A8=A1=E3=80=82 + +=E4=B8=8A=E8=BF=B0=E6=83=85=E5=86=B5=E7=9A=84=E4=B8=80=E4=B8=AA=E5=90=8E= =E6=9E=9C=E6=98=AF=E8=8E=B7=E5=8F=96 (acquire) =E6=93=8D=E4=BD=9C=E4=B8=8D= =E9=9C=80=E8=A6=81=E5=B1=8F=E9=9A=9C=E6=8F=92=E6=A1=A9=EF=BC=88=E4=B8=8D=E9= =9C=80=E8=A6=81=E9=A2=84=E5=8F=96=EF=BC=89=E3=80=82=E6=AD=A4=E5=A4=96=EF=BC= =8C=E5=BC=95 +=E5=85=A5=E5=9C=B0=E5=9D=80=E6=88=96=E6=8E=A7=E5=88=B6=E4=BE=9D=E8=B5=96= =E7=9A=84=E6=A0=87=E8=AE=B0=E8=AE=BF=E9=97=AE=E4=B8=8D=E9=9C=80=E8=A6=81=E7= =89=B9=E6=AE=8A=E5=A4=84=E7=90=86=EF=BC=88=E6=A0=87=E8=AE=B0=E8=AE=BF=E9=97= =AE=E4=B8=8D=E8=83=BD=E9=87=8D=E6=96=B0=E6=8E=92=E5=BA=8F=EF=BC=8C=E5=90=8E= =E7=BB=AD=E4=BE=9D=E8=B5=96=E7=9A=84=E8=AE=BF=E9=97=AE +=E4=B8=8D=E8=83=BD=E8=A2=AB=E9=A2=84=E5=8F=96=EF=BC=89=E3=80=82 + +=E5=85=B3=E9=94=AE=E5=B1=9E=E6=80=A7 +~~~~~~~~ + +1. **=E5=86=85=E5=AD=98=E5=BC=80=E9=94=80**=EF=BC=9A=E6=95=B4=E4=BD=93=E7= =9A=84=E5=86=85=E5=AD=98=E5=BC=80=E9=94=80=E5=8F=AA=E6=9C=89=E5=87=A0 MiB= =EF=BC=8C=E5=8F=96=E5=86=B3=E4=BA=8E=E9=85=8D=E7=BD=AE=E3=80=82=E5=BD=93=E5= =89=8D=E7=9A=84=E5=AE=9E=E7=8E=B0=E6=98=AF=E4=BD=BF=E7=94=A8=E4=B8=80=E4=B8= =AA=E5=B0=8F=E9=95=BF + =E6=95=B4=E5=9E=8B=E6=95=B0=E7=BB=84=E6=9D=A5=E7=BC=96=E7=A0=81=E8=A7= =82=E6=B5=8B=E7=82=B9=E4=BF=A1=E6=81=AF=EF=BC=8C=E5=87=A0=E4=B9=8E=E5=8F=AF= =E4=BB=A5=E5=BF=BD=E7=95=A5=E4=B8=8D=E8=AE=A1=E3=80=82 + +2. **=E6=80=A7=E8=83=BD=E5=BC=80=E9=94=80**=EF=BC=9AKCSAN =E7=9A=84=E8=BF= =90=E8=A1=8C=E6=97=B6=E6=97=A8=E5=9C=A8=E6=80=A7=E8=83=BD=E5=BC=80=E9=94=80= =E6=9C=80=E5=B0=8F=E5=8C=96=EF=BC=8C=E4=BD=BF=E7=94=A8=E4=B8=80=E4=B8=AA=E9= =AB=98=E6=95=88=E7=9A=84=E8=A7=82=E6=B5=8B=E7=82=B9=E7=BC=96=E7=A0=81=EF=BC= =8C=E5=9C=A8 + =E5=BF=AB=E9=80=9F=E8=B7=AF=E5=BE=84=E4=B8=AD=E4=B8=8D=E9=9C=80=E8=A6= =81=E8=8E=B7=E5=8F=96=E4=BB=BB=E4=BD=95=E9=94=81=E3=80=82=E5=9C=A8=E6=8B=A5= =E6=9C=89 8 =E4=B8=AA CPU =E7=9A=84=E7=B3=BB=E7=BB=9F=E4=B8=8A=E7=9A=84=E5= =86=85=E6=A0=B8=E5=90=AF=E5=8A=A8=E6=9D=A5=E8=AF=B4=EF=BC=9A + + - =E4=BD=BF=E7=94=A8=E9=BB=98=E8=AE=A4 KCSAN =E9=85=8D=E7=BD=AE=E6=97= =B6=EF=BC=8C=E6=80=A7=E8=83=BD=E4=B8=8B=E9=99=8D 5 =E5=80=8D=EF=BC=9B + - =E4=BB=85=E5=9B=A0=E8=BF=90=E8=A1=8C=E6=97=B6=E5=BF=AB=E9=80=9F=E8=B7= =AF=E5=BE=84=E5=BC=80=E9=94=80=E5=AF=BC=E8=87=B4=E6=80=A7=E8=83=BD=E4=B8=8B= =E9=99=8D 2.8 =E5=80=8D=EF=BC=88=E8=AE=BE=E7=BD=AE=E9=9D=9E=E5=B8=B8=E5=A4= =A7=E7=9A=84 + ``KCSAN_SKIP_WATCH`` =E5=B9=B6=E5=8F=96=E6=B6=88=E8=AE=BE=E7=BD=AE ``= KCSAN_SKIP_WATCH_RANDOMIZE``=EF=BC=89=E3=80=82 + +3. **=E6=B3=A8=E8=A7=A3=E5=BC=80=E9=94=80**=EF=BC=9AKCSAN =E8=BF=90=E8=A1= =8C=E6=97=B6=E4=B9=8B=E5=A4=96=E9=9C=80=E8=A6=81=E7=9A=84=E6=B3=A8=E9=87=8A= =E5=BE=88=E5=B0=91=E3=80=82=E5=9B=A0=E6=AD=A4=EF=BC=8C=E9=9A=8F=E7=9D=80=E5= =86=85=E6=A0=B8=E7=9A=84=E5=8F=91=E5=B1=95=E7=BB=B4=E6=8A=A4=E7=9A=84=E5=BC= =80 + =E9=94=80=E4=B9=9F=E5=BE=88=E5=B0=8F=E3=80=82 + +4. **=E6=A3=80=E6=B5=8B=E8=AE=BE=E5=A4=87=E7=9A=84=E7=AB=9E=E4=BA=89=E5=86= =99=E5=85=A5**=EF=BC=9A=E7=94=B1=E4=BA=8E=E8=AE=BE=E7=BD=AE=E8=A7=82=E6=B5= =8B=E7=82=B9=E6=97=B6=E4=BC=9A=E6=A3=80=E6=9F=A5=E6=95=B0=E6=8D=AE=E5=80=BC= =EF=BC=8C=E8=AE=BE=E5=A4=87=E7=9A=84=E7=AB=9E=E4=BA=89=E5=86=99=E5=85=A5=E4= =B9=9F=E5=8F=AF=E4=BB=A5 + =E8=A2=AB=E6=A3=80=E6=B5=8B=E5=88=B0=E3=80=82 + +5. **=E5=86=85=E5=AD=98=E6=8E=92=E5=BA=8F**=EF=BC=9AKCSAN =E5=8F=AA=E4=BA= =86=E8=A7=A3=E4=B8=80=E9=83=A8=E5=88=86 LKMM =E6=8E=92=E5=BA=8F=E8=A7=84=E5= =88=99=EF=BC=9B=E8=BF=99=E5=8F=AF=E8=83=BD=E4=BC=9A=E5=AF=BC=E8=87=B4=E6=BC= =8F=E6=8A=A5=E6=95=B0=E6=8D=AE=E7=AB=9E=E4=BA=89=EF=BC=88 + =E5=81=87=E9=98=B4=E6=80=A7=EF=BC=89=E3=80=82 + +6. **=E5=88=86=E6=9E=90=E5=87=86=E7=A1=AE=E7=8E=87**=EF=BC=9A =E5=AF=B9=E4= =BA=8E=E8=A7=82=E5=AF=9F=E5=88=B0=E7=9A=84=E6=89=A7=E8=A1=8C=EF=BC=8C=E7=94= =B1=E4=BA=8E=E4=BD=BF=E7=94=A8=E9=87=87=E6=A0=B7=E7=AD=96=E7=95=A5=EF=BC=8C= =E5=88=86=E6=9E=90=E6=98=AF * =E4=B8=8D=E5=81=A5=E5=85=A8 * =E7=9A=84 + =EF=BC=88=E5=8F=AF=E8=83=BD=E6=9C=89=E5=81=87=E9=98=B4=E6=80=A7=EF=BC= =89=EF=BC=8C=E4=BD=86=E6=9C=9F=E6=9C=9B=E5=BE=97=E5=88=B0=E5=AE=8C=E6=95=B4= =E7=9A=84=E5=88=86=E6=9E=90=EF=BC=88=E6=B2=A1=E6=9C=89=E5=81=87=E9=98=B3=E6= =80=A7=EF=BC=89=E3=80=82 + +=E8=80=83=E8=99=91=E7=9A=84=E6=9B=BF=E4=BB=A3=E6=96=B9=E6=A1=88 +-------------- + +=E4=B8=80=E4=B8=AA=E5=86=85=E6=A0=B8=E6=95=B0=E6=8D=AE=E7=AB=9E=E4=BA=89= =E6=A3=80=E6=B5=8B=E7=9A=84=E6=9B=BF=E4=BB=A3=E6=96=B9=E6=B3=95=E6=98=AF `K= ernel Thread Sanitizer (KTSAN) +`_=E3=80= =82KTSAN =E6=98=AF=E4=B8=80 +=E4=B8=AA=E5=9F=BA=E4=BA=8E=E5=85=88=E8=A1=8C=E5=8F=91=E7=94=9F=E5=85=B3= =E7=B3=BB=EF=BC=88happens-before=EF=BC=89=E7=9A=84=E6=95=B0=E6=8D=AE=E7=AB= =9E=E4=BA=89=E6=A3=80=E6=B5=8B=E5=99=A8=EF=BC=8C=E5=AE=83=E6=98=BE=E5=BC=8F= =E5=BB=BA=E7=AB=8B=E5=86=85=E5=AD=98=E6=93=8D=E4=BD=9C=E4=B9=8B=E9=97=B4=E7= =9A=84=E5=85=88 +=E5=90=8E=E5=8F=91=E7=94=9F=E9=A1=BA=E5=BA=8F=EF=BC=8C=E8=BF=99=E5=8F=AF= =E4=BB=A5=E7=94=A8=E6=9D=A5=E7=A1=AE=E5=AE=9A `=E6=95=B0=E6=8D=AE=E7=AB=9E= =E4=BA=89`_ =E4=B8=AD=E5=AE=9A=E4=B9=89=E7=9A=84=E6=95=B0=E6=8D=AE=E7=AB=9E= =E4=BA=89=E3=80=82 + +=E4=B8=BA=E4=BA=86=E5=BB=BA=E7=AB=8B=E6=AD=A3=E7=A1=AE=E7=9A=84=E5=85=88= =E8=A1=8C=E5=8F=91=E7=94=9F=E5=85=B3=E7=B3=BB=EF=BC=8CKTSAN =E5=BF=85=E9=A1= =BB=E4=BA=86=E8=A7=A3 LKMM =E7=9A=84=E6=89=80=E6=9C=89=E6=8E=92=E5=BA=8F=E8= =A7=84=E5=88=99=E5=92=8C=E5=90=8C=E6=AD=A5=E5=8E=9F=E8=AF=AD=E3=80=82=E4=B8= =8D=E5=B9=B8 +=E7=9A=84=E6=98=AF=EF=BC=8C=E4=BB=BB=E4=BD=95=E9=81=97=E6=BC=8F=E9=83=BD= =E4=BC=9A=E5=AF=BC=E8=87=B4=E5=A4=A7=E9=87=8F=E7=9A=84=E5=81=87=E9=98=B3=E6= =80=A7=EF=BC=8C=E8=BF=99=E5=9C=A8=E5=8C=85=E5=90=AB=E4=BC=97=E5=A4=9A=E8=87= =AA=E5=AE=9A=E4=B9=89=E5=90=8C=E6=AD=A5=E6=9C=BA=E5=88=B6=E7=9A=84=E5=86=85= =E6=A0=B8=E4=B8=8A=E4=B8=8B=E6=96=87=E4=B8=AD=E7=89=B9 +=E5=88=AB=E6=9C=89=E5=AE=B3=E3=80=82=E4=B8=BA=E4=BA=86=E8=B7=9F=E8=B8=AA= =E5=89=8D=E5=9B=A0=E5=90=8E=E6=9E=9C=E5=85=B3=E7=B3=BB=EF=BC=8CKTSAN =E7=9A= =84=E5=AE=9E=E7=8E=B0=E9=9C=80=E8=A6=81=E4=B8=BA=E6=AF=8F=E4=B8=AA=E5=86=85= =E5=AD=98=E4=BD=8D=E7=BD=AE=E6=8F=90=E4=BE=9B=E5=85=83=E6=95=B0=E6=8D=AE=EF= =BC=88=E5=BD=B1=E5=AD=90=E5=86=85 +=E5=AD=98=EF=BC=89=EF=BC=8C=E8=BF=99=E6=84=8F=E5=91=B3=E7=9D=80=E6=AF=8F= =E9=A1=B5=E5=86=85=E5=AD=98=E5=AF=B9=E5=BA=94 4 =E9=A1=B5=E5=BD=B1=E5=AD=90= =E5=86=85=E5=AD=98=EF=BC=8C=E5=9C=A8=E5=A4=A7=E5=9E=8B=E7=B3=BB=E7=BB=9F=E4= =B8=8A=E5=8F=AF=E8=83=BD=E4=BC=9A=E5=B8=A6=E6=9D=A5=E6=95=B0=E5=8D=81 GiB = =E7=9A=84=E5=BC=80=E9=94=80 +=E3=80=82 --=20 2.25.1