Back

Exposing concurrency bugs with a custom scheduler

33 points13 dayslwn.net
rotis13 days ago

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

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

zX41ZdbW13 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.

ForOldHack12 days ago

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

ForOldHack12 days ago

Its a feature.