Community
cancel
Showing results for 
Search instead for 
Did you mean: 
Alex_H_1
Beginner
30 Views

Linearizability tester

We have recently evaluated tbb::concurrent_unordered_set with a new tool that finds linearizability violations, a certain class of concurrency-related bugs [1]. I just wanted to share that link in case there is interest in using the tool for other data structures in TBB. Of course, any form of feedback, questions, feature requests etc. are always warmly invited.

All best regards,

Alex

[1] https://github.com/ahorn/linearizability-tester

0 Kudos
0 Replies
Reply