<div dir="ltr">Hi Nicolas,<div class="gmail_extra"><br><div class="gmail_quote">On Thu, Nov 30, 2017 at 6:18 PM, Nicolas Cellier <span dir="ltr"><<a href="mailto:nicolas.cellier.aka.nice@gmail.com" target="_blank">nicolas.cellier.aka.nice@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote"><span class="gmail-">2017-12-01 3:07 GMT+01:00 Eliot Miranda <span dir="ltr"><<a href="mailto:eliot.miranda@gmail.com" target="_blank">eliot.miranda@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr">Hi Nicolas,<div class="gmail_extra"><br><div class="gmail_quote"><span>On Thu, Nov 30, 2017 at 5:55 PM, Nicolas Cellier <span dir="ltr"><<a href="mailto:nicolas.cellier.aka.nice@gmail.com" target="_blank">nicolas.cellier.aka.nice@gmai<wbr>l.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>I just had a great success in interrupting a critical: block... Is this possibility expected?<br></div></div></blockquote><div><br></div></span><div>Yes.  Interrupts are orthogonal to critical sections, including critical: blocks.  The only thing a critical: does is arrange that only one process can be executing it at any one time.  If you want uninterruptibility you'll want to use valueUninterruptibility.</div><span><div><br></div></span></div></div></div></blockquote><div><br></div></span><div>thanks, I was indeed confusing</div><span class="gmail-"><div> <br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><span><div></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div></div>Too bad, the UI is now completely blocked...</div></blockquote><div><br></div></span><div>(have you tried user interrupt again?)</div><div> </div></div></div></div></blockquote><div><br></div></span><div>yes without success.</div><span class="gmail-"><div> <br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div>So the real issue is what process the user interrupt action should interrupt.  For example, I think it's very wrong that the user interrupt action can interrupt the finalization process.  But which process it chooses is not well defined.  We've discussed this in the past without coming to much of a conclusion.</div></div><br></div></div></blockquote><div><br></div></span><div>Without any consideration about implementation, maybe we could base user-interruptability on the Process priority and pray for never forking a runaway high priority.</div></div></div></div></blockquote><div><br></div><div>I agree.  For me the choice of processes and priorities is clear.  Any runnable process in the range</div><div>    Processor userBackgroundPriority to: Processor userInterruptPriority - 1</div><div>is a candidate for interruption.  One question is whether to interrupt the currently active one or all processes in that range.  That could be answered by a preference, or simply based on our existing experience, interrupting the highest priority currently running (at the head of its run queue) process in that range.</div><div></div></div><div class="gmail_extra"><br></div><br><div class="gmail_signature"><div dir="ltr"><div><span style="font-size:small;border-collapse:separate"><div>_,,,^..^,,,_<br></div><div>best, Eliot</div></span></div></div></div>
</div></div>