View Issue Details
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0007977||Taler||qtart||public||2023-11-07 13:29||2023-11-14 01:01|
|Reporter||Florian Dold||Assigned To||Florian Dold|
|Summary||0007977: unfair task scheduling|
|Description||In the quickjs Taler runtime, tasks are sometimes not scheduled fairly. In js_os_poll, whenever there is an expired timer, the timer callback is executed, and event polling is resumed.|
That means that if there is *always* a timer scheduled (for example because we're stuck in some endless async loop that schedules some callback with timout=0), some events (such as host messages) will *never* be handled.
Instead, the event handling should be made fairer. If the last polled event was a timer, other types of events should probably be considered first.
Or alternatively, all events that are ready should have their reactions executed. This must be done carefully to not mess with the GC.
|Tags||No tags attached.|
|2023-11-07 13:29||Florian Dold||New Issue|
|2023-11-07 13:29||Florian Dold||Status||new => assigned|
|2023-11-07 13:29||Florian Dold||Assigned To||=> Florian Dold|
|2023-11-07 13:31||Florian Dold||Description Updated|
|2023-11-14 01:01||Christian Grothoff||Target Version||0.9.5 => post-1.0|