Back

Exposing concurrency bugs with a custom scheduler

33 points28 dayslwn.net
rotis28 days ago

This sounds very similar to Cuzz from Application Verifier for Windows:

https://learn.microsoft.com/en-us/windows-hardware/drivers/d...

zX41ZdbW27 days ago

It is possible to do this entirely in userspace without a custom scheduler.

See the implementation here: https://github.com/ClickHouse/ClickHouse/blob/master/src/Com...

It works and makes significant improvements for the detection of concurrency bugs, including complex logical races in distributed scenarios.

ForOldHack27 days ago

Bugs? "It is possible to do this entirely in user space without a custom scheduler." Exactly.

ForOldHack27 days ago

Its a feature.