<div dir="ltr">Hi,<div><br></div><div>I am a student, and learning RCU now, but still know very little about it.</div><div>Are there any documents/papers/materials which (in)formally define and explain RCU consistency guarantees?</div><div><br></div><div>I know there are some consistency models in the database area (such as PRAM, Read Uncommitted, etc) from <a href="https://jepsen.io/consistency">https://jepsen.io/consistency</a> and [1].</div><div>How does RCU related to those consistency models?</div><div><br></div><div>I also found some comments online (One key distinction is that both MVCC and RLU provide much stronger consistency guarantees to readers than does RCU ...) (<a href="https://lwn.net/Articles/777036/">https://lwn.net/Articles/777036/</a>).</div><div>I do not understand how we reason/dresibe/compare the consistency guarantees. ( I even do not know what consistency guarantees provided by RCU formally)</div><div>Could someone explain this to me?</div><div><br></div><div>[1] Bailis, P., Davidson, A., Fekete, A., Ghodsi, A., Hellerstein, J. M., & Stoica, I. (2013). Highly available transactions: Virtues and limitations. Proceedings of the VLDB Endowment, 7(3), 181-192.</div><div><br></div><div>Thanks</div><div>Yuxin</div></div>