From mboxrd@z Thu Jan 1 00:00:00 1970 Date: Sun, 27 Oct 2019 17:45:48 +0100 From: Mathieu Acher Message-ID: <45f883ef-6ff2-46cd-b14d-cc42a451014c@Spark> References: <32627a96-3d76-4436-8529-f48425caf1ab@Spark> Subject: TUXML, Kernel CI, and OSS 2019 MIME-Version: 1.0 List-ID: List-Help: , Content-Type: multipart/alternative; boundary="5db5c9c2_109cf92e_386a" List-ID: To: info@kernelci.org --5db5c9c2_109cf92e_386a Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Dear colleagues, We are researchers at Inria (=46rance) working on software configurable s= ystems in general. Recently we have made lots of effort with Linux: we have basically build = 95K+ configurations using ranconfig. Our attempt is quite similar to KernelCI, the platform you=E2=80=99ve dev= eloped. We have developed some techniques to identify what (combinations of) opti= ons lead to a failure (a non-trivial problem=21), with two main applicati= ons in mind: (1) configuration bug location/understanding (2) preventing = configurations=E2=80=99 build that will anyway lead to a failure. We main= ly use randconfig. More details can be found here: https://hal.inria.fr/hal-02147012 We have also made some efforts about predicting kernel sizes: https://hal.inria.fr/hal-02314830 It would be very nice to know more about your infrastructure, your strate= gy for sampling configurations, and basically your insights. We can also = chat a bit about our approach and potential complementarity. Would you be available for discussing=3F I guess some of you will be at OSS in Lyon. I=E2=80=99m giving a talk on Wednesday https://sched.co/TLKI=C2=A0and I=E2=80=99m here until Thursday (included)= Best regards, Dr. Mathieu ACHER, Associate Professor Univ Rennes, Inria, CNRS, IRISA, =46rance (DiverSE team) http://www.mathieuacher.com/ --5db5c9c2_109cf92e_386a Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline
Dear colleagues,

We are researchers at Inria (=46rance) working on s= oftware configurable systems in general.
Recently we have made lots of effort with Linux: we= have basically build 95K+ configurations using ranconfig.
O= ur attempt is quite similar to KernelCI, the platform you=E2=80=99ve deve= loped.

We have developed some techniques to identify what = (combinations of) options lead to a failure (a non-trivial problem=21), w= ith two main applications in mind: (1) configuration bug location/underst= anding (2) preventing configurations=E2=80=99 build that will anyway lead= to a failure. We mainly use randconfig.
More details can be found here:
We have also made some efforts about predicting ker= nel sizes:

It would be very nice to know more about your infra= structure, your strategy for sampling configurations, and basically your = insights. We can also chat a bit about our approach and potential complem= entarity.

Would you be available for discussing=3F

I guess some of you will be at OSS in Lyon.&=23160;=
I=E2=80=99m giving a talk on Wednesday&=23160;
https://sched= .co/TLKI&=23160;and I=E2=80=99m here until Thursday (included)&=23160= ;

Best regards,

Dr. Mathieu ACHER, Associate Professor
Univ Rennes, Inria, CNRS, IRISA, =46= rance (DiverSE team)
--5db5c9c2_109cf92e_386a--