4 ms·
In practical terms, if you are a database and Jepsen doesn't find any bugs, that's as much assurance as you are going to get in 2024 short of formal verificatio
by jupp0r 2y ago
In practical terms, if you are a database and Jepsen doesn't find any bugs, that's as much assurance as you are going to get in 2024 short of formal verification.
- pests 2y agoThe work antithesis has been doing here has me really excited as well.
- stuarthalloway 2y agoFormal verification is very powerful but still not full assurance. Fun fact: Testing and monitoring of Datomic has sometimes uncovered design flaws in underlying storages that formal verification missed.
- nine_k 2y agoWhat kind of flaws? I would expect performance problems.
- jupp0r 2y agoTo start with, you usually perform verification on a behavioral model and not on the code itself. This opens up the possibility that there are behavioral differences between the code itself and the model which wouldn't be caught.
- asa400 2y agoIs there anything I can read about what capabilities Datomic requires of the underlying storages it uses?