Алгоритм для FIFO порядка

Этот алгоритм берёт систему с асинхронным порядком и начинает гарантировать в ней FIFO-порядок.

Алгоритм FIFO основан на нумерации сообщений:

• Для каждой пары процессов нумеруем отправляемые сообщения натуральными числами.
• Отправитель знает номер отправленного сообщения, получатель знает номер следующего ожидаемого сообщения.
• К каждому сообщению прикрепляется номер.
• Если получатель получил "неожиданное" сообщение, то он складывает его в очередь и ждёт. Обрабатывает только когда подойдёт нужный номер.

В худшем случае надо хранить много сообщений, но что поделать.