Is having the same number of workers in each process necessary?

I ran the following commands in two separate shells for the "hello" example.

cargo run --example hello -- -w2 -n2 -p0
cargo run --example hello -- -w3 -n2 -p1

And it stops after printing

worker 0:	hello 0
worker 1:	hello 1

for worker with index 0.

Is this behavior expected and you have some assumption of having the same number of workers in each process? Otherwise, I can fix it if you point me to the place to start looking for the issue.

Start by reproducing the two cargo run commands from the hello example and compare the observed output with the expected behavior. Trace how the example coordinates workers across the two processes, then determine whether equal worker counts are required. Done means the worker-count assumption is confirmed and the behavior is fixed or clearly documented.