How does Ristretto guarantee or verify its correctness?

youde · October 17, 2021, 10:03pm

Ristretto is a fast, concurrent cache library built with a focus on performance and correctness.

I have been looking into the project but I could not find any formal specification. So, I’m wondering how does Ristretto checks or verifies the correctness of its algorithms, and workflows.

Thank you,
BR

awsl-dbq · October 19, 2021, 2:04am

It’s eventual consistency model . and There is no guarantee that a set would be applied

youde · October 19, 2021, 7:40pm

thank you for your feedback

Topic		Replies	Views
Introducing Ristretto: A High-Performance Go Cache - Dgraph Blog Blog	8	1822	August 11, 2021
May I ask in Ristretto how can I sync with Database? Misc	4	639	March 31, 2020
[QUESTION]: Regarding Multithreading with Ristretto and Cache Sharing Between Programs Ristretto kind:question	2	314	September 26, 2023
Use ristretto algorithm for a (LRU) set (instead of a KV cache) Ristretto kind:question	0	657	October 16, 2020
Question: read-your-writes consistency Issues ristretto , kind:enhancement , priority:p2 , status:accepted	6	862	August 17, 2020

How does Ristretto guarantee or verify its correctness?

Related topics