diff options
| author | Davidlohr Bueso <dave@stgolabs.net> | 2016-12-14 18:06:49 -0500 |
|---|---|---|
| committer | Linus Torvalds <torvalds@linux-foundation.org> | 2016-12-14 19:04:08 -0500 |
| commit | 370b262c896e5565b271a3ea3abee4d0914ba443 (patch) | |
| tree | 7463704f20a1f8d00d717b34ca77a95b56a774fe /ipc | |
| parent | b5fa01a22e4ba9e3ca6de7cb94c3d21e42da449c (diff) | |
ipc/sem: avoid idr tree lookup for interrupted semop
We can avoid the idr tree lookup (albeit possibly avoiding
idr_find_fast()) when being awoken in EINTR, as the semid will not
change in this context while blocked. Use the sma pointer directly and
take the sem_lock, then re-check for RMID races. We continue to
re-check the queue.status with the lock held such that we can detect
situations where we where are dealing with a spurious wakeup but another
task that holds the sem_lock updated the queue.status while we were
spinning for it. Once we take the lock it obviously won't change again.
Being the only caller, get rid of sem_obtain_lock() altogether.
Link: http://lkml.kernel.org/r/1478708774-28826-3-git-send-email-dave@stgolabs.net
Signed-off-by: Davidlohr Bueso <dbueso@suse.de>
Cc: Manfred Spraul <manfred@colorfullife.com>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Diffstat (limited to 'ipc')
| -rw-r--r-- | ipc/sem.c | 37 |
1 files changed, 5 insertions, 32 deletions
| @@ -414,29 +414,6 @@ static inline void sem_unlock(struct sem_array *sma, int locknum) | |||
| 414 | * | 414 | * |
| 415 | * The caller holds the RCU read lock. | 415 | * The caller holds the RCU read lock. |
| 416 | */ | 416 | */ |
| 417 | static inline struct sem_array *sem_obtain_lock(struct ipc_namespace *ns, | ||
| 418 | int id, struct sembuf *sops, int nsops, int *locknum) | ||
| 419 | { | ||
| 420 | struct kern_ipc_perm *ipcp; | ||
| 421 | struct sem_array *sma; | ||
| 422 | |||
| 423 | ipcp = ipc_obtain_object_idr(&sem_ids(ns), id); | ||
| 424 | if (IS_ERR(ipcp)) | ||
| 425 | return ERR_CAST(ipcp); | ||
| 426 | |||
| 427 | sma = container_of(ipcp, struct sem_array, sem_perm); | ||
| 428 | *locknum = sem_lock(sma, sops, nsops); | ||
| 429 | |||
| 430 | /* ipc_rmid() may have already freed the ID while sem_lock | ||
| 431 | * was spinning: verify that the structure is still valid | ||
| 432 | */ | ||
| 433 | if (ipc_valid_object(ipcp)) | ||
| 434 | return container_of(ipcp, struct sem_array, sem_perm); | ||
| 435 | |||
| 436 | sem_unlock(sma, *locknum); | ||
| 437 | return ERR_PTR(-EINVAL); | ||
| 438 | } | ||
| 439 | |||
| 440 | static inline struct sem_array *sem_obtain_object(struct ipc_namespace *ns, int id) | 417 | static inline struct sem_array *sem_obtain_object(struct ipc_namespace *ns, int id) |
| 441 | { | 418 | { |
| 442 | struct kern_ipc_perm *ipcp = ipc_obtain_object_idr(&sem_ids(ns), id); | 419 | struct kern_ipc_perm *ipcp = ipc_obtain_object_idr(&sem_ids(ns), id); |
| @@ -2000,16 +1977,12 @@ SYSCALL_DEFINE4(semtimedop, int, semid, struct sembuf __user *, tsops, | |||
| 2000 | } | 1977 | } |
| 2001 | 1978 | ||
| 2002 | rcu_read_lock(); | 1979 | rcu_read_lock(); |
| 2003 | sma = sem_obtain_lock(ns, semid, sops, nsops, &locknum); | 1980 | sem_lock(sma, sops, nsops); |
| 2004 | error = READ_ONCE(queue.status); | ||
| 2005 | 1981 | ||
| 2006 | /* | 1982 | if (!ipc_valid_object(&sma->sem_perm)) |
| 2007 | * Array removed? If yes, leave without sem_unlock(). | 1983 | goto out_unlock_free; |
| 2008 | */ | 1984 | |
| 2009 | if (IS_ERR(sma)) { | 1985 | error = READ_ONCE(queue.status); |
| 2010 | rcu_read_unlock(); | ||
| 2011 | goto out_free; | ||
| 2012 | } | ||
| 2013 | 1986 | ||
| 2014 | /* | 1987 | /* |
| 2015 | * If queue.status != -EINTR we are woken up by another process. | 1988 | * If queue.status != -EINTR we are woken up by another process. |
