
<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 6, 2019, at 3:51 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"><div dir="ltr"><br></div><br><div class="elided-text"><div dir="ltr">On Fri, Dec 6, 2019 at 5:49 AM Mathieu Desnoyers <<a href="mailto:mathieu.desnoyers@efficios.com" target="_blank" rel="nofollow noopener noreferrer">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 )"><br><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" rel="nofollow noopener noreferrer">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><br><div><div>You may want to have a look at<br></div><br><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><br><div>Thanks for your info.</div><div>However, I do not think URCU talks about any consistency model formally. </div><br><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></div></div></blockquote><div>Adding Paul E. McKenney in CC.<br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><div>I am referring to the section "Overview of RCU semantics" in the paper. Not sure it has the level of<br data-mce-bogus="1"></div><div>formality you are looking for though. Paul, do you have pointers to additional material ?<br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><div>Thanks,<br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><div>Mathieu<br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></div><div><br data-mce-bogus="1"></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"><div class="elided-text"><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><br><div>as a starting point.</div><br></div><div><div><div>Thanks,</div><br><div>Mathieu</div></div><br></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 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 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" rel="nofollow noopener noreferrer">lttng-dev@lists.lttng.org</a><br><a href="https://lists.lttng.org/cgi-bin/mailman/listinfo/lttng-dev" target="_blank" rel="nofollow noopener noreferrer">https://lists.lttng.org/cgi-bin/mailman/listinfo/lttng-dev</a><br></blockquote></div><br><div>-- <br></div><div>Mathieu Desnoyers<br>EfficiOS Inc.<br><a href="http://www.efficios.com" target="_blank" rel="nofollow noopener noreferrer">http://www.efficios.com</a><br data-mce-bogus="1"></div></div></div></blockquote></div></div><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>