From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-3.3 required=3.0 tests=BAYES_00,DKIM_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS, URIBL_BLOCKED autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 284EBC433E7 for ; Sun, 11 Oct 2020 10:27:29 +0000 (UTC) Received: from isis.lip6.fr (isis.lip6.fr [132.227.60.2]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPS id 73C3C20709 for ; Sun, 11 Oct 2020 10:27:27 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=fail reason="signature verification failed" (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="NVS7Zyk+" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 73C3C20709 Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=gmail.com Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=cocci-bounces@systeme.lip6.fr Received: from systeme.lip6.fr (systeme.lip6.fr [132.227.104.7]) by isis.lip6.fr (8.15.2/8.15.2) with ESMTP id 09BAR6XI024447; Sun, 11 Oct 2020 12:27:06 +0200 (CEST) Received: from systeme.lip6.fr (systeme.lip6.fr [127.0.0.1]) by systeme.lip6.fr (Postfix) with ESMTP id A8A45778E; Sun, 11 Oct 2020 12:27:06 +0200 (CEST) Received: from isis.lip6.fr (isis.lip6.fr [132.227.60.2]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by systeme.lip6.fr (Postfix) with ESMTPS id 39810578C for ; Sun, 11 Oct 2020 12:27:04 +0200 (CEST) Received: from mail-pg1-x52f.google.com (mail-pg1-x52f.google.com [IPv6:2607:f8b0:4864:20:0:0:0:52f]) by isis.lip6.fr (8.15.2/8.15.2) with ESMTP id 09BAR3su017495 for ; Sun, 11 Oct 2020 12:27:03 +0200 (CEST) Received: by mail-pg1-x52f.google.com with SMTP id l18so2147786pgg.0 for ; Sun, 11 Oct 2020 03:27:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:cc:subject:message-id:mime-version:content-disposition; bh=sZ4u0IYX+prhPTXd0MVIePeS5ONiOotzisA3LcVKmGs=; b=NVS7Zyk+rjxHS3Fim/isNHWuIprg+c2HM+wV+yaIh9E7EihNDRfTuLYfDV41xq9uwi uOy69v3QR0MakTzpXeOHvayM4QZM8Yo53iwXh6iUN0gxncfE5J6OfSrEU+NP09tRfsWy azWSanp94VlkodpfsZAnL9oSYSL4iL8BYLySvy9LD/FO9r1yLEeOgr3fC8nztbDP92LQ G9S08ezRghlNaq9pE2mf0ctDyLhd7f2fihyM5OedkNQJ752yk40uE/lSP9QBk7aUs0gX K6vACT9vq9wS/+UZL+nxX8nEPzVWqh1jqZZbpMgWLfScV0dWp03Lp2DZ7IN6lHis/pB/ YY7A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:cc:subject:message-id:mime-version :content-disposition; bh=sZ4u0IYX+prhPTXd0MVIePeS5ONiOotzisA3LcVKmGs=; b=sqPi9v5TzELjKsVd7WGA0mQvkKEgoDX1fOpCZmjJABFnHRgVadVCk9ZeLW6KSgR0yb Fuwg6CqdAmGP7eM0YIOFnbEnXAVUZA5iONMQVH5eoLnkg0gNG9L0z+1PSCUrSt1JgNA+ Mzk3C6OBG/sz/Ly5Rt/EBh+JC8suMqJUEUBiKK/fpRLgiAxv7v5ia9Zs1yydeqiNxqsx Xx/S7c15tTEvt9YLzfDLdxcE6GbQ3uwcZlt7/EMCD6XZ+xGIECIvQnleGbBj5Otr4lgo sjA0TmxVOTFp6xyqPDwh8shhhqbKo+WJtNimuiQpt2OReIWF9x0AitRgwhBsX5h0a+dn NmEQ== X-Gm-Message-State: AOAM531h1ngo2qYAr3PIWKAKH6CjfQ3AEeLmcpDeeXDOluHf66ictewa Yg+snct3i1r1gV53Xflkzqk= X-Google-Smtp-Source: ABdhPJxSlKHZz4nogWT9Nt3kZILi1+8lgygZc0KhYqgDj9p1Hb85VG4EdeKLcxVdM5B7uicpX/BFwA== X-Received: by 2002:a17:90a:6301:: with SMTP id e1mr14656301pjj.131.1602412022680; Sun, 11 Oct 2020 03:27:02 -0700 (PDT) Received: from adolin ([49.207.215.73]) by smtp.gmail.com with ESMTPSA id y4sm741762pgs.0.2020.10.11.03.26.59 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 11 Oct 2020 03:27:02 -0700 (PDT) Date: Sun, 11 Oct 2020 15:56:57 +0530 From: Sumera Priyadarsini To: Julia.Lawall@lip6.fr Message-ID: MIME-Version: 1.0 Content-Disposition: inline X-Greylist: Sender IP whitelisted, Sender e-mail whitelisted, not delayed by milter-greylist-4.4.3 (isis.lip6.fr [132.227.60.2]); Sun, 11 Oct 2020 12:27:07 +0200 (CEST) X-Greylist: Sender DNS name whitelisted, not delayed by milter-greylist-4.4.3 (isis.lip6.fr [IPv6:2001:660:3302:283c:0:0:0:2]); Sun, 11 Oct 2020 12:27:03 +0200 (CEST) X-Scanned-By: MIMEDefang 2.78 on 132.227.60.2 X-Scanned-By: MIMEDefang 2.78 Cc: michal.lkml@markovi.net, linux-doc@vger.kernel.org, Gilles.Muller@lip6.fr, corbet@lwn.net, nicolas.palix@imag.fr, linux-kernel@vger.kernel.org, cocci@systeme.lip6.fr Subject: [Cocci] [PATCH v4 0/3] Improve Coccinelle Parallelisation X-BeenThere: cocci@systeme.lip6.fr X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Sender: cocci-bounces@systeme.lip6.fr Errors-To: cocci-bounces@systeme.lip6.fr Presently, Coccinelle uses at most one thread per core to improve performance in machines with more than 2 hyperthreads. Modify coccicheck to use all available threads in machines upto 4 hyperthreads. Further, modify the coccicheck script to improve portability. Modify documentation to reflect the same. Sumera Priyadarsini (3): scripts: coccicheck: Add quotes to improve portability scripts: coccicheck: Change default condition for parallelism Documentation: Coccinelle: Modify Parallelisation information in docs Documentation/dev-tools/coccinelle.rst | 6 ++++-- scripts/coccicheck | 4 ++-- 2 files changed, 6 insertions(+), 4 deletions(-) -- 2.25.1 _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci