Skip to content

Commit 0cea730

Browse files
treasure4paddygregkh
authored andcommitted
staging: vc04_services: Fix RCU dereference check
In service_callback path RCU dereferenced pointer struct vchiq_service need to be accessed inside rcu read-critical section. Also userdata/user_service part of vchiq_service is accessed around different synchronization mechanism, getting an extra reference to a pointer keeps sematics simpler and avoids prolonged graceperiod. Accessing vchiq_service with rcu_read_[lock/unlock] fixes below issue. [ 32.201659] ============================= [ 32.201664] WARNING: suspicious RCU usage [ 32.201670] 5.15.11-rt24-v8+ #3 Not tainted [ 32.201680] ----------------------------- [ 32.201685] drivers/staging/vc04_services/interface/vchiq_arm/vchiq_core.h:529 suspicious rcu_dereference_check() usage! [ 32.201695] [ 32.201695] other info that might help us debug this: [ 32.201695] [ 32.201700] [ 32.201700] rcu_scheduler_active = 2, debug_locks = 1 [ 32.201708] no locks held by vchiq-slot/0/98. [ 32.201715] [ 32.201715] stack backtrace: [ 32.201723] CPU: 1 PID: 98 Comm: vchiq-slot/0 Not tainted 5.15.11-rt24-v8+ #3 [ 32.201733] Hardware name: Raspberry Pi 4 Model B Rev 1.4 (DT) [ 32.201739] Call trace: [ 32.201742] dump_backtrace+0x0/0x1b8 [ 32.201772] show_stack+0x20/0x30 [ 32.201784] dump_stack_lvl+0x8c/0xb8 [ 32.201799] dump_stack+0x18/0x34 [ 32.201808] lockdep_rcu_suspicious+0xe4/0xf8 [ 32.201817] service_callback+0x124/0x400 [ 32.201830] slot_handler_func+0xf60/0x1e20 [ 32.201839] kthread+0x19c/0x1a8 [ 32.201849] ret_from_fork+0x10/0x20 Tested-by: Stefan Wahren <[email protected]> Signed-off-by: Padmanabha Srinivasaiah <[email protected]> Link: https://lore.kernel.org/r/[email protected] Signed-off-by: Greg Kroah-Hartman <[email protected]>
1 parent e783362 commit 0cea730

File tree

1 file changed

+18
-2
lines changed
  • drivers/staging/vc04_services/interface/vchiq_arm

1 file changed

+18
-2
lines changed

drivers/staging/vc04_services/interface/vchiq_arm/vchiq_arm.c

Lines changed: 18 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1058,15 +1058,27 @@ service_callback(enum vchiq_reason reason, struct vchiq_header *header,
10581058

10591059
DEBUG_TRACE(SERVICE_CALLBACK_LINE);
10601060

1061+
rcu_read_lock();
10611062
service = handle_to_service(handle);
1062-
if (WARN_ON(!service))
1063+
if (WARN_ON(!service)) {
1064+
rcu_read_unlock();
10631065
return VCHIQ_SUCCESS;
1066+
}
10641067

10651068
user_service = (struct user_service *)service->base.userdata;
10661069
instance = user_service->instance;
10671070

1068-
if (!instance || instance->closing)
1071+
if (!instance || instance->closing) {
1072+
rcu_read_unlock();
10691073
return VCHIQ_SUCCESS;
1074+
}
1075+
1076+
/*
1077+
* As hopping around different synchronization mechanism,
1078+
* taking an extra reference results in simpler implementation.
1079+
*/
1080+
vchiq_service_get(service);
1081+
rcu_read_unlock();
10701082

10711083
vchiq_log_trace(vchiq_arm_log_level,
10721084
"%s - service %lx(%d,%p), reason %d, header %lx, instance %lx, bulk_userdata %lx",
@@ -1097,6 +1109,7 @@ service_callback(enum vchiq_reason reason, struct vchiq_header *header,
10971109
bulk_userdata);
10981110
if (status != VCHIQ_SUCCESS) {
10991111
DEBUG_TRACE(SERVICE_CALLBACK_LINE);
1112+
vchiq_service_put(service);
11001113
return status;
11011114
}
11021115
}
@@ -1105,10 +1118,12 @@ service_callback(enum vchiq_reason reason, struct vchiq_header *header,
11051118
if (wait_for_completion_interruptible(&user_service->remove_event)) {
11061119
vchiq_log_info(vchiq_arm_log_level, "%s interrupted", __func__);
11071120
DEBUG_TRACE(SERVICE_CALLBACK_LINE);
1121+
vchiq_service_put(service);
11081122
return VCHIQ_RETRY;
11091123
} else if (instance->closing) {
11101124
vchiq_log_info(vchiq_arm_log_level, "%s closing", __func__);
11111125
DEBUG_TRACE(SERVICE_CALLBACK_LINE);
1126+
vchiq_service_put(service);
11121127
return VCHIQ_ERROR;
11131128
}
11141129
DEBUG_TRACE(SERVICE_CALLBACK_LINE);
@@ -1137,6 +1152,7 @@ service_callback(enum vchiq_reason reason, struct vchiq_header *header,
11371152
header = NULL;
11381153
}
11391154
DEBUG_TRACE(SERVICE_CALLBACK_LINE);
1155+
vchiq_service_put(service);
11401156

11411157
if (skip_completion)
11421158
return VCHIQ_SUCCESS;

0 commit comments

Comments
 (0)