aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAl Viro <viro@ZenIV.linux.org.uk>2013-05-02 19:30:49 -0400
committerLinus Torvalds <torvalds@linux-foundation.org>2013-05-02 22:51:31 -0400
commitce857229e0c3adc211944a13a5579ef84fd7b4af (patch)
treef12310c2c6492dd7ef4b25dd0c6052f7a114b9cf
parent20a2078ce7705a6e0722ef5184336eb8657a58d8 (diff)
ipc: fix GETALL/IPC_RM race for sysv semaphores
We can step on WARN_ON_ONCE() in sem_getref() if a semaphore is removed just as we are about to call sem_getref() from semctl_main(); results are not pretty. We should fail with -EIDRM, same as if IPC_RM happened while we'd been doing allocation there. This also expands sem_getref() at its only callsite (and fixed there), while sem_getref_and_unlock() is simply killed off - it has no callers at all. Signed-off-by: Al Viro <viro@zeniv.linux.org.uk> Acked-by: Davidlohr Bueso <davidlohr.bueso@hp.com> Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
-rw-r--r--ipc/sem.c29
1 files changed, 8 insertions, 21 deletions
diff --git a/ipc/sem.c b/ipc/sem.c
index e78ee3186d1f..4734e9c2a98a 100644
--- a/ipc/sem.c
+++ b/ipc/sem.c
@@ -328,28 +328,12 @@ static inline void sem_lock_and_putref(struct sem_array *sma)
328 ipc_rcu_putref(sma); 328 ipc_rcu_putref(sma);
329} 329}
330 330
331static inline void sem_getref_and_unlock(struct sem_array *sma)
332{
333 WARN_ON_ONCE(!ipc_rcu_getref(sma));
334 sem_unlock(sma, -1);
335}
336
337static inline void sem_putref(struct sem_array *sma) 331static inline void sem_putref(struct sem_array *sma)
338{ 332{
339 sem_lock_and_putref(sma); 333 sem_lock_and_putref(sma);
340 sem_unlock(sma, -1); 334 sem_unlock(sma, -1);
341} 335}
342 336
343/*
344 * Call inside the rcu read section.
345 */
346static inline void sem_getref(struct sem_array *sma)
347{
348 sem_lock(sma, NULL, -1);
349 WARN_ON_ONCE(!ipc_rcu_getref(sma));
350 sem_unlock(sma, -1);
351}
352
353static inline void sem_rmid(struct ipc_namespace *ns, struct sem_array *s) 337static inline void sem_rmid(struct ipc_namespace *ns, struct sem_array *s)
354{ 338{
355 ipc_rmid(&sem_ids(ns), &s->sem_perm); 339 ipc_rmid(&sem_ids(ns), &s->sem_perm);
@@ -1116,9 +1100,14 @@ static int semctl_main(struct ipc_namespace *ns, int semid, int semnum,
1116 ushort __user *array = p; 1100 ushort __user *array = p;
1117 int i; 1101 int i;
1118 1102
1103 sem_lock(sma, NULL, -1);
1119 if(nsems > SEMMSL_FAST) { 1104 if(nsems > SEMMSL_FAST) {
1120 sem_getref(sma); 1105 if (!ipc_rcu_getref(sma)) {
1121 1106 sem_unlock(sma, -1);
1107 err = -EIDRM;
1108 goto out_free;
1109 }
1110 sem_unlock(sma, -1);
1122 sem_io = ipc_alloc(sizeof(ushort)*nsems); 1111 sem_io = ipc_alloc(sizeof(ushort)*nsems);
1123 if(sem_io == NULL) { 1112 if(sem_io == NULL) {
1124 sem_putref(sma); 1113 sem_putref(sma);
@@ -1131,9 +1120,7 @@ static int semctl_main(struct ipc_namespace *ns, int semid, int semnum,
1131 err = -EIDRM; 1120 err = -EIDRM;
1132 goto out_free; 1121 goto out_free;
1133 } 1122 }
1134 } else 1123 }
1135 sem_lock(sma, NULL, -1);
1136
1137 for (i = 0; i < sma->sem_nsems; i++) 1124 for (i = 0; i < sma->sem_nsems; i++)
1138 sem_io[i] = sma->sem_base[i].semval; 1125 sem_io[i] = sma->sem_base[i].semval;
1139 sem_unlock(sma, -1); 1126 sem_unlock(sma, -1);