Комментарий
Смутно припоминаю, что Дейкстра еще в 60х на эту тему много рассуждал.
Типа того, что появление многозадачности ставит крест на концепции детерминированного алгоритма, и поэтому программистам нужно срочно искать и учить другие формализмы.
Как обычно, его никто не послушал.