From mboxrd@z Thu Jan 1 00:00:00 1970 From: mathieu.desnoyers@efficios.com (Mathieu Desnoyers) Date: Fri, 6 Dec 2019 05:49:09 -0500 (EST) Subject: [lttng-dev] RCU consistency guarantees In-Reply-To: References: Message-ID: <194534011.751.1575629349181.JavaMail.zimbra@efficios.com> ----- On Dec 5, 2019, at 8:17 PM, Yuxin Ren 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 guarantees? You may want to have a look at User-Level Implementations of Read-Copy Update Article in IEEE Transactions on Parallel and Distributed Systems 23(2):375 - 382 ? 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 | > 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 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 list > lttng-dev at lists.lttng.org > https://lists.lttng.org/cgi-bin/mailman/listinfo/lttng-dev -- Mathieu Desnoyers EfficiOS Inc. http://www.efficios.com -------------- next part -------------- An HTML attachment was scrubbed... URL: