Labatt
25-Minute Talk
Even extremely rare data races and edge cases can compromise durability or consistency. At Postgres scale, what's “almost impossible” quickly becomes inevitable—it will happen many times today, and often in surprising ways.
TAP tests with injection points are primarily about "wait and wake" synchronization. In this talk, I’ll share a case study of concurrency bugs I discovered using this approach.
Beginners will learn the basics of testing for race conditions and may discover new, unexplored test areas. For experienced hackers, I’ll discuss how injection point facilities could be extended and generalized to achieve broader coverage.
