At my university, there is a course on concurrency in C++, a number of topics are covered there, for each week there are tasks like writing your own spinlock/thread pool/waitgroups from go and so on. As a result, students get a complex asynchronous framework.

I'm reading a book by Mara Bos right now. Rust Atomics and Locks by Mara Bos, the book is great, but there is no practice tasks. I can learn only with practice, theoritical knowledge is great, but it getting lost in memory.

I can't find anything to test such knowledge in practice. I can repeat the course, but I don't have a framework for correctness testing and verification of work results. I can't trust LLMs because of their hallucinations. Can you suggest any practical tasks or frameworks that will help test my solutions, even if i end up making tasks myself (something as correct, authoritative, and low-level as possible)?

Obviously "write your http server" is not what i'm looking for. More like "here is a pack of tests for optimised lock-free data structure"

3 posts - 3 participants

Read full topic