<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<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 class="moz-cite-prefix"><br>
</div>
<div class="moz-cite-prefix">19.10.2023 06:39, Tuo Li пишет:<br>
</div>
<blockquote type="cite"
cite="mid:CADm8TenXDhEkDcyPZDwX+fNJcEa6GNG+B5kq6nCZ0ntjuyCd=Q@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<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:part1.4AissM0N.gMCYWgNt@ispras.ru"
alt="image.png" class="" 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">{
</span><span
style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre"> "project": "Linux",
</span><span
style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre"> "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"> "targets": [
</span><span
style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre"> "drivers/usb/**"
</span><span
style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre"> ],
</span><span
style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre"> "specifications set": "5.5",
</span><span
style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre"> "requirement specifications": [
</span><span
style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre"> "concurrency safety"
</span><span
style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre"> ]
</span><span
style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre">}</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"
moz-do-not-send="true" class="moz-txt-link-freetext">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"
moz-do-not-send="true" class="moz-txt-link-freetext">ldv-project@linuxtesting.org</a>
<a href="http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project"
target="_blank" moz-do-not-send="true"
class="moz-txt-link-freetext">http://linuxtesting.org/cgi-bin/mailman/listinfo/ldv-project</a>
</pre>
</blockquote>
</div>
</blockquote>
</div>
</blockquote>
</body>
</html>