From mboxrd@z Thu Jan 1 00:00:00 1970 From: Mathieu Desnoyers Subject: Re: RCU consistency guarantees Date: Fri, 6 Dec 2019 05:49:09 -0500 (EST) Message-ID: <194534011.751.1575629349181.JavaMail.zimbra__43626.0490723484$1575629380$gmane$org@efficios.com> References: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============7951139539516759308==" Return-path: Received: from mail.efficios.com (mail.efficios.com [167.114.142.138]) by lists.lttng.org (Postfix) with ESMTPS id 47Tq8X4jFWz11bd for ; Fri, 6 Dec 2019 05:49:16 -0500 (EST) Received: from localhost (ip6-localhost [IPv6:::1]) by mail.efficios.com (Postfix) with ESMTP id E619D35553F for ; Fri, 6 Dec 2019 05:49:09 -0500 (EST) In-Reply-To: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: lttng-dev-bounces@lists.lttng.org Sender: "lttng-dev" To: Yuxin Ren Cc: lttng-dev List-Id: lttng-dev@lists.lttng.org --===============7951139539516759308== Content-Type: multipart/alternative; boundary="=_6922dbbd-f2bd-4f89-981c-96d88c3c974d" --=_6922dbbd-f2bd-4f89-981c-96d88c3c974d Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable ----- On Dec 5, 2019, at 8:17 PM, Yuxin Ren wrote:=20 > 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 ex= plain > RCU consistency guarantees? You may want to have a look at=20 User-Level Implementations of Read-Copy Update=20 Article in IEEE Transactions on Parallel and Distributed Systems 23(2):375 = - 382 =C2=B7 March 2012=20 as a starting point.=20 Thanks,=20 Mathieu=20 > I know there are some consistency models in the database area (such as PR= AM, > Read Uncommitted, etc) from [ https://jepsen.io/consistency | > 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/ | https://lwn.net/Articles/777036/ ] ). > I do not understand how we reason/dresibe/compare the consistency guarant= ees. ( > 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 > _______________________________________________ > lttng-dev mailing list > lttng-dev@lists.lttng.org > https://lists.lttng.org/cgi-bin/mailman/listinfo/lttng-dev --=20 Mathieu Desnoyers=20 EfficiOS Inc.=20 http://www.efficios.com=20 --=_6922dbbd-f2bd-4f89-981c-96d88c3c974d Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable

----- On Dec 5, 2019, at 8:17 PM, Y= uxin Ren <ryx@gwmail.gwu.edu> wrote:
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 guaran= tees?

You may want to have= a look at

User-Level Implementations of Read-= Copy Update
Article=E2=80=82in=E2=80=82IEEE Transactions on Paral= lel and Distributed Systems 23(2):375 - 382 =C2=B7 March 2012
as a starting point.

Thanks,

Mathieu


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 comme= nts online (One key distinction is that both MVCC and RLU provide much stro= nger consistency guarantees to readers than does RCU ...) (https://lwn.net/Articles/777036/).
I do not understa= nd 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

_______________________________________________
lttng-dev mailing li= st
lttng-dev@lists.lttng.org
https://lists.lttng.org/cgi-bin/mailman/= listinfo/lttng-dev

--
Mathieu Desnoyers
EfficiOS Inc.
http= ://www.efficios.com
--=_6922dbbd-f2bd-4f89-981c-96d88c3c974d-- --===============7951139539516759308== 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 --===============7951139539516759308==--