blob: 27478948b318968a052e4b9fad9a27dd881ca67f [file] [log] [blame]
Ingo Molnar34f192c2006-03-27 01:16:24 -08001/*
2 * linux/kernel/futex_compat.c
3 *
4 * Futex compatibililty routines.
5 *
6 * Copyright 2006, Red Hat, Inc., Ingo Molnar
7 */
8
9#include <linux/linkage.h>
10#include <linux/compat.h>
11#include <linux/futex.h>
12
13#include <asm/uaccess.h>
14
Ingo Molnare3f2dde2006-07-29 05:17:57 +020015
16/*
17 * Fetch a robust-list pointer. Bit 0 signals PI futexes:
18 */
19static inline int
20fetch_robust_entry(compat_uptr_t *uentry, struct robust_list __user **entry,
Al Viroba46df92006-10-10 22:46:07 +010021 compat_uptr_t __user *head, int *pi)
Ingo Molnare3f2dde2006-07-29 05:17:57 +020022{
23 if (get_user(*uentry, head))
24 return -EFAULT;
25
26 *entry = compat_ptr((*uentry) & ~1);
27 *pi = (unsigned int)(*uentry) & 1;
28
29 return 0;
30}
31
Ingo Molnar34f192c2006-03-27 01:16:24 -080032/*
33 * Walk curr->robust_list (very carefully, it's a userspace list!)
34 * and mark any locks found there dead, and notify any waiters.
35 *
36 * We silently return on any sign of list-walking problem.
37 */
38void compat_exit_robust_list(struct task_struct *curr)
39{
40 struct compat_robust_list_head __user *head = curr->compat_robust_list;
41 struct robust_list __user *entry, *pending;
Thomas Gleixnerce2c6b52006-08-05 12:15:15 -070042 unsigned int limit = ROBUST_LIST_LIMIT, pi, pip;
Ingo Molnar34f192c2006-03-27 01:16:24 -080043 compat_uptr_t uentry, upending;
Ingo Molnar34f192c2006-03-27 01:16:24 -080044 compat_long_t futex_offset;
45
46 /*
47 * Fetch the list head (which was registered earlier, via
48 * sys_set_robust_list()):
49 */
Ingo Molnare3f2dde2006-07-29 05:17:57 +020050 if (fetch_robust_entry(&uentry, &entry, &head->list.next, &pi))
Ingo Molnar34f192c2006-03-27 01:16:24 -080051 return;
Ingo Molnar34f192c2006-03-27 01:16:24 -080052 /*
53 * Fetch the relative futex offset:
54 */
55 if (get_user(futex_offset, &head->futex_offset))
56 return;
57 /*
58 * Fetch any possibly pending lock-add first, and handle it
59 * if it exists:
60 */
Ingo Molnare3f2dde2006-07-29 05:17:57 +020061 if (fetch_robust_entry(&upending, &pending,
Thomas Gleixnerce2c6b52006-08-05 12:15:15 -070062 &head->list_op_pending, &pip))
Ingo Molnar34f192c2006-03-27 01:16:24 -080063 return;
Ingo Molnar34f192c2006-03-27 01:16:24 -080064 if (upending)
Al Viroba46df92006-10-10 22:46:07 +010065 handle_futex_death((void __user *)pending + futex_offset, curr, pip);
Ingo Molnar34f192c2006-03-27 01:16:24 -080066
67 while (compat_ptr(uentry) != &head->list) {
68 /*
69 * A pending lock might already be on the list, so
70 * dont process it twice:
71 */
72 if (entry != pending)
Al Viroba46df92006-10-10 22:46:07 +010073 if (handle_futex_death((void __user *)entry + futex_offset,
Ingo Molnare3f2dde2006-07-29 05:17:57 +020074 curr, pi))
Ingo Molnar34f192c2006-03-27 01:16:24 -080075 return;
76
77 /*
78 * Fetch the next entry in the list:
79 */
Ingo Molnare3f2dde2006-07-29 05:17:57 +020080 if (fetch_robust_entry(&uentry, &entry,
Al Viroba46df92006-10-10 22:46:07 +010081 (compat_uptr_t __user *)&entry->next, &pi))
Ingo Molnar34f192c2006-03-27 01:16:24 -080082 return;
Ingo Molnar34f192c2006-03-27 01:16:24 -080083 /*
84 * Avoid excessively long or circular lists:
85 */
86 if (!--limit)
87 break;
88
89 cond_resched();
90 }
91}
92
93asmlinkage long
94compat_sys_set_robust_list(struct compat_robust_list_head __user *head,
95 compat_size_t len)
96{
97 if (unlikely(len != sizeof(*head)))
98 return -EINVAL;
99
100 current->compat_robust_list = head;
101
102 return 0;
103}
104
105asmlinkage long
Al Viroba46df92006-10-10 22:46:07 +0100106compat_sys_get_robust_list(int pid, compat_uptr_t __user *head_ptr,
Ingo Molnar34f192c2006-03-27 01:16:24 -0800107 compat_size_t __user *len_ptr)
108{
Al Viroba46df92006-10-10 22:46:07 +0100109 struct compat_robust_list_head __user *head;
Ingo Molnar34f192c2006-03-27 01:16:24 -0800110 unsigned long ret;
111
112 if (!pid)
113 head = current->compat_robust_list;
114 else {
115 struct task_struct *p;
116
117 ret = -ESRCH;
118 read_lock(&tasklist_lock);
119 p = find_task_by_pid(pid);
120 if (!p)
121 goto err_unlock;
122 ret = -EPERM;
123 if ((current->euid != p->euid) && (current->euid != p->uid) &&
124 !capable(CAP_SYS_PTRACE))
125 goto err_unlock;
126 head = p->compat_robust_list;
127 read_unlock(&tasklist_lock);
128 }
129
130 if (put_user(sizeof(*head), len_ptr))
131 return -EFAULT;
132 return put_user(ptr_to_compat(head), head_ptr);
133
134err_unlock:
135 read_unlock(&tasklist_lock);
136
137 return ret;
138}
139
Ingo Molnar8f17d3a2006-03-27 01:16:27 -0800140asmlinkage long compat_sys_futex(u32 __user *uaddr, int op, u32 val,
Ingo Molnar34f192c2006-03-27 01:16:24 -0800141 struct compat_timespec __user *utime, u32 __user *uaddr2,
Ingo Molnar8f17d3a2006-03-27 01:16:27 -0800142 u32 val3)
Ingo Molnar34f192c2006-03-27 01:16:24 -0800143{
Pierre Peifferc19384b2007-05-09 02:35:02 -0700144 struct timespec ts;
145 ktime_t t, *tp = NULL;
Ingo Molnar34f192c2006-03-27 01:16:24 -0800146 int val2 = 0;
Ulrich Drepperf0ede662007-06-01 00:46:41 -0700147 int cmd = op & FUTEX_CMD_MASK;
Ingo Molnar34f192c2006-03-27 01:16:24 -0800148
Ulrich Drepperf0ede662007-06-01 00:46:41 -0700149 if (utime && (cmd == FUTEX_WAIT || cmd == FUTEX_LOCK_PI)) {
Pierre Peifferc19384b2007-05-09 02:35:02 -0700150 if (get_compat_timespec(&ts, utime))
Ingo Molnar34f192c2006-03-27 01:16:24 -0800151 return -EFAULT;
Pierre Peifferc19384b2007-05-09 02:35:02 -0700152 if (!timespec_valid(&ts))
Thomas Gleixner9741ef962006-03-31 02:31:32 -0800153 return -EINVAL;
Pierre Peifferc19384b2007-05-09 02:35:02 -0700154
155 t = timespec_to_ktime(ts);
Ulrich Drepperf0ede662007-06-01 00:46:41 -0700156 if (cmd == FUTEX_WAIT)
Pierre Peifferc19384b2007-05-09 02:35:02 -0700157 t = ktime_add(ktime_get(), t);
158 tp = &t;
Ingo Molnar34f192c2006-03-27 01:16:24 -0800159 }
Ulrich Drepperf0ede662007-06-01 00:46:41 -0700160 if (cmd == FUTEX_REQUEUE || cmd == FUTEX_CMP_REQUEUE
161 || cmd == FUTEX_CMP_REQUEUE_PI)
Ingo Molnar34f192c2006-03-27 01:16:24 -0800162 val2 = (int) (unsigned long) utime;
163
Pierre Peifferc19384b2007-05-09 02:35:02 -0700164 return do_futex(uaddr, op, val, tp, uaddr2, val2, val3);
Ingo Molnar34f192c2006-03-27 01:16:24 -0800165}