0007977: unfair task scheduling

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
Priority	normal	Severity	minor	Reproducibility	always
Status	assigned	Resolution	open
Target Version	post-1.0

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.

Date Modified	Username	Field	Change
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