<div dir="ltr">Dear Pavel,<div><br></div><div>Thanks for your reply. There are really some errors in the logs. </div><div>I switched to the Klever and Python versions advised in the tutorial and it works well for me.</div><div><br></div><div>Sincerely,</div><div>Tuo Li</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Oct 19, 2023 at 3:56 PM Павел <<a href="mailto:andrianov@ispras.ru">andrianov@ispras.ru</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><u></u>
<div>
<p>Dear Tuo Li,</p>
<p>Yes, something was wrong before CPALockator run. On the right
hand side of the main page, right above "Attribute value" on your
screenshot, there is statistics about the launch. Seems, there are
errors, and you may click on the numbers, for example, "251" in
unknowns, and get a detailed description of the failures.</p>
Best regards,<br>
Pavel<br>
<div><br>
</div>
<div>19.10.2023 06:39, Tuo Li пишет:<br>
</div>
<blockquote type="cite">
<div dir="ltr">Dear Pavel,
<div><br>
</div>
<div>Thank you for your suggestions! They work well!</div>
<div><br>
</div>
<div>By the way, I run Klever with "<span style="color:rgba(0,0,0,0.87);font-family:Lato,"Helvetica Neue",Arial,Helvetica,sans-serif;font-size:14px">concurrency
safety</span>" specifications, but it seems that CPALockator
is not enabled.</div>
<div><br>
</div>
<div><img src="cid:18b4d7f8d24cb971f161" alt="image.png" width="512" height="439"><br>
</div>
<div><br>
</div>
<div>I wonder whether my configuration file is proper, or if
there is something else I missed.</div>
<div><br>
</div>
<div>Here is the job.json file:</div>
<div><br>
</div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre-wrap">{
</span><span style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre-wrap"> "project": "Linux",
</span><span style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre-wrap"> "build base": "/home/lt/Work/klever/build-base-linux-5.5.19-allmodconfig",
</span><span style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre-wrap"> "targets": [
</span><span style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre-wrap"> "drivers/usb/**"
</span><span style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre-wrap"> ],
</span><span style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre-wrap"> "specifications set": "5.5",
</span><span style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre-wrap"> "requirement specifications": [
</span><span style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre-wrap"> "concurrency safety"
</span><span style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre-wrap"> ]
</span><span style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre-wrap">}</span></blockquote>
<div><br>
</div>
<div>Thank you very much!</div>
<div><br>
</div>
<div>Sincerely,</div>
<div>Tuo Li </div>
</div>
<br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">On Mon, Oct 16, 2023 at
4:08 PM Павел <<a href="mailto:andrianov@ispras.ru" target="_blank">andrianov@ispras.ru</a>>
wrote:<br>
</div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<div>
<p>Dear Tuo Li,</p>
<p>To deal with the first error (memory limit) you may also
decrease parallelism. In job start settings by default 3-4
plugins (EMG, CIF) are run in parallel. Just for
experiment you may run everything sequentially. Also you
may increase memory limits in the same settings menu, in
the right column.</p>
<p>To deal with the second issue (scheduler reset), you just
need to restart scheduler: sudo service
klever-native-scheduler restart. Also, one bug related to
the issue was fixed some time ago. So, it is make sense to
update Klever - 'update' command just updates the tool and
do not affect any results, marks and so on.</p>
Best regards,<br>
Pavel<br>
<div><br>
</div>
<div>15.10.2023 12:57, Tuo Li пишет:<br>
</div>
<blockquote type="cite">
<div dir="ltr">Hi,
<div><br>
</div>
<div>I have tried to run Klever according to the
tutorial but some errors occurred.</div>
<div><br>
</div>
<div>The configure file job.json is like this:</div>
<div><br>
</div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">{<br>
"project": "Linux",<br>
"build base":
"/home/lt/Work/klever/build-base-linux-5.5.19-allmodconfig",<br>
"targets": [<br>
"drivers/usb/**"<br>
],<br>
"specifications set": "5.5",<br>
"requirement specifications": [<br>
"drivers:clk.*",<br>
"memory safety"<br>
]<br>
}<br>
</blockquote>
<div><br>
</div>
<div>However, when I created and started the decision
with default configuration,</div>
<div>a memory error is thrown in the website:</div>
<div><br>
</div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Process
was terminated since it ran out of memory (you may
need to adjust job solution settings)</blockquote>
<div><br>
</div>
<div>Then I tried creating and starting the decision
with custom configuration according to</div>
<div>my experimental environment. </div>
<div>I set the memory size to 32.0 GB, and the number of
CPU cores to 4, and then<br>
</div>
<div>started the decision again, but I got another
error:</div>
<div><br>
</div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Scheduler
has been terminated or reset</blockquote>
<div><br>
</div>
<div>I have tried many configurations but still can not
fix these problems. </div>
<div> Any feedback will be appreciated!</div>
<div><br>
</div>
<div>Sincerely,</div>
<div>Tuo Li</div>
<div><br>
</div>
<div><br>
</div>
</div>
<br>
<fieldset></fieldset>
<pre>_______________________________________________
ldv-project mailing list
<a href="mailto:ldv-project@linuxtesting.org" target="_blank">ldv-project@linuxtesting.org</a>
<a href="http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project" target="_blank">http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project</a>
</pre>
</blockquote>
</div>
</blockquote>
</div>
</blockquote>
</div>
</blockquote></div>