How to deal with thread spawned outside of madsim simulation about madsim

[wangrunji0408]

Hi! Glad to see madsim is being used in Xline.

It is intended to forbid creating system thread in the simulation in order to prevent non-determinism.

We have encountered a similar issue, where a third-party library, moka, created a system thread in the background for cache invalidation. Our solution was to replace it by a BTreeMap in the simulation.

Generally, I would suggest replace third-party libraries by mocks in the simulation, so that we could avoid any potential uncertainty. However, if this library is critical to functionality and you believe the system thread it creates won't break the determinism, I can introduce a new API to temporarily disable this check.

What do you think?

[bsbds]

Thanks for the suggestions! That makes sense. I'll try replacing the rocksdb with a mock one in the simulation.