On Fri, Dec 6, 2019 at 5:49 AM Mathieu Desnoyers < mathieu.desnoy...@efficios.com> wrote:
> > ----- On Dec 5, 2019, at 8:17 PM, Yuxin Ren <r...@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 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 > Thanks for your info. However, I do not think URCU talks about any consistency model formally. >From previous communication with Paul, he said RCU is not designed for linearizability, and it is totally acceptable that RCU is not linearizable. However, I am curious how to accurately/formally Characterize RCU consistency model/guarantees > > 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 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 > > _______________________________________________ > lttng-dev mailing list > lttng-dev@lists.lttng.org > https://lists.lttng.org/cgi-bin/mailman/listinfo/lttng-dev > > > -- > Mathieu Desnoyers > EfficiOS Inc. > http://www.efficios.com >
_______________________________________________ lttng-dev mailing list lttng-dev@lists.lttng.org https://lists.lttng.org/cgi-bin/mailman/listinfo/lttng-dev
