Get the latest tech news
The problem with invariants is that they change over time
Cliff L. Biffle blogged a great write-up of a debugging odyssey at Oxide with the title Who killed the network switch? Here’s the bit that jumped out at me: At the time that code was written…
At the time that code was written, it was correct, but it embodied the assumption that any loaned memory would fit into one region. That assumption became obsolete the moment that Matt implemented task packing, but we didn’t notice. This type of assumption is an example of an invariant, a property of the system that is supposed to be guaranteed to not change over time.
Or read this on Hacker News
