[kaszanka]

How do they ensure this under Linux?

[fooblaster]

They don't. There is some notion of priority boosting but with everything running as sched_other it does essentially nothing.

[p_l]

After extra checking, yes, they hack around a lack of infrastructure on kernel through tricks with setting nice values - I do know of patches that implement more, but they ultimate never got upstreamed