I open-sourced a library to help you find race conditions! Great for those of you rewriting containers ( @pagghiu.bsky.social @jeremy.laumon.name ?) or people like me who work on codebases with a lot of people and you suspect things to be racy... Feedback is welcome! github.com/Lectem/BadAc... - ThreadSky

About ThreadSky

lectem.bsky.social • 13 days ago

I open-sourced a library to help you find race conditions!

Great for those of you rewriting containers ( @pagghiu.bsky.social @jeremy.laumon.name ?) or people like me who work on codebases with a lot of people and you suspect things to be racy...

Feedback is welcome!

https://github.com/Lectem/BadAccessGuards

Comments

manumanu.bsky.social•13 days ago

What is this magic ?

lectem.bsky.social•12 days ago

johnterickson.bsky.social•13 days ago

Love it - especially the no false positives!

We'd done something similar with DataCollider but 1) used data breakpoints and 2) induced a yield/delay once the "trap" was set. It's way slower to set the "trap" with data breakpoints but then there's 0 overhead for other instructions.

lectem.bsky.social•12 days ago

Ah right, the issue with data breakpoints is that you can only have a limited number of those active at the same time if you want hardware BPs (4 on x86 if memory serves well?).
And using software ones doesn't scale well...

johnterickson.bsky.social•12 days ago

Yup only 4. But this was back in the days when that was a lot of cores 😄 so one normally didnt have too many threads active.

jeremy.laumon.name•13 days ago

Sounds interesting! Will take a look this evening!

jeremy.laumon.name•13 days ago

I think Guerrilla has the primitive version of that, we swap the data pointer inside vector with nullptr while we write, to make sure other threads would crash accessing it 😂 Your lib looks a lot more versatile though!

Posting Rules

Be respectful to others
No spam or self-promotion
Stay on topic
Follow Bluesky's terms of service

Comments

Posting Rules

Reply