From mboxrd@z Thu Jan 1 00:00:00 1970 From: Yuxin Ren Subject: RCU consistency guarantees Date: Thu, 5 Dec 2019 20:15:10 -0500 Message-ID: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============0022435181231759913==" Return-path: Received: from mail-lf1-x130.google.com (mail-lf1-x130.google.com [IPv6:2a00:1450:4864:20::130]) by lists.lttng.org (Postfix) with ESMTPS id 47TZQQ17R8z10nJ for ; Thu, 5 Dec 2019 20:15:25 -0500 (EST) Received: by mail-lf1-x130.google.com with SMTP id b15so3966598lfc.4 for ; Thu, 05 Dec 2019 17:15:25 -0800 (PST) List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: lttng-dev-bounces@lists.lttng.org Sender: "lttng-dev" To: lttng-dev List-Id: lttng-dev@lists.lttng.org --===============0022435181231759913== Content-Type: multipart/alternative; boundary="000000000000c1cb7a0598fec713" --000000000000c1cb7a0598fec713 Content-Type: text/plain; charset="UTF-8" Hi, I am a student, and learning RCU now, but still know very little about it. Are there any documents/papers/materials which (in)formally define and explain RCU consistency guarantees? I know there are some consistency models in the database area (such as PRAM, Read Uncommitted, etc) from https://jepsen.io/consistency and [1]. How does RCU related to those consistency models? 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 ...) (https://lwn.net/Articles/777036/). I do not understand how we reason/dresibe/compare the consistency guarantees. ( I even do not know what consistency guarantees provided by RCU formally) Could someone explain this to me? [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. Thanks Yuxin --000000000000c1cb7a0598fec713 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi,

I am a student, and learning RCU no= w, but still know very little about it.
Are there any documents/p= apers/materials which (in)formally define and explain RCU consistency=C2=A0= guarantees?

I know there are some consistency mode= ls in the database area (such as PRAM,=C2=A0Read Uncommitted, etc) from=C2= =A0https://jepsen.io/consistency<= /a> and [1].
How does RCU related to those consistency models?

I do not understand how we= reason/dresibe/compare the consistency=C2=A0guarantees. ( I even do not kn= ow what consistency guarantees provided by RCU formally)
Could so= meone explain this=C2=A0to me?

[1]=C2=A0Bailis, P.= , Davidson, A., Fekete, A., Ghodsi, A., Hellerstein, J. M., & Stoica, I= . (2013). Highly available transactions: Virtues and limitations. Proceedin= gs of the VLDB Endowment, 7(3), 181-192.

Thanks
Yuxin
--000000000000c1cb7a0598fec713-- --===============0022435181231759913== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ lttng-dev mailing list lttng-dev@lists.lttng.org https://lists.lttng.org/cgi-bin/mailman/listinfo/lttng-dev --===============0022435181231759913==--