<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:Wingdings;
panose-1:5 0 0 0 0 0 0 0 0 0;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph
{mso-style-priority:34;
margin-top:0in;
margin-right:0in;
margin-bottom:0in;
margin-left:.5in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
p.msonormal0, li.msonormal0, div.msonormal0
{mso-style-name:msonormal;
mso-margin-top-alt:auto;
margin-right:0in;
mso-margin-bottom-alt:auto;
margin-left:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
p.gmail-m6566692930779933158gmail-m-4929421074901327532gmail-m1710307452635220198gmail-m-5628604162852943687gmail-m1627042294443862642msolistparagraph, li.gmail-m6566692930779933158gmail-m-4929421074901327532gmail-m1710307452635220198gmail-m-5628604162852943687gmail-m1627042294443862642msolistparagraph, div.gmail-m6566692930779933158gmail-m-4929421074901327532gmail-m1710307452635220198gmail-m-5628604162852943687gmail-m1627042294443862642msolistparagraph
{mso-style-name:gmail-m_6566692930779933158gmail-m-4929421074901327532gmail-m1710307452635220198gmail-m-5628604162852943687gmail-m1627042294443862642msolistparagraph;
mso-margin-top-alt:auto;
margin-right:0in;
mso-margin-bottom-alt:auto;
margin-left:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
span.EmailStyle20
{mso-style-type:personal-reply;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
/* List Definitions */
@list l0
{mso-list-id:537859456;
mso-list-type:hybrid;
mso-list-template-ids:-63944980 165679442 67698691 67698693 67698689 67698691 67698693 67698689 67698691 67698693;}
@list l0:level1
{mso-level-number-format:bullet;
mso-level-text:-;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-.25in;
font-family:"Calibri",sans-serif;
mso-fareast-font-family:Calibri;}
@list l0:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-.25in;
font-family:"Courier New";}
@list l0:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-.25in;
font-family:Wingdings;}
@list l0:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-.25in;
font-family:Symbol;}
@list l0:level5
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-.25in;
font-family:"Courier New";}
@list l0:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-.25in;
font-family:Wingdings;}
@list l0:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-.25in;
font-family:Symbol;}
@list l0:level8
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-.25in;
font-family:"Courier New";}
@list l0:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-.25in;
font-family:Wingdings;}
@list l1
{mso-list-id:905451989;
mso-list-template-ids:-1849930512;}
@list l1:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1:level2
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l2
{mso-list-id:1341278827;
mso-list-template-ids:2052499500;}
@list l2:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l2:level2
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l2:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l2:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l2:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l2:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l2:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l2:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l2:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
ol
{margin-bottom:0in;}
ul
{margin-bottom:0in;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal">Hi Ilja,<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">I will not be able to apply patches , but I used a machine with lower kernel version.
<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<ul style="margin-top:0in" type="disc">
<li class="MsoListParagraph" style="margin-left:0in;mso-list:l0 level1 lfo3">With kernel version 4.10 kernel, while installing the klever itself , klever-controller.service is not getting started properly due to which only klever manager page is getting shown
, <o:p></o:p></li></ul>
<p class="MsoListParagraph">but when I run the tests nothing happens.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<ul style="margin-top:0in" type="disc">
<li class="MsoListParagraph" style="margin-left:0in;mso-list:l0 level1 lfo3">I tried starting the klever-controller.service manually as well , but status is always
<b>active(exited)</b><o:p></o:p></li></ul>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">2019-07-05 13:04:08 (utils.py:046) INFO> Execute command "service nginx start"<o:p></o:p></p>
<p class="MsoNormal">2019-07-05 13:04:08 (utils.py:046) INFO> Execute command "service klever-bridge start"<o:p></o:p></p>
<p class="MsoNormal">2019-07-05 13:04:10 (configure_controller_and_schedulers.py:064) INFO> (Re)configure production Klever Controller and Klever schedulers<o:p></o:p></p>
<p class="MsoNormal">2019-07-05 13:04:10 (utils.py:367) INFO> Stop services<o:p></o:p></p>
<p class="MsoNormal">2019-07-05 13:04:10 (utils.py:046) INFO> Execute command "service klever-controller stop"<o:p></o:p></p>
<p class="MsoNormal">2019-07-05 13:04:10 (utils.py:046) INFO> Execute command "service klever-native-scheduler stop"<o:p></o:p></p>
<p class="MsoNormal">2019-07-05 13:04:11 (configure_controller_and_schedulers.py:074) INFO> Configure Klever Controller<o:p></o:p></p>
<p class="MsoNormal">2019-07-05 13:04:11 (configure_controller_and_schedulers.py:090) INFO> Configure Klever Native Scheduler<o:p></o:p></p>
<p class="MsoNormal">2019-07-05 13:04:11 (configure_controller_and_schedulers.py:116) INFO> Configure Klever Native Scheduler Job Worker<o:p></o:p></p>
<p class="MsoNormal">2019-07-05 13:04:11 (configure_controller_and_schedulers.py:044) INFO> Configure Klever Native Scheduler Task Worker<o:p></o:p></p>
<p class="MsoNormal">2019-07-05 13:04:11 (utils.py:361) INFO> Start services<o:p></o:p></p>
<p class="MsoNormal">2019-07-05 13:04:11 (utils.py:046) INFO> Execute command "service klever-controller start"<o:p></o:p></p>
<p class="MsoNormal">2019-07-05 13:04:12 (utils.py:046) INFO> Execute command "service klever-native-scheduler start"<o:p></o:p></p>
<p class="MsoNormal">2019-07-05 13:04:14 (__init__.py:077) INFO> Finish execution of action "install" for Klever "production"<o:p></o:p></p>
<p class="MsoNormal">root@ipds-Precision-T7610:klever# <o:p></o:p></p>
<p class="MsoNormal">root@ipds-Precision-T7610:klever#<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">root@ipds-Precision-T7610:klever# service klever-controller status<o:p></o:p></p>
<p class="MsoNormal">● klever-controller.service - LSB: Klever computational resources and services controller<o:p></o:p></p>
<p class="MsoNormal"> Loaded: loaded (/etc/init.d/klever-controller; generated)<o:p></o:p></p>
<p class="MsoNormal"> Active: <b>active (exited)</b> since Fri 2019-07-05 13:04:12 IST; 1min 1s ago<o:p></o:p></p>
<p class="MsoNormal"> Docs: man:systemd-sysv-generator(8)<o:p></o:p></p>
<p class="MsoNormal"> Process: 5245 ExecStart=/etc/init.d/klever-controller start (code=exited, status=0/SUCCESS)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Jul 05 13:04:11 ipds-Precision-T7610 systemd[1]: Starting LSB: Klever computational resources and services controller...<o:p></o:p></p>
<p class="MsoNormal">Jul 05 13:04:11 ipds-Precision-T7610 klever-controller[5245]: * Starting Klever Controller<o:p></o:p></p>
<p class="MsoNormal">Jul 05 13:04:12 ipds-Precision-T7610 klever-controller[5245]: * Klever Controller failed to start<o:p></o:p></p>
<p class="MsoNormal">Jul 05 13:04:12 ipds-Precision-T7610 klever-controller[5245]: ...fail!<o:p></o:p></p>
<p class="MsoNormal">Jul 05 13:04:12 ipds-Precision-T7610 systemd[1]: Started LSB: Klever computational resources and services controller.<o:p></o:p></p>
<p class="MsoNormal">root@ipds-Precision-T7610:klever#’<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Thanks,<o:p></o:p></p>
<p class="MsoNormal">Puneet<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<div>
<div style="border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0in 0in 0in">
<p class="MsoNormal"><b>From:</b> Ilja Zakharov <ilja.zakharov@ispras.ru> <br>
<b>Sent:</b> Wednesday, July 3, 2019 2:39 PM<br>
<b>To:</b> Puneet Gupta <PUNEETG@xilinx.com><br>
<b>Cc:</b> Alexey Khoroshilov <khoroshilov@ispras.ru>; ldv-project@linuxtesting.org<br>
<b>Subject:</b> Re: [ldv-project] Queries in running the LDV.<o:p></o:p></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<p style="mso-line-height-alt:10.0pt"><span style="font-size:12.0pt;font-family:"Arial",sans-serif;color:red">EXTERNAL EMAIL<o:p></o:p></span></p>
<div>
<div>
<div>
<div>
<div>
<p class="MsoNormal" style="margin-bottom:12.0pt">Hi Puneet,<o:p></o:p></p>
</div>
<p class="MsoNormal" style="margin-bottom:12.0pt">Which version of the Linux kernel did you use at compilation? Seems that it requires a couple of patches to avoid problems with new kernels of the CIF tool which is used in the Klever framework. Please, find
patches attached.<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal">Just apply patches to the Linux kernel, clean and recompile your driver with clade-intercept and clade-all commands to create a new build base as you did it before, then install the build base with the update command and rerun your verification
job in the web-interface. <o:p></o:p></p>
<div>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
<div>
<p class="MsoNormal">Best,<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal">Ilja Zakharov<o:p></o:p></p>
</div>
</div>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<div>
<div>
<p class="MsoNormal">вт, 2 июл. 2019 г. в 20:16, Puneet Gupta <<a href="mailto:PUNEETG@xilinx.com">PUNEETG@xilinx.com</a>>:<o:p></o:p></p>
</div>
<blockquote style="border:none;border-left:solid #CCCCCC 1.0pt;padding:0in 0in 0in 6.0pt;margin-left:4.8pt;margin-right:0in">
<div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Hi Ilja,<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">I tried both the options,<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Now I am getting different error now.<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white">In file included from ./include/linux/ipc.h:7:0,</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> from ./include/uapi/linux/sem.h:5,</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> from ./include/linux/sem.h:9,</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> from ./include/linux/sched.h:15,</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> from ./include/linux/cred.h:21,</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> from ./include/linux/seq_file.h:12,</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> from ./include/linux/pinctrl/consumer.h:17,</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> from ./include/linux/pinctrl/devinfo.h:21,</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> from ./include/linux/device.h:24,</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> from ./include/linux/dma-mapping.h:7,</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> from /scratch/puneet/klever/inst_dir/klever/build bases/clade/Storage/scratch/puneet/klever/src/libqdma/xdev.h:28,</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> from /scratch/puneet/klever/inst_dir/klever/build bases/clade/Storage/scratch/puneet/klever/src/libqdma/qdma_context.h:27,</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> from /scratch/puneet/klever/inst_dir/klever/build bases/clade/Storage/scratch/puneet/klever/src/libqdma/qdma_device.c:25:</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white">./include/linux/rhashtable.h: In function ‘__rhashtable_lookup’:</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white">./include/linux/rhashtable.h:646:1: error: LDV: ../../aspectator/gcc/c-family/ldv-convert.c: 4441: expression
recursion limit is reached</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white">Raise exception:</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white">Traceback (most recent call last):</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> File "/scratch/puneet/klever/inst_dir/klever/core/core/components.py", line 427, in run</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> self.main()</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> File "/scratch/puneet/klever/inst_dir/klever/core/core/components.py", line 332, in callbacks_caller</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> ret = attr(*args, **kwargs)</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> File "/scratch/puneet/klever/inst_dir/klever/core/core/vtg/weaver/__init__.py", line 127, in weave</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> filter_func=core.vtg.utils.CIFErrorFilter())</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> File "/scratch/puneet/klever/inst_dir/klever/core/core/utils.py", line 185, in execute</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> raise CommandError('"{0}" failed'.format(cmd))</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white">core.utils.CommandError: "cif" failed</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">I did do export PATH: <CIF_dir>:$PATH.<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Thanks,<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Puneet<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<div>
<div style="border:none;border-top:solid windowtext 1.0pt;padding:3.0pt 0in 0in 0in;border-color:currentcolor currentcolor">
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><b>From:</b> Ilja Zakharov <<a href="mailto:ilja.zakharov@ispras.ru" target="_blank">ilja.zakharov@ispras.ru</a>>
<br>
<b>Sent:</b> Tuesday, July 2, 2019 9:03 PM<br>
<b>To:</b> Puneet Gupta <<a href="mailto:PUNEETG@xilinx.com" target="_blank">PUNEETG@xilinx.com</a>><br>
<b>Cc:</b> Alexey Khoroshilov <<a href="mailto:khoroshilov@ispras.ru" target="_blank">khoroshilov@ispras.ru</a>>;
<a href="mailto:ldv-project@linuxtesting.org" target="_blank">ldv-project@linuxtesting.org</a><br>
<b>Subject:</b> Re: [ldv-project] Queries in running the LDV.<o:p></o:p></p>
</div>
</div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p><span style="font-size:12.0pt;font-family:"Arial",sans-serif;color:red">EXTERNAL EMAIL</span><o:p></o:p></p>
<div>
<div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Seems that the problem is caused by incorrect paths resolution to your driver. There are two possible solutions:<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">1) Two paths are needed in meta.json file to source files if your driver is not placed inside the Linux kernel dir. To add paths modify the meta.json file in the build base (the
directory named "clade") and at the end add<br>
"working source trees": ["path1", "path2"].<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Where provide an absolute path to the directory with source files of your driver as path1 and an absolute path to the Linux kernel dir as path2.<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">After that reinstall build dir by executing "update" installation command.<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
</div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">2) It is also possible that you do not have empty.c file compiled (we assume that it is always exist in the Linux and compiled) and in this case you can go to the web interface
and edit the specifications/base.json file. Here replace "scripts/mod/empty.c" by any other relative path to any compiled .c file. The path should be relative to corresponding path given in the meta.json in "working source trees" entry (if there is no "working
source trees" then use path relative to "build_dir" entry).<o:p></o:p></p>
</div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
</div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">вт, 2 июл. 2019 г. в 17:32, Puneet Gupta <<a href="mailto:PUNEETG@xilinx.com" target="_blank">PUNEETG@xilinx.com</a>>:<o:p></o:p></p>
</div>
<blockquote style="border:none;border-left:solid windowtext 1.0pt;padding:0in 0in 0in 6.0pt;margin-left:4.8pt;margin-top:5.0pt;margin-right:0in;margin-bottom:5.0pt;border-color:currentcolor currentcolor currentcolor rgb(204,204,204)">
<div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white">Hi,</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> </span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white">Following the whole stack trace:</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> </span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white">Raise exception:</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white">Traceback (most recent call last):</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> File "/scratch/puneet/klever/inst_dir/klever/core/core/components.py", line 427, in run</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> self.main()</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> File "/scratch/puneet/klever/inst_dir/klever/core/core/components.py", line 332, in callbacks_caller</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> ret = attr(*args, **kwargs)</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> File "/scratch/puneet/klever/inst_dir/klever/core/core/vtg/rsg/__init__.py", line 52, in generate_requirement</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> self.add_models(generated_models)</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> File "/scratch/puneet/klever/inst_dir/klever/core/core/components.py", line 332, in callbacks_caller</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> ret = attr(*args, **kwargs)</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> File "/scratch/puneet/klever/inst_dir/klever/core/core/vtg/rsg/__init__.py", line 196, in add_models</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> if not empty_cc:</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white">UnboundLocalError: local variable 'empty_cc' referenced before assignment</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<div>
<div style="border:none;border-top:solid windowtext 1.0pt;padding:3.0pt 0in 0in 0in;border-color:currentcolor">
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><b>From:</b> Ilja Zakharov <<a href="mailto:ilja.zakharov@ispras.ru" target="_blank">ilja.zakharov@ispras.ru</a>>
<br>
<b>Sent:</b> Tuesday, July 2, 2019 6:57 PM<br>
<b>To:</b> Puneet Gupta <<a href="mailto:PUNEETG@xilinx.com" target="_blank">PUNEETG@xilinx.com</a>><br>
<b>Cc:</b> Alexey Khoroshilov <<a href="mailto:khoroshilov@ispras.ru" target="_blank">khoroshilov@ispras.ru</a>>;
<a href="mailto:ldv-project@linuxtesting.org" target="_blank">ldv-project@linuxtesting.org</a><br>
<b>Subject:</b> Re: [ldv-project] Queries in running the LDV.<o:p></o:p></p>
</div>
</div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p><span style="font-size:12.0pt;font-family:"Arial",sans-serif;color:red">EXTERNAL EMAIL</span><o:p></o:p></p>
<div>
<div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;margin-bottom:12.0pt">The file looks nice. Can you send the whole stack trace next time?<o:p></o:p></p>
</div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Did you run "clade-all" command after the "clade-intercept" one on the step 4?<o:p></o:p></p>
</div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">вт, 2 июл. 2019 г. в 16:16, Puneet Gupta <<a href="mailto:PUNEETG@xilinx.com" target="_blank">PUNEETG@xilinx.com</a>>:<o:p></o:p></p>
</div>
<blockquote style="border:none;border-left:solid windowtext 1.0pt;padding:0in 0in 0in 6.0pt;margin-left:4.8pt;margin-top:5.0pt;margin-right:0in;margin-bottom:5.0pt;border-color:currentcolor currentcolor currentcolor rgb(204,204,204)">
<div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Following is my job.json:<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white">{</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> "Class": "Verification of Linux kernel modules",</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> "build base": "clade",</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> "program": "Linux",</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> "version": "3.14",</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> "fragmentation set": "Modules",</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> "add targets": [</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> "**"</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> ],</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> "specifications set": "Linux 3.14 (base)",</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> "requirements": [</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> "linux:arch:io",</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> "linux:drivers:clk1",</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> "linux:kernel:locking:mutex",</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> "linux:memory safety"</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white"> ]</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white">}</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Do I need to make any changes?<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<div>
<div style="border:none;border-top:solid windowtext 1.0pt;padding:3.0pt 0in 0in 0in;border-color:currentcolor">
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><b>From:</b> Puneet Gupta
<br>
<b>Sent:</b> Tuesday, July 2, 2019 6:43 PM<br>
<b>To:</b> Ilja Zakharov <<a href="mailto:ilja.zakharov@ispras.ru" target="_blank">ilja.zakharov@ispras.ru</a>><br>
<b>Cc:</b> Alexey Khoroshilov <<a href="mailto:khoroshilov@ispras.ru" target="_blank">khoroshilov@ispras.ru</a>>;
<a href="mailto:ldv-project@linuxtesting.org" target="_blank">ldv-project@linuxtesting.org</a><br>
<b>Subject:</b> RE: [ldv-project] Queries in running the LDV.<o:p></o:p></p>
</div>
</div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Hi,<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Thanks for the mail.<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Yeah , I got the results for “linux 3.14”, but when I edited the job.json file and replaced linux 3.14 with “clade”.
<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">I am getting the following error:<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><span style="font-size:10.5pt;font-family:"Courier New";background:white">local variable 'empty_cc' referenced before assignment</span><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Thanks,<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Puneet<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<div>
<div style="border:none;border-top:solid windowtext 1.0pt;padding:3.0pt 0in 0in 0in;border-color:currentcolor">
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><b>From:</b> Ilja Zakharov <<a href="mailto:ilja.zakharov@ispras.ru" target="_blank">ilja.zakharov@ispras.ru</a>>
<br>
<b>Sent:</b> Tuesday, July 2, 2019 6:38 PM<br>
<b>To:</b> Puneet Gupta <<a href="mailto:PUNEETG@xilinx.com" target="_blank">PUNEETG@xilinx.com</a>><br>
<b>Cc:</b> Alexey Khoroshilov <<a href="mailto:khoroshilov@ispras.ru" target="_blank">khoroshilov@ispras.ru</a>>;
<a href="mailto:ldv-project@linuxtesting.org" target="_blank">ldv-project@linuxtesting.org</a><br>
<b>Subject:</b> Re: [ldv-project] Queries in running the LDV.<o:p></o:p></p>
</div>
</div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p><span style="font-size:12.0pt;font-family:"Arial",sans-serif;color:red">EXTERNAL EMAIL</span><o:p></o:p></p>
<div>
<div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;margin-bottom:12.0pt">Hi Puneet,<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Did you successfully got results for the example "Linux 3.14" as I asked you at the second step? This is an example to learn how to run Klever and it demonstrates how verification
reports should look like. <br>
In more details:<br>
1) Goto localhost:8998<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">2) Open "Linux 3.14" job in the list.<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">3) Click Decision->Start with default values<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">4) Status of the job will change to "Is solving" and reports will appear if everything is installed correctly in several minutes. You will get several reports in the right part
of the web-page.<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
</div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;margin-bottom:12.0pt">Before you try to run your own driver it is better to get results for this example to ensure that all works well on your installation and then proceed to your driver. If something goes
wrong please send me screenshots of your error messages.<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;margin-bottom:12.0pt">BTW there are other steps between “clade-intercept” and step5, I hope you also have done them.<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Best,<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Ilja<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
</div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">вт, 2 июл. 2019 г. в 15:44, Puneet Gupta <<a href="mailto:PUNEETG@xilinx.com" target="_blank">PUNEETG@xilinx.com</a>>:<o:p></o:p></p>
</div>
<blockquote style="border:none;border-left:solid windowtext 1.0pt;padding:0in 0in 0in 6.0pt;margin-left:4.8pt;margin-top:5.0pt;margin-right:0in;margin-bottom:5.0pt;border-color:currentcolor currentcolor currentcolor rgb(204,204,204)">
<div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Hi Ilja,<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">At step 3 , I was able to open the localhost:8998 , and login as manager:manager. Then I entered to my kernel module directory and ran “clade-intercept make” and executed the step5.
<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">In web interface also , I have edited the job.json file as you mentioned. But still I am not able to see the static analysis report in the webpage. <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Can you please tell me how to view the report. If you can send an example , that would be helpful too.
<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Thanks,<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Puneet<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<div>
<div style="border:none;border-top:solid windowtext 1.0pt;padding:3.0pt 0in 0in 0in;border-color:currentcolor">
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><b>From:</b> Ilja Zakharov <<a href="mailto:ilja.zakharov@ispras.ru" target="_blank">ilja.zakharov@ispras.ru</a>>
<br>
<b>Sent:</b> Friday, June 28, 2019 2:02 PM<br>
<b>To:</b> Puneet Gupta <<a href="mailto:PUNEETG@xilinx.com" target="_blank">PUNEETG@xilinx.com</a>><br>
<b>Cc:</b> Alexey Khoroshilov <<a href="mailto:khoroshilov@ispras.ru" target="_blank">khoroshilov@ispras.ru</a>>;
<a href="mailto:ldv-project@linuxtesting.org" target="_blank">ldv-project@linuxtesting.org</a><br>
<b>Subject:</b> Re: [ldv-project] Queries in running the LDV.<o:p></o:p></p>
</div>
</div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p><span style="font-size:12.0pt;font-family:"Arial",sans-serif;color:red">EXTERNAL EMAIL</span><o:p></o:p></p>
<div>
<div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;margin-bottom:12.0pt">Hi Puneet,<br>
<br>
Thanks for your interest in the Klever verification framework.<br>
<br>
To verify your separate driver you should do the following steps:<br>
1) First, be sure that you have some kernel version sources files to compile your driver with. It is better to choose versions of Linux in between 3.14 and 4.6.7. It is possible to check a driver with a newer version of the Linux kernel but it will require
additional steps. Both the driver and Kernel should be configured and compiled for x86_64 architecture preferably.<br>
<br>
2) Install the Klever framework according to this manual: <a href="https://klever.readthedocs.io/en/latest/deploy.html" target="_blank">
https://klever.readthedocs.io/en/latest/deploy.html</a><br>
(!) Klever will need a lot of computational resources to run, so avoid installing it on a laptop. If your driver is an open source we can even give you access to a virtual machine with Klever to try it.<br>
<br>
3) Before trying to verify your own driver just ensure that all is installed correctly. To do that open localhost:8998, log in as manager:manager and try to solve a preexisting verification job there. If all goes smoothly, go to the next step.<br>
<br>
4) Prepare a build base for your driver. To do that just configure the kernel and your driver and build it with a prefix command:<br>
<br>
clade-intercept <your compilation command>"<br>
<br>
(An example: clade-intercept make -j8 M=drivers/net/usb)<br>
Prepare the environment:<br>
export PATH=$KLEVER_DEPLOY_DIR/klever-addons/CIF/bin/:$PATH<br>
Where $KLEVER_DEPLOY_DIR is an absolute path to Klever installation directory. Run "cif --help" to be sure that path is correct.<br>
Then run the second command to create the build base:<br>
clade-all -p linux_kernel cmds.txt<br>
<br>
After the command, you will have a directory named "clade". I refer to it as <clade dir> in the next steps below.<br>
<br>
5. After Klever installation, you can build the kernel and create a build base.<br>
a) Modify the configuration file that you have used for Klever installation and add there the following entry: "Klever Build Bases": ["<clade dir>"]<br>
b) Run again installation command exactly as at installation but replace keyword "install" with "update"<br>
<br>
6) That is almost all. Go to the web interface. Copy your test job, click "modify", choose job.json file and in the opened editor window set proper setting and identifiers of rules to check. You will need there to set fields "build base" as "clade", "requirements"
as ["linux:memory safety"] (or add additional rules to check).<br>
<br>
If you need an example write me back. <o:p></o:p></p>
</div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">7) To uninstall Klever use installation command with command "uninstall" instead of "install".
<o:p></o:p></p>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><br>
Please, do not hesitate to write me back and ask questions.<br>
<br>
Best,<br>
Ilia Zakharov<o:p></o:p></p>
</div>
</div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">чт, 27 июн. 2019 г. в 20:57, Puneet Gupta <<a href="mailto:PUNEETG@xilinx.com" target="_blank">PUNEETG@xilinx.com</a>>:<o:p></o:p></p>
</div>
<blockquote style="border:none;border-left:solid windowtext 1.0pt;padding:0in 0in 0in 6.0pt;margin-left:4.8pt;margin-top:5.0pt;margin-right:0in;margin-bottom:5.0pt;border-color:currentcolor currentcolor currentcolor rgb(204,204,204)">
<div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Hi Alexey,<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Thanks for your mail.<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">I have downloaded the klever package and managed to install it also by following the instructions given in the “local deployment” section.<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><a href="https://buildmedia.readthedocs.org/media/pdf/klever/latest/klever.pdf" target="_blank">https://buildmedia.readthedocs.org/media/pdf/klever/latest/klever.pdf</a><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Can you guide me how to run the klever tool on my kernel module? Is there any doc which I can follow in which step by step the instructions are given?<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Currently I have my kernel module as a tar.bz2 and I want to do static analysis on it.<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">I tried running ,
<o:p></o:p></p>
<ul type="disc">
<li class="gmail-m6566692930779933158gmail-m-4929421074901327532gmail-m1710307452635220198gmail-m-5628604162852943687gmail-m1627042294443862642msolistparagraph" style="mso-list:l2 level1 lfo1">
cd bridge<o:p></o:p></li><li class="gmail-m6566692930779933158gmail-m-4929421074901327532gmail-m1710307452635220198gmail-m-5628604162852943687gmail-m1627042294443862642msolistparagraph" style="mso-list:l2 level1 lfo1">
python3 manage.py test<o:p></o:p></li></ul>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">I got the following error:<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><i> File "<frozen importlib._bootstrap>", line 219, in _call_with_frames_removed</i><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><i> File "/group/cdc_hd/members/puneetg/kernel_static_analysis/klever/klever-inst/klever/bridge/bridge/__init__.py", line 21, in <module></i><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><i> from bridge.settings import DATABASES</i><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><i>ModuleNotFoundError: No module named 'bridge.settings'</i><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><i> </i><o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">I can also see “linux-3.14.79.tar.xz” tar file in “build bases” directory. Shall I need to place my external module tar file in that directory and run some tests?<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Thanks,<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Puneet<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<div>
<div style="border:none;border-top:solid windowtext 1.0pt;padding:3.0pt 0in 0in 0in;border-color:currentcolor">
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><b>From:</b> Alexey Khoroshilov <<a href="mailto:khoroshilov@ispras.ru" target="_blank">khoroshilov@ispras.ru</a>>
<br>
<b>Sent:</b> Friday, June 21, 2019 9:16 PM<br>
<b>To:</b> Puneet Gupta <<a href="mailto:PUNEETG@xilinx.com" target="_blank">PUNEETG@xilinx.com</a>>;
<a href="mailto:ldv-project@linuxtesting.org" target="_blank">ldv-project@linuxtesting.org</a><br>
<b>Subject:</b> Re: Queries in running the LDV.<o:p></o:p></p>
</div>
</div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p><span style="font-size:12.0pt;font-family:"Arial",sans-serif;color:red">EXTERNAL EMAIL</span><o:p></o:p></p>
<div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Dear Puneet,<br>
<br>
It seems you use LDV Tools, but it was superseded by our newer KLEVER Framework [1,2].<br>
So, we suggest to use the newer tool.<br>
<br>
As for memory leak rule, we had a prototype of such rule in LDV Tools (104 [3]), but it was not maintained and it is not available in KLEVER. So, we suggest to check code against some memory safety rules ((KLEVER rule id: "linux:memory safety", please note
that string operations are not supported yet) or some Linux specific rules like mutex lock [4] or clock_enable/clock_disable [5].<br>
<br>
[1] <a href="http://linuxtesting.org/04-07-2018" target="_blank">http://linuxtesting.org/04-07-2018</a><br>
[2] <a href="https://forge.ispras.ru/projects/klever" target="_blank">https://forge.ispras.ru/projects/klever</a><br>
[3] <a href="https://forge.ispras.ru/issues/2735" target="_blank">https://forge.ispras.ru/issues/2735</a><br>
[4] <a href="https://forge.ispras.ru/issues/1940" target="_blank">https://forge.ispras.ru/issues/1940</a> (KLEVER rule ids: "linux:kernel:locking:mutex")
<br>
[5] <a href="https://forge.ispras.ru/issues/8785" target="_blank">https://forge.ispras.ru/issues/8785</a> (KLEVER rule ids: "linux:drivers:clk1", "linux:drivers:clk2")<br>
<br>
Best regards,<br>
Alexey Khoroshilov<br>
Linux Verification Center, ISPRAS<br>
<br>
<br>
On 21.06.2019 8:30, Puneet Gupta wrote:<o:p></o:p></p>
</div>
<blockquote style="margin-top:5.0pt;margin-bottom:5.0pt">
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Hi,<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">I am using LDV for running static analysis for my external driver.
<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">I have few questions :<o:p></o:p></p>
<ul type="disc">
<li class="gmail-m6566692930779933158gmail-m-4929421074901327532gmail-m1710307452635220198gmail-m-5628604162852943687gmail-m1627042294443862642msolistparagraph" style="mso-list:l1 level1 lfo2">
The driver has many files to be compiled, but it seems the LDV is only reporting out the errors for the file which is mentioned in ‘obj-m’. How can I get result for all the files?<o:p></o:p></li><li class="gmail-m6566692930779933158gmail-m-4929421074901327532gmail-m1710307452635220198gmail-m-5628604162852943687gmail-m1627042294443862642msolistparagraph" style="mso-list:l1 level1 lfo2">
What is meant by the error: “attempting to take field offset lock of expression priv@stop whose value is Top”. I am getting only these errors for my file.<o:p></o:p></li><li class="gmail-m6566692930779933158gmail-m-4929421074901327532gmail-m1710307452635220198gmail-m-5628604162852943687gmail-m1627042294443862642msolistparagraph" style="mso-list:l1 level1 lfo2">
To test the LDV , I did kmalloc and didn’t freed the memory returned. But the output on the webpage is not showing an error for that memory leak. Have I need to pass some separate rule for detecting the memory leaks?<o:p></o:p></li></ul>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">I am using 32_7a rule for running the driver, as given in the example in the LDV standard doc.
<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Thanks,<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Puneet<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">This email and any attachments are intended for the sole use of the named recipient(s) and contain(s) confidential information that may be proprietary, privileged or copyrighted
under applicable law. If you are not the intended recipient, do not read, copy, or forward this email message or any attachments. Delete this email message and any attachments immediately.
<o:p></o:p></p>
</blockquote>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"> <o:p></o:p></p>
</div>
</div>
</div>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">_______________________________________________<br>
ldv-project mailing list<br>
<a href="mailto:ldv-project@linuxtesting.org" target="_blank">ldv-project@linuxtesting.org</a><br>
<a href="http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project" target="_blank">http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project</a><o:p></o:p></p>
</blockquote>
</div>
</div>
</div>
</div>
</blockquote>
</div>
</div>
</div>
</div>
</div>
</blockquote>
</div>
</div>
</div>
</div>
</blockquote>
</div>
</div>
</div>
</div>
</blockquote>
</div>
</div>
</div>
</body>
</html>