“不良苹果”算法或进程使共享沙箱崩溃

我正在寻找一种算法来处理以下问题，我暂时将其称为“坏苹果”算法。

问题

• 我有N个进程在M个沙箱中运行，其中N >>M。
• 为每个进程提供自己的沙箱是不切实际的。
• 这些进程中至少有一个进程表现不佳，并导致整个沙箱崩溃，从而杀死了同一沙箱中的所有其他进程。

如果这是一个行为不佳的进程，那么我可以使用简单的二等分将一半的进程放在一个沙箱中，再将一半的进程放在另一个沙箱中，直到发现错误为止。

问题

如果一个以上进程的行为不佳-包括它们都表现不佳的可能性-这种朴素的算法是否有效？是否可以保证在某些合理范围内工作？

简化版

为了争辩，让我们假设一个不好的过程会立即降低其沙箱，而一个好的过程则永远不会。

如果您发现一个坏苹果，则可以应用以下算法：

1. 将N分为M组
2. 在每个组上执行测试。
3. 如果组大小大于1，请返回步骤1，用不良组中的项目数替换N。

同样，如果您找到一个“好”苹果，则可以应用相同的算法，而是找到好组。

该算法的性能为O（log_M（N）），但它取决于只有一个坏苹果的事实。

如果您不知道苹果有多少好坏苹果，则可以使用以下算法：

For each M processes in N
  Test M processes

这是最坏的情况，但是它会O(N/M)及时运行（或O(N)取决于您是否将一次通过视为单个测试还是作为并行执行的测试的集合）。考虑到所有因素，无论如何这都不是一个坏方法。

可能有一些算法的性能比这更好，但是它要求您知道批处理中有多少坏苹果/好苹果。不知道这个因素，虽然我无法证明，但我敢打赌，您不能做得比上面列出的后者更好。

希望有帮助！

编辑：从实际角度看，我知道其中一些操作不容易执行。但是，确实如此，不幸的现实是，您不能严格确定当时运行的沙箱上正在运行哪些进程的坏苹果，而不必至少激活或停用进程。如果问题与算法有关，我想我已经回答了。如果问题与如何处理这种情况有关，那么该问题可能更适合于超级用户SE。