2014-12-05 15 views
0

여러 개의 프로세스가 생성되어 다른 프로세스가 생성됩니다. 따라서 SPIN 모델은 "너무 많은 프로세스 (Max 255)"인쇄를 유지합니다. 그러나, 그것은 여전히 ​​나에게 최종 결과를주고있다. 255 개가 넘는 프로세스를 처리 할 수 ​​없다면 어떻게 최종 결과를 얻을 수 있습니까?SPIN 모델의 최대 프로세스 수

+0

코드는 어디에 있습니까? 코드에 프로세스 관리를위한 오류 처리가 잘되어 있으면 결과를 얻을 수 있습니다. 그것은 모두 코드에 달려 있습니다. –

답변

1

출력이 너무 많습니다. 경고입니다. Spin은 추가 스폰를 무시하고 기존 프로세스를 계속 실행합니다. 분명히 당신의 스핀 모델은 '차례대로'산란에 의존하지 않습니다.