Seol mar théacs é seo: Scheduling theory, algorithms, and systems