Максимальное количество процессов в модели SPIN

Question

Я создал несколько обработанных, которые, в свою очередь, порождают другие процессы. Таким образом, модель SPIN сохраняет печать «Слишком много процессов (Макс 255)». Тем не менее, он все еще дает мне конечный результат. Если он не может обрабатывать более 255 процессов, как это все равно удается дать мне окончательный результат?

Answer 1

Выход «Слишком много процессов» - это просто предупреждение. Spin просто игнорирует дополнительные нересты и продолжает выполнять существующие процессы. Очевидно, ваша модель Spin не зависит от нереста «в свою очередь».