https://123dok.net/document/q057p0lg-a-few-results-non-preemptive-real-time-scheduling.html