News for hackers. Stuff that matters.

A comment on Writing correct lock-free and distributed stateful systems in Rust, with TLA+. Parent comment

Re:Writing correct lock-free and distributed stateful system... by codemac on Friday May 19, 2017 @12:11PM (#14377044)
As Lamport says: why do we always use blueprints before constructing a building?

I agree there are some missing links, but checking your model before doing detailed implementation is a good idea regardless

[ Parent | on HN ]
Re:Writing correct lock-free and distributed stateful system... by unboxed_type on Tuesday May 23, 2017 @03:34AM (#14399522)
Absolutely. Anyway this gap is worth mentioning for deeper understanding of a verification problem.
[ Parent | on HN ]