Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.kernel > #1238553 > unrolled thread

Wiki for automatic reports / fixes

Back to article view | Back to linux.kernel

Contents

  Wiki for automatic reports / fixes "Luis R. Rodriguez" <mcgrof@do-not-panic.com> - 2015-10-02 21:30 +0200
    Re: Wiki for automatic reports / fixes Ian Jackson <Ian.Jackson@eu.citrix.com> - 2015-10-05 19:00 +0200
      Re: Wiki for automatic reports / fixes "Luis R. Rodriguez" <mcgrof@do-not-panic.com> - 2015-10-05 19:10 +0200

#1238553 — Wiki for automatic reports / fixes

Fengguang, Dan, Mel,

Valentin has some open source tools that uses some SAT solver the
backend to hunt for dead, the undertaker tool [0] inspects Kconfig,
and uses SAT solver to do this work. A while ago it was determined
that this code could not be merged upstream for a variety of reasons,
but mostly due to the fact that it was R&D work and it was under GPLv3
[1]. I know a few of you have other testing tools which helps find
other sorts of issues. To my knowledge automated reports for these may
be expected readily these days by developers from 0-day bot, and for
smatch issues, but its unclear what we should expect from the other
ones. There is also some pending ideas over a few of these other
testing frameworks, for instance a recent discussion was started to
evaluate the potential for integration of Xen into the 0-day bot
testing scheme. While discussing expectations and information about
reports over these with Valentin it occurred to me information about
all these may be scattered separately and some developers may be
surprised when they first get reports / fixes from these sorts of
testing systems and that perhaps it may be useful if we had a single
wiki entry point where we could refer folks to the different ongoing
testing infrastructures out there working upstream.

If we could piggy back off of an already existing wiki then great, but
if not I was thinking something off of wiki.kernel.org might be good.
How about tests.wiki.kernel.org ? If such projects don't have a wiki
they could perhaps use pages off of tests.wiki.kernel.org to elaborate
and set expectations straight. Thoughts?

[0] http://vamos.informatik.uni-erlangen.de/trac/undertake
[1] https://lwn.net/Articles/617383/

 Luis
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

[toc] | [next] | [standalone]

#1239749

Luis R. Rodriguez writes ("Wiki for automatic reports / fixes"):
[...]
>  While discussing expectations and information about
> reports over these with Valentin it occurred to me information about
> all these may be scattered separately and some developers may be
> surprised when they first get reports / fixes from these sorts of
> testing systems and that perhaps it may be useful if we had a single
> wiki entry point where we could refer folks to the different ongoing
> testing infrastructures out there working upstream.
> 
> If we could piggy back off of an already existing wiki then great, but
> if not I was thinking something off of wiki.kernel.org might be good.
> How about tests.wiki.kernel.org ? If such projects don't have a wiki
> they could perhaps use pages off of tests.wiki.kernel.org to elaborate
> and set expectations straight. Thoughts?

To clarify what I think you are suggesting, is to create a new wiki or
wiki page which gives information about automatic tests that are
performed on upstream (or going-upstream) Linux branches ?

I think this is a good idea.  I'm not sure how much information we
need for each tester, but a page for each would be about right.

Ian.
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

[toc] | [prev] | [next] | [standalone]

#1239761

On Mon, Oct 5, 2015 at 9:56 AM, Ian Jackson <Ian.Jackson@eu.citrix.com> wrote:
> Luis R. Rodriguez writes ("Wiki for automatic reports / fixes"):
> [...]
>>  While discussing expectations and information about
>> reports over these with Valentin it occurred to me information about
>> all these may be scattered separately and some developers may be
>> surprised when they first get reports / fixes from these sorts of
>> testing systems and that perhaps it may be useful if we had a single
>> wiki entry point where we could refer folks to the different ongoing
>> testing infrastructures out there working upstream.
>>
>> If we could piggy back off of an already existing wiki then great, but
>> if not I was thinking something off of wiki.kernel.org might be good.
>> How about tests.wiki.kernel.org ? If such projects don't have a wiki
>> they could perhaps use pages off of tests.wiki.kernel.org to elaborate
>> and set expectations straight. Thoughts?
>
> To clarify what I think you are suggesting, is to create a new wiki or
> wiki page which gives information about automatic tests that are
> performed on upstream (or going-upstream) Linux branches ?

That's right, as it stands we have a slew of folks doing a series of
battery of tests on either linux-next or other branches, and
developers / maintainers get e-mails about this. Typically one becomes
aware of these tests through experience and in dealing with reports
but other times one may not even be aware of ongoing effort on this
front, such was the case of Valentin's dead code analysis with
undertaker. Knowing what existing work is being done can and could be
used can also save people from re-inventing the wheel, but also and
most importantly collaborate.

> I think this is a good idea.  I'm not sure how much information we
> need for each tester, but a page for each would be about right.

Sure, I figure if each tester framework has its own dedicated page we
can at least refer to it, but a basic page which describes general
coverage / mailing lists / contact info / and what to expect might be
useful. As it stands most of this is just tribal knowledge.

 Luis
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

[toc] | [prev] | [standalone]

Back to top | Article view | linux.kernel

csiph-web