0

我创建了多个进程,这些进程又产生了其他进程。因此,SPIN 模型不断打印“进程过多(最多 255)”。但是,它仍然给了我最终的输出。如果它不能处理超过 255 个进程,它如何仍然设法给我最终输出?

4

1 回答 1

2

输出“太多进程”只是一个警告。Spin 简单地忽略额外的生成并继续执行现有进程。显然,您的 Spin 模型不依赖于“轮流”产卵。

于 2015-01-19T16:17:19.367 回答