Properly Testing Concurrent Data Structures

from blog matklad, | ↗ original
There's a fascinating Rust library, loom, which can be used to thoroughly test lock-free data structures. I always wanted to learn how it works. I still do! But recently I accidentally implemented a small toy which, I think, contains some of the loom's ideas, and it seems worthwhile to write about that. The goal here isn't to teach you what you...
This is a short summary. ↗ Open original to view full content

Related

The Scoped Task trilemma
Without boats, dreams dry up | original ↗
On reference-counting and leaks
baby steps | original ↗
Update
baby steps | original ↗
Concurrent maps
baby steps | original ↗
Tone and criticism
baby steps | original ↗
Heap Allocation
Writing an OS in Rust | original ↗
8-puzzle in rust
Jonas Hietala | original ↗
Dynamic race detection
baby steps | original ↗
Rayon: data parallelism in Rust
baby steps | original ↗
Linearizability! Refinement! Prophecy!
Surfing Complexity | original ↗

More from matklad

What Is a dependency?
30 Dec 2024 | original ↗

For whatever reason, I've been thinking about dependencies lately:

Minimal Version Selection Revisited
24 Dec 2024 | original ↗

In this post, I want to highlight one aspect of Go-style minimal version selection that I have missed completely at first. Maybe you missed it too?

Majjit LSP
13 Dec 2024 | original ↗

An out-there suggestion for the nascent jj ecosystem!

SemVer Is Not About You
23 Nov 2024 | original ↗

A popular genre of articles for the past few year has been a SemVer Critique, pointing out various things that are wrong with SemVer itself, or with the way SemVer is being applied, and, customary, suggesting an alternative versioning scheme. Usually, the focus is either on how SemVer ought to be used, by library authors (nitpicking the...

A Missing IDE Feature
14 Oct 2024 | original ↗

Slightly unusual genre --- with this article, I want to try to enact a change in the world. I believe that there is a missing IDE feature which is: