tokio-rs / loom

Concurrency permutation testing tool for Rust.
MIT License
2.08k stars 110 forks source link

Explore execution path with multi-thread #359

Open mox692 opened 3 months ago

mox692 commented 3 months ago

For a complex program, loom often takes a long time to execute. Currently, loom explores the execution path in a single thread, but it would be cool if it had multi thread mode. Such features are also mentioned in https://github.com/tokio-rs/loom/issues/162#issuecomment-918235542.

The implementation is probably not trivial, but it would be worth considering.

EDIT: Well, since cargo's test runner already runs tests in parallel (thread per core) by default, perhaps we need to think of a clever parallelization method that would surpass this simple parallelization by cargo.