* [PATCH] rcu: Remove debug_object_active_state() from debug_rcu_head_queue/unqueue()
@ 2022-05-10 3:07 Zqiang
2022-05-13 0:49 ` Paul E. McKenney
0 siblings, 1 reply; 12+ messages in thread
From: Zqiang @ 2022-05-10 3:07 UTC (permalink / raw)
To: paulmck, frederic; +Cc: rcu, linux-kernel
Currently, the double call_rcu() detected only need call
debug_object_activate() to check whether the rcu head object is
activated, the rcu head object usage state check is not necessary
and when call rcu_test_debug_objects() the debug_object_active_state()
will output same callstack as debug_object_activate(). so remove
debug_object_active_state() to reduce the output of repeated callstack.
Signed-off-by: Zqiang <qiang1.zhang@intel.com>
---
kernel/rcu/rcu.h | 13 +------------
1 file changed, 1 insertion(+), 12 deletions(-)
diff --git a/kernel/rcu/rcu.h b/kernel/rcu/rcu.h
index 15b96f990774..0604ecd16627 100644
--- a/kernel/rcu/rcu.h
+++ b/kernel/rcu/rcu.h
@@ -179,27 +179,16 @@ static inline unsigned long rcu_seq_diff(unsigned long new, unsigned long old)
*/
#ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
-# define STATE_RCU_HEAD_READY 0
-# define STATE_RCU_HEAD_QUEUED 1
extern const struct debug_obj_descr rcuhead_debug_descr;
static inline int debug_rcu_head_queue(struct rcu_head *head)
{
- int r1;
-
- r1 = debug_object_activate(head, &rcuhead_debug_descr);
- debug_object_active_state(head, &rcuhead_debug_descr,
- STATE_RCU_HEAD_READY,
- STATE_RCU_HEAD_QUEUED);
- return r1;
+ return debug_object_activate(head, &rcuhead_debug_descr);
}
static inline void debug_rcu_head_unqueue(struct rcu_head *head)
{
- debug_object_active_state(head, &rcuhead_debug_descr,
- STATE_RCU_HEAD_QUEUED,
- STATE_RCU_HEAD_READY);
debug_object_deactivate(head, &rcuhead_debug_descr);
}
#else /* !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
--
2.25.1
^ permalink raw reply related [flat|nested] 12+ messages in thread
* Re: [PATCH] rcu: Remove debug_object_active_state() from debug_rcu_head_queue/unqueue()
2022-05-10 3:07 [PATCH] rcu: Remove debug_object_active_state() from debug_rcu_head_queue/unqueue() Zqiang
@ 2022-05-13 0:49 ` Paul E. McKenney
2022-05-13 1:03 ` Zhang, Qiang1
0 siblings, 1 reply; 12+ messages in thread
From: Paul E. McKenney @ 2022-05-13 0:49 UTC (permalink / raw)
To: Zqiang; +Cc: frederic, rcu, linux-kernel
On Tue, May 10, 2022 at 11:07:48AM +0800, Zqiang wrote:
> Currently, the double call_rcu() detected only need call
> debug_object_activate() to check whether the rcu head object is
> activated, the rcu head object usage state check is not necessary
> and when call rcu_test_debug_objects() the debug_object_active_state()
> will output same callstack as debug_object_activate(). so remove
> debug_object_active_state() to reduce the output of repeated callstack.
>
> Signed-off-by: Zqiang <qiang1.zhang@intel.com>
Could you please post the output of the dmesg output of a failed
check with your change?
Thanx, Paul
> ---
> kernel/rcu/rcu.h | 13 +------------
> 1 file changed, 1 insertion(+), 12 deletions(-)
>
> diff --git a/kernel/rcu/rcu.h b/kernel/rcu/rcu.h
> index 15b96f990774..0604ecd16627 100644
> --- a/kernel/rcu/rcu.h
> +++ b/kernel/rcu/rcu.h
> @@ -179,27 +179,16 @@ static inline unsigned long rcu_seq_diff(unsigned long new, unsigned long old)
> */
>
> #ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
> -# define STATE_RCU_HEAD_READY 0
> -# define STATE_RCU_HEAD_QUEUED 1
>
> extern const struct debug_obj_descr rcuhead_debug_descr;
>
> static inline int debug_rcu_head_queue(struct rcu_head *head)
> {
> - int r1;
> -
> - r1 = debug_object_activate(head, &rcuhead_debug_descr);
> - debug_object_active_state(head, &rcuhead_debug_descr,
> - STATE_RCU_HEAD_READY,
> - STATE_RCU_HEAD_QUEUED);
> - return r1;
> + return debug_object_activate(head, &rcuhead_debug_descr);
> }
>
> static inline void debug_rcu_head_unqueue(struct rcu_head *head)
> {
> - debug_object_active_state(head, &rcuhead_debug_descr,
> - STATE_RCU_HEAD_QUEUED,
> - STATE_RCU_HEAD_READY);
> debug_object_deactivate(head, &rcuhead_debug_descr);
> }
> #else /* !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
> --
> 2.25.1
>
^ permalink raw reply [flat|nested] 12+ messages in thread
* RE: [PATCH] rcu: Remove debug_object_active_state() from debug_rcu_head_queue/unqueue()
2022-05-13 0:49 ` Paul E. McKenney
@ 2022-05-13 1:03 ` Zhang, Qiang1
2022-05-13 22:26 ` Paul E. McKenney
0 siblings, 1 reply; 12+ messages in thread
From: Zhang, Qiang1 @ 2022-05-13 1:03 UTC (permalink / raw)
To: paulmck; +Cc: frederic, rcu, linux-kernel
On Tue, May 10, 2022 at 11:07:48AM +0800, Zqiang wrote:
> Currently, the double call_rcu() detected only need call
> debug_object_activate() to check whether the rcu head object is
> activated, the rcu head object usage state check is not necessary and
> when call rcu_test_debug_objects() the debug_object_active_state()
> will output same callstack as debug_object_activate(). so remove
> debug_object_active_state() to reduce the output of repeated callstack.
>
> Signed-off-by: Zqiang <qiang1.zhang@intel.com>
>
>Could you please post the output of the dmesg output of a failed check with your change?
>
Original output:
[ 0.818279] ODEBUG: activate active (active state 1) object type: rcu_head hint: 0x0
[ 0.818296] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
[ 0.818301] Modules linked in:
[ 0.818304] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #75
[ 0.818306] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
[ 0.818308] RIP: 0010:debug_print_object+0xd8/0xf0
[ 0.818311] Code: dd 40 9e 03 9d e8 48 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 40 9e 03 9d 4c 89 f6 48 c7 c7 c0 93 03 9d e8 f6 1a b1 00 <0f> f
[ 0.818313] RSP: 0000:ffff88810033fad0 EFLAGS: 00010082
[ 0.818315] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
[ 0.818317] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4c
[ 0.818319] RBP: ffff88810033fb00 R08: ffffffff9b50d898 R09: fffffbfff3bf5c6d
[ 0.818320] R10: 0000000000000003 R11: fffffbfff3bf5c6c R12: 0000000000000001
[ 0.818322] R13: ffffffff9ce769a0 R14: ffffffff9d039a80 R15: 0000000000000000
[ 0.818324] FS: 0000000000000000(0000) GS:ffff888158880000(0000) knlGS:0000000000000000
[ 0.818327] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
[ 0.818329] CR2: 0000000000000000 CR3: 000000017600e000 CR4: 00000000001506e0
[ 0.818330] Call Trace:
[ 0.818331] <TASK>
[ 0.818333] debug_object_activate+0x2b8/0x300
[ 0.818336] ? debug_object_assert_init+0x220/0x220
[ 0.818340] ? __kasan_check_write+0x14/0x20
[ 0.818343] call_rcu+0x98/0x1110
[ 0.818347] ? vprintk+0x4c/0x60
[ 0.818350] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
[ 0.818354] ? strict_work_handler+0x70/0x70
[ 0.818357] rcu_torture_init+0x18be/0x199e
[ 0.818361] ? srcu_init+0x133/0x133
[ 0.818364] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
[ 0.818368] ? rcu_torture_barrier1cb+0x40/0x40
[ 0.818371] ? rcu_torture_barrier1cb+0x40/0x40
[ 0.818374] ? srcu_init+0x133/0x133
[ 0.818377] do_one_initcall+0xb3/0x300
[ 0.818380] ? initcall_blacklisted+0x150/0x150
[ 0.818382] ? parameq+0x70/0x90
[ 0.818385] ? __kasan_check_read+0x11/0x20
[ 0.818389] kernel_init_freeable+0x2b2/0x310
[ 0.818392] ? rest_init+0xf0/0xf0
[ 0.818396] kernel_init+0x1e/0x140
[ 0.818399] ret_from_fork+0x22/0x30
[ 0.818402] </TASK>
[ 0.818403] ---[ end trace 0000000000000000 ]---
[ 0.818405] ------------[ cut here ]------------
[ 0.818405] ODEBUG: active_state active (active state 1) object type: rcu_head hint: 0x0
[ 0.818421] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
[ 0.818424] Modules linked in:
[ 0.818426] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #75
[ 0.818428] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
[ 0.818430] RIP: 0010:debug_print_object+0xd8/0xf0
[ 0.818432] Code: dd 40 9e 03 9d e8 48 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 40 9e 03 9d 4c 89 f6 48 c7 c7 c0 93 03 9d e8 f6 1a b1 00 <0f> f
[ 0.818435] RSP: 0000:ffff88810033fac0 EFLAGS: 00010086
[ 0.818437] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
[ 0.818438] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4a
[ 0.818440] RBP: ffff88810033faf0 R08: ffffffff9b50d898 R09: fffffbfff3bf5c6d
[ 0.818441] R10: 0000000000000003 R11: fffffbfff3bf5c6c R12: 0000000000000001
[ 0.818443] R13: ffffffff9ce769a0 R14: ffffffff9d039820 R15: 0000000000000000
[ 0.818445] FS: 0000000000000000(0000) GS:ffff888158880000(0000) knlGS:0000000000000000
[ 0.818448] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
[ 0.818449] CR2: 0000000000000000 CR3: 000000017600e000 CR4: 00000000001506e0
[ 0.818451] Call Trace:
[ 0.818452] <TASK>
[ 0.818453] debug_object_active_state+0x1d6/0x210
[ 0.818456] ? debug_object_deactivate+0x210/0x210
[ 0.818460] ? __kasan_check_write+0x14/0x20
[ 0.818464] call_rcu+0xb7/0x1110
[ 0.818466] ? vprintk+0x4c/0x60
[ 0.818469] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
[ 0.818472] ? strict_work_handler+0x70/0x70
[ 0.818476] rcu_torture_init+0x18be/0x199e
[ 0.818479] ? srcu_init+0x133/0x133
[ 0.818482] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
[ 0.818486] ? rcu_torture_barrier1cb+0x40/0x40
[ 0.818489] ? rcu_torture_barrier1cb+0x40/0x40
[ 0.818492] ? srcu_init+0x133/0x133
[ 0.818495] do_one_initcall+0xb3/0x300
[ 0.818497] ? initcall_blacklisted+0x150/0x150
[ 0.818500] ? parameq+0x70/0x90
[ 0.818503] ? __kasan_check_read+0x11/0x20
[ 0.818507] kernel_init_freeable+0x2b2/0x310
[ 0.818510] ? rest_init+0xf0/0xf0
[ 0.818513] kernel_init+0x1e/0x140
[ 0.818515] ret_from_fork+0x22/0x30
[ 0.818519] </TASK>
[ 0.818520] ---[ end trace 0000000000000000 ]---
[ 0.818521] rcu: call_rcu(): Double-freed CB 00000000e2817fcb->rcu_torture_leak_cb+0x0/0x10()!!! non-slab/vmalloc memory
After apply this patch:
[ 0.647048] ODEBUG: activate active (active state 0) object type: rcu_head hint: 0x0
[ 0.647068] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
[ 0.647073] Modules linked in:
[ 0.647075] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #77
[ 0.647078] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
[ 0.647080] RIP: 0010:debug_print_object+0xd8/0xf0
[ 0.647083] Code: dd 80 9d 43 a2 e8 38 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 80 9d 43 a2 4c 89 f6 48 c7 c7 00 93 43 a2 e8 f6 1a b1 00 <0f> 0b 83 05 7b 62f
[ 0.647085] RSP: 0000:ffff88810033fad0 EFLAGS: 00010082
[ 0.647088] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
[ 0.647090] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4c
[ 0.647091] RBP: ffff88810033fb00 R08: ffffffffa090d898 R09: fffffbfff467586d
[ 0.647093] R10: 0000000000000003 R11: fffffbfff467586c R12: 0000000000000000
[ 0.647095] R13: ffffffffa22769a0 R14: ffffffffa24399c0 R15: 0000000000000000
[ 0.647097] FS: 0000000000000000(0000) GS:ffff88815b880000(0000) knlGS:0000000000000000
[ 0.647100] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
[ 0.647102] CR2: 0000000000000000 CR3: 000000002f20e000 CR4: 00000000001506e0
[ 0.647104] Call Trace:
[ 0.647104] <TASK>
[ 0.647106] debug_object_activate+0x2b8/0x300
[ 0.647110] ? debug_object_assert_init+0x220/0x220
[ 0.647114] ? __kasan_check_write+0x14/0x20
[ 0.647118] call_rcu+0x98/0x1100
[ 0.647121] ? vprintk+0x4c/0x60
[ 0.647125] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
[ 0.647129] ? strict_work_handler+0x50/0x50
[ 0.647133] rcu_torture_init+0x18be/0x199e
[ 0.647136] ? srcu_init+0x133/0x133
[ 0.647140] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
[ 0.647144] ? rcu_torture_barrier1cb+0x40/0x40
[ 0.647148] ? rcu_torture_barrier1cb+0x40/0x40
[ 0.647151] ? srcu_init+0x133/0x133
[ 0.647155] do_one_initcall+0xb3/0x300
[ 0.647157] ? initcall_blacklisted+0x150/0x150
[ 0.647160] ? parameq+0x70/0x90
[ 0.647164] ? __kasan_check_read+0x11/0x20
[ 0.647167] kernel_init_freeable+0x2b2/0x310
[ 0.647171] ? rest_init+0xf0/0xf0
[ 0.647174] kernel_init+0x1e/0x140
[ 0.647177] ret_from_fork+0x22/0x30
[ 0.647181] </TASK>
[ 0.647182] ---[ end trace 0000000000000000 ]---
[ 0.647184] rcu: call_rcu(): Double-freed CB 000000009a684b70->rcu_torture_leak_cb+0x0/0x10()!!! non-slab/vmalloc memory
Thanks,
Zqiang
> Thanx, Paul
>
> ---
> kernel/rcu/rcu.h | 13 +------------
> 1 file changed, 1 insertion(+), 12 deletions(-)
>
> diff --git a/kernel/rcu/rcu.h b/kernel/rcu/rcu.h index
> 15b96f990774..0604ecd16627 100644
> --- a/kernel/rcu/rcu.h
> +++ b/kernel/rcu/rcu.h
> @@ -179,27 +179,16 @@ static inline unsigned long rcu_seq_diff(unsigned long new, unsigned long old)
> */
>
> #ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
> -# define STATE_RCU_HEAD_READY 0
> -# define STATE_RCU_HEAD_QUEUED 1
>
> extern const struct debug_obj_descr rcuhead_debug_descr;
>
> static inline int debug_rcu_head_queue(struct rcu_head *head) {
> - int r1;
> -
> - r1 = debug_object_activate(head, &rcuhead_debug_descr);
> - debug_object_active_state(head, &rcuhead_debug_descr,
> - STATE_RCU_HEAD_READY,
> - STATE_RCU_HEAD_QUEUED);
> - return r1;
> + return debug_object_activate(head, &rcuhead_debug_descr);
> }
>
> static inline void debug_rcu_head_unqueue(struct rcu_head *head) {
> - debug_object_active_state(head, &rcuhead_debug_descr,
> - STATE_RCU_HEAD_QUEUED,
> - STATE_RCU_HEAD_READY);
> debug_object_deactivate(head, &rcuhead_debug_descr); }
> #else /* !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
> --
> 2.25.1
>
^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: [PATCH] rcu: Remove debug_object_active_state() from debug_rcu_head_queue/unqueue()
2022-05-13 1:03 ` Zhang, Qiang1
@ 2022-05-13 22:26 ` Paul E. McKenney
2022-05-14 0:02 ` Zhang, Qiang1
0 siblings, 1 reply; 12+ messages in thread
From: Paul E. McKenney @ 2022-05-13 22:26 UTC (permalink / raw)
To: Zhang, Qiang1; +Cc: frederic, rcu, linux-kernel
On Fri, May 13, 2022 at 01:03:19AM +0000, Zhang, Qiang1 wrote:
> On Tue, May 10, 2022 at 11:07:48AM +0800, Zqiang wrote:
> > Currently, the double call_rcu() detected only need call
> > debug_object_activate() to check whether the rcu head object is
> > activated, the rcu head object usage state check is not necessary and
> > when call rcu_test_debug_objects() the debug_object_active_state()
> > will output same callstack as debug_object_activate(). so remove
> > debug_object_active_state() to reduce the output of repeated callstack.
> >
> > Signed-off-by: Zqiang <qiang1.zhang@intel.com>
> >
> >Could you please post the output of the dmesg output of a failed check with your change?
> >
>
> Original output:
>
> [ 0.818279] ODEBUG: activate active (active state 1) object type: rcu_head hint: 0x0
> [ 0.818296] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> [ 0.818301] Modules linked in:
> [ 0.818304] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #75
> [ 0.818306] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> [ 0.818308] RIP: 0010:debug_print_object+0xd8/0xf0
> [ 0.818311] Code: dd 40 9e 03 9d e8 48 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 40 9e 03 9d 4c 89 f6 48 c7 c7 c0 93 03 9d e8 f6 1a b1 00 <0f> f
> [ 0.818313] RSP: 0000:ffff88810033fad0 EFLAGS: 00010082
> [ 0.818315] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> [ 0.818317] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4c
> [ 0.818319] RBP: ffff88810033fb00 R08: ffffffff9b50d898 R09: fffffbfff3bf5c6d
> [ 0.818320] R10: 0000000000000003 R11: fffffbfff3bf5c6c R12: 0000000000000001
> [ 0.818322] R13: ffffffff9ce769a0 R14: ffffffff9d039a80 R15: 0000000000000000
> [ 0.818324] FS: 0000000000000000(0000) GS:ffff888158880000(0000) knlGS:0000000000000000
> [ 0.818327] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> [ 0.818329] CR2: 0000000000000000 CR3: 000000017600e000 CR4: 00000000001506e0
> [ 0.818330] Call Trace:
> [ 0.818331] <TASK>
> [ 0.818333] debug_object_activate+0x2b8/0x300
> [ 0.818336] ? debug_object_assert_init+0x220/0x220
> [ 0.818340] ? __kasan_check_write+0x14/0x20
> [ 0.818343] call_rcu+0x98/0x1110
> [ 0.818347] ? vprintk+0x4c/0x60
> [ 0.818350] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> [ 0.818354] ? strict_work_handler+0x70/0x70
> [ 0.818357] rcu_torture_init+0x18be/0x199e
> [ 0.818361] ? srcu_init+0x133/0x133
> [ 0.818364] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> [ 0.818368] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.818371] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.818374] ? srcu_init+0x133/0x133
> [ 0.818377] do_one_initcall+0xb3/0x300
> [ 0.818380] ? initcall_blacklisted+0x150/0x150
> [ 0.818382] ? parameq+0x70/0x90
> [ 0.818385] ? __kasan_check_read+0x11/0x20
> [ 0.818389] kernel_init_freeable+0x2b2/0x310
> [ 0.818392] ? rest_init+0xf0/0xf0
> [ 0.818396] kernel_init+0x1e/0x140
> [ 0.818399] ret_from_fork+0x22/0x30
> [ 0.818402] </TASK>
> [ 0.818403] ---[ end trace 0000000000000000 ]---
> [ 0.818405] ------------[ cut here ]------------
> [ 0.818405] ODEBUG: active_state active (active state 1) object type: rcu_head hint: 0x0
> [ 0.818421] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> [ 0.818424] Modules linked in:
> [ 0.818426] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #75
> [ 0.818428] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> [ 0.818430] RIP: 0010:debug_print_object+0xd8/0xf0
> [ 0.818432] Code: dd 40 9e 03 9d e8 48 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 40 9e 03 9d 4c 89 f6 48 c7 c7 c0 93 03 9d e8 f6 1a b1 00 <0f> f
> [ 0.818435] RSP: 0000:ffff88810033fac0 EFLAGS: 00010086
> [ 0.818437] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> [ 0.818438] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4a
> [ 0.818440] RBP: ffff88810033faf0 R08: ffffffff9b50d898 R09: fffffbfff3bf5c6d
> [ 0.818441] R10: 0000000000000003 R11: fffffbfff3bf5c6c R12: 0000000000000001
> [ 0.818443] R13: ffffffff9ce769a0 R14: ffffffff9d039820 R15: 0000000000000000
> [ 0.818445] FS: 0000000000000000(0000) GS:ffff888158880000(0000) knlGS:0000000000000000
> [ 0.818448] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> [ 0.818449] CR2: 0000000000000000 CR3: 000000017600e000 CR4: 00000000001506e0
> [ 0.818451] Call Trace:
> [ 0.818452] <TASK>
> [ 0.818453] debug_object_active_state+0x1d6/0x210
> [ 0.818456] ? debug_object_deactivate+0x210/0x210
> [ 0.818460] ? __kasan_check_write+0x14/0x20
> [ 0.818464] call_rcu+0xb7/0x1110
> [ 0.818466] ? vprintk+0x4c/0x60
> [ 0.818469] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> [ 0.818472] ? strict_work_handler+0x70/0x70
> [ 0.818476] rcu_torture_init+0x18be/0x199e
> [ 0.818479] ? srcu_init+0x133/0x133
> [ 0.818482] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> [ 0.818486] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.818489] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.818492] ? srcu_init+0x133/0x133
> [ 0.818495] do_one_initcall+0xb3/0x300
> [ 0.818497] ? initcall_blacklisted+0x150/0x150
> [ 0.818500] ? parameq+0x70/0x90
> [ 0.818503] ? __kasan_check_read+0x11/0x20
> [ 0.818507] kernel_init_freeable+0x2b2/0x310
> [ 0.818510] ? rest_init+0xf0/0xf0
> [ 0.818513] kernel_init+0x1e/0x140
> [ 0.818515] ret_from_fork+0x22/0x30
> [ 0.818519] </TASK>
> [ 0.818520] ---[ end trace 0000000000000000 ]---
> [ 0.818521] rcu: call_rcu(): Double-freed CB 00000000e2817fcb->rcu_torture_leak_cb+0x0/0x10()!!! non-slab/vmalloc memory
>
>
> After apply this patch:
>
> [ 0.647048] ODEBUG: activate active (active state 0) object type: rcu_head hint: 0x0
> [ 0.647068] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> [ 0.647073] Modules linked in:
> [ 0.647075] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #77
> [ 0.647078] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> [ 0.647080] RIP: 0010:debug_print_object+0xd8/0xf0
> [ 0.647083] Code: dd 80 9d 43 a2 e8 38 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 80 9d 43 a2 4c 89 f6 48 c7 c7 00 93 43 a2 e8 f6 1a b1 00 <0f> 0b 83 05 7b 62f
> [ 0.647085] RSP: 0000:ffff88810033fad0 EFLAGS: 00010082
> [ 0.647088] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> [ 0.647090] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4c
> [ 0.647091] RBP: ffff88810033fb00 R08: ffffffffa090d898 R09: fffffbfff467586d
> [ 0.647093] R10: 0000000000000003 R11: fffffbfff467586c R12: 0000000000000000
> [ 0.647095] R13: ffffffffa22769a0 R14: ffffffffa24399c0 R15: 0000000000000000
> [ 0.647097] FS: 0000000000000000(0000) GS:ffff88815b880000(0000) knlGS:0000000000000000
> [ 0.647100] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> [ 0.647102] CR2: 0000000000000000 CR3: 000000002f20e000 CR4: 00000000001506e0
> [ 0.647104] Call Trace:
> [ 0.647104] <TASK>
> [ 0.647106] debug_object_activate+0x2b8/0x300
> [ 0.647110] ? debug_object_assert_init+0x220/0x220
> [ 0.647114] ? __kasan_check_write+0x14/0x20
> [ 0.647118] call_rcu+0x98/0x1100
> [ 0.647121] ? vprintk+0x4c/0x60
> [ 0.647125] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> [ 0.647129] ? strict_work_handler+0x50/0x50
> [ 0.647133] rcu_torture_init+0x18be/0x199e
> [ 0.647136] ? srcu_init+0x133/0x133
> [ 0.647140] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> [ 0.647144] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.647148] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.647151] ? srcu_init+0x133/0x133
> [ 0.647155] do_one_initcall+0xb3/0x300
> [ 0.647157] ? initcall_blacklisted+0x150/0x150
> [ 0.647160] ? parameq+0x70/0x90
> [ 0.647164] ? __kasan_check_read+0x11/0x20
> [ 0.647167] kernel_init_freeable+0x2b2/0x310
> [ 0.647171] ? rest_init+0xf0/0xf0
> [ 0.647174] kernel_init+0x1e/0x140
> [ 0.647177] ret_from_fork+0x22/0x30
> [ 0.647181] </TASK>
> [ 0.647182] ---[ end trace 0000000000000000 ]---
> [ 0.647184] rcu: call_rcu(): Double-freed CB 000000009a684b70->rcu_torture_leak_cb+0x0/0x10()!!! non-slab/vmalloc memory
Very good, and thank you!
Now suppose that someone passes a pointer to call_rcu(), but then
invokes kfree() on that same object before the grace period ends.
Is the offending kfree() flagged?
Thanx, Paul
> Thanks,
> Zqiang
>
>
>
> > Thanx, Paul
> >
> > ---
> > kernel/rcu/rcu.h | 13 +------------
> > 1 file changed, 1 insertion(+), 12 deletions(-)
> >
> > diff --git a/kernel/rcu/rcu.h b/kernel/rcu/rcu.h index
> > 15b96f990774..0604ecd16627 100644
> > --- a/kernel/rcu/rcu.h
> > +++ b/kernel/rcu/rcu.h
> > @@ -179,27 +179,16 @@ static inline unsigned long rcu_seq_diff(unsigned long new, unsigned long old)
> > */
> >
> > #ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
> > -# define STATE_RCU_HEAD_READY 0
> > -# define STATE_RCU_HEAD_QUEUED 1
> >
> > extern const struct debug_obj_descr rcuhead_debug_descr;
> >
> > static inline int debug_rcu_head_queue(struct rcu_head *head) {
> > - int r1;
> > -
> > - r1 = debug_object_activate(head, &rcuhead_debug_descr);
> > - debug_object_active_state(head, &rcuhead_debug_descr,
> > - STATE_RCU_HEAD_READY,
> > - STATE_RCU_HEAD_QUEUED);
> > - return r1;
> > + return debug_object_activate(head, &rcuhead_debug_descr);
> > }
> >
> > static inline void debug_rcu_head_unqueue(struct rcu_head *head) {
> > - debug_object_active_state(head, &rcuhead_debug_descr,
> > - STATE_RCU_HEAD_QUEUED,
> > - STATE_RCU_HEAD_READY);
> > debug_object_deactivate(head, &rcuhead_debug_descr); }
> > #else /* !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
> > --
> > 2.25.1
> >
^ permalink raw reply [flat|nested] 12+ messages in thread
* RE: [PATCH] rcu: Remove debug_object_active_state() from debug_rcu_head_queue/unqueue()
2022-05-13 22:26 ` Paul E. McKenney
@ 2022-05-14 0:02 ` Zhang, Qiang1
2022-05-18 4:21 ` Zhang, Qiang1
0 siblings, 1 reply; 12+ messages in thread
From: Zhang, Qiang1 @ 2022-05-14 0:02 UTC (permalink / raw)
To: paulmck; +Cc: frederic, rcu, linux-kernel
On Fri, May 13, 2022 at 01:03:19AM +0000, Zhang, Qiang1 wrote:
> On Tue, May 10, 2022 at 11:07:48AM +0800, Zqiang wrote:
> > Currently, the double call_rcu() detected only need call
> > debug_object_activate() to check whether the rcu head object is
> > activated, the rcu head object usage state check is not necessary
> > and when call rcu_test_debug_objects() the
> > debug_object_active_state() will output same callstack as
> > debug_object_activate(). so remove
> > debug_object_active_state() to reduce the output of repeated callstack.
> >
> > Signed-off-by: Zqiang <qiang1.zhang@intel.com>
> >
> >Could you please post the output of the dmesg output of a failed check with your change?
> >
>
> Original output:
>
> [ 0.818279] ODEBUG: activate active (active state 1) object type: rcu_head hint: 0x0
> [ 0.818296] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> [ 0.818301] Modules linked in:
> [ 0.818304] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #75
> [ 0.818306] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> [ 0.818308] RIP: 0010:debug_print_object+0xd8/0xf0
> [ 0.818311] Code: dd 40 9e 03 9d e8 48 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 40 9e 03 9d 4c 89 f6 48 c7 c7 c0 93 03 9d e8 f6 1a b1 00 <0f> f
> [ 0.818313] RSP: 0000:ffff88810033fad0 EFLAGS: 00010082
> [ 0.818315] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> [ 0.818317] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4c
> [ 0.818319] RBP: ffff88810033fb00 R08: ffffffff9b50d898 R09: fffffbfff3bf5c6d
> [ 0.818320] R10: 0000000000000003 R11: fffffbfff3bf5c6c R12: 0000000000000001
> [ 0.818322] R13: ffffffff9ce769a0 R14: ffffffff9d039a80 R15: 0000000000000000
> [ 0.818324] FS: 0000000000000000(0000) GS:ffff888158880000(0000) knlGS:0000000000000000
> [ 0.818327] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> [ 0.818329] CR2: 0000000000000000 CR3: 000000017600e000 CR4: 00000000001506e0
> [ 0.818330] Call Trace:
> [ 0.818331] <TASK>
> [ 0.818333] debug_object_activate+0x2b8/0x300
> [ 0.818336] ? debug_object_assert_init+0x220/0x220
> [ 0.818340] ? __kasan_check_write+0x14/0x20
> [ 0.818343] call_rcu+0x98/0x1110
> [ 0.818347] ? vprintk+0x4c/0x60
> [ 0.818350] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> [ 0.818354] ? strict_work_handler+0x70/0x70
> [ 0.818357] rcu_torture_init+0x18be/0x199e
> [ 0.818361] ? srcu_init+0x133/0x133
> [ 0.818364] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> [ 0.818368] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.818371] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.818374] ? srcu_init+0x133/0x133
> [ 0.818377] do_one_initcall+0xb3/0x300
> [ 0.818380] ? initcall_blacklisted+0x150/0x150
> [ 0.818382] ? parameq+0x70/0x90
> [ 0.818385] ? __kasan_check_read+0x11/0x20
> [ 0.818389] kernel_init_freeable+0x2b2/0x310
> [ 0.818392] ? rest_init+0xf0/0xf0
> [ 0.818396] kernel_init+0x1e/0x140
> [ 0.818399] ret_from_fork+0x22/0x30
> [ 0.818402] </TASK>
> [ 0.818403] ---[ end trace 0000000000000000 ]---
> [ 0.818405] ------------[ cut here ]------------
> [ 0.818405] ODEBUG: active_state active (active state 1) object type: rcu_head hint: 0x0
> [ 0.818421] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> [ 0.818424] Modules linked in:
> [ 0.818426] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #75
> [ 0.818428] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> [ 0.818430] RIP: 0010:debug_print_object+0xd8/0xf0
> [ 0.818432] Code: dd 40 9e 03 9d e8 48 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 40 9e 03 9d 4c 89 f6 48 c7 c7 c0 93 03 9d e8 f6 1a b1 00 <0f> f
> [ 0.818435] RSP: 0000:ffff88810033fac0 EFLAGS: 00010086
> [ 0.818437] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> [ 0.818438] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4a
> [ 0.818440] RBP: ffff88810033faf0 R08: ffffffff9b50d898 R09: fffffbfff3bf5c6d
> [ 0.818441] R10: 0000000000000003 R11: fffffbfff3bf5c6c R12: 0000000000000001
> [ 0.818443] R13: ffffffff9ce769a0 R14: ffffffff9d039820 R15: 0000000000000000
> [ 0.818445] FS: 0000000000000000(0000) GS:ffff888158880000(0000) knlGS:0000000000000000
> [ 0.818448] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> [ 0.818449] CR2: 0000000000000000 CR3: 000000017600e000 CR4: 00000000001506e0
> [ 0.818451] Call Trace:
> [ 0.818452] <TASK>
> [ 0.818453] debug_object_active_state+0x1d6/0x210
> [ 0.818456] ? debug_object_deactivate+0x210/0x210
> [ 0.818460] ? __kasan_check_write+0x14/0x20
> [ 0.818464] call_rcu+0xb7/0x1110
> [ 0.818466] ? vprintk+0x4c/0x60
> [ 0.818469] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> [ 0.818472] ? strict_work_handler+0x70/0x70
> [ 0.818476] rcu_torture_init+0x18be/0x199e
> [ 0.818479] ? srcu_init+0x133/0x133
> [ 0.818482] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> [ 0.818486] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.818489] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.818492] ? srcu_init+0x133/0x133
> [ 0.818495] do_one_initcall+0xb3/0x300
> [ 0.818497] ? initcall_blacklisted+0x150/0x150
> [ 0.818500] ? parameq+0x70/0x90
> [ 0.818503] ? __kasan_check_read+0x11/0x20
> [ 0.818507] kernel_init_freeable+0x2b2/0x310
> [ 0.818510] ? rest_init+0xf0/0xf0
> [ 0.818513] kernel_init+0x1e/0x140
> [ 0.818515] ret_from_fork+0x22/0x30
> [ 0.818519] </TASK>
> [ 0.818520] ---[ end trace 0000000000000000 ]---
> [ 0.818521] rcu: call_rcu(): Double-freed CB 00000000e2817fcb->rcu_torture_leak_cb+0x0/0x10()!!! non-slab/vmalloc memory
>
>
> After apply this patch:
>
> [ 0.647048] ODEBUG: activate active (active state 0) object type: rcu_head hint: 0x0
> [ 0.647068] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> [ 0.647073] Modules linked in:
> [ 0.647075] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #77
> [ 0.647078] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> [ 0.647080] RIP: 0010:debug_print_object+0xd8/0xf0
> [ 0.647083] Code: dd 80 9d 43 a2 e8 38 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 80 9d 43 a2 4c 89 f6 48 c7 c7 00 93 43 a2 e8 f6 1a b1 00 <0f> 0b 83 05 7b 62f
> [ 0.647085] RSP: 0000:ffff88810033fad0 EFLAGS: 00010082
> [ 0.647088] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> [ 0.647090] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4c
> [ 0.647091] RBP: ffff88810033fb00 R08: ffffffffa090d898 R09: fffffbfff467586d
> [ 0.647093] R10: 0000000000000003 R11: fffffbfff467586c R12: 0000000000000000
> [ 0.647095] R13: ffffffffa22769a0 R14: ffffffffa24399c0 R15: 0000000000000000
> [ 0.647097] FS: 0000000000000000(0000) GS:ffff88815b880000(0000) knlGS:0000000000000000
> [ 0.647100] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> [ 0.647102] CR2: 0000000000000000 CR3: 000000002f20e000 CR4: 00000000001506e0
> [ 0.647104] Call Trace:
> [ 0.647104] <TASK>
> [ 0.647106] debug_object_activate+0x2b8/0x300
> [ 0.647110] ? debug_object_assert_init+0x220/0x220
> [ 0.647114] ? __kasan_check_write+0x14/0x20
> [ 0.647118] call_rcu+0x98/0x1100
> [ 0.647121] ? vprintk+0x4c/0x60
> [ 0.647125] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> [ 0.647129] ? strict_work_handler+0x50/0x50
> [ 0.647133] rcu_torture_init+0x18be/0x199e
> [ 0.647136] ? srcu_init+0x133/0x133
> [ 0.647140] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> [ 0.647144] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.647148] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.647151] ? srcu_init+0x133/0x133
> [ 0.647155] do_one_initcall+0xb3/0x300
> [ 0.647157] ? initcall_blacklisted+0x150/0x150
> [ 0.647160] ? parameq+0x70/0x90
> [ 0.647164] ? __kasan_check_read+0x11/0x20
> [ 0.647167] kernel_init_freeable+0x2b2/0x310
> [ 0.647171] ? rest_init+0xf0/0xf0
> [ 0.647174] kernel_init+0x1e/0x140
> [ 0.647177] ret_from_fork+0x22/0x30
> [ 0.647181] </TASK>
> [ 0.647182] ---[ end trace 0000000000000000 ]---
> [ 0.647184] rcu: call_rcu(): Double-freed CB 000000009a684b70->rcu_torture_leak_cb+0x0/0x10()!!! non-slab/vmalloc memory
>Very good, and thank you!
>
>Now suppose that someone passes a pointer to call_rcu(), but then invokes kfree() on that same object before the grace period ends.
>Is the offending kfree() flagged?
If the CONFIG_DEBUG_OBJECTS_FREE is enabled, the debug_check_no_obj_freed() will check wether the object is activated in kfree()
If is activated, also output callstack.
__debug_check_no_obj_freed()
{........
switch (obj->state) {
case ODEBUG_STATE_ACTIVE:
descr = obj->descr;
state = obj->state;
_spin_unlock_irqrestore(&db->lock, flags);
debug_print_object(obj, "free");
}
.........
}
Thanks,
Zqiang
>
> Thanx, Paul
> Thanks,
> Zqiang
>
>
>
> > Thanx, Paul
> >
> > ---
> > kernel/rcu/rcu.h | 13 +------------
> > 1 file changed, 1 insertion(+), 12 deletions(-)
> >
> > diff --git a/kernel/rcu/rcu.h b/kernel/rcu/rcu.h index
> > 15b96f990774..0604ecd16627 100644
> > --- a/kernel/rcu/rcu.h
> > +++ b/kernel/rcu/rcu.h
> > @@ -179,27 +179,16 @@ static inline unsigned long rcu_seq_diff(unsigned long new, unsigned long old)
> > */
> >
> > #ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
> > -# define STATE_RCU_HEAD_READY 0
> > -# define STATE_RCU_HEAD_QUEUED 1
> >
> > extern const struct debug_obj_descr rcuhead_debug_descr;
> >
> > static inline int debug_rcu_head_queue(struct rcu_head *head) {
> > - int r1;
> > -
> > - r1 = debug_object_activate(head, &rcuhead_debug_descr);
> > - debug_object_active_state(head, &rcuhead_debug_descr,
> > - STATE_RCU_HEAD_READY,
> > - STATE_RCU_HEAD_QUEUED);
> > - return r1;
> > + return debug_object_activate(head, &rcuhead_debug_descr);
> > }
> >
> > static inline void debug_rcu_head_unqueue(struct rcu_head *head) {
> > - debug_object_active_state(head, &rcuhead_debug_descr,
> > - STATE_RCU_HEAD_QUEUED,
> > - STATE_RCU_HEAD_READY);
> > debug_object_deactivate(head, &rcuhead_debug_descr); }
> > #else /* !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
> > --
> > 2.25.1
> >
^ permalink raw reply [flat|nested] 12+ messages in thread
* RE: [PATCH] rcu: Remove debug_object_active_state() from debug_rcu_head_queue/unqueue()
2022-05-14 0:02 ` Zhang, Qiang1
@ 2022-05-18 4:21 ` Zhang, Qiang1
2022-05-25 23:33 ` Zhang, Qiang1
0 siblings, 1 reply; 12+ messages in thread
From: Zhang, Qiang1 @ 2022-05-18 4:21 UTC (permalink / raw)
To: Zhang, Qiang1, paulmck; +Cc: frederic, rcu, linux-kernel
On Fri, May 13, 2022 at 01:03:19AM +0000, Zhang, Qiang1 wrote:
> On Tue, May 10, 2022 at 11:07:48AM +0800, Zqiang wrote:
> > Currently, the double call_rcu() detected only need call
> > debug_object_activate() to check whether the rcu head object is
> > activated, the rcu head object usage state check is not necessary
> > and when call rcu_test_debug_objects() the
> > debug_object_active_state() will output same callstack as
> > debug_object_activate(). so remove
> > debug_object_active_state() to reduce the output of repeated callstack.
> >
> > Signed-off-by: Zqiang <qiang1.zhang@intel.com>
> >
> >Could you please post the output of the dmesg output of a failed check with your change?
> >
>
> Original output:
>
> [ 0.818279] ODEBUG: activate active (active state 1) object type: rcu_head hint: 0x0
> [ 0.818296] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> [ 0.818301] Modules linked in:
> [ 0.818304] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #75
> [ 0.818306] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> [ 0.818308] RIP: 0010:debug_print_object+0xd8/0xf0
> [ 0.818311] Code: dd 40 9e 03 9d e8 48 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 40 9e 03 9d 4c 89 f6 48 c7 c7 c0 93 03 9d e8 f6 1a b1 00 <0f> f
> [ 0.818313] RSP: 0000:ffff88810033fad0 EFLAGS: 00010082
> [ 0.818315] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> [ 0.818317] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4c
> [ 0.818319] RBP: ffff88810033fb00 R08: ffffffff9b50d898 R09: fffffbfff3bf5c6d
> [ 0.818320] R10: 0000000000000003 R11: fffffbfff3bf5c6c R12: 0000000000000001
> [ 0.818322] R13: ffffffff9ce769a0 R14: ffffffff9d039a80 R15: 0000000000000000
> [ 0.818324] FS: 0000000000000000(0000) GS:ffff888158880000(0000) knlGS:0000000000000000
> [ 0.818327] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> [ 0.818329] CR2: 0000000000000000 CR3: 000000017600e000 CR4: 00000000001506e0
> [ 0.818330] Call Trace:
> [ 0.818331] <TASK>
> [ 0.818333] debug_object_activate+0x2b8/0x300
> [ 0.818336] ? debug_object_assert_init+0x220/0x220
> [ 0.818340] ? __kasan_check_write+0x14/0x20
> [ 0.818343] call_rcu+0x98/0x1110
> [ 0.818347] ? vprintk+0x4c/0x60
> [ 0.818350] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> [ 0.818354] ? strict_work_handler+0x70/0x70
> [ 0.818357] rcu_torture_init+0x18be/0x199e
> [ 0.818361] ? srcu_init+0x133/0x133
> [ 0.818364] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> [ 0.818368] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.818371] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.818374] ? srcu_init+0x133/0x133
> [ 0.818377] do_one_initcall+0xb3/0x300
> [ 0.818380] ? initcall_blacklisted+0x150/0x150
> [ 0.818382] ? parameq+0x70/0x90
> [ 0.818385] ? __kasan_check_read+0x11/0x20
> [ 0.818389] kernel_init_freeable+0x2b2/0x310
> [ 0.818392] ? rest_init+0xf0/0xf0
> [ 0.818396] kernel_init+0x1e/0x140
> [ 0.818399] ret_from_fork+0x22/0x30
> [ 0.818402] </TASK>
> [ 0.818403] ---[ end trace 0000000000000000 ]---
> [ 0.818405] ------------[ cut here ]------------
> [ 0.818405] ODEBUG: active_state active (active state 1) object type: rcu_head hint: 0x0
> [ 0.818421] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> [ 0.818424] Modules linked in:
> [ 0.818426] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #75
> [ 0.818428] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> [ 0.818430] RIP: 0010:debug_print_object+0xd8/0xf0
> [ 0.818432] Code: dd 40 9e 03 9d e8 48 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 40 9e 03 9d 4c 89 f6 48 c7 c7 c0 93 03 9d e8 f6 1a b1 00 <0f> f
> [ 0.818435] RSP: 0000:ffff88810033fac0 EFLAGS: 00010086
> [ 0.818437] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> [ 0.818438] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4a
> [ 0.818440] RBP: ffff88810033faf0 R08: ffffffff9b50d898 R09: fffffbfff3bf5c6d
> [ 0.818441] R10: 0000000000000003 R11: fffffbfff3bf5c6c R12: 0000000000000001
> [ 0.818443] R13: ffffffff9ce769a0 R14: ffffffff9d039820 R15: 0000000000000000
> [ 0.818445] FS: 0000000000000000(0000) GS:ffff888158880000(0000) knlGS:0000000000000000
> [ 0.818448] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> [ 0.818449] CR2: 0000000000000000 CR3: 000000017600e000 CR4: 00000000001506e0
> [ 0.818451] Call Trace:
> [ 0.818452] <TASK>
> [ 0.818453] debug_object_active_state+0x1d6/0x210
> [ 0.818456] ? debug_object_deactivate+0x210/0x210
> [ 0.818460] ? __kasan_check_write+0x14/0x20
> [ 0.818464] call_rcu+0xb7/0x1110
> [ 0.818466] ? vprintk+0x4c/0x60
> [ 0.818469] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> [ 0.818472] ? strict_work_handler+0x70/0x70
> [ 0.818476] rcu_torture_init+0x18be/0x199e
> [ 0.818479] ? srcu_init+0x133/0x133
> [ 0.818482] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> [ 0.818486] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.818489] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.818492] ? srcu_init+0x133/0x133
> [ 0.818495] do_one_initcall+0xb3/0x300
> [ 0.818497] ? initcall_blacklisted+0x150/0x150
> [ 0.818500] ? parameq+0x70/0x90
> [ 0.818503] ? __kasan_check_read+0x11/0x20
> [ 0.818507] kernel_init_freeable+0x2b2/0x310
> [ 0.818510] ? rest_init+0xf0/0xf0
> [ 0.818513] kernel_init+0x1e/0x140
> [ 0.818515] ret_from_fork+0x22/0x30
> [ 0.818519] </TASK>
> [ 0.818520] ---[ end trace 0000000000000000 ]---
> [ 0.818521] rcu: call_rcu(): Double-freed CB 00000000e2817fcb->rcu_torture_leak_cb+0x0/0x10()!!! non-slab/vmalloc memory
>
>
> After apply this patch:
>
> [ 0.647048] ODEBUG: activate active (active state 0) object type: rcu_head hint: 0x0
> [ 0.647068] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> [ 0.647073] Modules linked in:
> [ 0.647075] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #77
> [ 0.647078] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> [ 0.647080] RIP: 0010:debug_print_object+0xd8/0xf0
> [ 0.647083] Code: dd 80 9d 43 a2 e8 38 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 80 9d 43 a2 4c 89 f6 48 c7 c7 00 93 43 a2 e8 f6 1a b1 00 <0f> 0b 83 05 7b 62f
> [ 0.647085] RSP: 0000:ffff88810033fad0 EFLAGS: 00010082
> [ 0.647088] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> [ 0.647090] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4c
> [ 0.647091] RBP: ffff88810033fb00 R08: ffffffffa090d898 R09: fffffbfff467586d
> [ 0.647093] R10: 0000000000000003 R11: fffffbfff467586c R12: 0000000000000000
> [ 0.647095] R13: ffffffffa22769a0 R14: ffffffffa24399c0 R15: 0000000000000000
> [ 0.647097] FS: 0000000000000000(0000) GS:ffff88815b880000(0000) knlGS:0000000000000000
> [ 0.647100] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> [ 0.647102] CR2: 0000000000000000 CR3: 000000002f20e000 CR4: 00000000001506e0
> [ 0.647104] Call Trace:
> [ 0.647104] <TASK>
> [ 0.647106] debug_object_activate+0x2b8/0x300
> [ 0.647110] ? debug_object_assert_init+0x220/0x220
> [ 0.647114] ? __kasan_check_write+0x14/0x20
> [ 0.647118] call_rcu+0x98/0x1100
> [ 0.647121] ? vprintk+0x4c/0x60
> [ 0.647125] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> [ 0.647129] ? strict_work_handler+0x50/0x50
> [ 0.647133] rcu_torture_init+0x18be/0x199e
> [ 0.647136] ? srcu_init+0x133/0x133
> [ 0.647140] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> [ 0.647144] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.647148] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.647151] ? srcu_init+0x133/0x133
> [ 0.647155] do_one_initcall+0xb3/0x300
> [ 0.647157] ? initcall_blacklisted+0x150/0x150
> [ 0.647160] ? parameq+0x70/0x90
> [ 0.647164] ? __kasan_check_read+0x11/0x20
> [ 0.647167] kernel_init_freeable+0x2b2/0x310
> [ 0.647171] ? rest_init+0xf0/0xf0
> [ 0.647174] kernel_init+0x1e/0x140
> [ 0.647177] ret_from_fork+0x22/0x30
> [ 0.647181] </TASK>
> [ 0.647182] ---[ end trace 0000000000000000 ]---
> [ 0.647184] rcu: call_rcu(): Double-freed CB 000000009a684b70->rcu_torture_leak_cb+0x0/0x10()!!! non-slab/vmalloc memory
>Very good, and thank you!
>
>Now suppose that someone passes a pointer to call_rcu(), but then invokes kfree() on that same object before the grace period ends.
>Is the offending kfree() flagged?
>
>If the CONFIG_DEBUG_OBJECTS_FREE is enabled, the debug_check_no_obj_freed() will check wether the object is activated in kfree() If is activated, also output callstack.
>
>__debug_check_no_obj_freed()
>{........
> switch (obj->state) {
> case ODEBUG_STATE_ACTIVE:
> descr = obj->descr;
> state = obj->state;
> _spin_unlock_irqrestore(&db->lock, flags);
> debug_print_object(obj, "free");
> }
>.........
>}
Hi Paul
The __debug_check_no_obj_freed() only check obj->state, don't care obj->astate,
the debug_object_active_state() is not necessary. If CONFIG_DEBUG_OBJECTS_FREE is not enabled,
the kfree() will directly release it without check obj state.
Any thoughts?
Thanks,
Zqiang
>Thanks,
>Zqiang
>
> Thanx, Paul
> Thanks,
> Zqiang
>
>
>
> > Thanx, Paul
> >
> > ---
> > kernel/rcu/rcu.h | 13 +------------
> > 1 file changed, 1 insertion(+), 12 deletions(-)
> >
> > diff --git a/kernel/rcu/rcu.h b/kernel/rcu/rcu.h index
> > 15b96f990774..0604ecd16627 100644
> > --- a/kernel/rcu/rcu.h
> > +++ b/kernel/rcu/rcu.h
> > @@ -179,27 +179,16 @@ static inline unsigned long rcu_seq_diff(unsigned long new, unsigned long old)
> > */
> >
> > #ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
> > -# define STATE_RCU_HEAD_READY 0
> > -# define STATE_RCU_HEAD_QUEUED 1
> >
> > extern const struct debug_obj_descr rcuhead_debug_descr;
> >
> > static inline int debug_rcu_head_queue(struct rcu_head *head) {
> > - int r1;
> > -
> > - r1 = debug_object_activate(head, &rcuhead_debug_descr);
> > - debug_object_active_state(head, &rcuhead_debug_descr,
> > - STATE_RCU_HEAD_READY,
> > - STATE_RCU_HEAD_QUEUED);
> > - return r1;
> > + return debug_object_activate(head, &rcuhead_debug_descr);
> > }
> >
> > static inline void debug_rcu_head_unqueue(struct rcu_head *head) {
> > - debug_object_active_state(head, &rcuhead_debug_descr,
> > - STATE_RCU_HEAD_QUEUED,
> > - STATE_RCU_HEAD_READY);
> > debug_object_deactivate(head, &rcuhead_debug_descr); }
> > #else /* !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
> > --
> > 2.25.1
> >
^ permalink raw reply [flat|nested] 12+ messages in thread
* RE: [PATCH] rcu: Remove debug_object_active_state() from debug_rcu_head_queue/unqueue()
2022-05-18 4:21 ` Zhang, Qiang1
@ 2022-05-25 23:33 ` Zhang, Qiang1
2022-05-26 18:17 ` Paul E. McKenney
0 siblings, 1 reply; 12+ messages in thread
From: Zhang, Qiang1 @ 2022-05-25 23:33 UTC (permalink / raw)
To: paulmck; +Cc: frederic, rcu, linux-kernel
On Fri, May 13, 2022 at 01:03:19AM +0000, Zhang, Qiang1 wrote:
> On Tue, May 10, 2022 at 11:07:48AM +0800, Zqiang wrote:
> > Currently, the double call_rcu() detected only need call
> > debug_object_activate() to check whether the rcu head object is
> > activated, the rcu head object usage state check is not necessary
> > and when call rcu_test_debug_objects() the
> > debug_object_active_state() will output same callstack as
> > debug_object_activate(). so remove
> > debug_object_active_state() to reduce the output of repeated callstack.
> >
> > Signed-off-by: Zqiang <qiang1.zhang@intel.com>
> >
> >Could you please post the output of the dmesg output of a failed check with your change?
> >
>
> Original output:
>
> [ 0.818279] ODEBUG: activate active (active state 1) object type: rcu_head hint: 0x0
> [ 0.818296] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> [ 0.818301] Modules linked in:
> [ 0.818304] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #75
> [ 0.818306] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> [ 0.818308] RIP: 0010:debug_print_object+0xd8/0xf0
> [ 0.818311] Code: dd 40 9e 03 9d e8 48 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 40 9e 03 9d 4c 89 f6 48 c7 c7 c0 93 03 9d e8 f6 1a b1 00 <0f> f
> [ 0.818313] RSP: 0000:ffff88810033fad0 EFLAGS: 00010082
> [ 0.818315] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> [ 0.818317] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4c
> [ 0.818319] RBP: ffff88810033fb00 R08: ffffffff9b50d898 R09: fffffbfff3bf5c6d
> [ 0.818320] R10: 0000000000000003 R11: fffffbfff3bf5c6c R12: 0000000000000001
> [ 0.818322] R13: ffffffff9ce769a0 R14: ffffffff9d039a80 R15: 0000000000000000
> [ 0.818324] FS: 0000000000000000(0000) GS:ffff888158880000(0000) knlGS:0000000000000000
> [ 0.818327] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> [ 0.818329] CR2: 0000000000000000 CR3: 000000017600e000 CR4: 00000000001506e0
> [ 0.818330] Call Trace:
> [ 0.818331] <TASK>
> [ 0.818333] debug_object_activate+0x2b8/0x300
> [ 0.818336] ? debug_object_assert_init+0x220/0x220
> [ 0.818340] ? __kasan_check_write+0x14/0x20
> [ 0.818343] call_rcu+0x98/0x1110
> [ 0.818347] ? vprintk+0x4c/0x60
> [ 0.818350] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> [ 0.818354] ? strict_work_handler+0x70/0x70
> [ 0.818357] rcu_torture_init+0x18be/0x199e
> [ 0.818361] ? srcu_init+0x133/0x133
> [ 0.818364] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> [ 0.818368] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.818371] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.818374] ? srcu_init+0x133/0x133
> [ 0.818377] do_one_initcall+0xb3/0x300
> [ 0.818380] ? initcall_blacklisted+0x150/0x150
> [ 0.818382] ? parameq+0x70/0x90
> [ 0.818385] ? __kasan_check_read+0x11/0x20
> [ 0.818389] kernel_init_freeable+0x2b2/0x310
> [ 0.818392] ? rest_init+0xf0/0xf0
> [ 0.818396] kernel_init+0x1e/0x140
> [ 0.818399] ret_from_fork+0x22/0x30
> [ 0.818402] </TASK>
> [ 0.818403] ---[ end trace 0000000000000000 ]---
> [ 0.818405] ------------[ cut here ]------------
> [ 0.818405] ODEBUG: active_state active (active state 1) object type: rcu_head hint: 0x0
> [ 0.818421] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> [ 0.818424] Modules linked in:
> [ 0.818426] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #75
> [ 0.818428] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> [ 0.818430] RIP: 0010:debug_print_object+0xd8/0xf0
> [ 0.818432] Code: dd 40 9e 03 9d e8 48 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 40 9e 03 9d 4c 89 f6 48 c7 c7 c0 93 03 9d e8 f6 1a b1 00 <0f> f
> [ 0.818435] RSP: 0000:ffff88810033fac0 EFLAGS: 00010086
> [ 0.818437] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> [ 0.818438] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4a
> [ 0.818440] RBP: ffff88810033faf0 R08: ffffffff9b50d898 R09: fffffbfff3bf5c6d
> [ 0.818441] R10: 0000000000000003 R11: fffffbfff3bf5c6c R12: 0000000000000001
> [ 0.818443] R13: ffffffff9ce769a0 R14: ffffffff9d039820 R15: 0000000000000000
> [ 0.818445] FS: 0000000000000000(0000) GS:ffff888158880000(0000) knlGS:0000000000000000
> [ 0.818448] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> [ 0.818449] CR2: 0000000000000000 CR3: 000000017600e000 CR4: 00000000001506e0
> [ 0.818451] Call Trace:
> [ 0.818452] <TASK>
> [ 0.818453] debug_object_active_state+0x1d6/0x210
> [ 0.818456] ? debug_object_deactivate+0x210/0x210
> [ 0.818460] ? __kasan_check_write+0x14/0x20
> [ 0.818464] call_rcu+0xb7/0x1110
> [ 0.818466] ? vprintk+0x4c/0x60
> [ 0.818469] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> [ 0.818472] ? strict_work_handler+0x70/0x70
> [ 0.818476] rcu_torture_init+0x18be/0x199e
> [ 0.818479] ? srcu_init+0x133/0x133
> [ 0.818482] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> [ 0.818486] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.818489] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.818492] ? srcu_init+0x133/0x133
> [ 0.818495] do_one_initcall+0xb3/0x300
> [ 0.818497] ? initcall_blacklisted+0x150/0x150
> [ 0.818500] ? parameq+0x70/0x90
> [ 0.818503] ? __kasan_check_read+0x11/0x20
> [ 0.818507] kernel_init_freeable+0x2b2/0x310
> [ 0.818510] ? rest_init+0xf0/0xf0
> [ 0.818513] kernel_init+0x1e/0x140
> [ 0.818515] ret_from_fork+0x22/0x30
> [ 0.818519] </TASK>
> [ 0.818520] ---[ end trace 0000000000000000 ]---
> [ 0.818521] rcu: call_rcu(): Double-freed CB 00000000e2817fcb->rcu_torture_leak_cb+0x0/0x10()!!! non-slab/vmalloc memory
>
>
> After apply this patch:
>
> [ 0.647048] ODEBUG: activate active (active state 0) object type: rcu_head hint: 0x0
> [ 0.647068] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> [ 0.647073] Modules linked in:
> [ 0.647075] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #77
> [ 0.647078] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> [ 0.647080] RIP: 0010:debug_print_object+0xd8/0xf0
> [ 0.647083] Code: dd 80 9d 43 a2 e8 38 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 80 9d 43 a2 4c 89 f6 48 c7 c7 00 93 43 a2 e8 f6 1a b1 00 <0f> 0b 83 05 7b 62f
> [ 0.647085] RSP: 0000:ffff88810033fad0 EFLAGS: 00010082
> [ 0.647088] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> [ 0.647090] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4c
> [ 0.647091] RBP: ffff88810033fb00 R08: ffffffffa090d898 R09: fffffbfff467586d
> [ 0.647093] R10: 0000000000000003 R11: fffffbfff467586c R12: 0000000000000000
> [ 0.647095] R13: ffffffffa22769a0 R14: ffffffffa24399c0 R15: 0000000000000000
> [ 0.647097] FS: 0000000000000000(0000) GS:ffff88815b880000(0000) knlGS:0000000000000000
> [ 0.647100] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> [ 0.647102] CR2: 0000000000000000 CR3: 000000002f20e000 CR4: 00000000001506e0
> [ 0.647104] Call Trace:
> [ 0.647104] <TASK>
> [ 0.647106] debug_object_activate+0x2b8/0x300
> [ 0.647110] ? debug_object_assert_init+0x220/0x220
> [ 0.647114] ? __kasan_check_write+0x14/0x20
> [ 0.647118] call_rcu+0x98/0x1100
> [ 0.647121] ? vprintk+0x4c/0x60
> [ 0.647125] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> [ 0.647129] ? strict_work_handler+0x50/0x50
> [ 0.647133] rcu_torture_init+0x18be/0x199e
> [ 0.647136] ? srcu_init+0x133/0x133
> [ 0.647140] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> [ 0.647144] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.647148] ? rcu_torture_barrier1cb+0x40/0x40
> [ 0.647151] ? srcu_init+0x133/0x133
> [ 0.647155] do_one_initcall+0xb3/0x300
> [ 0.647157] ? initcall_blacklisted+0x150/0x150
> [ 0.647160] ? parameq+0x70/0x90
> [ 0.647164] ? __kasan_check_read+0x11/0x20
> [ 0.647167] kernel_init_freeable+0x2b2/0x310
> [ 0.647171] ? rest_init+0xf0/0xf0
> [ 0.647174] kernel_init+0x1e/0x140
> [ 0.647177] ret_from_fork+0x22/0x30
> [ 0.647181] </TASK>
> [ 0.647182] ---[ end trace 0000000000000000 ]---
> [ 0.647184] rcu: call_rcu(): Double-freed CB 000000009a684b70->rcu_torture_leak_cb+0x0/0x10()!!! non-slab/vmalloc memory
>Very good, and thank you!
>
>Now suppose that someone passes a pointer to call_rcu(), but then invokes kfree() on that same object before the grace period ends.
>Is the offending kfree() flagged?
>
>If the CONFIG_DEBUG_OBJECTS_FREE is enabled, the debug_check_no_obj_freed() will check wether the object is activated in kfree() If is activated, also output callstack.
>
>__debug_check_no_obj_freed()
>{........
> switch (obj->state) {
> case ODEBUG_STATE_ACTIVE:
> descr = obj->descr;
> state = obj->state;
> _spin_unlock_irqrestore(&db->lock, flags);
> debug_print_object(obj, "free");
> }
>.........
>}
>
>Hi Paul
>
>The __debug_check_no_obj_freed() only check obj->state, don't care obj->astate, the debug_object_active_state() is not necessary. If CONFIG_DEBUG_OBJECTS_FREE is not enabled, the kfree() will directly release it without check obj state.
>
>Any thoughts?
>
>Thanks,
>Zqiang
Hi Paul
Sorry to bother you again, I think this change is still meaningful, or there is something I don't konw
if I can give you some suggestions, I will be happy to accept.
Thanks
Zqiang
>Thanks,
>Zqiang
>
> Thanx, Paul
> Thanks,
> Zqiang
>
>
>
> > Thanx, Paul
> >
> > ---
> > kernel/rcu/rcu.h | 13 +------------
> > 1 file changed, 1 insertion(+), 12 deletions(-)
> >
> > diff --git a/kernel/rcu/rcu.h b/kernel/rcu/rcu.h index
> > 15b96f990774..0604ecd16627 100644
> > --- a/kernel/rcu/rcu.h
> > +++ b/kernel/rcu/rcu.h
> > @@ -179,27 +179,16 @@ static inline unsigned long rcu_seq_diff(unsigned long new, unsigned long old)
> > */
> >
> > #ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
> > -# define STATE_RCU_HEAD_READY 0
> > -# define STATE_RCU_HEAD_QUEUED 1
> >
> > extern const struct debug_obj_descr rcuhead_debug_descr;
> >
> > static inline int debug_rcu_head_queue(struct rcu_head *head) {
> > - int r1;
> > -
> > - r1 = debug_object_activate(head, &rcuhead_debug_descr);
> > - debug_object_active_state(head, &rcuhead_debug_descr,
> > - STATE_RCU_HEAD_READY,
> > - STATE_RCU_HEAD_QUEUED);
> > - return r1;
> > + return debug_object_activate(head, &rcuhead_debug_descr);
> > }
> >
> > static inline void debug_rcu_head_unqueue(struct rcu_head *head) {
> > - debug_object_active_state(head, &rcuhead_debug_descr,
> > - STATE_RCU_HEAD_QUEUED,
> > - STATE_RCU_HEAD_READY);
> > debug_object_deactivate(head, &rcuhead_debug_descr); }
> > #else /* !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
> > --
> > 2.25.1
> >
^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: [PATCH] rcu: Remove debug_object_active_state() from debug_rcu_head_queue/unqueue()
2022-05-25 23:33 ` Zhang, Qiang1
@ 2022-05-26 18:17 ` Paul E. McKenney
2022-05-27 8:29 ` Zhang, Qiang1
0 siblings, 1 reply; 12+ messages in thread
From: Paul E. McKenney @ 2022-05-26 18:17 UTC (permalink / raw)
To: Zhang, Qiang1; +Cc: frederic, rcu, linux-kernel
On Wed, May 25, 2022 at 11:33:46PM +0000, Zhang, Qiang1 wrote:
> On Fri, May 13, 2022 at 01:03:19AM +0000, Zhang, Qiang1 wrote:
> > On Tue, May 10, 2022 at 11:07:48AM +0800, Zqiang wrote:
> > > Currently, the double call_rcu() detected only need call
> > > debug_object_activate() to check whether the rcu head object is
> > > activated, the rcu head object usage state check is not necessary
> > > and when call rcu_test_debug_objects() the
> > > debug_object_active_state() will output same callstack as
> > > debug_object_activate(). so remove
> > > debug_object_active_state() to reduce the output of repeated callstack.
> > >
> > > Signed-off-by: Zqiang <qiang1.zhang@intel.com>
> > >
> > >Could you please post the output of the dmesg output of a failed check with your change?
> > >
> >
> > Original output:
> >
> > [ 0.818279] ODEBUG: activate active (active state 1) object type: rcu_head hint: 0x0
> > [ 0.818296] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> > [ 0.818301] Modules linked in:
> > [ 0.818304] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #75
> > [ 0.818306] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> > [ 0.818308] RIP: 0010:debug_print_object+0xd8/0xf0
> > [ 0.818311] Code: dd 40 9e 03 9d e8 48 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 40 9e 03 9d 4c 89 f6 48 c7 c7 c0 93 03 9d e8 f6 1a b1 00 <0f> f
> > [ 0.818313] RSP: 0000:ffff88810033fad0 EFLAGS: 00010082
> > [ 0.818315] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> > [ 0.818317] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4c
> > [ 0.818319] RBP: ffff88810033fb00 R08: ffffffff9b50d898 R09: fffffbfff3bf5c6d
> > [ 0.818320] R10: 0000000000000003 R11: fffffbfff3bf5c6c R12: 0000000000000001
> > [ 0.818322] R13: ffffffff9ce769a0 R14: ffffffff9d039a80 R15: 0000000000000000
> > [ 0.818324] FS: 0000000000000000(0000) GS:ffff888158880000(0000) knlGS:0000000000000000
> > [ 0.818327] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> > [ 0.818329] CR2: 0000000000000000 CR3: 000000017600e000 CR4: 00000000001506e0
> > [ 0.818330] Call Trace:
> > [ 0.818331] <TASK>
> > [ 0.818333] debug_object_activate+0x2b8/0x300
> > [ 0.818336] ? debug_object_assert_init+0x220/0x220
> > [ 0.818340] ? __kasan_check_write+0x14/0x20
> > [ 0.818343] call_rcu+0x98/0x1110
> > [ 0.818347] ? vprintk+0x4c/0x60
> > [ 0.818350] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> > [ 0.818354] ? strict_work_handler+0x70/0x70
> > [ 0.818357] rcu_torture_init+0x18be/0x199e
> > [ 0.818361] ? srcu_init+0x133/0x133
> > [ 0.818364] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> > [ 0.818368] ? rcu_torture_barrier1cb+0x40/0x40
> > [ 0.818371] ? rcu_torture_barrier1cb+0x40/0x40
> > [ 0.818374] ? srcu_init+0x133/0x133
> > [ 0.818377] do_one_initcall+0xb3/0x300
> > [ 0.818380] ? initcall_blacklisted+0x150/0x150
> > [ 0.818382] ? parameq+0x70/0x90
> > [ 0.818385] ? __kasan_check_read+0x11/0x20
> > [ 0.818389] kernel_init_freeable+0x2b2/0x310
> > [ 0.818392] ? rest_init+0xf0/0xf0
> > [ 0.818396] kernel_init+0x1e/0x140
> > [ 0.818399] ret_from_fork+0x22/0x30
> > [ 0.818402] </TASK>
> > [ 0.818403] ---[ end trace 0000000000000000 ]---
> > [ 0.818405] ------------[ cut here ]------------
> > [ 0.818405] ODEBUG: active_state active (active state 1) object type: rcu_head hint: 0x0
> > [ 0.818421] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> > [ 0.818424] Modules linked in:
> > [ 0.818426] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #75
> > [ 0.818428] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> > [ 0.818430] RIP: 0010:debug_print_object+0xd8/0xf0
> > [ 0.818432] Code: dd 40 9e 03 9d e8 48 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 40 9e 03 9d 4c 89 f6 48 c7 c7 c0 93 03 9d e8 f6 1a b1 00 <0f> f
> > [ 0.818435] RSP: 0000:ffff88810033fac0 EFLAGS: 00010086
> > [ 0.818437] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> > [ 0.818438] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4a
> > [ 0.818440] RBP: ffff88810033faf0 R08: ffffffff9b50d898 R09: fffffbfff3bf5c6d
> > [ 0.818441] R10: 0000000000000003 R11: fffffbfff3bf5c6c R12: 0000000000000001
> > [ 0.818443] R13: ffffffff9ce769a0 R14: ffffffff9d039820 R15: 0000000000000000
> > [ 0.818445] FS: 0000000000000000(0000) GS:ffff888158880000(0000) knlGS:0000000000000000
> > [ 0.818448] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> > [ 0.818449] CR2: 0000000000000000 CR3: 000000017600e000 CR4: 00000000001506e0
> > [ 0.818451] Call Trace:
> > [ 0.818452] <TASK>
> > [ 0.818453] debug_object_active_state+0x1d6/0x210
> > [ 0.818456] ? debug_object_deactivate+0x210/0x210
> > [ 0.818460] ? __kasan_check_write+0x14/0x20
> > [ 0.818464] call_rcu+0xb7/0x1110
> > [ 0.818466] ? vprintk+0x4c/0x60
> > [ 0.818469] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> > [ 0.818472] ? strict_work_handler+0x70/0x70
> > [ 0.818476] rcu_torture_init+0x18be/0x199e
> > [ 0.818479] ? srcu_init+0x133/0x133
> > [ 0.818482] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> > [ 0.818486] ? rcu_torture_barrier1cb+0x40/0x40
> > [ 0.818489] ? rcu_torture_barrier1cb+0x40/0x40
> > [ 0.818492] ? srcu_init+0x133/0x133
> > [ 0.818495] do_one_initcall+0xb3/0x300
> > [ 0.818497] ? initcall_blacklisted+0x150/0x150
> > [ 0.818500] ? parameq+0x70/0x90
> > [ 0.818503] ? __kasan_check_read+0x11/0x20
> > [ 0.818507] kernel_init_freeable+0x2b2/0x310
> > [ 0.818510] ? rest_init+0xf0/0xf0
> > [ 0.818513] kernel_init+0x1e/0x140
> > [ 0.818515] ret_from_fork+0x22/0x30
> > [ 0.818519] </TASK>
> > [ 0.818520] ---[ end trace 0000000000000000 ]---
> > [ 0.818521] rcu: call_rcu(): Double-freed CB 00000000e2817fcb->rcu_torture_leak_cb+0x0/0x10()!!! non-slab/vmalloc memory
> >
> >
> > After apply this patch:
> >
> > [ 0.647048] ODEBUG: activate active (active state 0) object type: rcu_head hint: 0x0
> > [ 0.647068] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> > [ 0.647073] Modules linked in:
> > [ 0.647075] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #77
> > [ 0.647078] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> > [ 0.647080] RIP: 0010:debug_print_object+0xd8/0xf0
> > [ 0.647083] Code: dd 80 9d 43 a2 e8 38 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 80 9d 43 a2 4c 89 f6 48 c7 c7 00 93 43 a2 e8 f6 1a b1 00 <0f> 0b 83 05 7b 62f
> > [ 0.647085] RSP: 0000:ffff88810033fad0 EFLAGS: 00010082
> > [ 0.647088] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> > [ 0.647090] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4c
> > [ 0.647091] RBP: ffff88810033fb00 R08: ffffffffa090d898 R09: fffffbfff467586d
> > [ 0.647093] R10: 0000000000000003 R11: fffffbfff467586c R12: 0000000000000000
> > [ 0.647095] R13: ffffffffa22769a0 R14: ffffffffa24399c0 R15: 0000000000000000
> > [ 0.647097] FS: 0000000000000000(0000) GS:ffff88815b880000(0000) knlGS:0000000000000000
> > [ 0.647100] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> > [ 0.647102] CR2: 0000000000000000 CR3: 000000002f20e000 CR4: 00000000001506e0
> > [ 0.647104] Call Trace:
> > [ 0.647104] <TASK>
> > [ 0.647106] debug_object_activate+0x2b8/0x300
> > [ 0.647110] ? debug_object_assert_init+0x220/0x220
> > [ 0.647114] ? __kasan_check_write+0x14/0x20
> > [ 0.647118] call_rcu+0x98/0x1100
> > [ 0.647121] ? vprintk+0x4c/0x60
> > [ 0.647125] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> > [ 0.647129] ? strict_work_handler+0x50/0x50
> > [ 0.647133] rcu_torture_init+0x18be/0x199e
> > [ 0.647136] ? srcu_init+0x133/0x133
> > [ 0.647140] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> > [ 0.647144] ? rcu_torture_barrier1cb+0x40/0x40
> > [ 0.647148] ? rcu_torture_barrier1cb+0x40/0x40
> > [ 0.647151] ? srcu_init+0x133/0x133
> > [ 0.647155] do_one_initcall+0xb3/0x300
> > [ 0.647157] ? initcall_blacklisted+0x150/0x150
> > [ 0.647160] ? parameq+0x70/0x90
> > [ 0.647164] ? __kasan_check_read+0x11/0x20
> > [ 0.647167] kernel_init_freeable+0x2b2/0x310
> > [ 0.647171] ? rest_init+0xf0/0xf0
> > [ 0.647174] kernel_init+0x1e/0x140
> > [ 0.647177] ret_from_fork+0x22/0x30
> > [ 0.647181] </TASK>
> > [ 0.647182] ---[ end trace 0000000000000000 ]---
> > [ 0.647184] rcu: call_rcu(): Double-freed CB 000000009a684b70->rcu_torture_leak_cb+0x0/0x10()!!! non-slab/vmalloc memory
>
> >Very good, and thank you!
> >
> >Now suppose that someone passes a pointer to call_rcu(), but then invokes kfree() on that same object before the grace period ends.
> >Is the offending kfree() flagged?
> >
> >If the CONFIG_DEBUG_OBJECTS_FREE is enabled, the debug_check_no_obj_freed() will check wether the object is activated in kfree() If is activated, also output callstack.
> >
> >__debug_check_no_obj_freed()
> >{........
> > switch (obj->state) {
> > case ODEBUG_STATE_ACTIVE:
> > descr = obj->descr;
> > state = obj->state;
> > _spin_unlock_irqrestore(&db->lock, flags);
> > debug_print_object(obj, "free");
> > }
> >.........
> >}
> >
> >Hi Paul
> >
> >The __debug_check_no_obj_freed() only check obj->state, don't care obj->astate, the debug_object_active_state() is not necessary. If CONFIG_DEBUG_OBJECTS_FREE is not enabled, the kfree() will directly release it without check obj state.
> >
> >Any thoughts?
> >
> >Thanks,
> >Zqiang
>
> Hi Paul
>
> Sorry to bother you again, I think this change is still meaningful, or there is something I don't konw
> if I can give you some suggestions, I will be happy to accept.
My concern with this patch is that there might be some odd scenario
somewhere in which valuable debugging information is lost. Unfortunately,
I haven't had time to fully explore the space of possible sequences of
double-free and use-after-free bugs.
It -might- be OK, but I cannot prove it. Thoughts?
Thanx, Paul
> Thanks
> Zqiang
>
>
> >Thanks,
> >Zqiang
>
> >
> > Thanx, Paul
>
> > Thanks,
> > Zqiang
> >
> >
> >
> > > Thanx, Paul
> > >
> > > ---
> > > kernel/rcu/rcu.h | 13 +------------
> > > 1 file changed, 1 insertion(+), 12 deletions(-)
> > >
> > > diff --git a/kernel/rcu/rcu.h b/kernel/rcu/rcu.h index
> > > 15b96f990774..0604ecd16627 100644
> > > --- a/kernel/rcu/rcu.h
> > > +++ b/kernel/rcu/rcu.h
> > > @@ -179,27 +179,16 @@ static inline unsigned long rcu_seq_diff(unsigned long new, unsigned long old)
> > > */
> > >
> > > #ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
> > > -# define STATE_RCU_HEAD_READY 0
> > > -# define STATE_RCU_HEAD_QUEUED 1
> > >
> > > extern const struct debug_obj_descr rcuhead_debug_descr;
> > >
> > > static inline int debug_rcu_head_queue(struct rcu_head *head) {
> > > - int r1;
> > > -
> > > - r1 = debug_object_activate(head, &rcuhead_debug_descr);
> > > - debug_object_active_state(head, &rcuhead_debug_descr,
> > > - STATE_RCU_HEAD_READY,
> > > - STATE_RCU_HEAD_QUEUED);
> > > - return r1;
> > > + return debug_object_activate(head, &rcuhead_debug_descr);
> > > }
> > >
> > > static inline void debug_rcu_head_unqueue(struct rcu_head *head) {
> > > - debug_object_active_state(head, &rcuhead_debug_descr,
> > > - STATE_RCU_HEAD_QUEUED,
> > > - STATE_RCU_HEAD_READY);
> > > debug_object_deactivate(head, &rcuhead_debug_descr); }
> > > #else /* !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
> > > --
> > > 2.25.1
> > >
^ permalink raw reply [flat|nested] 12+ messages in thread
* RE: [PATCH] rcu: Remove debug_object_active_state() from debug_rcu_head_queue/unqueue()
2022-05-26 18:17 ` Paul E. McKenney
@ 2022-05-27 8:29 ` Zhang, Qiang1
2022-05-27 8:34 ` Zhang, Qiang1
0 siblings, 1 reply; 12+ messages in thread
From: Zhang, Qiang1 @ 2022-05-27 8:29 UTC (permalink / raw)
To: paulmck; +Cc: frederic, rcu, linux-kernel
On Wed, May 25, 2022 at 11:33:46PM +0000, Zhang, Qiang1 wrote:
> On Fri, May 13, 2022 at 01:03:19AM +0000, Zhang, Qiang1 wrote:
> > On Tue, May 10, 2022 at 11:07:48AM +0800, Zqiang wrote:
> > > Currently, the double call_rcu() detected only need call
> > > debug_object_activate() to check whether the rcu head object is
> > > activated, the rcu head object usage state check is not necessary
> > > and when call rcu_test_debug_objects() the
> > > debug_object_active_state() will output same callstack as
> > > debug_object_activate(). so remove
> > > debug_object_active_state() to reduce the output of repeated callstack.
> > >
> > > Signed-off-by: Zqiang <qiang1.zhang@intel.com>
> > >
> > >Could you please post the output of the dmesg output of a failed check with your change?
> > >
> >
> > Original output:
> >
> > [ 0.818279] ODEBUG: activate active (active state 1) object type: rcu_head hint: 0x0
> > [ 0.818296] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> > [ 0.818301] Modules linked in:
> > [ 0.818304] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #75
> > [ 0.818306] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> > [ 0.818308] RIP: 0010:debug_print_object+0xd8/0xf0
> > [ 0.818311] Code: dd 40 9e 03 9d e8 48 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 40 9e 03 9d 4c 89 f6 48 c7 c7 c0 93 03 9d e8 f6 1a b1 00 <0f> f
> > [ 0.818313] RSP: 0000:ffff88810033fad0 EFLAGS: 00010082
> > [ 0.818315] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> > [ 0.818317] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4c
> > [ 0.818319] RBP: ffff88810033fb00 R08: ffffffff9b50d898 R09: fffffbfff3bf5c6d
> > [ 0.818320] R10: 0000000000000003 R11: fffffbfff3bf5c6c R12: 0000000000000001
> > [ 0.818322] R13: ffffffff9ce769a0 R14: ffffffff9d039a80 R15: 0000000000000000
> > [ 0.818324] FS: 0000000000000000(0000) GS:ffff888158880000(0000) knlGS:0000000000000000
> > [ 0.818327] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> > [ 0.818329] CR2: 0000000000000000 CR3: 000000017600e000 CR4: 00000000001506e0
> > [ 0.818330] Call Trace:
> > [ 0.818331] <TASK>
> > [ 0.818333] debug_object_activate+0x2b8/0x300
> > [ 0.818336] ? debug_object_assert_init+0x220/0x220
> > [ 0.818340] ? __kasan_check_write+0x14/0x20
> > [ 0.818343] call_rcu+0x98/0x1110
> > [ 0.818347] ? vprintk+0x4c/0x60
> > [ 0.818350] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> > [ 0.818354] ? strict_work_handler+0x70/0x70
> > [ 0.818357] rcu_torture_init+0x18be/0x199e
> > [ 0.818361] ? srcu_init+0x133/0x133
> > [ 0.818364] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> > [ 0.818368] ? rcu_torture_barrier1cb+0x40/0x40
> > [ 0.818371] ? rcu_torture_barrier1cb+0x40/0x40
> > [ 0.818374] ? srcu_init+0x133/0x133
> > [ 0.818377] do_one_initcall+0xb3/0x300
> > [ 0.818380] ? initcall_blacklisted+0x150/0x150
> > [ 0.818382] ? parameq+0x70/0x90
> > [ 0.818385] ? __kasan_check_read+0x11/0x20
> > [ 0.818389] kernel_init_freeable+0x2b2/0x310
> > [ 0.818392] ? rest_init+0xf0/0xf0
> > [ 0.818396] kernel_init+0x1e/0x140
> > [ 0.818399] ret_from_fork+0x22/0x30
> > [ 0.818402] </TASK>
> > [ 0.818403] ---[ end trace 0000000000000000 ]---
> > [ 0.818405] ------------[ cut here ]------------
> > [ 0.818405] ODEBUG: active_state active (active state 1) object type: rcu_head hint: 0x0
> > [ 0.818421] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> > [ 0.818424] Modules linked in:
> > [ 0.818426] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #75
> > [ 0.818428] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> > [ 0.818430] RIP: 0010:debug_print_object+0xd8/0xf0
> > [ 0.818432] Code: dd 40 9e 03 9d e8 48 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 40 9e 03 9d 4c 89 f6 48 c7 c7 c0 93 03 9d e8 f6 1a b1 00 <0f> f
> > [ 0.818435] RSP: 0000:ffff88810033fac0 EFLAGS: 00010086
> > [ 0.818437] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> > [ 0.818438] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4a
> > [ 0.818440] RBP: ffff88810033faf0 R08: ffffffff9b50d898 R09: fffffbfff3bf5c6d
> > [ 0.818441] R10: 0000000000000003 R11: fffffbfff3bf5c6c R12: 0000000000000001
> > [ 0.818443] R13: ffffffff9ce769a0 R14: ffffffff9d039820 R15: 0000000000000000
> > [ 0.818445] FS: 0000000000000000(0000) GS:ffff888158880000(0000) knlGS:0000000000000000
> > [ 0.818448] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> > [ 0.818449] CR2: 0000000000000000 CR3: 000000017600e000 CR4: 00000000001506e0
> > [ 0.818451] Call Trace:
> > [ 0.818452] <TASK>
> > [ 0.818453] debug_object_active_state+0x1d6/0x210
> > [ 0.818456] ? debug_object_deactivate+0x210/0x210
> > [ 0.818460] ? __kasan_check_write+0x14/0x20
> > [ 0.818464] call_rcu+0xb7/0x1110
> > [ 0.818466] ? vprintk+0x4c/0x60
> > [ 0.818469] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> > [ 0.818472] ? strict_work_handler+0x70/0x70
> > [ 0.818476] rcu_torture_init+0x18be/0x199e
> > [ 0.818479] ? srcu_init+0x133/0x133
> > [ 0.818482] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> > [ 0.818486] ? rcu_torture_barrier1cb+0x40/0x40
> > [ 0.818489] ? rcu_torture_barrier1cb+0x40/0x40
> > [ 0.818492] ? srcu_init+0x133/0x133
> > [ 0.818495] do_one_initcall+0xb3/0x300
> > [ 0.818497] ? initcall_blacklisted+0x150/0x150
> > [ 0.818500] ? parameq+0x70/0x90
> > [ 0.818503] ? __kasan_check_read+0x11/0x20
> > [ 0.818507] kernel_init_freeable+0x2b2/0x310
> > [ 0.818510] ? rest_init+0xf0/0xf0
> > [ 0.818513] kernel_init+0x1e/0x140
> > [ 0.818515] ret_from_fork+0x22/0x30
> > [ 0.818519] </TASK>
> > [ 0.818520] ---[ end trace 0000000000000000 ]---
> > [ 0.818521] rcu: call_rcu(): Double-freed CB 00000000e2817fcb->rcu_torture_leak_cb+0x0/0x10()!!! non-slab/vmalloc memory
> >
> >
> > After apply this patch:
> >
> > [ 0.647048] ODEBUG: activate active (active state 0) object type: rcu_head hint: 0x0
> > [ 0.647068] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> > [ 0.647073] Modules linked in:
> > [ 0.647075] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #77
> > [ 0.647078] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> > [ 0.647080] RIP: 0010:debug_print_object+0xd8/0xf0
> > [ 0.647083] Code: dd 80 9d 43 a2 e8 38 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 80 9d 43 a2 4c 89 f6 48 c7 c7 00 93 43 a2 e8 f6 1a b1 00 <0f> 0b 83 05 7b 62f
> > [ 0.647085] RSP: 0000:ffff88810033fad0 EFLAGS: 00010082
> > [ 0.647088] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> > [ 0.647090] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4c
> > [ 0.647091] RBP: ffff88810033fb00 R08: ffffffffa090d898 R09: fffffbfff467586d
> > [ 0.647093] R10: 0000000000000003 R11: fffffbfff467586c R12: 0000000000000000
> > [ 0.647095] R13: ffffffffa22769a0 R14: ffffffffa24399c0 R15: 0000000000000000
> > [ 0.647097] FS: 0000000000000000(0000) GS:ffff88815b880000(0000) knlGS:0000000000000000
> > [ 0.647100] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> > [ 0.647102] CR2: 0000000000000000 CR3: 000000002f20e000 CR4: 00000000001506e0
> > [ 0.647104] Call Trace:
> > [ 0.647104] <TASK>
> > [ 0.647106] debug_object_activate+0x2b8/0x300
> > [ 0.647110] ? debug_object_assert_init+0x220/0x220
> > [ 0.647114] ? __kasan_check_write+0x14/0x20
> > [ 0.647118] call_rcu+0x98/0x1100
> > [ 0.647121] ? vprintk+0x4c/0x60
> > [ 0.647125] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> > [ 0.647129] ? strict_work_handler+0x50/0x50
> > [ 0.647133] rcu_torture_init+0x18be/0x199e
> > [ 0.647136] ? srcu_init+0x133/0x133
> > [ 0.647140] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> > [ 0.647144] ? rcu_torture_barrier1cb+0x40/0x40
> > [ 0.647148] ? rcu_torture_barrier1cb+0x40/0x40
> > [ 0.647151] ? srcu_init+0x133/0x133
> > [ 0.647155] do_one_initcall+0xb3/0x300
> > [ 0.647157] ? initcall_blacklisted+0x150/0x150
> > [ 0.647160] ? parameq+0x70/0x90
> > [ 0.647164] ? __kasan_check_read+0x11/0x20
> > [ 0.647167] kernel_init_freeable+0x2b2/0x310
> > [ 0.647171] ? rest_init+0xf0/0xf0
> > [ 0.647174] kernel_init+0x1e/0x140
> > [ 0.647177] ret_from_fork+0x22/0x30
> > [ 0.647181] </TASK>
> > [ 0.647182] ---[ end trace 0000000000000000 ]---
> > [ 0.647184] rcu: call_rcu(): Double-freed CB 000000009a684b70->rcu_torture_leak_cb+0x0/0x10()!!! non-slab/vmalloc memory
>
> >Very good, and thank you!
> >
> >Now suppose that someone passes a pointer to call_rcu(), but then invokes kfree() on that same object before the grace period ends.
> >Is the offending kfree() flagged?
> >
> >If the CONFIG_DEBUG_OBJECTS_FREE is enabled, the debug_check_no_obj_freed() will check wether the object is activated in kfree() If is activated, also output callstack.
> >
> >__debug_check_no_obj_freed()
> >{........
> > switch (obj->state) {
> > case ODEBUG_STATE_ACTIVE:
> > descr = obj->descr;
> > state = obj->state;
> > _spin_unlock_irqrestore(&db->lock, flags);
> > debug_print_object(obj, "free");
> > }
> >.........
> >}
> >
> >Hi Paul
> >
> >The __debug_check_no_obj_freed() only check obj->state, don't care obj->astate, the debug_object_active_state() is not necessary. If CONFIG_DEBUG_OBJECTS_FREE is not enabled, the kfree() will directly release it without check obj state.
> >
> >Any thoughts?
> >
> >Thanks,
> >Zqiang
>
> Hi Paul
>
> Sorry to bother you again, I think this change is still meaningful, or there is something I don't konw
> if I can give you some suggestions, I will be happy to accept.
>My concern with this patch is that there might be some odd scenario
somewhere in which valuable debugging information is lost. Unfortunately,
>I haven't had time to fully explore the space of possible sequences of
>double-free and use-after-free bugs.
>
>It -might- be OK, but I cannot prove it. Thoughts?
If CONFIG_DEBUG_OBJECTS_FREE is disabled, invokes kfree() to release pointer before the grace period ends,
kfree() will directly to release it, there are not call debug_check_no_obj_freed() to check this debug-object
corresponding to this pointer, when this pointer is checked before call RCU callback func, the debug_object_active_state()
and debug_object_activate() also trigger warnings.
However, if CONFIG_DEBUG_OBJECTS_FREE is enabled, when invokes kfree() to release pointer before the grace period ends.
We only check the state of the object(obj->state is set by debug_object_activate()) corresponding to this pointer, the obj->astate
Is not be checked, That's is one reason I remove debug_object_active_state(), and I found that few modules use this function.
Now there is another problem, set CONFIG_DEBUG_OBJECTS_FREE and CONFIG_DEBUG_OBJECTS_RCU_HEAD is enabled
I did a simple test like this:
struct rcu_head *rhp = kmalloc(sizeof(*rhp), GFP_KERNEL);
preempt_disable();
rcu_read_lock();
local_irq_disable();
if (rhp) {
call_rcu(rhp, rcu_torture_err_cb);
}
local_irq_enable();
rcu_read_unlock();
preempt_enable();
kfree(rhp);
the follow warning are triggered,
ODEBUG: free active (active state 1) object type: rcu_head hint: 0x0
[ 1.255220] debug_check_no_obj_freed+0x248/0x280
[ 1.255238] kfree+0x12d/0x610
[ 1.255253] rcu_torture_init+0x16e1/0x1741
[ 1.255305] do_one_initcall+0xe5/0x440
[ 1.255349] kernel_init_freeable+0x342/0x3a0
[ 1.255366] kernel_init+0x1e/0x140
[ 1.255373] ret_from_fork+0x22/0x30
The code shows that if obj->state is always STATE_ACTIVE, there will be a loop, until rcu callback is invoked
set this obj->state = STATE_INACTIVE. after that this loop ends. If we invoke kfree() in preempt_disable/enable()
critical sections before grace period ends, it may be trigger RCU Stall. So maybe we should add fixup_free functions
to rcuhead_debug_descr, In fixup_free function, set obj->state is STATE_INACTIVE and set rcu_callback func is rcu_leak_callback()
to fix this problem.
static void __debug_check_no_obj_freed(const void *address, unsigned long size)
{
.. ........................
for (;chunks > 0; chunks--, paddr += ODEBUG_CHUNK_SIZE) {
db = get_bucket(paddr);
repeat:
cnt = 0;
raw_spin_lock_irqsave(&db->lock, flags);
hlist_for_each_entry_safe(obj, tmp, &db->list, node) {
cnt++;
oaddr = (unsigned long) obj->object;
if (oaddr < saddr || oaddr >= eaddr)
continue;
switch (obj->state) {
case ODEBUG_STATE_ACTIVE:
descr = obj->descr;
state = obj->state;
raw_spin_unlock_irqrestore(&db->lock, flags);
debug_print_object(obj, "free");
debug_object_fixup(descr->fixup_free,
(void *) oaddr, state);
goto repeat;
...............................
}
Thanks
Zqiang
> Thanx, Paul
> Thanks
> Zqiang
>
>
> >Thanks,
> >Zqiang
>
> >
> > Thanx, Paul
>
> > Thanks,
> > Zqiang
> >
> >
> >
> > > Thanx, Paul
> > >
> > > ---
> > > kernel/rcu/rcu.h | 13 +------------
> > > 1 file changed, 1 insertion(+), 12 deletions(-)
> > >
> > > diff --git a/kernel/rcu/rcu.h b/kernel/rcu/rcu.h index
> > > 15b96f990774..0604ecd16627 100644
> > > --- a/kernel/rcu/rcu.h
> > > +++ b/kernel/rcu/rcu.h
> > > @@ -179,27 +179,16 @@ static inline unsigned long rcu_seq_diff(unsigned long new, unsigned long old)
> > > */
> > >
> > > #ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
> > > -# define STATE_RCU_HEAD_READY 0
> > > -# define STATE_RCU_HEAD_QUEUED 1
> > >
> > > extern const struct debug_obj_descr rcuhead_debug_descr;
> > >
> > > static inline int debug_rcu_head_queue(struct rcu_head *head) {
> > > - int r1;
> > > -
> > > - r1 = debug_object_activate(head, &rcuhead_debug_descr);
> > > - debug_object_active_state(head, &rcuhead_debug_descr,
> > > - STATE_RCU_HEAD_READY,
> > > - STATE_RCU_HEAD_QUEUED);
> > > - return r1;
> > > + return debug_object_activate(head, &rcuhead_debug_descr);
> > > }
> > >
> > > static inline void debug_rcu_head_unqueue(struct rcu_head *head) {
> > > - debug_object_active_state(head, &rcuhead_debug_descr,
> > > - STATE_RCU_HEAD_QUEUED,
> > > - STATE_RCU_HEAD_READY);
> > > debug_object_deactivate(head, &rcuhead_debug_descr); }
> > > #else /* !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
> > > --
> > > 2.25.1
> > >
^ permalink raw reply [flat|nested] 12+ messages in thread
* RE: [PATCH] rcu: Remove debug_object_active_state() from debug_rcu_head_queue/unqueue()
2022-05-27 8:29 ` Zhang, Qiang1
@ 2022-05-27 8:34 ` Zhang, Qiang1
2022-06-16 23:08 ` Paul E. McKenney
0 siblings, 1 reply; 12+ messages in thread
From: Zhang, Qiang1 @ 2022-05-27 8:34 UTC (permalink / raw)
To: Zhang, Qiang1, paulmck; +Cc: frederic, rcu, linux-kernel
On Wed, May 25, 2022 at 11:33:46PM +0000, Zhang, Qiang1 wrote:
> On Fri, May 13, 2022 at 01:03:19AM +0000, Zhang, Qiang1 wrote:
> > On Tue, May 10, 2022 at 11:07:48AM +0800, Zqiang wrote:
> > > Currently, the double call_rcu() detected only need call
> > > debug_object_activate() to check whether the rcu head object is
> > > activated, the rcu head object usage state check is not necessary
> > > and when call rcu_test_debug_objects() the
> > > debug_object_active_state() will output same callstack as
> > > debug_object_activate(). so remove
> > > debug_object_active_state() to reduce the output of repeated callstack.
> > >
> > > Signed-off-by: Zqiang <qiang1.zhang@intel.com>
> > >
> > >Could you please post the output of the dmesg output of a failed check with your change?
> > >
> >
> > Original output:
> >
> > [ 0.818279] ODEBUG: activate active (active state 1) object type: rcu_head hint: 0x0
> > [ 0.818296] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> > [ 0.818301] Modules linked in:
> > [ 0.818304] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #75
> > [ 0.818306] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> > [ 0.818308] RIP: 0010:debug_print_object+0xd8/0xf0
> > [ 0.818311] Code: dd 40 9e 03 9d e8 48 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 40 9e 03 9d 4c 89 f6 48 c7 c7 c0 93 03 9d e8 f6 1a b1 00 <0f> f
> > [ 0.818313] RSP: 0000:ffff88810033fad0 EFLAGS: 00010082
> > [ 0.818315] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> > [ 0.818317] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4c
> > [ 0.818319] RBP: ffff88810033fb00 R08: ffffffff9b50d898 R09: fffffbfff3bf5c6d
> > [ 0.818320] R10: 0000000000000003 R11: fffffbfff3bf5c6c R12: 0000000000000001
> > [ 0.818322] R13: ffffffff9ce769a0 R14: ffffffff9d039a80 R15: 0000000000000000
> > [ 0.818324] FS: 0000000000000000(0000) GS:ffff888158880000(0000) knlGS:0000000000000000
> > [ 0.818327] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> > [ 0.818329] CR2: 0000000000000000 CR3: 000000017600e000 CR4: 00000000001506e0
> > [ 0.818330] Call Trace:
> > [ 0.818331] <TASK>
> > [ 0.818333] debug_object_activate+0x2b8/0x300
> > [ 0.818336] ? debug_object_assert_init+0x220/0x220
> > [ 0.818340] ? __kasan_check_write+0x14/0x20
> > [ 0.818343] call_rcu+0x98/0x1110
> > [ 0.818347] ? vprintk+0x4c/0x60
> > [ 0.818350] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> > [ 0.818354] ? strict_work_handler+0x70/0x70
> > [ 0.818357] rcu_torture_init+0x18be/0x199e
> > [ 0.818361] ? srcu_init+0x133/0x133
> > [ 0.818364] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> > [ 0.818368] ? rcu_torture_barrier1cb+0x40/0x40
> > [ 0.818371] ? rcu_torture_barrier1cb+0x40/0x40
> > [ 0.818374] ? srcu_init+0x133/0x133
> > [ 0.818377] do_one_initcall+0xb3/0x300
> > [ 0.818380] ? initcall_blacklisted+0x150/0x150
> > [ 0.818382] ? parameq+0x70/0x90
> > [ 0.818385] ? __kasan_check_read+0x11/0x20
> > [ 0.818389] kernel_init_freeable+0x2b2/0x310
> > [ 0.818392] ? rest_init+0xf0/0xf0
> > [ 0.818396] kernel_init+0x1e/0x140
> > [ 0.818399] ret_from_fork+0x22/0x30
> > [ 0.818402] </TASK>
> > [ 0.818403] ---[ end trace 0000000000000000 ]---
> > [ 0.818405] ------------[ cut here ]------------
> > [ 0.818405] ODEBUG: active_state active (active state 1) object type: rcu_head hint: 0x0
> > [ 0.818421] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> > [ 0.818424] Modules linked in:
> > [ 0.818426] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #75
> > [ 0.818428] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> > [ 0.818430] RIP: 0010:debug_print_object+0xd8/0xf0
> > [ 0.818432] Code: dd 40 9e 03 9d e8 48 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 40 9e 03 9d 4c 89 f6 48 c7 c7 c0 93 03 9d e8 f6 1a b1 00 <0f> f
> > [ 0.818435] RSP: 0000:ffff88810033fac0 EFLAGS: 00010086
> > [ 0.818437] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> > [ 0.818438] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4a
> > [ 0.818440] RBP: ffff88810033faf0 R08: ffffffff9b50d898 R09: fffffbfff3bf5c6d
> > [ 0.818441] R10: 0000000000000003 R11: fffffbfff3bf5c6c R12: 0000000000000001
> > [ 0.818443] R13: ffffffff9ce769a0 R14: ffffffff9d039820 R15: 0000000000000000
> > [ 0.818445] FS: 0000000000000000(0000) GS:ffff888158880000(0000) knlGS:0000000000000000
> > [ 0.818448] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> > [ 0.818449] CR2: 0000000000000000 CR3: 000000017600e000 CR4: 00000000001506e0
> > [ 0.818451] Call Trace:
> > [ 0.818452] <TASK>
> > [ 0.818453] debug_object_active_state+0x1d6/0x210
> > [ 0.818456] ? debug_object_deactivate+0x210/0x210
> > [ 0.818460] ? __kasan_check_write+0x14/0x20
> > [ 0.818464] call_rcu+0xb7/0x1110
> > [ 0.818466] ? vprintk+0x4c/0x60
> > [ 0.818469] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> > [ 0.818472] ? strict_work_handler+0x70/0x70
> > [ 0.818476] rcu_torture_init+0x18be/0x199e
> > [ 0.818479] ? srcu_init+0x133/0x133
> > [ 0.818482] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> > [ 0.818486] ? rcu_torture_barrier1cb+0x40/0x40
> > [ 0.818489] ? rcu_torture_barrier1cb+0x40/0x40
> > [ 0.818492] ? srcu_init+0x133/0x133
> > [ 0.818495] do_one_initcall+0xb3/0x300
> > [ 0.818497] ? initcall_blacklisted+0x150/0x150
> > [ 0.818500] ? parameq+0x70/0x90
> > [ 0.818503] ? __kasan_check_read+0x11/0x20
> > [ 0.818507] kernel_init_freeable+0x2b2/0x310
> > [ 0.818510] ? rest_init+0xf0/0xf0
> > [ 0.818513] kernel_init+0x1e/0x140
> > [ 0.818515] ret_from_fork+0x22/0x30
> > [ 0.818519] </TASK>
> > [ 0.818520] ---[ end trace 0000000000000000 ]---
> > [ 0.818521] rcu: call_rcu(): Double-freed CB 00000000e2817fcb->rcu_torture_leak_cb+0x0/0x10()!!! non-slab/vmalloc memory
> >
> >
> > After apply this patch:
> >
> > [ 0.647048] ODEBUG: activate active (active state 0) object type: rcu_head hint: 0x0
> > [ 0.647068] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> > [ 0.647073] Modules linked in:
> > [ 0.647075] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #77
> > [ 0.647078] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> > [ 0.647080] RIP: 0010:debug_print_object+0xd8/0xf0
> > [ 0.647083] Code: dd 80 9d 43 a2 e8 38 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 80 9d 43 a2 4c 89 f6 48 c7 c7 00 93 43 a2 e8 f6 1a b1 00 <0f> 0b 83 05 7b 62f
> > [ 0.647085] RSP: 0000:ffff88810033fad0 EFLAGS: 00010082
> > [ 0.647088] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> > [ 0.647090] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4c
> > [ 0.647091] RBP: ffff88810033fb00 R08: ffffffffa090d898 R09: fffffbfff467586d
> > [ 0.647093] R10: 0000000000000003 R11: fffffbfff467586c R12: 0000000000000000
> > [ 0.647095] R13: ffffffffa22769a0 R14: ffffffffa24399c0 R15: 0000000000000000
> > [ 0.647097] FS: 0000000000000000(0000) GS:ffff88815b880000(0000) knlGS:0000000000000000
> > [ 0.647100] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> > [ 0.647102] CR2: 0000000000000000 CR3: 000000002f20e000 CR4: 00000000001506e0
> > [ 0.647104] Call Trace:
> > [ 0.647104] <TASK>
> > [ 0.647106] debug_object_activate+0x2b8/0x300
> > [ 0.647110] ? debug_object_assert_init+0x220/0x220
> > [ 0.647114] ? __kasan_check_write+0x14/0x20
> > [ 0.647118] call_rcu+0x98/0x1100
> > [ 0.647121] ? vprintk+0x4c/0x60
> > [ 0.647125] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> > [ 0.647129] ? strict_work_handler+0x50/0x50
> > [ 0.647133] rcu_torture_init+0x18be/0x199e
> > [ 0.647136] ? srcu_init+0x133/0x133
> > [ 0.647140] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> > [ 0.647144] ? rcu_torture_barrier1cb+0x40/0x40
> > [ 0.647148] ? rcu_torture_barrier1cb+0x40/0x40
> > [ 0.647151] ? srcu_init+0x133/0x133
> > [ 0.647155] do_one_initcall+0xb3/0x300
> > [ 0.647157] ? initcall_blacklisted+0x150/0x150
> > [ 0.647160] ? parameq+0x70/0x90
> > [ 0.647164] ? __kasan_check_read+0x11/0x20
> > [ 0.647167] kernel_init_freeable+0x2b2/0x310
> > [ 0.647171] ? rest_init+0xf0/0xf0
> > [ 0.647174] kernel_init+0x1e/0x140
> > [ 0.647177] ret_from_fork+0x22/0x30
> > [ 0.647181] </TASK>
> > [ 0.647182] ---[ end trace 0000000000000000 ]---
> > [ 0.647184] rcu: call_rcu(): Double-freed CB 000000009a684b70->rcu_torture_leak_cb+0x0/0x10()!!! non-slab/vmalloc memory
>
> >Very good, and thank you!
> >
> >Now suppose that someone passes a pointer to call_rcu(), but then invokes kfree() on that same object before the grace period ends.
> >Is the offending kfree() flagged?
> >
> >If the CONFIG_DEBUG_OBJECTS_FREE is enabled, the debug_check_no_obj_freed() will check wether the object is activated in kfree() If is activated, also output callstack.
> >
> >__debug_check_no_obj_freed()
> >{........
> > switch (obj->state) {
> > case ODEBUG_STATE_ACTIVE:
> > descr = obj->descr;
> > state = obj->state;
> > _spin_unlock_irqrestore(&db->lock, flags);
> > debug_print_object(obj, "free");
> > }
> >.........
> >}
> >
> >Hi Paul
> >
> >The __debug_check_no_obj_freed() only check obj->state, don't care obj->astate, the debug_object_active_state() is not necessary. If CONFIG_DEBUG_OBJECTS_FREE is not enabled, the kfree() will directly release it without check obj state.
> >
> >Any thoughts?
> >
> >Thanks,
> >Zqiang
>
> Hi Paul
>
> Sorry to bother you again, I think this change is still meaningful, or
> there is something I don't konw if I can give you some suggestions, I will be happy to accept.
>My concern with this patch is that there might be some odd scenario
somewhere in which valuable debugging information is lost. Unfortunately,
>I haven't had time to fully explore the space of possible sequences of
>double-free and use-after-free bugs.
>
>It -might- be OK, but I cannot prove it. Thoughts?
If CONFIG_DEBUG_OBJECTS_FREE is disabled, invokes kfree() to release pointer before the grace period ends,
kfree() will directly to release it, there are not call debug_check_no_obj_freed() to check this debug-object corresponding to this pointer, when this pointer is checked before call RCU callback func, the debug_object_active_state() and debug_object_activate() is not trigger warnings. because this object state is correct.
However, if CONFIG_DEBUG_OBJECTS_FREE is enabled, when invokes kfree() to release pointer before the grace period ends.
We only check the state of the object(obj->state is set by debug_object_activate()) corresponding to this pointer, the obj->astate Is not be checked, That's is one reason I remove debug_object_active_state(), and I found that few modules use this function.
Now there is another problem, set CONFIG_DEBUG_OBJECTS_FREE and CONFIG_DEBUG_OBJECTS_RCU_HEAD is enabled I did a simple test like this:
struct rcu_head *rhp = kmalloc(sizeof(*rhp), GFP_KERNEL);
preempt_disable();
rcu_read_lock();
local_irq_disable();
if (rhp) {
call_rcu(rhp, rcu_torture_err_cb);
}
local_irq_enable();
rcu_read_unlock();
preempt_enable();
kfree(rhp);
the follow warning are triggered,
ODEBUG: free active (active state 1) object type: rcu_head hint: 0x0
[ 1.255220] debug_check_no_obj_freed+0x248/0x280
[ 1.255238] kfree+0x12d/0x610
[ 1.255253] rcu_torture_init+0x16e1/0x1741
[ 1.255305] do_one_initcall+0xe5/0x440
[ 1.255349] kernel_init_freeable+0x342/0x3a0
[ 1.255366] kernel_init+0x1e/0x140
[ 1.255373] ret_from_fork+0x22/0x30
The code shows that if obj->state is always STATE_ACTIVE, there will be a loop, until rcu callback is invoked set this obj->state = STATE_INACTIVE. after that this loop ends. If we invoke kfree() in preempt_disable/enable() critical sections before grace period ends, it may be trigger RCU Stall. So maybe we should add fixup_free functions to rcuhead_debug_descr, In fixup_free function, set obj->state is STATE_INACTIVE and set rcu_callback func is rcu_leak_callback() to fix this problem.
static void __debug_check_no_obj_freed(const void *address, unsigned long size) {
.. ........................
for (;chunks > 0; chunks--, paddr += ODEBUG_CHUNK_SIZE) {
db = get_bucket(paddr);
repeat:
cnt = 0;
raw_spin_lock_irqsave(&db->lock, flags);
hlist_for_each_entry_safe(obj, tmp, &db->list, node) {
cnt++;
oaddr = (unsigned long) obj->object;
if (oaddr < saddr || oaddr >= eaddr)
continue;
switch (obj->state) {
case ODEBUG_STATE_ACTIVE:
descr = obj->descr;
state = obj->state;
raw_spin_unlock_irqrestore(&db->lock, flags);
debug_print_object(obj, "free");
debug_object_fixup(descr->fixup_free,
(void *) oaddr, state);
goto repeat; ...............................
}
Thanks
Zqiang
> Thanx, Paul
> Thanks
> Zqiang
>
>
> >Thanks,
> >Zqiang
>
> >
> > Thanx, Paul
>
> > Thanks,
> > Zqiang
> >
> >
> >
> > > Thanx, Paul
> > >
> > > ---
> > > kernel/rcu/rcu.h | 13 +------------
> > > 1 file changed, 1 insertion(+), 12 deletions(-)
> > >
> > > diff --git a/kernel/rcu/rcu.h b/kernel/rcu/rcu.h index
> > > 15b96f990774..0604ecd16627 100644
> > > --- a/kernel/rcu/rcu.h
> > > +++ b/kernel/rcu/rcu.h
> > > @@ -179,27 +179,16 @@ static inline unsigned long rcu_seq_diff(unsigned long new, unsigned long old)
> > > */
> > >
> > > #ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
> > > -# define STATE_RCU_HEAD_READY 0
> > > -# define STATE_RCU_HEAD_QUEUED 1
> > >
> > > extern const struct debug_obj_descr rcuhead_debug_descr;
> > >
> > > static inline int debug_rcu_head_queue(struct rcu_head *head) {
> > > - int r1;
> > > -
> > > - r1 = debug_object_activate(head, &rcuhead_debug_descr);
> > > - debug_object_active_state(head, &rcuhead_debug_descr,
> > > - STATE_RCU_HEAD_READY,
> > > - STATE_RCU_HEAD_QUEUED);
> > > - return r1;
> > > + return debug_object_activate(head, &rcuhead_debug_descr);
> > > }
> > >
> > > static inline void debug_rcu_head_unqueue(struct rcu_head *head) {
> > > - debug_object_active_state(head, &rcuhead_debug_descr,
> > > - STATE_RCU_HEAD_QUEUED,
> > > - STATE_RCU_HEAD_READY);
> > > debug_object_deactivate(head, &rcuhead_debug_descr); }
> > > #else /* !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
> > > --
> > > 2.25.1
> > >
^ permalink raw reply [flat|nested] 12+ messages in thread
* Re: [PATCH] rcu: Remove debug_object_active_state() from debug_rcu_head_queue/unqueue()
2022-05-27 8:34 ` Zhang, Qiang1
@ 2022-06-16 23:08 ` Paul E. McKenney
2022-06-17 2:29 ` Zhang, Qiang1
0 siblings, 1 reply; 12+ messages in thread
From: Paul E. McKenney @ 2022-06-16 23:08 UTC (permalink / raw)
To: Zhang, Qiang1; +Cc: frederic, rcu, linux-kernel
On Fri, May 27, 2022 at 08:34:20AM +0000, Zhang, Qiang1 wrote:
>
>
> On Wed, May 25, 2022 at 11:33:46PM +0000, Zhang, Qiang1 wrote:
> > On Fri, May 13, 2022 at 01:03:19AM +0000, Zhang, Qiang1 wrote:
> > > On Tue, May 10, 2022 at 11:07:48AM +0800, Zqiang wrote:
> > > > Currently, the double call_rcu() detected only need call
> > > > debug_object_activate() to check whether the rcu head object is
> > > > activated, the rcu head object usage state check is not necessary
> > > > and when call rcu_test_debug_objects() the
> > > > debug_object_active_state() will output same callstack as
> > > > debug_object_activate(). so remove
> > > > debug_object_active_state() to reduce the output of repeated callstack.
> > > >
> > > > Signed-off-by: Zqiang <qiang1.zhang@intel.com>
> > > >
> > > >Could you please post the output of the dmesg output of a failed check with your change?
> > > >
> > >
> > > Original output:
> > >
> > > [ 0.818279] ODEBUG: activate active (active state 1) object type: rcu_head hint: 0x0
> > > [ 0.818296] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> > > [ 0.818301] Modules linked in:
> > > [ 0.818304] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #75
> > > [ 0.818306] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> > > [ 0.818308] RIP: 0010:debug_print_object+0xd8/0xf0
> > > [ 0.818311] Code: dd 40 9e 03 9d e8 48 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 40 9e 03 9d 4c 89 f6 48 c7 c7 c0 93 03 9d e8 f6 1a b1 00 <0f> f
> > > [ 0.818313] RSP: 0000:ffff88810033fad0 EFLAGS: 00010082
> > > [ 0.818315] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> > > [ 0.818317] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4c
> > > [ 0.818319] RBP: ffff88810033fb00 R08: ffffffff9b50d898 R09: fffffbfff3bf5c6d
> > > [ 0.818320] R10: 0000000000000003 R11: fffffbfff3bf5c6c R12: 0000000000000001
> > > [ 0.818322] R13: ffffffff9ce769a0 R14: ffffffff9d039a80 R15: 0000000000000000
> > > [ 0.818324] FS: 0000000000000000(0000) GS:ffff888158880000(0000) knlGS:0000000000000000
> > > [ 0.818327] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> > > [ 0.818329] CR2: 0000000000000000 CR3: 000000017600e000 CR4: 00000000001506e0
> > > [ 0.818330] Call Trace:
> > > [ 0.818331] <TASK>
> > > [ 0.818333] debug_object_activate+0x2b8/0x300
> > > [ 0.818336] ? debug_object_assert_init+0x220/0x220
> > > [ 0.818340] ? __kasan_check_write+0x14/0x20
> > > [ 0.818343] call_rcu+0x98/0x1110
> > > [ 0.818347] ? vprintk+0x4c/0x60
> > > [ 0.818350] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> > > [ 0.818354] ? strict_work_handler+0x70/0x70
> > > [ 0.818357] rcu_torture_init+0x18be/0x199e
> > > [ 0.818361] ? srcu_init+0x133/0x133
> > > [ 0.818364] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> > > [ 0.818368] ? rcu_torture_barrier1cb+0x40/0x40
> > > [ 0.818371] ? rcu_torture_barrier1cb+0x40/0x40
> > > [ 0.818374] ? srcu_init+0x133/0x133
> > > [ 0.818377] do_one_initcall+0xb3/0x300
> > > [ 0.818380] ? initcall_blacklisted+0x150/0x150
> > > [ 0.818382] ? parameq+0x70/0x90
> > > [ 0.818385] ? __kasan_check_read+0x11/0x20
> > > [ 0.818389] kernel_init_freeable+0x2b2/0x310
> > > [ 0.818392] ? rest_init+0xf0/0xf0
> > > [ 0.818396] kernel_init+0x1e/0x140
> > > [ 0.818399] ret_from_fork+0x22/0x30
> > > [ 0.818402] </TASK>
> > > [ 0.818403] ---[ end trace 0000000000000000 ]---
> > > [ 0.818405] ------------[ cut here ]------------
> > > [ 0.818405] ODEBUG: active_state active (active state 1) object type: rcu_head hint: 0x0
> > > [ 0.818421] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> > > [ 0.818424] Modules linked in:
> > > [ 0.818426] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #75
> > > [ 0.818428] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> > > [ 0.818430] RIP: 0010:debug_print_object+0xd8/0xf0
> > > [ 0.818432] Code: dd 40 9e 03 9d e8 48 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 40 9e 03 9d 4c 89 f6 48 c7 c7 c0 93 03 9d e8 f6 1a b1 00 <0f> f
> > > [ 0.818435] RSP: 0000:ffff88810033fac0 EFLAGS: 00010086
> > > [ 0.818437] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> > > [ 0.818438] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4a
> > > [ 0.818440] RBP: ffff88810033faf0 R08: ffffffff9b50d898 R09: fffffbfff3bf5c6d
> > > [ 0.818441] R10: 0000000000000003 R11: fffffbfff3bf5c6c R12: 0000000000000001
> > > [ 0.818443] R13: ffffffff9ce769a0 R14: ffffffff9d039820 R15: 0000000000000000
> > > [ 0.818445] FS: 0000000000000000(0000) GS:ffff888158880000(0000) knlGS:0000000000000000
> > > [ 0.818448] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> > > [ 0.818449] CR2: 0000000000000000 CR3: 000000017600e000 CR4: 00000000001506e0
> > > [ 0.818451] Call Trace:
> > > [ 0.818452] <TASK>
> > > [ 0.818453] debug_object_active_state+0x1d6/0x210
> > > [ 0.818456] ? debug_object_deactivate+0x210/0x210
> > > [ 0.818460] ? __kasan_check_write+0x14/0x20
> > > [ 0.818464] call_rcu+0xb7/0x1110
> > > [ 0.818466] ? vprintk+0x4c/0x60
> > > [ 0.818469] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> > > [ 0.818472] ? strict_work_handler+0x70/0x70
> > > [ 0.818476] rcu_torture_init+0x18be/0x199e
> > > [ 0.818479] ? srcu_init+0x133/0x133
> > > [ 0.818482] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> > > [ 0.818486] ? rcu_torture_barrier1cb+0x40/0x40
> > > [ 0.818489] ? rcu_torture_barrier1cb+0x40/0x40
> > > [ 0.818492] ? srcu_init+0x133/0x133
> > > [ 0.818495] do_one_initcall+0xb3/0x300
> > > [ 0.818497] ? initcall_blacklisted+0x150/0x150
> > > [ 0.818500] ? parameq+0x70/0x90
> > > [ 0.818503] ? __kasan_check_read+0x11/0x20
> > > [ 0.818507] kernel_init_freeable+0x2b2/0x310
> > > [ 0.818510] ? rest_init+0xf0/0xf0
> > > [ 0.818513] kernel_init+0x1e/0x140
> > > [ 0.818515] ret_from_fork+0x22/0x30
> > > [ 0.818519] </TASK>
> > > [ 0.818520] ---[ end trace 0000000000000000 ]---
> > > [ 0.818521] rcu: call_rcu(): Double-freed CB 00000000e2817fcb->rcu_torture_leak_cb+0x0/0x10()!!! non-slab/vmalloc memory
> > >
> > >
> > > After apply this patch:
> > >
> > > [ 0.647048] ODEBUG: activate active (active state 0) object type: rcu_head hint: 0x0
> > > [ 0.647068] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> > > [ 0.647073] Modules linked in:
> > > [ 0.647075] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #77
> > > [ 0.647078] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> > > [ 0.647080] RIP: 0010:debug_print_object+0xd8/0xf0
> > > [ 0.647083] Code: dd 80 9d 43 a2 e8 38 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 80 9d 43 a2 4c 89 f6 48 c7 c7 00 93 43 a2 e8 f6 1a b1 00 <0f> 0b 83 05 7b 62f
> > > [ 0.647085] RSP: 0000:ffff88810033fad0 EFLAGS: 00010082
> > > [ 0.647088] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> > > [ 0.647090] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4c
> > > [ 0.647091] RBP: ffff88810033fb00 R08: ffffffffa090d898 R09: fffffbfff467586d
> > > [ 0.647093] R10: 0000000000000003 R11: fffffbfff467586c R12: 0000000000000000
> > > [ 0.647095] R13: ffffffffa22769a0 R14: ffffffffa24399c0 R15: 0000000000000000
> > > [ 0.647097] FS: 0000000000000000(0000) GS:ffff88815b880000(0000) knlGS:0000000000000000
> > > [ 0.647100] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> > > [ 0.647102] CR2: 0000000000000000 CR3: 000000002f20e000 CR4: 00000000001506e0
> > > [ 0.647104] Call Trace:
> > > [ 0.647104] <TASK>
> > > [ 0.647106] debug_object_activate+0x2b8/0x300
> > > [ 0.647110] ? debug_object_assert_init+0x220/0x220
> > > [ 0.647114] ? __kasan_check_write+0x14/0x20
> > > [ 0.647118] call_rcu+0x98/0x1100
> > > [ 0.647121] ? vprintk+0x4c/0x60
> > > [ 0.647125] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> > > [ 0.647129] ? strict_work_handler+0x50/0x50
> > > [ 0.647133] rcu_torture_init+0x18be/0x199e
> > > [ 0.647136] ? srcu_init+0x133/0x133
> > > [ 0.647140] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> > > [ 0.647144] ? rcu_torture_barrier1cb+0x40/0x40
> > > [ 0.647148] ? rcu_torture_barrier1cb+0x40/0x40
> > > [ 0.647151] ? srcu_init+0x133/0x133
> > > [ 0.647155] do_one_initcall+0xb3/0x300
> > > [ 0.647157] ? initcall_blacklisted+0x150/0x150
> > > [ 0.647160] ? parameq+0x70/0x90
> > > [ 0.647164] ? __kasan_check_read+0x11/0x20
> > > [ 0.647167] kernel_init_freeable+0x2b2/0x310
> > > [ 0.647171] ? rest_init+0xf0/0xf0
> > > [ 0.647174] kernel_init+0x1e/0x140
> > > [ 0.647177] ret_from_fork+0x22/0x30
> > > [ 0.647181] </TASK>
> > > [ 0.647182] ---[ end trace 0000000000000000 ]---
> > > [ 0.647184] rcu: call_rcu(): Double-freed CB 000000009a684b70->rcu_torture_leak_cb+0x0/0x10()!!! non-slab/vmalloc memory
> >
> > >Very good, and thank you!
> > >
> > >Now suppose that someone passes a pointer to call_rcu(), but then invokes kfree() on that same object before the grace period ends.
> > >Is the offending kfree() flagged?
> > >
> > >If the CONFIG_DEBUG_OBJECTS_FREE is enabled, the debug_check_no_obj_freed() will check wether the object is activated in kfree() If is activated, also output callstack.
> > >
> > >__debug_check_no_obj_freed()
> > >{........
> > > switch (obj->state) {
> > > case ODEBUG_STATE_ACTIVE:
> > > descr = obj->descr;
> > > state = obj->state;
> > > _spin_unlock_irqrestore(&db->lock, flags);
> > > debug_print_object(obj, "free");
> > > }
> > >.........
> > >}
> > >
> > >Hi Paul
> > >
> > >The __debug_check_no_obj_freed() only check obj->state, don't care obj->astate, the debug_object_active_state() is not necessary. If CONFIG_DEBUG_OBJECTS_FREE is not enabled, the kfree() will directly release it without check obj state.
> > >
> > >Any thoughts?
> > >
> > >Thanks,
> > >Zqiang
> >
> > Hi Paul
> >
> > Sorry to bother you again, I think this change is still meaningful, or
> > there is something I don't konw if I can give you some suggestions, I will be happy to accept.
>
> >My concern with this patch is that there might be some odd scenario
> somewhere in which valuable debugging information is lost. Unfortunately,
> >I haven't had time to fully explore the space of possible sequences of
> >double-free and use-after-free bugs.
> >
> >It -might- be OK, but I cannot prove it. Thoughts?
>
> If CONFIG_DEBUG_OBJECTS_FREE is disabled, invokes kfree() to release pointer before the grace period ends,
> kfree() will directly to release it, there are not call debug_check_no_obj_freed() to check this debug-object corresponding to this pointer, when this pointer is checked before call RCU callback func, the debug_object_active_state() and debug_object_activate() is not trigger warnings. because this object state is correct.
>
>
> However, if CONFIG_DEBUG_OBJECTS_FREE is enabled, when invokes kfree() to release pointer before the grace period ends.
> We only check the state of the object(obj->state is set by debug_object_activate()) corresponding to this pointer, the obj->astate Is not be checked, That's is one reason I remove debug_object_active_state(), and I found that few modules use this function.
>
> Now there is another problem, set CONFIG_DEBUG_OBJECTS_FREE and CONFIG_DEBUG_OBJECTS_RCU_HEAD is enabled I did a simple test like this:
>
> struct rcu_head *rhp = kmalloc(sizeof(*rhp), GFP_KERNEL);
> preempt_disable();
> rcu_read_lock();
> local_irq_disable();
> if (rhp) {
> call_rcu(rhp, rcu_torture_err_cb);
> }
> local_irq_enable();
> rcu_read_unlock();
> preempt_enable();
> kfree(rhp);
>
> the follow warning are triggered,
>
> ODEBUG: free active (active state 1) object type: rcu_head hint: 0x0
> [ 1.255220] debug_check_no_obj_freed+0x248/0x280
> [ 1.255238] kfree+0x12d/0x610
> [ 1.255253] rcu_torture_init+0x16e1/0x1741
> [ 1.255305] do_one_initcall+0xe5/0x440
> [ 1.255349] kernel_init_freeable+0x342/0x3a0
> [ 1.255366] kernel_init+0x1e/0x140
> [ 1.255373] ret_from_fork+0x22/0x30
>
> The code shows that if obj->state is always STATE_ACTIVE, there will be a loop, until rcu callback is invoked set this obj->state = STATE_INACTIVE. after that this loop ends. If we invoke kfree() in preempt_disable/enable() critical sections before grace period ends, it may be trigger RCU Stall. So maybe we should add fixup_free functions to rcuhead_debug_descr, In fixup_free function, set obj->state is STATE_INACTIVE and set rcu_callback func is rcu_leak_callback() to fix this problem.
>
> static void __debug_check_no_obj_freed(const void *address, unsigned long size) {
> .. ........................
> for (;chunks > 0; chunks--, paddr += ODEBUG_CHUNK_SIZE) {
> db = get_bucket(paddr);
>
> repeat:
> cnt = 0;
> raw_spin_lock_irqsave(&db->lock, flags);
> hlist_for_each_entry_safe(obj, tmp, &db->list, node) {
> cnt++;
> oaddr = (unsigned long) obj->object;
> if (oaddr < saddr || oaddr >= eaddr)
> continue;
>
> switch (obj->state) {
> case ODEBUG_STATE_ACTIVE:
> descr = obj->descr;
> state = obj->state;
> raw_spin_unlock_irqrestore(&db->lock, flags);
> debug_print_object(obj, "free");
> debug_object_fixup(descr->fixup_free,
> (void *) oaddr, state);
> goto repeat; ...............................
> }
One thing to keep in mind is that if the kernel reports a major bug
such as double free or use after free, there are limits to how much work
should be put into keeping the kernel limping along after that. So
reporting the first failure is very important, but reporting second
and subsequent failures is only "nice to have".
At this point, my thought is to leave the code as it is.
Or am I missing some additional breakage with the current setup?
Thanx, Paul
> Thanks
> Zqiang
>
>
> > Thanx, Paul
>
> > Thanks
> > Zqiang
> >
> >
> > >Thanks,
> > >Zqiang
> >
> > >
> > > Thanx, Paul
> >
> > > Thanks,
> > > Zqiang
> > >
> > >
> > >
> > > > Thanx, Paul
> > > >
> > > > ---
> > > > kernel/rcu/rcu.h | 13 +------------
> > > > 1 file changed, 1 insertion(+), 12 deletions(-)
> > > >
> > > > diff --git a/kernel/rcu/rcu.h b/kernel/rcu/rcu.h index
> > > > 15b96f990774..0604ecd16627 100644
> > > > --- a/kernel/rcu/rcu.h
> > > > +++ b/kernel/rcu/rcu.h
> > > > @@ -179,27 +179,16 @@ static inline unsigned long rcu_seq_diff(unsigned long new, unsigned long old)
> > > > */
> > > >
> > > > #ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
> > > > -# define STATE_RCU_HEAD_READY 0
> > > > -# define STATE_RCU_HEAD_QUEUED 1
> > > >
> > > > extern const struct debug_obj_descr rcuhead_debug_descr;
> > > >
> > > > static inline int debug_rcu_head_queue(struct rcu_head *head) {
> > > > - int r1;
> > > > -
> > > > - r1 = debug_object_activate(head, &rcuhead_debug_descr);
> > > > - debug_object_active_state(head, &rcuhead_debug_descr,
> > > > - STATE_RCU_HEAD_READY,
> > > > - STATE_RCU_HEAD_QUEUED);
> > > > - return r1;
> > > > + return debug_object_activate(head, &rcuhead_debug_descr);
> > > > }
> > > >
> > > > static inline void debug_rcu_head_unqueue(struct rcu_head *head) {
> > > > - debug_object_active_state(head, &rcuhead_debug_descr,
> > > > - STATE_RCU_HEAD_QUEUED,
> > > > - STATE_RCU_HEAD_READY);
> > > > debug_object_deactivate(head, &rcuhead_debug_descr); }
> > > > #else /* !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
> > > > --
> > > > 2.25.1
> > > >
^ permalink raw reply [flat|nested] 12+ messages in thread
* RE: [PATCH] rcu: Remove debug_object_active_state() from debug_rcu_head_queue/unqueue()
2022-06-16 23:08 ` Paul E. McKenney
@ 2022-06-17 2:29 ` Zhang, Qiang1
0 siblings, 0 replies; 12+ messages in thread
From: Zhang, Qiang1 @ 2022-06-17 2:29 UTC (permalink / raw)
To: paulmck; +Cc: frederic, rcu, linux-kernel
On Fri, May 27, 2022 at 08:34:20AM +0000, Zhang, Qiang1 wrote:
>
>
> On Wed, May 25, 2022 at 11:33:46PM +0000, Zhang, Qiang1 wrote:
> > On Fri, May 13, 2022 at 01:03:19AM +0000, Zhang, Qiang1 wrote:
> > > On Tue, May 10, 2022 at 11:07:48AM +0800, Zqiang wrote:
> > > > Currently, the double call_rcu() detected only need call
> > > > debug_object_activate() to check whether the rcu head object is
> > > > activated, the rcu head object usage state check is not
> > > > necessary and when call rcu_test_debug_objects() the
> > > > debug_object_active_state() will output same callstack as
> > > > debug_object_activate(). so remove
> > > > debug_object_active_state() to reduce the output of repeated callstack.
> > > >
> > > > Signed-off-by: Zqiang <qiang1.zhang@intel.com>
> > > >
> > > >Could you please post the output of the dmesg output of a failed check with your change?
> > > >
> > >
> > > Original output:
> > >
> > > [ 0.818279] ODEBUG: activate active (active state 1) object type: rcu_head hint: 0x0
> > > [ 0.818296] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> > > [ 0.818301] Modules linked in:
> > > [ 0.818304] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #75
> > > [ 0.818306] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> > > [ 0.818308] RIP: 0010:debug_print_object+0xd8/0xf0
> > > [ 0.818311] Code: dd 40 9e 03 9d e8 48 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 40 9e 03 9d 4c 89 f6 48 c7 c7 c0 93 03 9d e8 f6 1a b1 00 <0f> f
> > > [ 0.818313] RSP: 0000:ffff88810033fad0 EFLAGS: 00010082
> > > [ 0.818315] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> > > [ 0.818317] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4c
> > > [ 0.818319] RBP: ffff88810033fb00 R08: ffffffff9b50d898 R09: fffffbfff3bf5c6d
> > > [ 0.818320] R10: 0000000000000003 R11: fffffbfff3bf5c6c R12: 0000000000000001
> > > [ 0.818322] R13: ffffffff9ce769a0 R14: ffffffff9d039a80 R15: 0000000000000000
> > > [ 0.818324] FS: 0000000000000000(0000) GS:ffff888158880000(0000) knlGS:0000000000000000
> > > [ 0.818327] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> > > [ 0.818329] CR2: 0000000000000000 CR3: 000000017600e000 CR4: 00000000001506e0
> > > [ 0.818330] Call Trace:
> > > [ 0.818331] <TASK>
> > > [ 0.818333] debug_object_activate+0x2b8/0x300
> > > [ 0.818336] ? debug_object_assert_init+0x220/0x220
> > > [ 0.818340] ? __kasan_check_write+0x14/0x20
> > > [ 0.818343] call_rcu+0x98/0x1110
> > > [ 0.818347] ? vprintk+0x4c/0x60
> > > [ 0.818350] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> > > [ 0.818354] ? strict_work_handler+0x70/0x70
> > > [ 0.818357] rcu_torture_init+0x18be/0x199e
> > > [ 0.818361] ? srcu_init+0x133/0x133
> > > [ 0.818364] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> > > [ 0.818368] ? rcu_torture_barrier1cb+0x40/0x40
> > > [ 0.818371] ? rcu_torture_barrier1cb+0x40/0x40
> > > [ 0.818374] ? srcu_init+0x133/0x133
> > > [ 0.818377] do_one_initcall+0xb3/0x300
> > > [ 0.818380] ? initcall_blacklisted+0x150/0x150
> > > [ 0.818382] ? parameq+0x70/0x90
> > > [ 0.818385] ? __kasan_check_read+0x11/0x20
> > > [ 0.818389] kernel_init_freeable+0x2b2/0x310
> > > [ 0.818392] ? rest_init+0xf0/0xf0
> > > [ 0.818396] kernel_init+0x1e/0x140
> > > [ 0.818399] ret_from_fork+0x22/0x30
> > > [ 0.818402] </TASK>
> > > [ 0.818403] ---[ end trace 0000000000000000 ]---
> > > [ 0.818405] ------------[ cut here ]------------
> > > [ 0.818405] ODEBUG: active_state active (active state 1) object type: rcu_head hint: 0x0
> > > [ 0.818421] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> > > [ 0.818424] Modules linked in:
> > > [ 0.818426] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #75
> > > [ 0.818428] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> > > [ 0.818430] RIP: 0010:debug_print_object+0xd8/0xf0
> > > [ 0.818432] Code: dd 40 9e 03 9d e8 48 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 40 9e 03 9d 4c 89 f6 48 c7 c7 c0 93 03 9d e8 f6 1a b1 00 <0f> f
> > > [ 0.818435] RSP: 0000:ffff88810033fac0 EFLAGS: 00010086
> > > [ 0.818437] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> > > [ 0.818438] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4a
> > > [ 0.818440] RBP: ffff88810033faf0 R08: ffffffff9b50d898 R09: fffffbfff3bf5c6d
> > > [ 0.818441] R10: 0000000000000003 R11: fffffbfff3bf5c6c R12: 0000000000000001
> > > [ 0.818443] R13: ffffffff9ce769a0 R14: ffffffff9d039820 R15: 0000000000000000
> > > [ 0.818445] FS: 0000000000000000(0000) GS:ffff888158880000(0000) knlGS:0000000000000000
> > > [ 0.818448] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> > > [ 0.818449] CR2: 0000000000000000 CR3: 000000017600e000 CR4: 00000000001506e0
> > > [ 0.818451] Call Trace:
> > > [ 0.818452] <TASK>
> > > [ 0.818453] debug_object_active_state+0x1d6/0x210
> > > [ 0.818456] ? debug_object_deactivate+0x210/0x210
> > > [ 0.818460] ? __kasan_check_write+0x14/0x20
> > > [ 0.818464] call_rcu+0xb7/0x1110
> > > [ 0.818466] ? vprintk+0x4c/0x60
> > > [ 0.818469] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> > > [ 0.818472] ? strict_work_handler+0x70/0x70
> > > [ 0.818476] rcu_torture_init+0x18be/0x199e
> > > [ 0.818479] ? srcu_init+0x133/0x133
> > > [ 0.818482] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> > > [ 0.818486] ? rcu_torture_barrier1cb+0x40/0x40
> > > [ 0.818489] ? rcu_torture_barrier1cb+0x40/0x40
> > > [ 0.818492] ? srcu_init+0x133/0x133
> > > [ 0.818495] do_one_initcall+0xb3/0x300
> > > [ 0.818497] ? initcall_blacklisted+0x150/0x150
> > > [ 0.818500] ? parameq+0x70/0x90
> > > [ 0.818503] ? __kasan_check_read+0x11/0x20
> > > [ 0.818507] kernel_init_freeable+0x2b2/0x310
> > > [ 0.818510] ? rest_init+0xf0/0xf0
> > > [ 0.818513] kernel_init+0x1e/0x140
> > > [ 0.818515] ret_from_fork+0x22/0x30
> > > [ 0.818519] </TASK>
> > > [ 0.818520] ---[ end trace 0000000000000000 ]---
> > > [ 0.818521] rcu: call_rcu(): Double-freed CB 00000000e2817fcb->rcu_torture_leak_cb+0x0/0x10()!!! non-slab/vmalloc memory
> > >
> > >
> > > After apply this patch:
> > >
> > > [ 0.647048] ODEBUG: activate active (active state 0) object type: rcu_head hint: 0x0
> > > [ 0.647068] WARNING: CPU: 1 PID: 1 at lib/debugobjects.c:505 debug_print_object+0xd8/0xf0
> > > [ 0.647073] Modules linked in:
> > > [ 0.647075] CPU: 1 PID: 1 Comm: swapper/0 Tainted: G W 5.18.0-rc6-next-20220511-yoctodev-standard+ #77
> > > [ 0.647078] Hardware name: QEMU Standard PC (Q35 + ICH9, 2009), BIOS rel-1.16.0-0-gd239552ce722-prebuilt.qemu.org 04/01/2014
> > > [ 0.647080] RIP: 0010:debug_print_object+0xd8/0xf0
> > > [ 0.647083] Code: dd 80 9d 43 a2 e8 38 62 a2 ff 4d 89 f9 4d 89 e8 44 89 e1 48 8b 14 dd 80 9d 43 a2 4c 89 f6 48 c7 c7 00 93 43 a2 e8 f6 1a b1 00 <0f> 0b 83 05 7b 62f
> > > [ 0.647085] RSP: 0000:ffff88810033fad0 EFLAGS: 00010082
> > > [ 0.647088] RAX: 0000000000000000 RBX: 0000000000000003 RCX: 0000000000000000
> > > [ 0.647090] RDX: 0000000000000002 RSI: 0000000000000004 RDI: ffffed1020067f4c
> > > [ 0.647091] RBP: ffff88810033fb00 R08: ffffffffa090d898 R09: fffffbfff467586d
> > > [ 0.647093] R10: 0000000000000003 R11: fffffbfff467586c R12: 0000000000000000
> > > [ 0.647095] R13: ffffffffa22769a0 R14: ffffffffa24399c0 R15: 0000000000000000
> > > [ 0.647097] FS: 0000000000000000(0000) GS:ffff88815b880000(0000) knlGS:0000000000000000
> > > [ 0.647100] CS: 0010 DS: 0000 ES: 0000 CR0: 0000000080050033
> > > [ 0.647102] CR2: 0000000000000000 CR3: 000000002f20e000 CR4: 00000000001506e0
> > > [ 0.647104] Call Trace:
> > > [ 0.647104] <TASK>
> > > [ 0.647106] debug_object_activate+0x2b8/0x300
> > > [ 0.647110] ? debug_object_assert_init+0x220/0x220
> > > [ 0.647114] ? __kasan_check_write+0x14/0x20
> > > [ 0.647118] call_rcu+0x98/0x1100
> > > [ 0.647121] ? vprintk+0x4c/0x60
> > > [ 0.647125] ? rcu_torture_fwd_cb_hist.cold+0xe9/0xe9
> > > [ 0.647129] ? strict_work_handler+0x50/0x50
> > > [ 0.647133] rcu_torture_init+0x18be/0x199e
> > > [ 0.647136] ? srcu_init+0x133/0x133
> > > [ 0.647140] ? __mutex_unlock_slowpath.isra.0+0x270/0x270
> > > [ 0.647144] ? rcu_torture_barrier1cb+0x40/0x40
> > > [ 0.647148] ? rcu_torture_barrier1cb+0x40/0x40
> > > [ 0.647151] ? srcu_init+0x133/0x133
> > > [ 0.647155] do_one_initcall+0xb3/0x300
> > > [ 0.647157] ? initcall_blacklisted+0x150/0x150
> > > [ 0.647160] ? parameq+0x70/0x90
> > > [ 0.647164] ? __kasan_check_read+0x11/0x20
> > > [ 0.647167] kernel_init_freeable+0x2b2/0x310
> > > [ 0.647171] ? rest_init+0xf0/0xf0
> > > [ 0.647174] kernel_init+0x1e/0x140
> > > [ 0.647177] ret_from_fork+0x22/0x30
> > > [ 0.647181] </TASK>
> > > [ 0.647182] ---[ end trace 0000000000000000 ]---
> > > [ 0.647184] rcu: call_rcu(): Double-freed CB 000000009a684b70->rcu_torture_leak_cb+0x0/0x10()!!! non-slab/vmalloc memory
> >
> > >Very good, and thank you!
> > >
> > >Now suppose that someone passes a pointer to call_rcu(), but then invokes kfree() on that same object before the grace period ends.
> > >Is the offending kfree() flagged?
> > >
> > >If the CONFIG_DEBUG_OBJECTS_FREE is enabled, the debug_check_no_obj_freed() will check wether the object is activated in kfree() If is activated, also output callstack.
> > >
> > >__debug_check_no_obj_freed()
> > >{........
> > > switch (obj->state) {
> > > case ODEBUG_STATE_ACTIVE:
> > > descr = obj->descr;
> > > state = obj->state;
> > > _spin_unlock_irqrestore(&db->lock, flags);
> > > debug_print_object(obj, "free");
> > > }
> > >.........
> > >}
> > >
> > >Hi Paul
> > >
> > >The __debug_check_no_obj_freed() only check obj->state, don't care obj->astate, the debug_object_active_state() is not necessary. If CONFIG_DEBUG_OBJECTS_FREE is not enabled, the kfree() will directly release it without check obj state.
> > >
> > >Any thoughts?
> > >
> > >Thanks,
> > >Zqiang
> >
> > Hi Paul
> >
> > Sorry to bother you again, I think this change is still meaningful,
> > or there is something I don't konw if I can give you some suggestions, I will be happy to accept.
>
> >My concern with this patch is that there might be some odd scenario
> somewhere in which valuable debugging information is lost.
> Unfortunately,
> >I haven't had time to fully explore the space of possible sequences
> >of double-free and use-after-free bugs.
> >
> >It -might- be OK, but I cannot prove it. Thoughts?
>
> If CONFIG_DEBUG_OBJECTS_FREE is disabled, invokes kfree() to release
> pointer before the grace period ends,
> kfree() will directly to release it, there are not call debug_check_no_obj_freed() to check this debug-object corresponding to this pointer, when this pointer is checked before call RCU callback func, the debug_object_active_state() and debug_object_activate() is not trigger warnings. because this object state is correct.
>
>
> However, if CONFIG_DEBUG_OBJECTS_FREE is enabled, when invokes kfree() to release pointer before the grace period ends.
> We only check the state of the object(obj->state is set by debug_object_activate()) corresponding to this pointer, the obj->astate Is not be checked, That's is one reason I remove debug_object_active_state(), and I found that few modules use this function.
>
> Now there is another problem, set CONFIG_DEBUG_OBJECTS_FREE and CONFIG_DEBUG_OBJECTS_RCU_HEAD is enabled I did a simple test like this:
>
> struct rcu_head *rhp = kmalloc(sizeof(*rhp), GFP_KERNEL);
> preempt_disable();
> rcu_read_lock();
> local_irq_disable();
> if (rhp) {
> call_rcu(rhp, rcu_torture_err_cb);
> }
> local_irq_enable();
> rcu_read_unlock();
> preempt_enable();
> kfree(rhp);
>
> the follow warning are triggered,
>
> ODEBUG: free active (active state 1) object type: rcu_head hint: 0x0
> [ 1.255220] debug_check_no_obj_freed+0x248/0x280
> [ 1.255238] kfree+0x12d/0x610
> [ 1.255253] rcu_torture_init+0x16e1/0x1741
> [ 1.255305] do_one_initcall+0xe5/0x440
> [ 1.255349] kernel_init_freeable+0x342/0x3a0
> [ 1.255366] kernel_init+0x1e/0x140
> [ 1.255373] ret_from_fork+0x22/0x30
>
> The code shows that if obj->state is always STATE_ACTIVE, there will be a loop, until rcu callback is invoked set this obj->state = STATE_INACTIVE. after that this loop ends. If we invoke kfree() in preempt_disable/enable() critical sections before grace period ends, it may be trigger RCU Stall. So maybe we should add fixup_free functions to rcuhead_debug_descr, In fixup_free function, set obj->state is STATE_INACTIVE and set rcu_callback func is rcu_leak_callback() to fix this problem.
>
> static void __debug_check_no_obj_freed(const void *address, unsigned long size) {
> .. ........................
> for (;chunks > 0; chunks--, paddr += ODEBUG_CHUNK_SIZE) {
> db = get_bucket(paddr);
>
> repeat:
> cnt = 0;
> raw_spin_lock_irqsave(&db->lock, flags);
> hlist_for_each_entry_safe(obj, tmp, &db->list, node) {
> cnt++;
> oaddr = (unsigned long) obj->object;
> if (oaddr < saddr || oaddr >= eaddr)
> continue;
>
> switch (obj->state) {
> case ODEBUG_STATE_ACTIVE:
> descr = obj->descr;
> state = obj->state;
> raw_spin_unlock_irqrestore(&db->lock, flags);
> debug_print_object(obj, "free");
> debug_object_fixup(descr->fixup_free,
> (void *) oaddr, state);
> goto repeat; ...............................
> }
>
>One thing to keep in mind is that if the kernel reports a major bug such as double free or use after free, there are limits to how much work should be put into keeping the kernel limping along after that. So reporting the first failure is very important, but reporting second and subsequent failures is only "nice to have".
Thanks, I hadn't thought about this before, now ,I agree with this view point.
>
>At this point, my thought is to leave the code as it is.
Agree
Thanks
Zqiang
>
>Or am I missing some additional breakage with the current setup?
>
>
> Thanx, Paul
> Thanks
> Zqiang
>
>
> > Thanx, Paul
>
> > Thanks
> > Zqiang
> >
> >
> > >Thanks,
> > >Zqiang
> >
> > >
> > > Thanx, Paul
> >
> > > Thanks,
> > > Zqiang
> > >
> > >
> > >
> > > > Thanx, Paul
> > > >
> > > > ---
> > > > kernel/rcu/rcu.h | 13 +------------
> > > > 1 file changed, 1 insertion(+), 12 deletions(-)
> > > >
> > > > diff --git a/kernel/rcu/rcu.h b/kernel/rcu/rcu.h index
> > > > 15b96f990774..0604ecd16627 100644
> > > > --- a/kernel/rcu/rcu.h
> > > > +++ b/kernel/rcu/rcu.h
> > > > @@ -179,27 +179,16 @@ static inline unsigned long rcu_seq_diff(unsigned long new, unsigned long old)
> > > > */
> > > >
> > > > #ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
> > > > -# define STATE_RCU_HEAD_READY 0
> > > > -# define STATE_RCU_HEAD_QUEUED 1
> > > >
> > > > extern const struct debug_obj_descr rcuhead_debug_descr;
> > > >
> > > > static inline int debug_rcu_head_queue(struct rcu_head *head) {
> > > > - int r1;
> > > > -
> > > > - r1 = debug_object_activate(head, &rcuhead_debug_descr);
> > > > - debug_object_active_state(head, &rcuhead_debug_descr,
> > > > - STATE_RCU_HEAD_READY,
> > > > - STATE_RCU_HEAD_QUEUED);
> > > > - return r1;
> > > > + return debug_object_activate(head, &rcuhead_debug_descr);
> > > > }
> > > >
> > > > static inline void debug_rcu_head_unqueue(struct rcu_head *head) {
> > > > - debug_object_active_state(head, &rcuhead_debug_descr,
> > > > - STATE_RCU_HEAD_QUEUED,
> > > > - STATE_RCU_HEAD_READY);
> > > > debug_object_deactivate(head, &rcuhead_debug_descr); }
> > > > #else /* !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
> > > > --
> > > > 2.25.1
> > > >
^ permalink raw reply [flat|nested] 12+ messages in thread
end of thread, other threads:[~2022-06-17 2:30 UTC | newest]
Thread overview: 12+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-05-10 3:07 [PATCH] rcu: Remove debug_object_active_state() from debug_rcu_head_queue/unqueue() Zqiang
2022-05-13 0:49 ` Paul E. McKenney
2022-05-13 1:03 ` Zhang, Qiang1
2022-05-13 22:26 ` Paul E. McKenney
2022-05-14 0:02 ` Zhang, Qiang1
2022-05-18 4:21 ` Zhang, Qiang1
2022-05-25 23:33 ` Zhang, Qiang1
2022-05-26 18:17 ` Paul E. McKenney
2022-05-27 8:29 ` Zhang, Qiang1
2022-05-27 8:34 ` Zhang, Qiang1
2022-06-16 23:08 ` Paul E. McKenney
2022-06-17 2:29 ` Zhang, Qiang1
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.