3 ms·

I think the comment about race conditions is spot on. A while, back on hacker news, there was an article about a company developing a database. Their entire te

I think the comment about race conditions is spot on. A while, back on hacker news, there was an article about a company developing a database. Their entire testing methodology came down to producing a deterministic kernel and thread scheduler. This allowed them to simulate every possible permutation of their concurrent code in scientifically speaking reproducible manner. Developing this test framework was actually the majority of what the company did. Testing the kernel would be a similar level of effort.

jsty 4y ago
Quite possibly FoundationDB - they do a lot with deterministic simulation https://www.foundationdb.org/files/fdb-paper.pdf https://www.foundationdb.org/files/fdb-paper.pdf
titzer 4y ago
> every possible permutation of their concurrent code Did they test against weak memory models? Because weak memory models do not necessarily have any equivalent interleaving behavior (stores can appear in different orders on different cores).