Elektrine lite

← Feed

@zwol@masto.hackers.town

Post #3781168

2026-07-12 18:40 UTC

@david_chisnall@infosec.exchange I recall microkernels having similar problems with offering flexible scheduling policies, so that research seems like it might pay off in a bunch of directions.

Replies (1)

  • @zwol@masto.hackers.town Not really, microkernels usually have the scheduler in a single component, so flexible policies are easy. The difficulty they have is quite different: they want to account time spent in server A responding for a message from thread X in task B to thread X and task B. Spring had a good solution to this, but without it it’s easy to introduce priority inversion problems.

    Open ##3781166