Dear Bjorn,<br><br>I am getting successive kernel panics at the same litmus/budget.c line 65 using GSN-EDF scheduler. The application code (test.c) and the task sets are attached. You can run ./test 125 125_tasks_litmus.txt for 125 tasks or 150 150_tasks_litmus.txt for 150 tasks.<br>
<br>The processor is an intel i7-2600 with 4 cores and 2 threads per core.<br><br>Giovani<br><br><div class="gmail_quote">On Thu, Apr 26, 2012 at 2:22 AM, Björn Brandenburg <span dir="ltr"><<a href="mailto:bbb@mpi-sws.org" target="_blank">bbb@mpi-sws.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im"><br>
On Apr 25, 2012, at 10:05 PM, Giovani Gracioli wrote:<br>
<br>
><br>
> Thank you for your answer. If I change the scheduler to PFAIR, for example, the task is able to run correctly. If I change to PRECISE_ENFORCEMENT there is a kernel panic at litmus/bugdet.c line 65 (using GSN-EDF scheduler), because the elapsed time was greater the WCET.<br>

<br>
</div>Giovani, thanks for reporting this. The kernel should certainly not panic; this is bug that we need to investigate.<br>
<div class="im"><br>
><br>
> I will try just to use PRECISE_ENFORCEMENT without setting the wcet in the application.<br>
><br>
<br>
</div>PRECISE_ENFORCEMENT arms a timer to fire when the WCET (budget) would be exceeded. You need to specify a WCET for this to work.<br>
<span class="HOEnZb"><font color="#888888"><br>
- Björn<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
<br>
_______________________________________________<br>
litmus-dev mailing list<br>
<a href="mailto:litmus-dev@lists.litmus-rt.org">litmus-dev@lists.litmus-rt.org</a><br>
<a href="https://lists.litmus-rt.org/listinfo/litmus-dev" target="_blank">https://lists.litmus-rt.org/listinfo/litmus-dev</a><br>
</div></div></blockquote></div><br>