Loom model checking

[loyd]

The original issue

[changgyoopark-db]

Added a real loom test - more to be added later.

[loyd]

It's very cool. I mocked AtomicShared: https://github.com/loyd/idr-ebr/blob/238098efb4e480f690e40822f76ab8a66377c304/src/loom.rs#L34-L44 to run under the loom.

Can you use the dedicated cfg(sdd_loom) instead (or in addition to) cfg(loom) to allow enabled/disabled in dependent optionally?

[loyd]

Oh, I see, AtomicShared doesn't use loom::AtomicPtr, so it's not completed yet, so I'm not sure the issue should be closed for now. Anyway, thanks for the initiative

[loyd]

Note also that it will most likely require loom as the dependency instead of dev-dependency, which can lead to preserving users' Cargo.lock files. It can be fixed in the same way as crossbeam-rs/crossbeam#666

[wvwwvwwv]

@loyd Thanks for the ideas. I’ll reopen this as the current set of tests is far from complete.

[wvwwvwwv]

I found the way crossbeam_epoch did to support loom testing a bit dirty, so I just added the loom feature (cfg(feature = "loom")) without relying on an extra cfg parameter. it will still be possible to conditionally activate loom types only during a test by using cfg(test), but I never tested this -> if it is not possible, please let me know, then I'll add an additional cfg gate.

-> SDD 1.7.0