From: Julia Lawall <julia.lawall@lip6.fr> To: "Luis R. Rodriguez" <mcgrof@kernel.org> Cc: Julia Lawall <julia.lawall@lip6.fr>, Gilles Muller <Gilles.Muller@lip6.fr>, nicolas.palix@imag.fr, mmarek@suse.com, linux-kernel@vger.kernel.org, akpm@linux-foundation.org, gregkh@linuxfoundation.org, markivx@codeaurora.org, stephen.boyd@linaro.org, zohar@linux.vnet.ibm.com, broonie@kernel.org, ming.lei@canonical.com, tiwai@suse.de, johannes@sipsolutions.net, chunkeey@googlemail.com, hauke@hauke-m.de, jwboyer@fedoraproject.org, dmitry.torokhov@gmail.com, dwmw2@infradead.org, jslaby@suse.com, torvalds@linux-foundation.org, cocci@systeme.lip6.fr Subject: Re: [PATCH v2 4/8] scripts: add glimpse.sh for indexing the kernel Date: Sat, 18 Jun 2016 07:51:55 +0200 (CEST) [thread overview] Message-ID: <alpine.DEB.2.02.1606180744530.2079@localhost6.localdomain6> (raw) In-Reply-To: <20160618012243.GD11948@wotan.suse.de> On Sat, 18 Jun 2016, Luis R. Rodriguez wrote: > On Fri, Jun 17, 2016 at 05:35:26PM +0200, Julia Lawall wrote: > > On Fri, 17 Jun 2016, Luis R. Rodriguez wrote: > > > > > On Fri, Jun 17, 2016 at 11:44:26AM +0200, Julia Lawall wrote: > > > > I'm not sure that this is worth it. It adds a dependency on a tool that > > > > seems not to be well maintained. In terms of Coccinelle, I'm not sure > > > > that it gives a big benefit. > > > > > > > > Attached is a graph showing the file selection time for Coccinelle for a > > > > selection of fairly complex semantic patches. Coccigrep is just a > > > > line-by-line regexp search implemented in ocaml, gitgrep uses git grep. > > > > In most cases, glimpse is clearly faster. > > > > > > > > On the other hand, it seems that glimpse often selects more files. > > > > Sometimes a few more, eg 16 vs 14, and sometimes quite a lot more, eg 538 > > > > vs 236. I suspect that this is because glimpse considers _ to be a space, > > > > and thus it can have many false positives. There are, however, a few > > > > cases where glimpse also selects fewer files. > > > > > > > > The file processing time (ie parsing the file, searching for, matches of > > > > the semantic patch in the file, and performing the transformation) is > > > > normally much higher than the file selection time. > > > > > > > > So it seems that git grep is currently a better option for the kernel. > > > > > > Great, thanks, consider this patch dropped, do we want the heuristics > > > for the cache index in place though or should I drop that as well ? > > > > I assume you mean this patch: > > > > [PATCH v2 3/8] coccicheck: add indexing enhancement options > > > > I think it should be dropped. It adds complexity and git grep works > > pretty well. > > Hmm but coccicheck does not make use of --git-grep even. > > > If people want to use something else, they can use SPARGS, > > or a .cocciconfig file, eg: > > > > [spatch] > > options = --use-glimpse > > Neat will these be used last and thus override anything? Good point. If it is in the home directory, it is overrided by everything. So make coccicheck shouldn't have an option related to this issue. > If so, what > about just adding an upstream .cocciconfig with --use-gitgrep -- only > issue then is what if a user wants to use idutils ? How do we let them > override? If we have an upstream .cocciconfig with --use-gitgrep, then the user can specify an SPARGS with --use-idutils and override. If we are making an upstream .cocciconfig, I would put a timeout in it too. In my experience, 120 (seconds) is fine. Maybe 200 to give a little more margin. Again, this can be overridden on the command line. julia
WARNING: multiple messages have this Message-ID (diff)
From: julia.lawall@lip6.fr (Julia Lawall) To: cocci@systeme.lip6.fr Subject: [Cocci] [PATCH v2 4/8] scripts: add glimpse.sh for indexing the kernel Date: Sat, 18 Jun 2016 07:51:55 +0200 (CEST) [thread overview] Message-ID: <alpine.DEB.2.02.1606180744530.2079@localhost6.localdomain6> (raw) In-Reply-To: <20160618012243.GD11948@wotan.suse.de> On Sat, 18 Jun 2016, Luis R. Rodriguez wrote: > On Fri, Jun 17, 2016 at 05:35:26PM +0200, Julia Lawall wrote: > > On Fri, 17 Jun 2016, Luis R. Rodriguez wrote: > > > > > On Fri, Jun 17, 2016 at 11:44:26AM +0200, Julia Lawall wrote: > > > > I'm not sure that this is worth it. It adds a dependency on a tool that > > > > seems not to be well maintained. In terms of Coccinelle, I'm not sure > > > > that it gives a big benefit. > > > > > > > > Attached is a graph showing the file selection time for Coccinelle for a > > > > selection of fairly complex semantic patches. Coccigrep is just a > > > > line-by-line regexp search implemented in ocaml, gitgrep uses git grep. > > > > In most cases, glimpse is clearly faster. > > > > > > > > On the other hand, it seems that glimpse often selects more files. > > > > Sometimes a few more, eg 16 vs 14, and sometimes quite a lot more, eg 538 > > > > vs 236. I suspect that this is because glimpse considers _ to be a space, > > > > and thus it can have many false positives. There are, however, a few > > > > cases where glimpse also selects fewer files. > > > > > > > > The file processing time (ie parsing the file, searching for, matches of > > > > the semantic patch in the file, and performing the transformation) is > > > > normally much higher than the file selection time. > > > > > > > > So it seems that git grep is currently a better option for the kernel. > > > > > > Great, thanks, consider this patch dropped, do we want the heuristics > > > for the cache index in place though or should I drop that as well ? > > > > I assume you mean this patch: > > > > [PATCH v2 3/8] coccicheck: add indexing enhancement options > > > > I think it should be dropped. It adds complexity and git grep works > > pretty well. > > Hmm but coccicheck does not make use of --git-grep even. > > > If people want to use something else, they can use SPARGS, > > or a .cocciconfig file, eg: > > > > [spatch] > > options = --use-glimpse > > Neat will these be used last and thus override anything? Good point. If it is in the home directory, it is overrided by everything. So make coccicheck shouldn't have an option related to this issue. > If so, what > about just adding an upstream .cocciconfig with --use-gitgrep -- only > issue then is what if a user wants to use idutils ? How do we let them > override? If we have an upstream .cocciconfig with --use-gitgrep, then the user can specify an SPARGS with --use-idutils and override. If we are making an upstream .cocciconfig, I would put a timeout in it too. In my experience, 120 (seconds) is fine. Maybe 200 to give a little more margin. Again, this can be overridden on the command line. julia
next prev parent reply other threads:[~2016-06-18 5:51 UTC|newest] Thread overview: 44+ messages / expand[flat|nested] mbox.gz Atom feed top 2016-06-16 22:31 [PATCH v2 0/8] coccicheck: modernize Luis R. Rodriguez 2016-06-16 22:31 ` [Cocci] " Luis R. Rodriguez 2016-06-16 22:31 ` [PATCH v2 1/8] coccicheck: move spatch binary check up Luis R. Rodriguez 2016-06-16 22:31 ` [Cocci] " Luis R. Rodriguez 2016-06-16 22:31 ` [PATCH v2 2/8] coccicheck: enable parmap support Luis R. Rodriguez 2016-06-16 22:31 ` [Cocci] " Luis R. Rodriguez 2016-06-16 22:31 ` [PATCH v2 3/8] coccicheck: add indexing enhancement options Luis R. Rodriguez 2016-06-16 22:31 ` [Cocci] " Luis R. Rodriguez 2016-06-17 9:47 ` Julia Lawall 2016-06-17 9:47 ` [Cocci] " Julia Lawall 2016-06-17 15:12 ` Luis R. Rodriguez 2016-06-17 15:12 ` [Cocci] " Luis R. Rodriguez 2016-06-17 15:29 ` Julia Lawall 2016-06-17 15:29 ` [Cocci] " Julia Lawall 2016-06-16 22:31 ` [PATCH v2 4/8] scripts: add glimpse.sh for indexing the kernel Luis R. Rodriguez 2016-06-16 22:31 ` [Cocci] " Luis R. Rodriguez 2016-06-17 9:44 ` Julia Lawall 2016-06-17 9:44 ` [Cocci] " Julia Lawall 2016-06-17 15:10 ` Luis R. Rodriguez 2016-06-17 15:10 ` [Cocci] " Luis R. Rodriguez 2016-06-17 15:35 ` Julia Lawall 2016-06-17 15:35 ` [Cocci] " Julia Lawall 2016-06-18 1:22 ` Luis R. Rodriguez 2016-06-18 1:22 ` [Cocci] " Luis R. Rodriguez 2016-06-18 5:51 ` Julia Lawall [this message] 2016-06-18 5:51 ` Julia Lawall 2016-06-20 19:18 ` Luis R. Rodriguez 2016-06-20 19:18 ` [Cocci] " Luis R. Rodriguez 2016-06-18 10:37 ` Julia Lawall 2016-06-18 10:37 ` [Cocci] " Julia Lawall 2016-06-18 10:38 ` Julia Lawall 2016-06-18 10:38 ` [Cocci] " Julia Lawall 2016-06-17 15:18 ` SF Markus Elfring 2016-06-17 15:18 ` SF Markus Elfring 2016-06-17 16:11 ` Julia Lawall 2016-06-17 16:11 ` Julia Lawall 2016-06-16 22:31 ` [PATCH v2 5/8] coccicheck: replace --very-quiet with --quit when debugging Luis R. Rodriguez 2016-06-16 22:31 ` [Cocci] " Luis R. Rodriguez 2016-06-16 22:31 ` [PATCH v2 6/8] coccicheck: add support for requring a coccinelle version Luis R. Rodriguez 2016-06-16 22:31 ` [Cocci] " Luis R. Rodriguez 2016-06-16 22:31 ` [PATCH v2 7/8] coccicheck: refer to coccicheck bottest wiki for documentation Luis R. Rodriguez 2016-06-16 22:31 ` [Cocci] " Luis R. Rodriguez 2016-06-16 22:31 ` [PATCH v2 8/8] scripts/coccinelle: require coccinelle >= 1.0.4 on device_node_continue.cocci Luis R. Rodriguez 2016-06-16 22:31 ` [Cocci] " Luis R. Rodriguez
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=alpine.DEB.2.02.1606180744530.2079@localhost6.localdomain6 \ --to=julia.lawall@lip6.fr \ --cc=Gilles.Muller@lip6.fr \ --cc=akpm@linux-foundation.org \ --cc=broonie@kernel.org \ --cc=chunkeey@googlemail.com \ --cc=cocci@systeme.lip6.fr \ --cc=dmitry.torokhov@gmail.com \ --cc=dwmw2@infradead.org \ --cc=gregkh@linuxfoundation.org \ --cc=hauke@hauke-m.de \ --cc=johannes@sipsolutions.net \ --cc=jslaby@suse.com \ --cc=jwboyer@fedoraproject.org \ --cc=linux-kernel@vger.kernel.org \ --cc=markivx@codeaurora.org \ --cc=mcgrof@kernel.org \ --cc=ming.lei@canonical.com \ --cc=mmarek@suse.com \ --cc=nicolas.palix@imag.fr \ --cc=stephen.boyd@linaro.org \ --cc=tiwai@suse.de \ --cc=torvalds@linux-foundation.org \ --cc=zohar@linux.vnet.ibm.com \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes, see mirroring instructions on how to clone and mirror all data and code used by this external index.