Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我创建了多个进程,这些进程又产生了其他进程。因此,SPIN 模型不断打印“进程过多(最多 255)”。但是,它仍然给了我最终的输出。如果它不能处理超过 255 个进程,它如何仍然设法给我最终输出?
输出“太多进程”只是一个警告。Spin 简单地忽略额外的生成并继续执行现有进程。显然,您的 Spin 模型不依赖于“轮流”产卵。