4 ms·
Yeah! Kit's done a bunch of work on Jepsen's core and Knossos, the linearizability checker. This is her first analysis, and I'm excited to see more. :)
by aphyr 8y ago
Yeah! Kit's done a bunch of work on Jepsen's core and Knossos, the linearizability checker. This is her first analysis, and I'm excited to see more. :)
- sbilstein 8y agoThese analyses are a great way to get educated about distributed systems, even if you aren't in a position to evaluate choosing one. Thanks for growing and creating Jepsen!