Intel® oneAPI Threading Building Blocks
Ask questions and share information about adding parallelism to your applications when using this threading library.

Linearizability tester

Alex_H_1
Beginner
309 Views

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