Static-priority scheduling on multiprocessors | Synapse