Re: [PATCH 1/2] compiler.h: Introduce ptr_eq() to preserve address dependency

On Sep 30, 2024, at 17:33, Jonas Oberhauser wrote: > > > > Am 9/30/2024 um 11:27 AM schrieb Alan Huang: >> 2024年9月30日 17:15，Alan Huang 写道： >>> >>> 2024年9月30日 16:57，Jonas Oberhauser 写道： >>>> >>>> >>>> >>

Re: [PATCH 1/2] compiler.h: Introduce ptr_eq() to preserve address dependency

2024年9月30日 16:57，Jonas Oberhauser 写道： > > > > Am 9/29/2024 um 12:26 AM schrieb Alan Huang: >> 2024年9月28日 23:55，Mathieu Desnoyers wrote： >>> >>> On 2024-09-28 17:49, Alan Stern wrote: >>>> On Sat, Sep 28, 2024 at 11:32:18AM -0400, Mathieu Desnoy

Re: [PATCH 1/2] compiler.h: Introduce ptr_eq() to preserve address dependency

2024年9月30日 17:15，Alan Huang 写道： > > 2024年9月30日 16:57，Jonas Oberhauser 写道： >> >> >> >> Am 9/29/2024 um 12:26 AM schrieb Alan Huang: >>> 2024年9月28日 23:55，Mathieu Desnoyers wrote： >>>> >>>> On 2024-09-28 17:49, Alan Stern

Re: [PATCH rcu] srcu: Guarantee non-negative return value from srcu_read_lock()

On Oct 22, 2024, at 22:26, Paul E. McKenney wrote: > > On Tue, Oct 22, 2024 at 12:13:12AM -0700, Christoph Hellwig wrote: >> On Tue, Oct 22, 2024 at 09:10:18AM +0200, Peter Zijlstra wrote: >>> Ah, well, the thing that got us here is that we (Andrii and me) wanted >>> to use -1 as an 'invalid' val

Re: [PATCH rcu] srcu: Guarantee non-negative return value from srcu_read_lock()

On Oct 24, 2024, at 00:34, Andrii Nakryiko wrote: > > On Tue, Oct 22, 2024 at 11:40 PM Christoph Hellwig wrote: >> >> On Tue, Oct 22, 2024 at 10:29:13AM -0700, Andrii Nakryiko wrote: Would this work? #define SRCU_INVALID_INDEX -1 >>> >>> But why? >> >> Becaue it ve

Re: [PATCH rcu] srcu: Guarantee non-negative return value from srcu_read_lock()

On Oct 24, 2024, at 00:40, Paul E. McKenney wrote: > > On Wed, Oct 23, 2024 at 02:58:07PM +0800, Alan Huang wrote: >> On Oct 22, 2024, at 22:26, Paul E. McKenney wrote: >>> >>> On Tue, Oct 22, 2024 at 12:13:12AM -0700, Christoph Hellwig wrote: >>>>

Re: [RFC PATCH 1/4] hazptr: Add initial implementation of hazard pointers

2024年9月28日 06:18，Jonas Oberhauser wrote： > > > > Am 9/27/2024 um 10:10 PM schrieb Mathieu Desnoyers: >> On 2024-09-27 21:23, Jonas Oberhauser wrote: >> [...] >>> That idea seems to be confirmed by this (atrocious, not to be copied!) >>> example: >>> >>> int fct_escape_address_of_b(void) >>> {

Re: [PATCH 1/2] compiler.h: Introduce ptr_eq() to preserve address dependency

2024年9月28日 23:55，Mathieu Desnoyers wrote： > > On 2024-09-28 17:49, Alan Stern wrote: >> On Sat, Sep 28, 2024 at 11:32:18AM -0400, Mathieu Desnoyers wrote: >>> On 2024-09-28 16:49, Alan Stern wrote: On Sat, Sep 28, 2024 at 09:51:27AM -0400, Mathieu Desnoyers wrote: > equality, which does

Re: [RFC PATCH 1/4] hazptr: Add initial implementation of hazard pointers

2024年9月29日 06:10，Alan Huang wrote： > > 2024年9月28日 06:18，Jonas Oberhauser wrote： >> >> >> >> Am 9/27/2024 um 10:10 PM schrieb Mathieu Desnoyers: >>> On 2024-09-27 21:23, Jonas Oberhauser wrote: >>> [...] >>>> That idea seems to be co

Re: [PATCH 1/2] compiler.h: Introduce ptr_eq() to preserve address dependency

2024年9月29日 07:55，Boqun Feng wrote： > > > > On Sun, Sep 29, 2024, at 6:26 AM, Alan Huang wrote: >> 2024年9月28日 23:55，Mathieu Desnoyers wrote： >>> >>> On 2024-09-28 17:49, Alan Stern wrote: >>>> On Sat, Sep 28, 2024 at 11:32:18AM -0400, Mathieu

Re: [RFC PATCH 1/4] hazptr: Add initial implementation of hazard pointers

2024年9月27日 12:28，Boqun Feng wrote： > > On Fri, Sep 27, 2024 at 09:37:50AM +0800, Boqun Feng wrote: >> >> >> On Fri, Sep 27, 2024, at 9:30 AM, Mathieu Desnoyers wrote: >>> On 2024-09-27 02:01, Boqun Feng wrote: #define ADDRESS_EQ(var, expr) \ ({ \ bool _cmp_res = (unsigned lon

Re: [RFC PATCH 1/4] hazptr: Add initial implementation of hazard pointers

2024年9月20日 02:58，Boqun Feng wrote： > > On Thu, Sep 19, 2024 at 09:57:12PM +0800, Alan Huang wrote: > [...] >>> >>> I think you're right. (Although the node will be eventually deleted at >>> cleanup_hazptr_context(), however there could be a lo

Re: [RFC PATCH 1/4] hazptr: Add initial implementation of hazard pointers

2024年9月19日 15:10，Boqun Feng wrote： > > On Thu, Sep 19, 2024 at 02:39:13PM +0800, Lai Jiangshan wrote: >> On Tue, Sep 17, 2024 at 10:34 PM Boqun Feng wrote: >> >>> +static void hazptr_context_snap_readers_locked(struct hazptr_reader_tree >>> *tree, >>> +

Re: [RFC PATCH 1/4] hazptr: Add initial implementation of hazard pointers

2024年9月19日 15:10，Boqun Feng wrote： > > On Thu, Sep 19, 2024 at 02:39:13PM +0800, Lai Jiangshan wrote: >> On Tue, Sep 17, 2024 at 10:34 PM Boqun Feng wrote: >> >>> +static void hazptr_context_snap_readers_locked(struct hazptr_reader_tree >>> *tree, >>> +

Re: [RFC PATCH 1/4] hazptr: Add initial implementation of hazard pointers

2024年9月17日 22:33，Boqun Feng wrote： > > Hazard pointers [1] provide a way to dynamically distribute refcounting > and can be used to improve the scalability of refcounting without > significant space cost. > > Hazard pointers are similar to RCU: they build the synchronization > between two part,

Re: [RFC PATCH 1/4] hazptr: Add initial implementation of hazard pointers

2024年9月19日 15:10，Boqun Feng wrote： > > On Thu, Sep 19, 2024 at 02:39:13PM +0800, Lai Jiangshan wrote: >> On Tue, Sep 17, 2024 at 10:34 PM Boqun Feng wrote: >> >>> +static void hazptr_context_snap_readers_locked(struct hazptr_reader_tree >>> *tree, >>> +