Title: Deterministic scheduling on multi-microprocessors