Blame view

kernel/futex_compat.c 4.89 KB
34f192c65   Ingo Molnar   [PATCH] lightweig...
1
2
3
4
5
6
7
8
9
10
  /*
   * linux/kernel/futex_compat.c
   *
   * Futex compatibililty routines.
   *
   * Copyright 2006, Red Hat, Inc., Ingo Molnar
   */
  
  #include <linux/linkage.h>
  #include <linux/compat.h>
b488893a3   Pavel Emelyanov   pid namespaces: c...
11
  #include <linux/nsproxy.h>
34f192c65   Ingo Molnar   [PATCH] lightweig...
12
13
14
  #include <linux/futex.h>
  
  #include <asm/uaccess.h>
e3f2ddeac   Ingo Molnar   [PATCH] pi-futex:...
15
16
17
18
19
20
  
  /*
   * Fetch a robust-list pointer. Bit 0 signals PI futexes:
   */
  static inline int
  fetch_robust_entry(compat_uptr_t *uentry, struct robust_list __user **entry,
1dcc41bb0   Namhyung Kim   futex: Change 3rd...
21
  		   compat_uptr_t __user *head, unsigned int *pi)
e3f2ddeac   Ingo Molnar   [PATCH] pi-futex:...
22
23
24
25
26
27
28
29
30
  {
  	if (get_user(*uentry, head))
  		return -EFAULT;
  
  	*entry = compat_ptr((*uentry) & ~1);
  	*pi = (unsigned int)(*uentry) & 1;
  
  	return 0;
  }
8481664d3   Al Viro   futex_compat __us...
31
  static void __user *futex_uaddr(struct robust_list __user *entry,
3c5fd9c77   David Miller   [FUTEX] Fix addre...
32
33
34
35
36
37
38
  				compat_long_t futex_offset)
  {
  	compat_uptr_t base = ptr_to_compat(entry);
  	void __user *uaddr = compat_ptr(base + futex_offset);
  
  	return uaddr;
  }
