<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:ii_lnwmooct1" 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">{<br></span><span style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre"> "project": "Linux",<br></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",<br></span><span style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre"> "targets": [<br></span><span style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre"> "drivers/usb/**"<br></span><span style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre"> ],<br></span><span style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre"> "specifications set": "5.5",<br></span><span style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre"> "requirement specifications": [<br></span><span style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre"> "concurrency safety"<br></span><span style="color:rgba(0,0,0,0.87);font-family:monospace;font-size:14px;white-space:pre"> ]<br></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">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>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>