This is were time-triggered architectures [1] can kick in! You divide your program into tasks and messages passed between tasks, and can then assign each task to a separate processor with a precise execution time. Same goes for messages.

--

[1] https://pdfs.semanticscholar.org/8e26/a95a24569b284271a54397...

You just need to acquire the global elevator lock.