34f192c65   Ingo Molnar   [PATCH] lightweig...
39
40
41
42
43
44
45
46
47
  /*
   * Walk curr->robust_list (very carefully, it's a userspace list!)
   * and mark any locks found there dead, and notify any waiters.
   *
   * We silently return on any sign of list-walking problem.
   */
  void compat_exit_robust_list(struct task_struct *curr)
  {
  	struct compat_robust_list_head __user *head = curr->compat_robust_list;
9f96cb1e8   Martin Schwidefsky   robust futex thre...
48
  	struct robust_list __user *entry, *next_entry, *pending;
4c115e951   Darren Hart   futex: Address co...
49
50
  	unsigned int limit = ROBUST_LIST_LIMIT, pi, pip;
  	unsigned int uninitialized_var(next_pi);
9f96cb1e8   Martin Schwidefsky   robust futex thre...
51
  	compat_uptr_t uentry, next_uentry, upending;
34f192c65   Ingo Molnar   [PATCH] lightweig...
52
  	compat_long_t futex_offset;
9f96cb1e8   Martin Schwidefsky   robust futex thre...
53
  	int rc;
34f192c65   Ingo Molnar   [PATCH] lightweig...
54

a0c1e9073   Thomas Gleixner   futex: runtime en...
55
56
  	if (!futex_cmpxchg_enabled)
  		return;
34f192c65   Ingo Molnar   [PATCH] lightweig...
57
58
59
60
  	/*
  	 * Fetch the list head (which was registered earlier, via
  	 * sys_set_robust_list()):
  	 */
e3f2ddeac   Ingo Molnar   [PATCH] pi-futex:...
61
  	if (fetch_robust_entry(&uentry, &entry, &head->list.next, &pi))
34f192c65   Ingo Molnar   [PATCH] lightweig...
62
  		return;
34f192c65   Ingo Molnar   [PATCH] lightweig...
63
64
65
66
67
68
69
70
71
  	/*
  	 * Fetch the relative futex offset:
  	 */
  	if (get_user(futex_offset, &head->futex_offset))
  		return;
  	/*
  	 * Fetch any possibly pending lock-add first, and handle it
  	 * if it exists:
  	 */
e3f2ddeac   Ingo Molnar   [PATCH] pi-futex:...
72
  	if (fetch_robust_entry(&upending, &pending,
ce2c6b538   Thomas Gleixner   [PATCH] futex: Ap...
73
  			       &head->list_op_pending, &pip))
34f192c65   Ingo Molnar   [PATCH] lightweig...
74
  		return;
34f192c65   Ingo Molnar   [PATCH] lightweig...
75

9f96cb1e8   Martin Schwidefsky   robust futex thre...
76
  	next_entry = NULL;	/* avoid warning with gcc */
179c85ea5   Arnd Bergmann   futex_compat: fix...
77
  	while (entry != (struct robust_list __user *) &head->list) {
34f192c65   Ingo Molnar   [PATCH] lightweig...
78
  		/*
9f96cb1e8   Martin Schwidefsky   robust futex thre...
79
80
81
82
83
84
  		 * Fetch the next entry in the list before calling
  		 * handle_futex_death:
  		 */
  		rc = fetch_robust_entry(&next_uentry, &next_entry,
  			(compat_uptr_t __user *)&entry->next, &next_pi);
  		/*
34f192c65   Ingo Molnar   [PATCH] lightweig...
85
86
87
  		 * A pending lock might already be on the list, so
  		 * dont process it twice:
  		 */
3c5fd9c77   David Miller   [FUTEX] Fix addre...
88
89
  		if (entry != pending) {
  			void __user *uaddr = futex_uaddr(entry, futex_offset);
34f192c65   Ingo Molnar   [PATCH] lightweig...
90

3c5fd9c77   David Miller   [FUTEX] Fix addre...
91
92
93
  			if (handle_futex_death(uaddr, curr, pi))
  				return;
  		}
9f96cb1e8   Martin Schwidefsky   robust futex thre...
94
  		if (rc)
34f192c65   Ingo Molnar   [PATCH] lightweig...
95
  			return;
9f96cb1e8   Martin Schwidefsky   robust futex thre...
96
97
98
  		uentry = next_uentry;
  		entry = next_entry;
  		pi = next_pi;
34f192c65   Ingo Molnar   [PATCH] lightweig...
99
100
101
102
103
104
105
106
  		/*
  		 * Avoid excessively long or circular lists:
  		 */
  		if (!--limit)
  			break;
  
  		cond_resched();
  	}
3c5fd9c77   David Miller   [FUTEX] Fix addre...
107
108
109
110
111
  	if (pending) {
  		void __user *uaddr = futex_uaddr(pending, futex_offset);
  
  		handle_futex_death(uaddr, curr, pip);
  	}
34f192c65   Ingo Molnar   [PATCH] lightweig...
112
113
114
115
116
117
  }
  
  asmlinkage long
  compat_sys_set_robust_list(struct compat_robust_list_head __user *head,
  			   compat_size_t len)
  {
a0c1e9073   Thomas Gleixner   futex: runtime en...
118
119
  	if (!futex_cmpxchg_enabled)
  		return -ENOSYS;
34f192c65   Ingo Molnar   [PATCH] lightweig...
120
121
122
123
124
125
126
127
128
  	if (unlikely(len != sizeof(*head)))
  		return -EINVAL;
  
  	current->compat_robust_list = head;
  
  	return 0;
  }
  
  asmlinkage long
ba46df984   Al Viro   [PATCH] __user an...
129
  compat_sys_get_robust_list(int pid, compat_uptr_t __user *head_ptr,
34f192c65   Ingo Molnar   [PATCH] lightweig...
130
131
  			   compat_size_t __user *len_ptr)
  {
ba46df984   Al Viro   [PATCH] __user an...
132
  	struct compat_robust_list_head __user *head;
34f192c65   Ingo Molnar   [PATCH] lightweig...
133
  	unsigned long ret;
c69e8d9c0   David Howells   CRED: Use RCU to ...
134
  	const struct cred *cred = current_cred(), *pcred;
34f192c65   Ingo Molnar   [PATCH] lightweig...
135

a0c1e9073   Thomas Gleixner   futex: runtime en...
136
137
  	if (!futex_cmpxchg_enabled)
  		return -ENOSYS;
34f192c65   Ingo Molnar   [PATCH] lightweig...
138
139
140
141
142
143
  	if (!pid)
  		head = current->compat_robust_list;
  	else {
  		struct task_struct *p;
  
  		ret = -ESRCH;
f409adf5b   Thomas Gleixner   futex: Protect pi...
144
  		rcu_read_lock();
228ebcbe6   Pavel Emelyanov   Uninline find_tas...
145
  		p = find_task_by_vpid(pid);
34f192c65   Ingo Molnar   [PATCH] lightweig...
146
147
148
  		if (!p)
  			goto err_unlock;
  		ret = -EPERM;
c69e8d9c0   David Howells   CRED: Use RCU to ...
149
  		pcred = __task_cred(p);
b0e77598f   Serge E. Hallyn   userns: user name...
150
151
152
153
154
155
156
157
  		/* If victim is in different user_ns, then uids are not
  		   comparable, so we must have CAP_SYS_PTRACE */
  		if (cred->user->user_ns != pcred->user->user_ns) {
  			if (!ns_capable(pcred->user->user_ns, CAP_SYS_PTRACE))
  				goto err_unlock;
  			goto ok;
  		}
  		/* If victim is in same user_ns, then uids are comparable */
c69e8d9c0   David Howells   CRED: Use RCU to ...
158
159
  		if (cred->euid != pcred->euid &&
  		    cred->euid != pcred->uid &&
b0e77598f   Serge E. Hallyn   userns: user name...
160
  		    !ns_capable(pcred->user->user_ns, CAP_SYS_PTRACE))
34f192c65   Ingo Molnar   [PATCH] lightweig...
161
  			goto err_unlock;
b0e77598f   Serge E. Hallyn   userns: user name...
162
  ok:
34f192c65   Ingo Molnar   [PATCH] lightweig...
163
  		head = p->compat_robust_list;
f409adf5b   Thomas Gleixner   futex: Protect pi...
164
  		rcu_read_unlock();
34f192c65   Ingo Molnar   [PATCH] lightweig...
165
166
167
168
169
170
171
  	}
  
  	if (put_user(sizeof(*head), len_ptr))
  		return -EFAULT;
  	return put_user(ptr_to_compat(head), head_ptr);
  
  err_unlock:
f409adf5b   Thomas Gleixner   futex: Protect pi...
172
  	rcu_read_unlock();
34f192c65   Ingo Molnar   [PATCH] lightweig...
173
174
175
  
  	return ret;
  }
