<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Dec 6, 2019 at 5:49 AM Mathieu Desnoyers <<a href="mailto:mathieu.desnoyers@efficios.com">mathieu.desnoyers@efficios.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div style="font-family:arial,helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)"><div><br></div><div><span id="gmail-m_2574264377435822574zwchr">----- On Dec 5, 2019, at 8:17 PM, Yuxin Ren <<a href="mailto:ryx@gwmail.gwu.edu" target="_blank">ryx@gwmail.gwu.edu</a>> wrote:<br></span></div><div><blockquote style="border-left:2px solid rgb(16,16,255);margin-left:5px;padding-left:5px;color:rgb(0,0,0);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></div></div></div></blockquote><div><br></div><div>Thanks for your info.</div><div>However, I do not think URCU talks about any consistency model formally. </div><div><br></div><div>From previous communication with Paul, he said RCU is not designed for linearizability, and it is totally acceptable that RCU is not linearizable.</div><div>However, I am curious how to accurately/formally Characterize RCU consistency model/guarantees</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div style="font-family:arial,helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)"><div><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></div></div><blockquote style="border-left:2px solid rgb(16,16,255);margin-left:5px;padding-left:5px;color:rgb(0,0,0);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" rel="nofollow noopener noreferrer" target="_blank">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/" rel="nofollow noopener noreferrer" target="_blank">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><br><blockquote style="border-left:2px solid rgb(16,16,255);margin-left:5px;padding-left:5px;color:rgb(0,0,0);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><a href="mailto:lttng-dev@lists.lttng.org" target="_blank">lttng-dev@lists.lttng.org</a><br><a href="https://lists.lttng.org/cgi-bin/mailman/listinfo/lttng-dev" target="_blank">https://lists.lttng.org/cgi-bin/mailman/listinfo/lttng-dev</a><br></blockquote></div><div><br></div><div>-- <br></div><div>Mathieu Desnoyers<br>EfficiOS Inc.<br><a href="http://www.efficios.com" target="_blank">http://www.efficios.com</a></div></div></div></blockquote></div></div>