<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On 28 Jul 2015, at 19:38, Björn Brandenburg <<a href="mailto:bbb@mpi-sws.org" class="">bbb@mpi-sws.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><blockquote type="cite" style="font-family: Menlo-Regular; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><br class="Apple-interchange-newline">On 27 Jul 2015, at 18:00, Björn Brandenburg <<a href="mailto:bbb@mpi-sws.org" class="">bbb@mpi-sws.org</a>> wrote:<br class=""><br class="">On 21 Jul 2015, at 19:08, Björn Brandenburg <<a href="mailto:bbb@mpi-sws.org" class="">bbb@mpi-sws.org</a>> wrote:<br class=""><blockquote type="cite" class=""><br class=""><br class=""><blockquote type="cite" class="">On 20 Jul 2015, at 19:16, Björn Brandenburg <<a href="mailto:bbb@mpi-sws.org" class="">bbb@mpi-sws.org</a>> wrote:<br class=""><br class="">However, there are also some known problem:<br class=""><br class="">1) When switching to the PFAIR plugin, there’s sometimes a deadlock (+ report from lockdep). Probably some minor fix to adjust to code churn, but this needs to be investigated.<span class="Apple-converted-space"> </span><br class=""><br class="">2) Budget enforcement is broken: self-suspending tasks + strict budget enforcement causes BUG_ON violations. This also needs further investigation.<br class=""></blockquote><br class="">These should both be fixed now. At the moment, the next branch seems to be quite stable in Qemu. Please test with your setups.<br class=""></blockquote><br class="">I’ve pushed a couple more fixes today. The liblitmus test suite has also seen a couple of improvements.<br class=""></blockquote><br style="font-family: Menlo-Regular; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><span style="font-family: Menlo-Regular; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;" class="">Another bunch of patches. One of them fixes the preemption state machine, which in turn has uncovered a bug in the SRP implementation due to the Linux scheduler changes. The corresponding SRP tests are currently failing.</span><br style="font-family: Menlo-Regular; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""></div></blockquote></div><br class=""><div class="">Last update for now: I’ve pushed a few more patches that fix the SRP test failure and another race in PFAIR that happened rarely if a task resumed just before the end of a quantum in which it exhausted its current budget. The current version passes all tests and seems to run ok in both Qemu and on my 4-core x86 test machine. Further testing is very welcome, of course.</div><div class=""><br class=""></div><div class="">Thanks,</div><div class="">Björn</div><div class=""><br class=""></div></body></html>