8f17d3a50   Ingo Molnar   [PATCH] lightweig...
176
  asmlinkage long compat_sys_futex(u32 __user *uaddr, int op, u32 val,
34f192c65   Ingo Molnar   [PATCH] lightweig...
177
  		struct compat_timespec __user *utime, u32 __user *uaddr2,
8f17d3a50   Ingo Molnar   [PATCH] lightweig...
178
  		u32 val3)
34f192c65   Ingo Molnar   [PATCH] lightweig...
179
  {
c19384b5b   Pierre Peiffer   Make futex_wait()...
180
181
  	struct timespec ts;
  	ktime_t t, *tp = NULL;
34f192c65   Ingo Molnar   [PATCH] lightweig...
182
  	int val2 = 0;
f0ede66fc   Ulrich Drepper   fix compat futex ...
183
  	int cmd = op & FUTEX_CMD_MASK;
34f192c65   Ingo Molnar   [PATCH] lightweig...
184

cd689985c   Thomas Gleixner   futex: Add bitset...
185
  	if (utime && (cmd == FUTEX_WAIT || cmd == FUTEX_LOCK_PI ||
4dc88029f   Dinakar Guniguntala   futex: Fix compat...
186
187
  		      cmd == FUTEX_WAIT_BITSET ||
  		      cmd == FUTEX_WAIT_REQUEUE_PI)) {
c19384b5b   Pierre Peiffer   Make futex_wait()...
188
  		if (get_compat_timespec(&ts, utime))
34f192c65   Ingo Molnar   [PATCH] lightweig...
189
  			return -EFAULT;
c19384b5b   Pierre Peiffer   Make futex_wait()...
190
  		if (!timespec_valid(&ts))
9741ef964   Thomas Gleixner   [PATCH] futex: ch...
191
  			return -EINVAL;
c19384b5b   Pierre Peiffer   Make futex_wait()...
192
193
  
  		t = timespec_to_ktime(ts);
f0ede66fc   Ulrich Drepper   fix compat futex ...
194
  		if (cmd == FUTEX_WAIT)
5a7780e72   Thomas Gleixner   hrtimer: check re...
195
  			t = ktime_add_safe(ktime_get(), t);
c19384b5b   Pierre Peiffer   Make futex_wait()...
196
  		tp = &t;
34f192c65   Ingo Molnar   [PATCH] lightweig...
197
  	}
4dc88029f   Dinakar Guniguntala   futex: Fix compat...
198
199
  	if (cmd == FUTEX_REQUEUE || cmd == FUTEX_CMP_REQUEUE ||
  	    cmd == FUTEX_CMP_REQUEUE_PI || cmd == FUTEX_WAKE_OP)
34f192c65   Ingo Molnar   [PATCH] lightweig...
200
  		val2 = (int) (unsigned long) utime;
c19384b5b   Pierre Peiffer   Make futex_wait()...
201
  	return do_futex(uaddr, op, val, tp, uaddr2, val2, val3);
34f192c65   Ingo Molnar   [PATCH] lightweig...
202
  }