<div class="gmail_quote">2009/11/25 Rémi Denis-Courmont <span dir="ltr"><<a href="mailto:remi@remlab.net">remi@remlab.net</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im"><br></div>
This should be done in the input thread directly. To that end, we should<br>
set a finite "target state" of the input, instead of pushing requests. Then<br>
older requests are automatically discarded if a contradictory requests is<br>
sent before the older ones are coped with.</blockquote><div><br></div><div>This could also lead to no requests ever being carried out until the last one in a row. You do need a notion of time and simply not respond to new request until one has been realized, then you go on realizing the last one arrived meanwhile.</div>
</div>