Skip to contentSkip to conversation

Potential locking issue in sunrpc

DISCUSSION Ben Greear 2 participants 3 messages Jun 30, 2011 – Jul 1, 2011

Subsystems (2)
lore
Share & tools
lore

Ben Greear

author
#0 lore raw

This method in sched.c says we should have a lock for ASYNC

/*
* Make an RPC task runnable.
*
* Note: If the task is ASYNC, this must be called with
* the spinlock held to protect the wait queue operation. */
static void rpc_make_runnable(struct rpc_task *task)

However, I don't think the lock is being taken for the call path starting with rpcb_call_async in rpcb_clnt.c:

rpcb_call_async
rpc_run_task
rpc_execute
rpc_make_runnable

Is the comment on the make_runnable method wrong, or are we missing locking?

Thanks,
Ben

Signature · 2 lines
Ben Greear <[email protected]>
Candela Technologies Inc  http://www.candelatech.com
#1 lore raw
Quoted 14 lines · Ben Greear

This method in sched.c says we should have a lock for ASYNC

/*
* Make an RPC task runnable.
*
* Note: If the task is ASYNC, this must be called with
* the spinlock held to protect the wait queue operation. */
static void rpc_make_runnable(struct rpc_task *task)

However, I don't think the lock is being taken for the call path starting with rpcb_call_async in rpcb_clnt.c:

Quoted 6 lines

rpcb_call_async
rpc_run_task
rpc_execute
rpc_make_runnable

Is the comment on the make_runnable method wrong, or are we missing locking?

Neither. In the above case, we are not waking up from a wait queue, so there are no locks involved.

Trond

Signature · 6 lines
Trond Myklebust
Linux NFS client maintainer

NetApp
[email protected]
www.netapp.com
author
#2 lore raw
Quoted 20 lines · Trond Myklebust
Quoted 19 lines · Ben Greear

This method in sched.c says we should have a lock for ASYNC

/*
* Make an RPC task runnable.
*
* Note: If the task is ASYNC, this must be called with
* the spinlock held to protect the wait queue operation. */
static void rpc_make_runnable(struct rpc_task *task)

However, I don't think the lock is being taken for the call path starting with rpcb_call_async in rpcb_clnt.c:

rpcb_call_async
rpc_run_task
rpc_execute
rpc_make_runnable

Quoted 4 lines
Quoted 1 line

Is the comment on the make_runnable method wrong, or are we missing locking?

Neither. In the above case, we are not waking up from a wait queue, so there are no locks involved.

Ok. That MUST in the comment could have a caveat, but either way, looks like that locking isn't an issue so I'll have to look elsewhere.

I'm seeing a worker-thread making calls on tasks that have already been freed. Takes very long time (hours or days) to reproduce, as well as my patches to support lots of client mounts by binding to IP.

Our test case is to create 200 client mounts, start low-speed O_DIRECT traffic on each mount, run for 15-45 seconds, un-mount, repeat.

Do you have any suggestions for how this sort of thing might happen?

Like if something added the task to the work-queue, and then deleted it before the task was run, or perhaps some sort of corruption/race while adding it to the work-queue?

Calling memset to zero out the task right before giving it back to the mempool makes it much harder to reproduce, but eventually we do see a null-pointer exception with something trying to access that task's memory.

It seems reliably related to rpcb_clnt logic that creates an async, dynamic task.

I'll be happy to re-post the traces from slub debugging if you have interest in seeing them.

Thanks,
Ben

Quoted 3 lines

Trond

Signature · 2 lines
Ben Greear <[email protected]>
Candela Technologies Inc  http://www.candelatech.com