
<html><body><div style="font-family: arial, helvetica, sans-serif; font-size: 12pt; color: #000000"><div><br data-mce-bogus="1"></div><div><span id="zwchr" data-marker="__DIVIDER__">----- On Dec 5, 2019, at 8:17 PM, Yuxin Ren <ryx@gwmail.gwu.edu> wrote:<br></span></div><div data-marker="__QUOTED_TEXT__"><blockquote style="border-left:2px solid #1010FF;margin-left:5px;padding-left:5px;color:#000;font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt;"><div dir="ltr">Hi,<br><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></blockquote><div><br></div><div><div>You may want to have a look at<br></div><div><br></div><div>User-Level Implementations of Read-Copy Update</div><div>Article in IEEE Transactions on Parallel and Distributed Systems 23(2):375 - 382 · March 2012</div><div><br></div><div>as a starting point.</div><br></div><div><div><div>Thanks,</div><div><br></div><div>Mathieu</div></div><div><br data-mce-bogus="1"></div></div><blockquote style="border-left:2px solid #1010FF;margin-left:5px;padding-left:5px;color:#000;font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt;"><div dir="ltr"><br><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" target="_blank" rel="nofollow noopener noreferrer">https://jepsen.io/consistency</a> and [1].</div><div>How does RCU related to those consistency models?</div><br><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/" target="_blank" rel="nofollow noopener noreferrer">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></blockquote></div><div data-marker="__QUOTED_TEXT__"><br><blockquote style="border-left:2px solid #1010FF;margin-left:5px;padding-left:5px;color:#000;font-weight:normal;font-style:normal;text-decoration:none;font-family:Helvetica,Arial,sans-serif;font-size:12pt;"><div dir="ltr"><br><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><br><div>Thanks</div><font color="#888888"><div>Yuxin</div></font></div>

<br>_______________________________________________<br>lttng-dev mailing list<br>lttng-dev@lists.lttng.org<br>https://lists.lttng.org/cgi-bin/mailman/listinfo/lttng-dev<br></blockquote></div><div><br></div><div data-marker="__SIG_POST__">-- <br></div><div>Mathieu Desnoyers<br>EfficiOS Inc.<br>http://www.efficios.com</div></div></body></html>