Received: by 2002:a05:6a10:8c0a:0:0:0:0 with SMTP id go10csp1742705pxb; Wed, 10 Feb 2021 16:06:14 -0800 (PST) X-Google-Smtp-Source: ABdhPJweTH8ptPJ1RBlf77CJMwMUx2tFjsPCu1Jw6cScgSAZ9Oun6OgVF9LU7q9t6S+SjM/0W+qZ X-Received: by 2002:a05:6402:21c3:: with SMTP id bi3mr3896925edb.68.1613001974292; Wed, 10 Feb 2021 16:06:14 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1613001974; cv=none; d=google.com; s=arc-20160816; b=ocWvjNtGNURTz/GTb+l8mH8gMxYED1bq7vblaB+j+774J+jnXNi6LIoT3RvtNi8YIA Y3eARhGAedfB0kY/2VIW+Sk6mxHMBViBaZChudag/W2zxa4nuh6jj9Eno2fKZma5DdW9 YwuZFYhzAePwMd8EZfz25jxLPvq07HHT8uArBkXwY/zWxWnrKbi3y2IsgRmAVcPqjAqK mDln28kggreM23mv/vTZ9ciGdbVK38AKuychoyDMrkjDUIAF7oaO3blbv6Ak1e+dxmLW 6WSRByiFqRG0FWDqPBKfZf0pM0QZsWN+e7AMM4M0Sr5yDd/ZldrywlDbNdagNByWOAEe 6QfQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:cc:to:in-reply-to:references:date:message-id :from:subject:content-transfer-encoding:mime-version:dkim-signature; bh=WBGLHSSih90MVr6y+jRkQ3P8F80KnJ17IrPVdWsMErw=; b=DAIYMTasAJhwwx+Mv0/s2CjBbmV4t/ER44gfrdeGrwzMJufYbjT3pVVvKP4ytdFN9f 4opC5K4ekBnlSqZG9MO0TVT2mFpYpSOxerQAifu9EYp1YUqXDTLOPzWsOJJ+u4qRVYgs i2GvosbDL02WlsjoJXH5Nf2lZ2Z5IMzPbZIYWrl8QNRF6ZpCdTW4OkppmEbffOnZwkZu /40Bm6KWNYm3cWd5TN3kxSLc9uwYKOR30Nec7C0eqBBof9xkYqgbR3mjyWZcYCqq8TsV QHfp2lBVn9YxpRkDC8DEDX9pTcN/BK+jRbrGHBkbK5M5mJIbhnzcaWSIuBemEOLEITFg 7gBw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=VPa0Fkt2; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id c10si2340194ejf.281.2021.02.10.16.05.46; Wed, 10 Feb 2021 16:06:14 -0800 (PST) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=VPa0Fkt2; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S234082AbhBKAAv (ORCPT + 99 others); Wed, 10 Feb 2021 19:00:51 -0500 Received: from mail.kernel.org ([198.145.29.99]:34772 "EHLO mail.kernel.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S232565AbhBKAAr (ORCPT ); Wed, 10 Feb 2021 19:00:47 -0500 Received: by mail.kernel.org (Postfix) with ESMTPS id 3DFD964E16; Thu, 11 Feb 2021 00:00:07 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1613001607; bh=yj20q5kPQi5rfMEAVi/VtRdZVsbRN8a/HB78My4y0nc=; h=Subject:From:Date:References:In-Reply-To:To:Cc:From; b=VPa0Fkt2KHwp3qLX6HMos41sC5cmTrFCOYmvabN5gPyLicNextgZmtJBkcMLGgeVT ulyMZhWmLduVvR3yfvSpEvdQKhqT8y2vFWNrMqF3aHyMiCePQGaLGWOHwltyfb5+Xx dgeBg81XiHSOe4mn2Y9c7RWDAJoqAQRIRHy9BwsV7Y1hAap4nrcP1Ca8Ehleb9/2xv QZr0JVS/tMeNsazScdxdQ3pS1SPddb+fpmwY5rkbDOgZfZheoC3LrTYcSHJ7cT1tbA VnSVLe4KLNwJ6hoZ7Eu1niqItAczpe9+LkI7HJaCaAGiaQCRCeHjpmhXZ4VwznaZ7C D9AXXBOcT9lKw== Received: from pdx-korg-docbuild-2.ci.codeaurora.org (localhost.localdomain [127.0.0.1]) by pdx-korg-docbuild-2.ci.codeaurora.org (Postfix) with ESMTP id 2945660A0F; Thu, 11 Feb 2021 00:00:07 +0000 (UTC) Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Subject: Re: [PATCH] bpf_lru_list: Read double-checked variable once without lock From: patchwork-bot+netdevbpf@kernel.org Message-Id: <161300160716.412.6891143842651326044.git-patchwork-notify@kernel.org> Date: Thu, 11 Feb 2021 00:00:07 +0000 References: <20210209112701.3341724-1-elver@google.com> In-Reply-To: <20210209112701.3341724-1-elver@google.com> To: Marco Elver Cc: ast@kernel.org, daniel@iogearbox.net, andrii@kernel.org, kafai@fb.com, songliubraving@fb.com, yhs@fb.com, john.fastabend@gmail.com, kpsingh@kernel.org, netdev@vger.kernel.org, bpf@vger.kernel.org, linux-kernel@vger.kernel.org, kasan-dev@googlegroups.com, paulmck@kernel.org, dvyukov@google.com, syzbot+3536db46dfa58c573458@syzkaller.appspotmail.com, syzbot+516acdb03d3e27d91bcd@syzkaller.appspotmail.com Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Hello: This patch was applied to bpf/bpf-next.git (refs/heads/master): On Tue, 9 Feb 2021 12:27:01 +0100 you wrote: > For double-checked locking in bpf_common_lru_push_free(), node->type is > read outside the critical section and then re-checked under the lock. > However, concurrent writes to node->type result in data races. > > For example, the following concurrent access was observed by KCSAN: > > write to 0xffff88801521bc22 of 1 bytes by task 10038 on cpu 1: > __bpf_lru_node_move_in kernel/bpf/bpf_lru_list.c:91 > __local_list_flush kernel/bpf/bpf_lru_list.c:298 > ... > read to 0xffff88801521bc22 of 1 bytes by task 10043 on cpu 0: > bpf_common_lru_push_free kernel/bpf/bpf_lru_list.c:507 > bpf_lru_push_free kernel/bpf/bpf_lru_list.c:555 > ... > > [...] Here is the summary with links: - bpf_lru_list: Read double-checked variable once without lock https://git.kernel.org/bpf/bpf-next/c/6df8fb83301d You are awesome, thank you! -- Deet-doot-dot, I am a bot. https://korg.docs.kernel.org/patchwork/pwbot.html