From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-pj1-f53.google.com (mail-pj1-f53.google.com [209.85.216.53]) (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 57DB83016F2 for ; Sat, 25 Jul 2026 11:35:29 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.216.53 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1784979330; cv=none; b=D3d/uJ8DPPMT71xWRROacYaX9ytIWzWBmeiH+E5dC3sC4TapLKRsxqd8mn4LLgAVdiVpTG4lIrzPSdqPTszSaWWvPzDwJSFiRGYLlC+OUCBviIcC4AXW44w0xEFBrXd8pf6aH9uUC8I5/0gJNAsKvY7xD9gjplFkI9aPJQfhoUU= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1784979330; c=relaxed/simple; bh=8UfSJKL0hkKm90dl6KX45f8wBI5T8ypgceTpouzhNbc=; h=From:To:Cc:Subject:Date:Message-ID:MIME-Version; b=jikYHZAIOm3GBMTJagcKYAjo7I4aTh75h7NQdSgZKC8CLCnpAzrwrnKuCKVz2pUgmUY9bQriRHWcAN3Dn7+HOazbRbHBDW55AwHvJ/Sg6vihfHEJ5MkJifvtOqAl1SbaNiddKnSVTuc2uU/EbkcDpGgNOB7bYBzvHYI3auOqC4A= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b=JQr5jYvP; arc=none smtp.client-ip=209.85.216.53 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gmail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="JQr5jYvP" Received: by mail-pj1-f53.google.com with SMTP id 98e67ed59e1d1-38e071ed6aeso1029644a91.0 for ; Sat, 25 Jul 2026 04:35:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20251104; t=1784979329; x=1785584129; darn=vger.kernel.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to:content-type; bh=KQrRKf9D++Lr0hz35OIvB/crklMFi/5cNI6yOp5jHOw=; b=JQr5jYvP+xw4fyMfI2NzNPgIgObB/SO6yhcA+l/1+mmXefMPAs5yWKhgWCDyo8p+Tg hopYgHNKVrFIHTOHyhfsPwGddfYM45HfYSumvdnjD4B4lp+bTsvbfGl8xCdYn8wLzZui ET9adu6nIQjfmgqAL0Xh9tyliQhQAk4kb1JMMNr/7Z8uTrQO4hKlyork6/SMzF6EKQdf xE/zM29ButcNllA1y5BNbHvpRvWFUEyUwhxFzcZNij6iqmEwe7OqnY04exOcxX3AUpDh xXosFbZL6dEgEeZxlL1kvvFhQZy/mQp9JjVadQI8tWXJuvJfbCm2EUTxYHIfs+n52Xkz wwRg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1784979329; x=1785584129; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-gg:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to:content-type; bh=KQrRKf9D++Lr0hz35OIvB/crklMFi/5cNI6yOp5jHOw=; b=C9dFgYhyJ6pa/OBb26QYlJv8xWFqLkeWP1ov4fS4S0Dck8jshndxcGIaMtg9kWLBlX hInvhxXKDyw/tlwGTvG9+1qzIq0pj69/cjoumGzJg+N9gndplSIssTShM4fJGLEYBWhq pox3aBQI9/4R19YJqVq5+woadyYEXf1hF5d0kmSqeXmXaMSq8AIsmtJi33N+VEz/hgnG q7t6rbUXbFhZPC+bBoG3E/0yrBdPVmNl4ZjRGOjsdQIui5aE7IUm0T2mgenbYJNVOamM KrJj2LK+jYKpa3tXqbzb1vPFAXggIrKjEoYJwnRAJQstsoXxhUZuGPNgB+5VZVcTSfwR reHw== X-Forwarded-Encrypted: i=1; AHgh+RoHG4daytmVndqfcqxc+znEKQo194/r6lt7DCHlYfiS/+l/EgpoxUsv9UcscLXbxJ6aOTdGiG61/Rr4Pe4=@vger.kernel.org X-Gm-Message-State: AOJu0YxlL97NpisEWoDx2K2wAxZ4IuCWXWwHxyE70IQ1z5XijctuRDGP BnPorvGE1jdNYTOE3VzG93AjMFOu2iKlGDetEEmejp7YQR0D1RFfUQ9o X-Gm-Gg: AR+sD12agaEsACL/svCPXOMqcdIfFjgrGgFnD8vMm7Lmq1gjaNhbY7sWjHKOMELwsGk /UaEuq0dvKSLjSrPSYsEmTQFbSfuFieWZfDKzADoa5BUmJvQ/VVRvPrXfuSGOc30eH46t9znpCA iBeUQZxnrjN6+0SMizXZjL+jRhN7v6LSxJhE/85Fejb5ej6PBFYJmJUCtw2Ev079DZhjgkNY8P3 g1mi5Eoa0FqLRJjr/4FARvoUns3ocuO3tm8q8ItrxjJz1x2j+NJ1cqFWHxxrlbRlsNKk3ixsX7I Z9V6bYF6Q3hWL/n5DuTf4HTkBluLZ62QksGRg4pWzy+83wItxI83QpYhP1ZdhL9dNgeMM8FoEH7 Ui7QJZVNGuA6t+SyaHj69+1ypDAQe6rDLcRu+A3jiWlvz8bfYWoeUEtkdbGIA9V7b5di5ncyt X-Received: by 2002:a17:90b:5102:b0:38e:9e9e:ec57 with SMTP id 98e67ed59e1d1-38f298b8e38mr2003716a91.43.1784979328693; Sat, 25 Jul 2026 04:35:28 -0700 (PDT) Received: from ubuntu.. ([110.9.142.4]) by smtp.gmail.com with ESMTPSA id 98e67ed59e1d1-38f08ae3079sm1539083a91.3.2026.07.25.04.35.26 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 25 Jul 2026 04:35:28 -0700 (PDT) From: Sang-Heon Jeon To: Julia Lawall , Nicolas Palix Cc: cocci@inria.fr, linux-kernel@vger.kernel.org Subject: [PATCH 0/3] coccinelle: improve performance of mini_lock, double_lock and minmax Date: Sat, 25 Jul 2026 20:32:38 +0900 Message-ID: <20260725113303.691676-1-ekffu200098@gmail.com> X-Mailer: git-send-email 2.43.0 Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit mini_lock, double_lock and minmax spend most of their time searching files that have nothing to report. This series collects the candidates first and runs the expensive rules only when one exists. For mini_lock and double_lock this also restores lost coverage. For example, kernel/bpf/verifier.c exceeded the 200 second timeout set by .cocciconfig, and coccicheck silently skipped the file. The benchmark environment and command are as follows. - AMD Ryzen 7 8845HS, 16 threads, 32 GiB RAM - Ubuntu 24.04, spatch 1.1.1 - spatch -D report --very-quiet --no-includes --include-headers --cocci-file