https://martinuke0.github.io/tags/lockless-data-structures/ Recent content in Lockless Data Structures on martinuke0's Blog https://martinuke0.github.io/%3Clink%20or%20path%20of%20image%20for%20opengraph,%20twitter-cards%3E https://martinuke0.github.io/%3Clink%20or%20path%20of%20image%20for%20opengraph,%20twitter-cards%3E Hugo -- 0.152.2 en Sat, 16 May 2026 06:01:04 +0000 https://martinuke0.github.io/posts/2026-05-16-formal-verification-of-lockless-data-structures-using-tla/ Sat, 16 May 2026 06:01:04 +0000 https://martinuke0.github.io/posts/2026-05-16-formal-verification-of-lockless-data-structures-using-tla/ Explore how TLA⁺ can rigorously verify lockless data structures, ensuring correctness in concurrent systems without traditional locks, with proven techniques.