Closed Skn0tt closed 3 years ago
Before, exclusive jobs could starve if there were a constant stream of non-exclusive jobs that pushed themselves in-line.
This PR changes the behaviour: Whenever an exclusive job is encountered, it'll block all non-exclusive jobs behind it. That way, it will never starve.
Co-authored-by: Antony Kamp tony.kamp@web.de
Before, exclusive jobs could starve if there were a constant stream of non-exclusive jobs that pushed themselves in-line.
This PR changes the behaviour: Whenever an exclusive job is encountered, it'll block all non-exclusive jobs behind it. That way, it will never starve.
Co-authored-by: Antony Kamp tony.kamp@web.de