Re: [lttng-dev] RCU consistency guarantees

2019-12-06 Thread Mathieu Desnoyers
- 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 Implem

Re: [lttng-dev] RCU consistency guarantees

2019-12-06 Thread Yuxin Ren
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 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 defin

[lttng-dev] RCU consistency guarantees

2019-12-06 Thread Yuxin Ren
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:

Re: [lttng-dev] RCU consistency guarantees

2019-12-06 Thread Mathieu Desnoyers
- On Dec 6, 2019, at 3:51 PM, Yuxin Ren wrote: > On Fri, Dec 6, 2019 at 5:49 AM Mathieu Desnoyers < [ > mailto:mathieu.desnoy...@efficios.com | mathieu.desnoy...@efficios.com ] > > wrote: >> - On Dec 5, 2019, at 8:17 PM, Yuxin Ren < [ mailto:r...@gwmail.gwu.edu | >> r...@gwmail.gwu.edu

Re: [lttng-dev] RCU consistency guarantees

2019-12-06 Thread Paul E. McKenney
On Fri, Dec 06, 2019 at 10:59:05AM -0500, Mathieu Desnoyers wrote: > - On Dec 6, 2019, at 3:51 PM, Yuxin Ren wrote: > > > On Fri, Dec 6, 2019 at 5:49 AM Mathieu Desnoyers < [ > > mailto:mathieu.desnoy...@efficios.com | mathieu.desnoy...@efficios.com ] > > > wrote: > > >> - On Dec 5, 201

Re: [lttng-dev] RCU consistency guarantees

2019-12-06 Thread Yuxin Ren
Thanks so much for your great help. I definitely will look at those resources and papers! One more thing that I am confused As I mentioned earlier, someone said One key distinction is that both MVCC and RLU provide much stronger consistency guarantees to readers than does RCU ...) (https://lwn.net