blob: 5ce99cfd2e6e9b8259a660c347c5b78c9b0c2493 [file] [log] [blame]
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +01002 * User-space Probes (UProbes)
Srikar Dronamraju2b144492012-02-09 14:56:42 +05303 *
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License as published by
6 * the Free Software Foundation; either version 2 of the License, or
7 * (at your option) any later version.
8 *
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
13 *
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, write to the Free Software
16 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
17 *
Ingo Molnar35aa6212012-02-22 11:37:29 +010018 * Copyright (C) IBM Corporation, 2008-2012
Srikar Dronamraju2b144492012-02-09 14:56:42 +053019 * Authors:
20 * Srikar Dronamraju
21 * Jim Keniston
Ingo Molnar35aa6212012-02-22 11:37:29 +010022 * Copyright (C) 2011-2012 Red Hat, Inc., Peter Zijlstra <pzijlstr@redhat.com>
Srikar Dronamraju2b144492012-02-09 14:56:42 +053023 */
24
25#include <linux/kernel.h>
26#include <linux/highmem.h>
27#include <linux/pagemap.h> /* read_mapping_page */
28#include <linux/slab.h>
29#include <linux/sched.h>
30#include <linux/rmap.h> /* anon_vma_prepare */
31#include <linux/mmu_notifier.h> /* set_pte_at_notify */
32#include <linux/swap.h> /* try_to_free_swap */
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +053033#include <linux/ptrace.h> /* user_enable_single_step */
34#include <linux/kdebug.h> /* notifier mechanism */
Oleg Nesterov194f8dc2012-07-29 20:22:49 +020035#include "../../mm/internal.h" /* munlock_vma_page */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010036
Srikar Dronamraju2b144492012-02-09 14:56:42 +053037#include <linux/uprobes.h>
38
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +053039#define UINSNS_PER_PAGE (PAGE_SIZE/UPROBE_XOL_SLOT_BYTES)
40#define MAX_UPROBE_XOL_SLOTS UINSNS_PER_PAGE
41
Srikar Dronamraju2b144492012-02-09 14:56:42 +053042static struct rb_root uprobes_tree = RB_ROOT;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010043
Srikar Dronamraju2b144492012-02-09 14:56:42 +053044static DEFINE_SPINLOCK(uprobes_treelock); /* serialize rbtree access */
45
46#define UPROBES_HASH_SZ 13
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010047
Peter Zijlstrac5784de2012-06-15 17:43:39 +020048/*
49 * We need separate register/unregister and mmap/munmap lock hashes because
50 * of mmap_sem nesting.
51 *
52 * uprobe_register() needs to install probes on (potentially) all processes
53 * and thus needs to acquire multiple mmap_sems (consequtively, not
54 * concurrently), whereas uprobe_mmap() is called while holding mmap_sem
55 * for the particular process doing the mmap.
56 *
57 * uprobe_register()->register_for_each_vma() needs to drop/acquire mmap_sem
58 * because of lock order against i_mmap_mutex. This means there's a hole in
59 * the register vma iteration where a mmap() can happen.
60 *
61 * Thus uprobe_register() can race with uprobe_mmap() and we can try and
62 * install a probe where one is already installed.
63 */
64
Srikar Dronamraju2b144492012-02-09 14:56:42 +053065/* serialize (un)register */
66static struct mutex uprobes_mutex[UPROBES_HASH_SZ];
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010067
68#define uprobes_hash(v) (&uprobes_mutex[((unsigned long)(v)) % UPROBES_HASH_SZ])
Srikar Dronamraju2b144492012-02-09 14:56:42 +053069
70/* serialize uprobe->pending_list */
71static struct mutex uprobes_mmap_mutex[UPROBES_HASH_SZ];
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010072#define uprobes_mmap_hash(v) (&uprobes_mmap_mutex[((unsigned long)(v)) % UPROBES_HASH_SZ])
Srikar Dronamraju2b144492012-02-09 14:56:42 +053073
74/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010075 * uprobe_events allows us to skip the uprobe_mmap if there are no uprobe
Srikar Dronamraju2b144492012-02-09 14:56:42 +053076 * events active at this time. Probably a fine grained per inode count is
77 * better?
78 */
79static atomic_t uprobe_events = ATOMIC_INIT(0);
80
Oleg Nesterovcb9a19f2012-09-30 20:11:45 +020081/* Have a copy of original instruction */
Oleg Nesterov71434f22012-09-30 21:12:44 +020082#define UPROBE_COPY_INSN 0
Oleg Nesterovcb9a19f2012-09-30 20:11:45 +020083/* Dont run handlers when first register/ last unregister in progress*/
Oleg Nesterov71434f22012-09-30 21:12:44 +020084#define UPROBE_RUN_HANDLER 1
Oleg Nesterovcb9a19f2012-09-30 20:11:45 +020085/* Can skip singlestep */
Oleg Nesterov71434f22012-09-30 21:12:44 +020086#define UPROBE_SKIP_SSTEP 2
Oleg Nesterovcb9a19f2012-09-30 20:11:45 +020087
Srikar Dronamraju3ff54ef2012-02-22 14:46:02 +053088struct uprobe {
89 struct rb_node rb_node; /* node in the rb tree */
90 atomic_t ref;
91 struct rw_semaphore consumer_rwsem;
Oleg Nesterov4710f052012-09-30 20:31:41 +020092 struct mutex copy_mutex; /* TODO: kill me and UPROBE_COPY_INSN */
Srikar Dronamraju3ff54ef2012-02-22 14:46:02 +053093 struct list_head pending_list;
94 struct uprobe_consumer *consumers;
95 struct inode *inode; /* Also hold a ref to inode */
96 loff_t offset;
Oleg Nesterov71434f22012-09-30 21:12:44 +020097 unsigned long flags;
Srikar Dronamraju3ff54ef2012-02-22 14:46:02 +053098 struct arch_uprobe arch;
99};
100
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530101/*
102 * valid_vma: Verify if the specified vma is an executable vma
103 * Relax restrictions while unregistering: vm_flags might have
104 * changed after breakpoint was inserted.
105 * - is_register: indicates if we are in register context.
106 * - Return 1 if the specified virtual address is in an
107 * executable vma.
108 */
109static bool valid_vma(struct vm_area_struct *vma, bool is_register)
110{
Oleg Nesterove40cfce2012-09-16 19:31:39 +0200111 vm_flags_t flags = VM_HUGETLB | VM_MAYEXEC | VM_SHARED;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530112
Oleg Nesterove40cfce2012-09-16 19:31:39 +0200113 if (is_register)
114 flags |= VM_WRITE;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530115
Oleg Nesterove40cfce2012-09-16 19:31:39 +0200116 return vma->vm_file && (vma->vm_flags & flags) == VM_MAYEXEC;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530117}
118
Oleg Nesterov57683f72012-07-29 20:22:47 +0200119static unsigned long offset_to_vaddr(struct vm_area_struct *vma, loff_t offset)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530120{
Oleg Nesterov57683f72012-07-29 20:22:47 +0200121 return vma->vm_start + offset - ((loff_t)vma->vm_pgoff << PAGE_SHIFT);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530122}
123
Oleg Nesterovcb113b42012-07-29 20:22:42 +0200124static loff_t vaddr_to_offset(struct vm_area_struct *vma, unsigned long vaddr)
125{
126 return ((loff_t)vma->vm_pgoff << PAGE_SHIFT) + (vaddr - vma->vm_start);
127}
128
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530129/**
130 * __replace_page - replace page in vma by new page.
131 * based on replace_page in mm/ksm.c
132 *
133 * @vma: vma that holds the pte pointing to page
Oleg Nesterovc517ee72012-07-29 20:22:16 +0200134 * @addr: address the old @page is mapped at
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530135 * @page: the cowed page we are replacing by kpage
136 * @kpage: the modified page we replace page by
137 *
138 * Returns 0 on success, -EFAULT on failure.
139 */
Oleg Nesterovc517ee72012-07-29 20:22:16 +0200140static int __replace_page(struct vm_area_struct *vma, unsigned long addr,
141 struct page *page, struct page *kpage)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530142{
143 struct mm_struct *mm = vma->vm_mm;
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200144 spinlock_t *ptl;
145 pte_t *ptep;
Oleg Nesterov9f924482012-07-29 20:22:20 +0200146 int err;
Haggai Eran6bdb9132012-10-08 16:33:35 -0700147 /* For mmu_notifiers */
148 const unsigned long mmun_start = addr;
149 const unsigned long mmun_end = addr + PAGE_SIZE;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530150
Oleg Nesterov194f8dc2012-07-29 20:22:49 +0200151 /* For try_to_free_swap() and munlock_vma_page() below */
Oleg Nesterov9f924482012-07-29 20:22:20 +0200152 lock_page(page);
153
Haggai Eran6bdb9132012-10-08 16:33:35 -0700154 mmu_notifier_invalidate_range_start(mm, mmun_start, mmun_end);
Oleg Nesterov9f924482012-07-29 20:22:20 +0200155 err = -EAGAIN;
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200156 ptep = page_check_address(page, mm, addr, &ptl, 0);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530157 if (!ptep)
Oleg Nesterov9f924482012-07-29 20:22:20 +0200158 goto unlock;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530159
160 get_page(kpage);
161 page_add_new_anon_rmap(kpage, vma, addr);
162
Srikar Dronamraju7396fa82012-04-11 16:05:16 +0530163 if (!PageAnon(page)) {
164 dec_mm_counter(mm, MM_FILEPAGES);
165 inc_mm_counter(mm, MM_ANONPAGES);
166 }
167
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530168 flush_cache_page(vma, addr, pte_pfn(*ptep));
169 ptep_clear_flush(vma, addr, ptep);
170 set_pte_at_notify(mm, addr, ptep, mk_pte(kpage, vma->vm_page_prot));
171
172 page_remove_rmap(page);
173 if (!page_mapped(page))
174 try_to_free_swap(page);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530175 pte_unmap_unlock(ptep, ptl);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530176
Oleg Nesterov194f8dc2012-07-29 20:22:49 +0200177 if (vma->vm_flags & VM_LOCKED)
178 munlock_vma_page(page);
179 put_page(page);
180
Oleg Nesterov9f924482012-07-29 20:22:20 +0200181 err = 0;
182 unlock:
Haggai Eran6bdb9132012-10-08 16:33:35 -0700183 mmu_notifier_invalidate_range_end(mm, mmun_start, mmun_end);
Oleg Nesterov9f924482012-07-29 20:22:20 +0200184 unlock_page(page);
185 return err;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530186}
187
188/**
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530189 * is_swbp_insn - check if instruction is breakpoint instruction.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530190 * @insn: instruction to be checked.
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530191 * Default implementation of is_swbp_insn
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530192 * Returns true if @insn is a breakpoint instruction.
193 */
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530194bool __weak is_swbp_insn(uprobe_opcode_t *insn)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530195{
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530196 return *insn == UPROBE_SWBP_INSN;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530197}
198
Oleg Nesterovcceb55a2012-09-23 21:10:18 +0200199static void copy_opcode(struct page *page, unsigned long vaddr, uprobe_opcode_t *opcode)
200{
201 void *kaddr = kmap_atomic(page);
202 memcpy(opcode, kaddr + (vaddr & ~PAGE_MASK), UPROBE_SWBP_INSN_SIZE);
203 kunmap_atomic(kaddr);
204}
205
Oleg Nesteroved6f6a52012-09-23 21:30:44 +0200206static int verify_opcode(struct page *page, unsigned long vaddr, uprobe_opcode_t *new_opcode)
207{
208 uprobe_opcode_t old_opcode;
209 bool is_swbp;
210
211 copy_opcode(page, vaddr, &old_opcode);
212 is_swbp = is_swbp_insn(&old_opcode);
213
214 if (is_swbp_insn(new_opcode)) {
215 if (is_swbp) /* register: already installed? */
216 return 0;
217 } else {
218 if (!is_swbp) /* unregister: was it changed by us? */
Oleg Nesterov076a3652012-09-30 18:54:53 +0200219 return 0;
Oleg Nesteroved6f6a52012-09-23 21:30:44 +0200220 }
221
222 return 1;
223}
224
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530225/*
226 * NOTE:
227 * Expect the breakpoint instruction to be the smallest size instruction for
228 * the architecture. If an arch has variable length instruction and the
229 * breakpoint instruction is not of the smallest length instruction
Oleg Nesterovcceb55a2012-09-23 21:10:18 +0200230 * supported by that architecture then we need to modify is_swbp_at_addr and
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530231 * write_opcode accordingly. This would never be a problem for archs that
232 * have fixed length instructions.
233 */
234
235/*
236 * write_opcode - write the opcode at a given virtual address.
237 * @mm: the probed process address space.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530238 * @vaddr: the virtual address to store the opcode.
239 * @opcode: opcode to be written at @vaddr.
240 *
241 * Called with mm->mmap_sem held (for read and with a reference to
242 * mm).
243 *
244 * For mm @mm, write the opcode at @vaddr.
245 * Return 0 (success) or a negative errno.
246 */
Oleg Nesterovcceb55a2012-09-23 21:10:18 +0200247static int write_opcode(struct mm_struct *mm, unsigned long vaddr,
248 uprobe_opcode_t opcode)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530249{
250 struct page *old_page, *new_page;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530251 void *vaddr_old, *vaddr_new;
252 struct vm_area_struct *vma;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530253 int ret;
Oleg Nesterovf4030722012-07-29 20:22:12 +0200254
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200255retry:
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530256 /* Read the page with vaddr into memory */
Oleg Nesterov75ed82e2012-09-16 17:20:06 +0200257 ret = get_user_pages(NULL, mm, vaddr, 1, 0, 1, &old_page, &vma);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530258 if (ret <= 0)
259 return ret;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100260
Oleg Nesteroved6f6a52012-09-23 21:30:44 +0200261 ret = verify_opcode(old_page, vaddr, &opcode);
262 if (ret <= 0)
263 goto put_old;
264
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530265 ret = -ENOMEM;
266 new_page = alloc_page_vma(GFP_HIGHUSER_MOVABLE, vma, vaddr);
267 if (!new_page)
Oleg Nesterov9f924482012-07-29 20:22:20 +0200268 goto put_old;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530269
270 __SetPageUptodate(new_page);
271
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530272 /* copy the page now that we've got it stable */
273 vaddr_old = kmap_atomic(old_page);
274 vaddr_new = kmap_atomic(new_page);
275
276 memcpy(vaddr_new, vaddr_old, PAGE_SIZE);
Oleg Nesterovd9c4a302012-06-15 17:43:50 +0200277 memcpy(vaddr_new + (vaddr & ~PAGE_MASK), &opcode, UPROBE_SWBP_INSN_SIZE);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530278
279 kunmap_atomic(vaddr_new);
280 kunmap_atomic(vaddr_old);
281
282 ret = anon_vma_prepare(vma);
283 if (ret)
Oleg Nesterov9f924482012-07-29 20:22:20 +0200284 goto put_new;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530285
Oleg Nesterovc517ee72012-07-29 20:22:16 +0200286 ret = __replace_page(vma, vaddr, old_page, new_page);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530287
Oleg Nesterov9f924482012-07-29 20:22:20 +0200288put_new:
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530289 page_cache_release(new_page);
Oleg Nesterov9f924482012-07-29 20:22:20 +0200290put_old:
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100291 put_page(old_page);
292
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200293 if (unlikely(ret == -EAGAIN))
294 goto retry;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530295 return ret;
296}
297
298/**
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530299 * set_swbp - store breakpoint at a given address.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530300 * @auprobe: arch specific probepoint information.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530301 * @mm: the probed process address space.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530302 * @vaddr: the virtual address to insert the opcode.
303 *
304 * For mm @mm, store the breakpoint instruction at @vaddr.
305 * Return 0 (success) or a negative errno.
306 */
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530307int __weak set_swbp(struct arch_uprobe *auprobe, struct mm_struct *mm, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530308{
Oleg Nesterovcceb55a2012-09-23 21:10:18 +0200309 return write_opcode(mm, vaddr, UPROBE_SWBP_INSN);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530310}
311
312/**
313 * set_orig_insn - Restore the original instruction.
314 * @mm: the probed process address space.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530315 * @auprobe: arch specific probepoint information.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530316 * @vaddr: the virtual address to insert the opcode.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530317 *
318 * For mm @mm, restore the original opcode (opcode) at @vaddr.
319 * Return 0 (success) or a negative errno.
320 */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100321int __weak
Oleg Nesterovded86e72012-08-08 18:07:03 +0200322set_orig_insn(struct arch_uprobe *auprobe, struct mm_struct *mm, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530323{
Oleg Nesterovcceb55a2012-09-23 21:10:18 +0200324 return write_opcode(mm, vaddr, *(uprobe_opcode_t *)auprobe->insn);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530325}
326
327static int match_uprobe(struct uprobe *l, struct uprobe *r)
328{
329 if (l->inode < r->inode)
330 return -1;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100331
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530332 if (l->inode > r->inode)
333 return 1;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530334
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100335 if (l->offset < r->offset)
336 return -1;
337
338 if (l->offset > r->offset)
339 return 1;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530340
341 return 0;
342}
343
344static struct uprobe *__find_uprobe(struct inode *inode, loff_t offset)
345{
346 struct uprobe u = { .inode = inode, .offset = offset };
347 struct rb_node *n = uprobes_tree.rb_node;
348 struct uprobe *uprobe;
349 int match;
350
351 while (n) {
352 uprobe = rb_entry(n, struct uprobe, rb_node);
353 match = match_uprobe(&u, uprobe);
354 if (!match) {
355 atomic_inc(&uprobe->ref);
356 return uprobe;
357 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100358
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530359 if (match < 0)
360 n = n->rb_left;
361 else
362 n = n->rb_right;
363 }
364 return NULL;
365}
366
367/*
368 * Find a uprobe corresponding to a given inode:offset
369 * Acquires uprobes_treelock
370 */
371static struct uprobe *find_uprobe(struct inode *inode, loff_t offset)
372{
373 struct uprobe *uprobe;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530374
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200375 spin_lock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530376 uprobe = __find_uprobe(inode, offset);
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200377 spin_unlock(&uprobes_treelock);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100378
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530379 return uprobe;
380}
381
382static struct uprobe *__insert_uprobe(struct uprobe *uprobe)
383{
384 struct rb_node **p = &uprobes_tree.rb_node;
385 struct rb_node *parent = NULL;
386 struct uprobe *u;
387 int match;
388
389 while (*p) {
390 parent = *p;
391 u = rb_entry(parent, struct uprobe, rb_node);
392 match = match_uprobe(uprobe, u);
393 if (!match) {
394 atomic_inc(&u->ref);
395 return u;
396 }
397
398 if (match < 0)
399 p = &parent->rb_left;
400 else
401 p = &parent->rb_right;
402
403 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100404
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530405 u = NULL;
406 rb_link_node(&uprobe->rb_node, parent, p);
407 rb_insert_color(&uprobe->rb_node, &uprobes_tree);
408 /* get access + creation ref */
409 atomic_set(&uprobe->ref, 2);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100410
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530411 return u;
412}
413
414/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100415 * Acquire uprobes_treelock.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530416 * Matching uprobe already exists in rbtree;
417 * increment (access refcount) and return the matching uprobe.
418 *
419 * No matching uprobe; insert the uprobe in rb_tree;
420 * get a double refcount (access + creation) and return NULL.
421 */
422static struct uprobe *insert_uprobe(struct uprobe *uprobe)
423{
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530424 struct uprobe *u;
425
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200426 spin_lock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530427 u = __insert_uprobe(uprobe);
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200428 spin_unlock(&uprobes_treelock);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100429
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530430 /* For now assume that the instruction need not be single-stepped */
Oleg Nesterov71434f22012-09-30 21:12:44 +0200431 __set_bit(UPROBE_SKIP_SSTEP, &uprobe->flags);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530432
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530433 return u;
434}
435
436static void put_uprobe(struct uprobe *uprobe)
437{
438 if (atomic_dec_and_test(&uprobe->ref))
439 kfree(uprobe);
440}
441
442static struct uprobe *alloc_uprobe(struct inode *inode, loff_t offset)
443{
444 struct uprobe *uprobe, *cur_uprobe;
445
446 uprobe = kzalloc(sizeof(struct uprobe), GFP_KERNEL);
447 if (!uprobe)
448 return NULL;
449
450 uprobe->inode = igrab(inode);
451 uprobe->offset = offset;
452 init_rwsem(&uprobe->consumer_rwsem);
Oleg Nesterov4710f052012-09-30 20:31:41 +0200453 mutex_init(&uprobe->copy_mutex);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530454
455 /* add to uprobes_tree, sorted on inode:offset */
456 cur_uprobe = insert_uprobe(uprobe);
457
458 /* a uprobe exists for this inode:offset combination */
459 if (cur_uprobe) {
460 kfree(uprobe);
461 uprobe = cur_uprobe;
462 iput(inode);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100463 } else {
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530464 atomic_inc(&uprobe_events);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100465 }
466
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530467 return uprobe;
468}
469
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530470static void handler_chain(struct uprobe *uprobe, struct pt_regs *regs)
471{
472 struct uprobe_consumer *uc;
473
Oleg Nesterov71434f22012-09-30 21:12:44 +0200474 if (!test_bit(UPROBE_RUN_HANDLER, &uprobe->flags))
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530475 return;
476
477 down_read(&uprobe->consumer_rwsem);
478 for (uc = uprobe->consumers; uc; uc = uc->next) {
479 if (!uc->filter || uc->filter(uc, current))
480 uc->handler(uc, regs);
481 }
482 up_read(&uprobe->consumer_rwsem);
483}
484
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530485/* Returns the previous consumer */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100486static struct uprobe_consumer *
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530487consumer_add(struct uprobe *uprobe, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530488{
489 down_write(&uprobe->consumer_rwsem);
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530490 uc->next = uprobe->consumers;
491 uprobe->consumers = uc;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530492 up_write(&uprobe->consumer_rwsem);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100493
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530494 return uc->next;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530495}
496
497/*
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530498 * For uprobe @uprobe, delete the consumer @uc.
499 * Return true if the @uc is deleted successfully
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530500 * or return false.
501 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530502static bool consumer_del(struct uprobe *uprobe, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530503{
504 struct uprobe_consumer **con;
505 bool ret = false;
506
507 down_write(&uprobe->consumer_rwsem);
508 for (con = &uprobe->consumers; *con; con = &(*con)->next) {
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530509 if (*con == uc) {
510 *con = uc->next;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530511 ret = true;
512 break;
513 }
514 }
515 up_write(&uprobe->consumer_rwsem);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100516
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530517 return ret;
518}
519
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530520static int
Oleg Nesterovd4366152012-06-15 17:43:42 +0200521__copy_insn(struct address_space *mapping, struct file *filp, char *insn,
Oleg Nesterov593609a2012-06-15 17:43:59 +0200522 unsigned long nbytes, loff_t offset)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530523{
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530524 struct page *page;
525 void *vaddr;
Oleg Nesterov593609a2012-06-15 17:43:59 +0200526 unsigned long off;
527 pgoff_t idx;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530528
529 if (!filp)
530 return -EINVAL;
531
Oleg Nesterovcc359d12012-06-15 17:43:25 +0200532 if (!mapping->a_ops->readpage)
533 return -EIO;
534
Oleg Nesterov593609a2012-06-15 17:43:59 +0200535 idx = offset >> PAGE_CACHE_SHIFT;
536 off = offset & ~PAGE_MASK;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530537
538 /*
539 * Ensure that the page that has the original instruction is
540 * populated and in page-cache.
541 */
542 page = read_mapping_page(mapping, idx, filp);
543 if (IS_ERR(page))
544 return PTR_ERR(page);
545
546 vaddr = kmap_atomic(page);
Oleg Nesterov593609a2012-06-15 17:43:59 +0200547 memcpy(insn, vaddr + off, nbytes);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530548 kunmap_atomic(vaddr);
549 page_cache_release(page);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100550
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530551 return 0;
552}
553
Oleg Nesterovd4366152012-06-15 17:43:42 +0200554static int copy_insn(struct uprobe *uprobe, struct file *filp)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530555{
556 struct address_space *mapping;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530557 unsigned long nbytes;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100558 int bytes;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530559
Oleg Nesterovd4366152012-06-15 17:43:42 +0200560 nbytes = PAGE_SIZE - (uprobe->offset & ~PAGE_MASK);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530561 mapping = uprobe->inode->i_mapping;
562
563 /* Instruction at end of binary; copy only available bytes */
564 if (uprobe->offset + MAX_UINSN_BYTES > uprobe->inode->i_size)
565 bytes = uprobe->inode->i_size - uprobe->offset;
566 else
567 bytes = MAX_UINSN_BYTES;
568
569 /* Instruction at the page-boundary; copy bytes in second page */
570 if (nbytes < bytes) {
Oleg Nesterovfc36f592012-06-15 17:43:44 +0200571 int err = __copy_insn(mapping, filp, uprobe->arch.insn + nbytes,
572 bytes - nbytes, uprobe->offset + nbytes);
573 if (err)
574 return err;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530575 bytes = nbytes;
576 }
Oleg Nesterovd4366152012-06-15 17:43:42 +0200577 return __copy_insn(mapping, filp, uprobe->arch.insn, bytes, uprobe->offset);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530578}
579
Oleg Nesterovcb9a19f2012-09-30 20:11:45 +0200580static int prepare_uprobe(struct uprobe *uprobe, struct file *file,
581 struct mm_struct *mm, unsigned long vaddr)
582{
583 int ret = 0;
584
Oleg Nesterov71434f22012-09-30 21:12:44 +0200585 if (test_bit(UPROBE_COPY_INSN, &uprobe->flags))
Oleg Nesterovcb9a19f2012-09-30 20:11:45 +0200586 return ret;
587
Oleg Nesterov4710f052012-09-30 20:31:41 +0200588 mutex_lock(&uprobe->copy_mutex);
Oleg Nesterov71434f22012-09-30 21:12:44 +0200589 if (test_bit(UPROBE_COPY_INSN, &uprobe->flags))
Oleg Nesterov4710f052012-09-30 20:31:41 +0200590 goto out;
591
Oleg Nesterovcb9a19f2012-09-30 20:11:45 +0200592 ret = copy_insn(uprobe, file);
593 if (ret)
594 goto out;
595
596 ret = -ENOTSUPP;
597 if (is_swbp_insn((uprobe_opcode_t *)uprobe->arch.insn))
598 goto out;
599
600 ret = arch_uprobe_analyze_insn(&uprobe->arch, mm, vaddr);
601 if (ret)
602 goto out;
603
604 /* write_opcode() assumes we don't cross page boundary */
605 BUG_ON((uprobe->offset & ~PAGE_MASK) +
606 UPROBE_SWBP_INSN_SIZE > PAGE_SIZE);
607
608 smp_wmb(); /* pairs with rmb() in find_active_uprobe() */
Oleg Nesterov71434f22012-09-30 21:12:44 +0200609 set_bit(UPROBE_COPY_INSN, &uprobe->flags);
Oleg Nesterovcb9a19f2012-09-30 20:11:45 +0200610
611 out:
Oleg Nesterov4710f052012-09-30 20:31:41 +0200612 mutex_unlock(&uprobe->copy_mutex);
613
Oleg Nesterovcb9a19f2012-09-30 20:11:45 +0200614 return ret;
615}
616
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530617static int
618install_breakpoint(struct uprobe *uprobe, struct mm_struct *mm,
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200619 struct vm_area_struct *vma, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530620{
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +0200621 bool first_uprobe;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530622 int ret;
623
624 /*
625 * If probe is being deleted, unregister thread could be done with
626 * the vma-rmap-walk through. Adding a probe now can be fatal since
627 * nobody will be able to cleanup. Also we could be from fork or
628 * mremap path, where the probe might have already been inserted.
629 * Hence behave as if probe already existed.
630 */
631 if (!uprobe->consumers)
Oleg Nesterov78f74112012-08-08 17:35:08 +0200632 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530633
Oleg Nesterovcb9a19f2012-09-30 20:11:45 +0200634 ret = prepare_uprobe(uprobe, vma->vm_file, mm, vaddr);
635 if (ret)
636 return ret;
Srikar Dronamraju682968e2012-03-30 23:56:46 +0530637
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +0200638 /*
639 * set MMF_HAS_UPROBES in advance for uprobe_pre_sstep_notifier(),
640 * the task can hit this breakpoint right after __replace_page().
641 */
642 first_uprobe = !test_bit(MMF_HAS_UPROBES, &mm->flags);
643 if (first_uprobe)
644 set_bit(MMF_HAS_UPROBES, &mm->flags);
645
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200646 ret = set_swbp(&uprobe->arch, mm, vaddr);
Oleg Nesterov9f68f672012-08-19 16:15:09 +0200647 if (!ret)
648 clear_bit(MMF_RECALC_UPROBES, &mm->flags);
649 else if (first_uprobe)
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +0200650 clear_bit(MMF_HAS_UPROBES, &mm->flags);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530651
652 return ret;
653}
654
Oleg Nesterov076a3652012-09-30 18:54:53 +0200655static int
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200656remove_breakpoint(struct uprobe *uprobe, struct mm_struct *mm, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530657{
Oleg Nesterov9f68f672012-08-19 16:15:09 +0200658 /* can happen if uprobe_register() fails */
659 if (!test_bit(MMF_HAS_UPROBES, &mm->flags))
Oleg Nesterov076a3652012-09-30 18:54:53 +0200660 return 0;
Oleg Nesterov9f68f672012-08-19 16:15:09 +0200661
662 set_bit(MMF_RECALC_UPROBES, &mm->flags);
Oleg Nesterov076a3652012-09-30 18:54:53 +0200663 return set_orig_insn(&uprobe->arch, mm, vaddr);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530664}
665
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530666/*
Oleg Nesterov778b0322012-05-29 21:30:08 +0200667 * There could be threads that have already hit the breakpoint. They
668 * will recheck the current insn and restart if find_uprobe() fails.
669 * See find_active_uprobe().
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530670 */
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530671static void delete_uprobe(struct uprobe *uprobe)
672{
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200673 spin_lock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530674 rb_erase(&uprobe->rb_node, &uprobes_tree);
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200675 spin_unlock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530676 iput(uprobe->inode);
677 put_uprobe(uprobe);
678 atomic_dec(&uprobe_events);
679}
680
Oleg Nesterov26872092012-06-15 17:43:33 +0200681struct map_info {
682 struct map_info *next;
683 struct mm_struct *mm;
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200684 unsigned long vaddr;
Oleg Nesterov26872092012-06-15 17:43:33 +0200685};
686
687static inline struct map_info *free_map_info(struct map_info *info)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530688{
Oleg Nesterov26872092012-06-15 17:43:33 +0200689 struct map_info *next = info->next;
690 kfree(info);
691 return next;
692}
693
694static struct map_info *
695build_map_info(struct address_space *mapping, loff_t offset, bool is_register)
696{
697 unsigned long pgoff = offset >> PAGE_SHIFT;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530698 struct vm_area_struct *vma;
Oleg Nesterov26872092012-06-15 17:43:33 +0200699 struct map_info *curr = NULL;
700 struct map_info *prev = NULL;
701 struct map_info *info;
702 int more = 0;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100703
Oleg Nesterov26872092012-06-15 17:43:33 +0200704 again:
705 mutex_lock(&mapping->i_mmap_mutex);
Michel Lespinasse6b2dbba2012-10-08 16:31:25 -0700706 vma_interval_tree_foreach(vma, &mapping->i_mmap, pgoff, pgoff) {
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530707 if (!valid_vma(vma, is_register))
708 continue;
709
Oleg Nesterov7a5bfb62012-06-15 17:43:36 +0200710 if (!prev && !more) {
711 /*
712 * Needs GFP_NOWAIT to avoid i_mmap_mutex recursion through
713 * reclaim. This is optimistic, no harm done if it fails.
714 */
715 prev = kmalloc(sizeof(struct map_info),
716 GFP_NOWAIT | __GFP_NOMEMALLOC | __GFP_NOWARN);
717 if (prev)
718 prev->next = NULL;
719 }
Oleg Nesterov26872092012-06-15 17:43:33 +0200720 if (!prev) {
721 more++;
722 continue;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530723 }
724
Oleg Nesterov26872092012-06-15 17:43:33 +0200725 if (!atomic_inc_not_zero(&vma->vm_mm->mm_users))
726 continue;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100727
Oleg Nesterov26872092012-06-15 17:43:33 +0200728 info = prev;
729 prev = prev->next;
730 info->next = curr;
731 curr = info;
732
733 info->mm = vma->vm_mm;
Oleg Nesterov57683f72012-07-29 20:22:47 +0200734 info->vaddr = offset_to_vaddr(vma, offset);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530735 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530736 mutex_unlock(&mapping->i_mmap_mutex);
737
Oleg Nesterov26872092012-06-15 17:43:33 +0200738 if (!more)
739 goto out;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100740
Oleg Nesterov26872092012-06-15 17:43:33 +0200741 prev = curr;
742 while (curr) {
743 mmput(curr->mm);
744 curr = curr->next;
745 }
746
747 do {
748 info = kmalloc(sizeof(struct map_info), GFP_KERNEL);
749 if (!info) {
750 curr = ERR_PTR(-ENOMEM);
751 goto out;
752 }
753 info->next = prev;
754 prev = info;
755 } while (--more);
756
757 goto again;
758 out:
759 while (prev)
760 prev = free_map_info(prev);
761 return curr;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530762}
763
764static int register_for_each_vma(struct uprobe *uprobe, bool is_register)
765{
Oleg Nesterov26872092012-06-15 17:43:33 +0200766 struct map_info *info;
767 int err = 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530768
Oleg Nesterov26872092012-06-15 17:43:33 +0200769 info = build_map_info(uprobe->inode->i_mapping,
770 uprobe->offset, is_register);
771 if (IS_ERR(info))
772 return PTR_ERR(info);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100773
Oleg Nesterov26872092012-06-15 17:43:33 +0200774 while (info) {
775 struct mm_struct *mm = info->mm;
776 struct vm_area_struct *vma;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100777
Oleg Nesterov076a3652012-09-30 18:54:53 +0200778 if (err && is_register)
Oleg Nesterov26872092012-06-15 17:43:33 +0200779 goto free;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100780
Oleg Nesterov77fc4af2012-05-29 21:29:28 +0200781 down_write(&mm->mmap_sem);
Oleg Nesterovf4d6dfe2012-07-29 20:22:44 +0200782 vma = find_vma(mm, info->vaddr);
783 if (!vma || !valid_vma(vma, is_register) ||
784 vma->vm_file->f_mapping->host != uprobe->inode)
Oleg Nesterov26872092012-06-15 17:43:33 +0200785 goto unlock;
786
Oleg Nesterovf4d6dfe2012-07-29 20:22:44 +0200787 if (vma->vm_start > info->vaddr ||
788 vaddr_to_offset(vma, info->vaddr) != uprobe->offset)
Oleg Nesterov26872092012-06-15 17:43:33 +0200789 goto unlock;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530790
Oleg Nesterov78f74112012-08-08 17:35:08 +0200791 if (is_register)
Oleg Nesterov26872092012-06-15 17:43:33 +0200792 err = install_breakpoint(uprobe, mm, vma, info->vaddr);
Oleg Nesterov78f74112012-08-08 17:35:08 +0200793 else
Oleg Nesterov076a3652012-09-30 18:54:53 +0200794 err |= remove_breakpoint(uprobe, mm, info->vaddr);
Oleg Nesterov78f74112012-08-08 17:35:08 +0200795
Oleg Nesterov26872092012-06-15 17:43:33 +0200796 unlock:
797 up_write(&mm->mmap_sem);
798 free:
799 mmput(mm);
800 info = free_map_info(info);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530801 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100802
Oleg Nesterov26872092012-06-15 17:43:33 +0200803 return err;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530804}
805
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100806static int __uprobe_register(struct uprobe *uprobe)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530807{
808 return register_for_each_vma(uprobe, true);
809}
810
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100811static void __uprobe_unregister(struct uprobe *uprobe)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530812{
813 if (!register_for_each_vma(uprobe, false))
814 delete_uprobe(uprobe);
815
816 /* TODO : cant unregister? schedule a worker thread */
817}
818
819/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100820 * uprobe_register - register a probe
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530821 * @inode: the file in which the probe has to be placed.
822 * @offset: offset from the start of the file.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530823 * @uc: information on howto handle the probe..
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530824 *
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100825 * Apart from the access refcount, uprobe_register() takes a creation
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530826 * refcount (thro alloc_uprobe) if and only if this @uprobe is getting
827 * inserted into the rbtree (i.e first consumer for a @inode:@offset
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100828 * tuple). Creation refcount stops uprobe_unregister from freeing the
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530829 * @uprobe even before the register operation is complete. Creation
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530830 * refcount is released when the last @uc for the @uprobe
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530831 * unregisters.
832 *
833 * Return errno if it cannot successully install probes
834 * else return 0 (success)
835 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530836int uprobe_register(struct inode *inode, loff_t offset, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530837{
838 struct uprobe *uprobe;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100839 int ret;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530840
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530841 if (!inode || !uc || uc->next)
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100842 return -EINVAL;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530843
844 if (offset > i_size_read(inode))
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100845 return -EINVAL;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530846
847 ret = 0;
848 mutex_lock(uprobes_hash(inode));
849 uprobe = alloc_uprobe(inode, offset);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100850
Oleg Nesterova5f658b2012-09-30 18:21:09 +0200851 if (!uprobe) {
852 ret = -ENOMEM;
853 } else if (!consumer_add(uprobe, uc)) {
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100854 ret = __uprobe_register(uprobe);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530855 if (ret) {
856 uprobe->consumers = NULL;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100857 __uprobe_unregister(uprobe);
858 } else {
Oleg Nesterov71434f22012-09-30 21:12:44 +0200859 set_bit(UPROBE_RUN_HANDLER, &uprobe->flags);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100860 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530861 }
862
863 mutex_unlock(uprobes_hash(inode));
Sebastian Andrzej Siewior6d1d8df2012-08-30 19:26:22 +0200864 if (uprobe)
865 put_uprobe(uprobe);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530866
867 return ret;
868}
869
870/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100871 * uprobe_unregister - unregister a already registered probe.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530872 * @inode: the file in which the probe has to be removed.
873 * @offset: offset from the start of the file.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530874 * @uc: identify which probe if multiple probes are colocated.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530875 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530876void uprobe_unregister(struct inode *inode, loff_t offset, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530877{
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100878 struct uprobe *uprobe;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530879
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530880 if (!inode || !uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530881 return;
882
883 uprobe = find_uprobe(inode, offset);
884 if (!uprobe)
885 return;
886
887 mutex_lock(uprobes_hash(inode));
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530888
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530889 if (consumer_del(uprobe, uc)) {
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100890 if (!uprobe->consumers) {
891 __uprobe_unregister(uprobe);
Oleg Nesterov71434f22012-09-30 21:12:44 +0200892 clear_bit(UPROBE_RUN_HANDLER, &uprobe->flags);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100893 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530894 }
895
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530896 mutex_unlock(uprobes_hash(inode));
897 if (uprobe)
898 put_uprobe(uprobe);
899}
900
Oleg Nesterov891c3972012-07-29 20:22:40 +0200901static struct rb_node *
902find_node_in_range(struct inode *inode, loff_t min, loff_t max)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530903{
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530904 struct rb_node *n = uprobes_tree.rb_node;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530905
906 while (n) {
Oleg Nesterov891c3972012-07-29 20:22:40 +0200907 struct uprobe *u = rb_entry(n, struct uprobe, rb_node);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100908
Oleg Nesterov891c3972012-07-29 20:22:40 +0200909 if (inode < u->inode) {
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530910 n = n->rb_left;
Oleg Nesterov891c3972012-07-29 20:22:40 +0200911 } else if (inode > u->inode) {
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530912 n = n->rb_right;
Oleg Nesterov891c3972012-07-29 20:22:40 +0200913 } else {
914 if (max < u->offset)
915 n = n->rb_left;
916 else if (min > u->offset)
917 n = n->rb_right;
918 else
919 break;
920 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530921 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100922
Oleg Nesterov891c3972012-07-29 20:22:40 +0200923 return n;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530924}
925
926/*
Oleg Nesterov891c3972012-07-29 20:22:40 +0200927 * For a given range in vma, build a list of probes that need to be inserted.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530928 */
Oleg Nesterov891c3972012-07-29 20:22:40 +0200929static void build_probe_list(struct inode *inode,
930 struct vm_area_struct *vma,
931 unsigned long start, unsigned long end,
932 struct list_head *head)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530933{
Oleg Nesterov891c3972012-07-29 20:22:40 +0200934 loff_t min, max;
Oleg Nesterov891c3972012-07-29 20:22:40 +0200935 struct rb_node *n, *t;
936 struct uprobe *u;
937
938 INIT_LIST_HEAD(head);
Oleg Nesterovcb113b42012-07-29 20:22:42 +0200939 min = vaddr_to_offset(vma, start);
Oleg Nesterov891c3972012-07-29 20:22:40 +0200940 max = min + (end - start) - 1;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530941
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200942 spin_lock(&uprobes_treelock);
Oleg Nesterov891c3972012-07-29 20:22:40 +0200943 n = find_node_in_range(inode, min, max);
944 if (n) {
945 for (t = n; t; t = rb_prev(t)) {
946 u = rb_entry(t, struct uprobe, rb_node);
947 if (u->inode != inode || u->offset < min)
948 break;
949 list_add(&u->pending_list, head);
950 atomic_inc(&u->ref);
951 }
952 for (t = n; (t = rb_next(t)); ) {
953 u = rb_entry(t, struct uprobe, rb_node);
954 if (u->inode != inode || u->offset > max)
955 break;
956 list_add(&u->pending_list, head);
957 atomic_inc(&u->ref);
958 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530959 }
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200960 spin_unlock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530961}
962
963/*
Oleg Nesterov5e5be712012-08-06 14:49:56 +0200964 * Called from mmap_region/vma_adjust with mm->mmap_sem acquired.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530965 *
Oleg Nesterov5e5be712012-08-06 14:49:56 +0200966 * Currently we ignore all errors and always return 0, the callers
967 * can't handle the failure anyway.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530968 */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100969int uprobe_mmap(struct vm_area_struct *vma)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530970{
971 struct list_head tmp_list;
Oleg Nesterov665605a2012-07-29 20:22:29 +0200972 struct uprobe *uprobe, *u;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530973 struct inode *inode;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530974
975 if (!atomic_read(&uprobe_events) || !valid_vma(vma, true))
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100976 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530977
978 inode = vma->vm_file->f_mapping->host;
979 if (!inode)
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100980 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530981
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530982 mutex_lock(uprobes_mmap_hash(inode));
Oleg Nesterov891c3972012-07-29 20:22:40 +0200983 build_probe_list(inode, vma, vma->vm_start, vma->vm_end, &tmp_list);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100984
Oleg Nesterov665605a2012-07-29 20:22:29 +0200985 list_for_each_entry_safe(uprobe, u, &tmp_list, pending_list) {
Oleg Nesterov5e5be712012-08-06 14:49:56 +0200986 if (!fatal_signal_pending(current)) {
Oleg Nesterov57683f72012-07-29 20:22:47 +0200987 unsigned long vaddr = offset_to_vaddr(vma, uprobe->offset);
Oleg Nesterov5e5be712012-08-06 14:49:56 +0200988 install_breakpoint(uprobe, vma->vm_mm, vma, vaddr);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530989 }
990 put_uprobe(uprobe);
991 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530992 mutex_unlock(uprobes_mmap_hash(inode));
993
Oleg Nesterov5e5be712012-08-06 14:49:56 +0200994 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530995}
996
Oleg Nesterov9f68f672012-08-19 16:15:09 +0200997static bool
998vma_has_uprobes(struct vm_area_struct *vma, unsigned long start, unsigned long end)
999{
1000 loff_t min, max;
1001 struct inode *inode;
1002 struct rb_node *n;
1003
1004 inode = vma->vm_file->f_mapping->host;
1005
1006 min = vaddr_to_offset(vma, start);
1007 max = min + (end - start) - 1;
1008
1009 spin_lock(&uprobes_treelock);
1010 n = find_node_in_range(inode, min, max);
1011 spin_unlock(&uprobes_treelock);
1012
1013 return !!n;
1014}
1015
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301016/*
1017 * Called in context of a munmap of a vma.
1018 */
Srikar Dronamrajucbc91f72012-04-11 16:05:27 +05301019void uprobe_munmap(struct vm_area_struct *vma, unsigned long start, unsigned long end)
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301020{
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301021 if (!atomic_read(&uprobe_events) || !valid_vma(vma, false))
1022 return;
1023
Oleg Nesterov2fd611a2012-07-29 20:22:31 +02001024 if (!atomic_read(&vma->vm_mm->mm_users)) /* called by mmput() ? */
1025 return;
1026
Oleg Nesterov9f68f672012-08-19 16:15:09 +02001027 if (!test_bit(MMF_HAS_UPROBES, &vma->vm_mm->flags) ||
1028 test_bit(MMF_RECALC_UPROBES, &vma->vm_mm->flags))
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001029 return;
1030
Oleg Nesterov9f68f672012-08-19 16:15:09 +02001031 if (vma_has_uprobes(vma, start, end))
1032 set_bit(MMF_RECALC_UPROBES, &vma->vm_mm->flags);
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301033}
1034
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301035/* Slot allocation for XOL */
1036static int xol_add_vma(struct xol_area *area)
1037{
1038 struct mm_struct *mm;
1039 int ret;
1040
1041 area->page = alloc_page(GFP_HIGHUSER);
1042 if (!area->page)
1043 return -ENOMEM;
1044
1045 ret = -EALREADY;
1046 mm = current->mm;
1047
1048 down_write(&mm->mmap_sem);
1049 if (mm->uprobes_state.xol_area)
1050 goto fail;
1051
1052 ret = -ENOMEM;
1053
1054 /* Try to map as high as possible, this is only a hint. */
1055 area->vaddr = get_unmapped_area(NULL, TASK_SIZE - PAGE_SIZE, PAGE_SIZE, 0, 0);
1056 if (area->vaddr & ~PAGE_MASK) {
1057 ret = area->vaddr;
1058 goto fail;
1059 }
1060
1061 ret = install_special_mapping(mm, area->vaddr, PAGE_SIZE,
1062 VM_EXEC|VM_MAYEXEC|VM_DONTCOPY|VM_IO, &area->page);
1063 if (ret)
1064 goto fail;
1065
1066 smp_wmb(); /* pairs with get_xol_area() */
1067 mm->uprobes_state.xol_area = area;
1068 ret = 0;
1069
1070fail:
1071 up_write(&mm->mmap_sem);
1072 if (ret)
1073 __free_page(area->page);
1074
1075 return ret;
1076}
1077
1078static struct xol_area *get_xol_area(struct mm_struct *mm)
1079{
1080 struct xol_area *area;
1081
1082 area = mm->uprobes_state.xol_area;
1083 smp_read_barrier_depends(); /* pairs with wmb in xol_add_vma() */
1084
1085 return area;
1086}
1087
1088/*
1089 * xol_alloc_area - Allocate process's xol_area.
1090 * This area will be used for storing instructions for execution out of
1091 * line.
1092 *
1093 * Returns the allocated area or NULL.
1094 */
1095static struct xol_area *xol_alloc_area(void)
1096{
1097 struct xol_area *area;
1098
1099 area = kzalloc(sizeof(*area), GFP_KERNEL);
1100 if (unlikely(!area))
1101 return NULL;
1102
1103 area->bitmap = kzalloc(BITS_TO_LONGS(UINSNS_PER_PAGE) * sizeof(long), GFP_KERNEL);
1104
1105 if (!area->bitmap)
1106 goto fail;
1107
1108 init_waitqueue_head(&area->wq);
1109 if (!xol_add_vma(area))
1110 return area;
1111
1112fail:
1113 kfree(area->bitmap);
1114 kfree(area);
1115
1116 return get_xol_area(current->mm);
1117}
1118
1119/*
1120 * uprobe_clear_state - Free the area allocated for slots.
1121 */
1122void uprobe_clear_state(struct mm_struct *mm)
1123{
1124 struct xol_area *area = mm->uprobes_state.xol_area;
1125
1126 if (!area)
1127 return;
1128
1129 put_page(area->page);
1130 kfree(area->bitmap);
1131 kfree(area);
1132}
1133
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001134void uprobe_dup_mmap(struct mm_struct *oldmm, struct mm_struct *newmm)
1135{
Oleg Nesterov61559a82012-08-08 17:17:46 +02001136 newmm->uprobes_state.xol_area = NULL;
1137
Oleg Nesterov9f68f672012-08-19 16:15:09 +02001138 if (test_bit(MMF_HAS_UPROBES, &oldmm->flags)) {
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001139 set_bit(MMF_HAS_UPROBES, &newmm->flags);
Oleg Nesterov9f68f672012-08-19 16:15:09 +02001140 /* unconditionally, dup_mmap() skips VM_DONTCOPY vmas */
1141 set_bit(MMF_RECALC_UPROBES, &newmm->flags);
1142 }
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001143}
1144
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301145/*
1146 * - search for a free slot.
1147 */
1148static unsigned long xol_take_insn_slot(struct xol_area *area)
1149{
1150 unsigned long slot_addr;
1151 int slot_nr;
1152
1153 do {
1154 slot_nr = find_first_zero_bit(area->bitmap, UINSNS_PER_PAGE);
1155 if (slot_nr < UINSNS_PER_PAGE) {
1156 if (!test_and_set_bit(slot_nr, area->bitmap))
1157 break;
1158
1159 slot_nr = UINSNS_PER_PAGE;
1160 continue;
1161 }
1162 wait_event(area->wq, (atomic_read(&area->slot_count) < UINSNS_PER_PAGE));
1163 } while (slot_nr >= UINSNS_PER_PAGE);
1164
1165 slot_addr = area->vaddr + (slot_nr * UPROBE_XOL_SLOT_BYTES);
1166 atomic_inc(&area->slot_count);
1167
1168 return slot_addr;
1169}
1170
1171/*
1172 * xol_get_insn_slot - If was not allocated a slot, then
1173 * allocate a slot.
1174 * Returns the allocated slot address or 0.
1175 */
1176static unsigned long xol_get_insn_slot(struct uprobe *uprobe, unsigned long slot_addr)
1177{
1178 struct xol_area *area;
1179 unsigned long offset;
1180 void *vaddr;
1181
1182 area = get_xol_area(current->mm);
1183 if (!area) {
1184 area = xol_alloc_area();
1185 if (!area)
1186 return 0;
1187 }
1188 current->utask->xol_vaddr = xol_take_insn_slot(area);
1189
1190 /*
1191 * Initialize the slot if xol_vaddr points to valid
1192 * instruction slot.
1193 */
1194 if (unlikely(!current->utask->xol_vaddr))
1195 return 0;
1196
1197 current->utask->vaddr = slot_addr;
1198 offset = current->utask->xol_vaddr & ~PAGE_MASK;
1199 vaddr = kmap_atomic(area->page);
1200 memcpy(vaddr + offset, uprobe->arch.insn, MAX_UINSN_BYTES);
1201 kunmap_atomic(vaddr);
Rabin Vincent65b6ecc2012-11-14 18:27:07 +01001202 /*
1203 * We probably need flush_icache_user_range() but it needs vma.
1204 * This should work on supported architectures too.
1205 */
1206 flush_dcache_page(area->page);
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301207
1208 return current->utask->xol_vaddr;
1209}
1210
1211/*
1212 * xol_free_insn_slot - If slot was earlier allocated by
1213 * @xol_get_insn_slot(), make the slot available for
1214 * subsequent requests.
1215 */
1216static void xol_free_insn_slot(struct task_struct *tsk)
1217{
1218 struct xol_area *area;
1219 unsigned long vma_end;
1220 unsigned long slot_addr;
1221
1222 if (!tsk->mm || !tsk->mm->uprobes_state.xol_area || !tsk->utask)
1223 return;
1224
1225 slot_addr = tsk->utask->xol_vaddr;
1226
1227 if (unlikely(!slot_addr || IS_ERR_VALUE(slot_addr)))
1228 return;
1229
1230 area = tsk->mm->uprobes_state.xol_area;
1231 vma_end = area->vaddr + PAGE_SIZE;
1232 if (area->vaddr <= slot_addr && slot_addr < vma_end) {
1233 unsigned long offset;
1234 int slot_nr;
1235
1236 offset = slot_addr - area->vaddr;
1237 slot_nr = offset / UPROBE_XOL_SLOT_BYTES;
1238 if (slot_nr >= UINSNS_PER_PAGE)
1239 return;
1240
1241 clear_bit(slot_nr, area->bitmap);
1242 atomic_dec(&area->slot_count);
1243 if (waitqueue_active(&area->wq))
1244 wake_up(&area->wq);
1245
1246 tsk->utask->xol_vaddr = 0;
1247 }
1248}
1249
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301250/**
1251 * uprobe_get_swbp_addr - compute address of swbp given post-swbp regs
1252 * @regs: Reflects the saved state of the task after it has hit a breakpoint
1253 * instruction.
1254 * Return the address of the breakpoint instruction.
1255 */
1256unsigned long __weak uprobe_get_swbp_addr(struct pt_regs *regs)
1257{
1258 return instruction_pointer(regs) - UPROBE_SWBP_INSN_SIZE;
1259}
1260
1261/*
1262 * Called with no locks held.
1263 * Called in context of a exiting or a exec-ing thread.
1264 */
1265void uprobe_free_utask(struct task_struct *t)
1266{
1267 struct uprobe_task *utask = t->utask;
1268
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301269 if (!utask)
1270 return;
1271
1272 if (utask->active_uprobe)
1273 put_uprobe(utask->active_uprobe);
1274
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301275 xol_free_insn_slot(t);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301276 kfree(utask);
1277 t->utask = NULL;
1278}
1279
1280/*
1281 * Called in context of a new clone/fork from copy_process.
1282 */
1283void uprobe_copy_process(struct task_struct *t)
1284{
1285 t->utask = NULL;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301286}
1287
1288/*
1289 * Allocate a uprobe_task object for the task.
1290 * Called when the thread hits a breakpoint for the first time.
1291 *
1292 * Returns:
1293 * - pointer to new uprobe_task on success
1294 * - NULL otherwise
1295 */
1296static struct uprobe_task *add_utask(void)
1297{
1298 struct uprobe_task *utask;
1299
1300 utask = kzalloc(sizeof *utask, GFP_KERNEL);
1301 if (unlikely(!utask))
1302 return NULL;
1303
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301304 current->utask = utask;
1305 return utask;
1306}
1307
1308/* Prepare to single-step probed instruction out of line. */
1309static int
1310pre_ssout(struct uprobe *uprobe, struct pt_regs *regs, unsigned long vaddr)
1311{
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301312 if (xol_get_insn_slot(uprobe, vaddr) && !arch_uprobe_pre_xol(&uprobe->arch, regs))
1313 return 0;
1314
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301315 return -EFAULT;
1316}
1317
1318/*
1319 * If we are singlestepping, then ensure this thread is not connected to
1320 * non-fatal signals until completion of singlestep. When xol insn itself
1321 * triggers the signal, restart the original insn even if the task is
1322 * already SIGKILL'ed (since coredump should report the correct ip). This
1323 * is even more important if the task has a handler for SIGSEGV/etc, The
1324 * _same_ instruction should be repeated again after return from the signal
1325 * handler, and SSTEP can never finish in this case.
1326 */
1327bool uprobe_deny_signal(void)
1328{
1329 struct task_struct *t = current;
1330 struct uprobe_task *utask = t->utask;
1331
1332 if (likely(!utask || !utask->active_uprobe))
1333 return false;
1334
1335 WARN_ON_ONCE(utask->state != UTASK_SSTEP);
1336
1337 if (signal_pending(t)) {
1338 spin_lock_irq(&t->sighand->siglock);
1339 clear_tsk_thread_flag(t, TIF_SIGPENDING);
1340 spin_unlock_irq(&t->sighand->siglock);
1341
1342 if (__fatal_signal_pending(t) || arch_uprobe_xol_was_trapped(t)) {
1343 utask->state = UTASK_SSTEP_TRAPPED;
1344 set_tsk_thread_flag(t, TIF_UPROBE);
1345 set_tsk_thread_flag(t, TIF_NOTIFY_RESUME);
1346 }
1347 }
1348
1349 return true;
1350}
1351
1352/*
1353 * Avoid singlestepping the original instruction if the original instruction
1354 * is a NOP or can be emulated.
1355 */
1356static bool can_skip_sstep(struct uprobe *uprobe, struct pt_regs *regs)
1357{
Oleg Nesterov71434f22012-09-30 21:12:44 +02001358 if (test_bit(UPROBE_SKIP_SSTEP, &uprobe->flags)) {
Oleg Nesterov0578a972012-09-14 18:31:23 +02001359 if (arch_uprobe_skip_sstep(&uprobe->arch, regs))
1360 return true;
Oleg Nesterov71434f22012-09-30 21:12:44 +02001361 clear_bit(UPROBE_SKIP_SSTEP, &uprobe->flags);
Oleg Nesterov0578a972012-09-14 18:31:23 +02001362 }
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301363 return false;
1364}
1365
Oleg Nesterov499a4f32012-08-19 17:41:34 +02001366static void mmf_recalc_uprobes(struct mm_struct *mm)
1367{
1368 struct vm_area_struct *vma;
1369
1370 for (vma = mm->mmap; vma; vma = vma->vm_next) {
1371 if (!valid_vma(vma, false))
1372 continue;
1373 /*
1374 * This is not strictly accurate, we can race with
1375 * uprobe_unregister() and see the already removed
1376 * uprobe if delete_uprobe() was not yet called.
1377 */
1378 if (vma_has_uprobes(vma, vma->vm_start, vma->vm_end))
1379 return;
1380 }
1381
1382 clear_bit(MMF_HAS_UPROBES, &mm->flags);
1383}
1384
Oleg Nesterovec75fba2012-09-23 21:55:19 +02001385static int is_swbp_at_addr(struct mm_struct *mm, unsigned long vaddr)
1386{
1387 struct page *page;
1388 uprobe_opcode_t opcode;
1389 int result;
1390
1391 pagefault_disable();
1392 result = __copy_from_user_inatomic(&opcode, (void __user*)vaddr,
1393 sizeof(opcode));
1394 pagefault_enable();
1395
1396 if (likely(result == 0))
1397 goto out;
1398
1399 result = get_user_pages(NULL, mm, vaddr, 1, 0, 1, &page, NULL);
1400 if (result < 0)
1401 return result;
1402
1403 copy_opcode(page, vaddr, &opcode);
1404 put_page(page);
1405 out:
1406 return is_swbp_insn(&opcode);
1407}
1408
Oleg Nesterovd790d342012-05-29 21:29:14 +02001409static struct uprobe *find_active_uprobe(unsigned long bp_vaddr, int *is_swbp)
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001410{
1411 struct mm_struct *mm = current->mm;
1412 struct uprobe *uprobe = NULL;
1413 struct vm_area_struct *vma;
1414
1415 down_read(&mm->mmap_sem);
1416 vma = find_vma(mm, bp_vaddr);
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001417 if (vma && vma->vm_start <= bp_vaddr) {
1418 if (valid_vma(vma, false)) {
Oleg Nesterovcb113b42012-07-29 20:22:42 +02001419 struct inode *inode = vma->vm_file->f_mapping->host;
1420 loff_t offset = vaddr_to_offset(vma, bp_vaddr);
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001421
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001422 uprobe = find_uprobe(inode, offset);
1423 }
Oleg Nesterovd790d342012-05-29 21:29:14 +02001424
1425 if (!uprobe)
1426 *is_swbp = is_swbp_at_addr(mm, bp_vaddr);
1427 } else {
1428 *is_swbp = -EFAULT;
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001429 }
Oleg Nesterov499a4f32012-08-19 17:41:34 +02001430
1431 if (!uprobe && test_and_clear_bit(MMF_RECALC_UPROBES, &mm->flags))
1432 mmf_recalc_uprobes(mm);
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001433 up_read(&mm->mmap_sem);
1434
1435 return uprobe;
1436}
1437
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301438/*
1439 * Run handler and ask thread to singlestep.
1440 * Ensure all non-fatal signals cannot interrupt thread while it singlesteps.
1441 */
1442static void handle_swbp(struct pt_regs *regs)
1443{
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301444 struct uprobe_task *utask;
1445 struct uprobe *uprobe;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301446 unsigned long bp_vaddr;
Oleg Nesterov56bb4cf2012-05-29 21:29:47 +02001447 int uninitialized_var(is_swbp);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301448
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301449 bp_vaddr = uprobe_get_swbp_addr(regs);
Oleg Nesterovd790d342012-05-29 21:29:14 +02001450 uprobe = find_active_uprobe(bp_vaddr, &is_swbp);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301451
1452 if (!uprobe) {
Oleg Nesterov56bb4cf2012-05-29 21:29:47 +02001453 if (is_swbp > 0) {
1454 /* No matching uprobe; signal SIGTRAP. */
1455 send_sig(SIGTRAP, current, 0);
1456 } else {
1457 /*
1458 * Either we raced with uprobe_unregister() or we can't
1459 * access this memory. The latter is only possible if
1460 * another thread plays with our ->mm. In both cases
1461 * we can simply restart. If this vma was unmapped we
1462 * can pretend this insn was not executed yet and get
1463 * the (correct) SIGSEGV after restart.
1464 */
1465 instruction_pointer_set(regs, bp_vaddr);
1466 }
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301467 return;
1468 }
Oleg Nesterov142b18d2012-09-29 21:56:57 +02001469 /*
1470 * TODO: move copy_insn/etc into _register and remove this hack.
1471 * After we hit the bp, _unregister + _register can install the
1472 * new and not-yet-analyzed uprobe at the same address, restart.
1473 */
1474 smp_rmb(); /* pairs with wmb() in install_breakpoint() */
Oleg Nesterov71434f22012-09-30 21:12:44 +02001475 if (unlikely(!test_bit(UPROBE_COPY_INSN, &uprobe->flags)))
Oleg Nesterov142b18d2012-09-29 21:56:57 +02001476 goto restart;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301477
1478 utask = current->utask;
1479 if (!utask) {
1480 utask = add_utask();
1481 /* Cannot allocate; re-execute the instruction. */
1482 if (!utask)
Oleg Nesterov0578a972012-09-14 18:31:23 +02001483 goto restart;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301484 }
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301485
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301486 handler_chain(uprobe, regs);
Oleg Nesterov0578a972012-09-14 18:31:23 +02001487 if (can_skip_sstep(uprobe, regs))
1488 goto out;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301489
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301490 if (!pre_ssout(uprobe, regs, bp_vaddr)) {
Oleg Nesterov746a9e62012-09-14 18:23:51 +02001491 utask->active_uprobe = uprobe;
1492 utask->state = UTASK_SSTEP;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301493 return;
1494 }
1495
Oleg Nesterov0578a972012-09-14 18:31:23 +02001496restart:
1497 /*
1498 * cannot singlestep; cannot skip instruction;
1499 * re-execute the instruction.
1500 */
1501 instruction_pointer_set(regs, bp_vaddr);
1502out:
Sebastian Andrzej Siewior8bd87442012-08-07 18:12:30 +02001503 put_uprobe(uprobe);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301504}
1505
1506/*
1507 * Perform required fix-ups and disable singlestep.
1508 * Allow pending signals to take effect.
1509 */
1510static void handle_singlestep(struct uprobe_task *utask, struct pt_regs *regs)
1511{
1512 struct uprobe *uprobe;
1513
1514 uprobe = utask->active_uprobe;
1515 if (utask->state == UTASK_SSTEP_ACK)
1516 arch_uprobe_post_xol(&uprobe->arch, regs);
1517 else if (utask->state == UTASK_SSTEP_TRAPPED)
1518 arch_uprobe_abort_xol(&uprobe->arch, regs);
1519 else
1520 WARN_ON_ONCE(1);
1521
1522 put_uprobe(uprobe);
1523 utask->active_uprobe = NULL;
1524 utask->state = UTASK_RUNNING;
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301525 xol_free_insn_slot(current);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301526
1527 spin_lock_irq(&current->sighand->siglock);
1528 recalc_sigpending(); /* see uprobe_deny_signal() */
1529 spin_unlock_irq(&current->sighand->siglock);
1530}
1531
1532/*
Oleg Nesterov1b08e9072012-09-14 18:52:10 +02001533 * On breakpoint hit, breakpoint notifier sets the TIF_UPROBE flag and
1534 * allows the thread to return from interrupt. After that handle_swbp()
1535 * sets utask->active_uprobe.
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301536 *
Oleg Nesterov1b08e9072012-09-14 18:52:10 +02001537 * On singlestep exception, singlestep notifier sets the TIF_UPROBE flag
1538 * and allows the thread to return from interrupt.
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301539 *
1540 * While returning to userspace, thread notices the TIF_UPROBE flag and calls
1541 * uprobe_notify_resume().
1542 */
1543void uprobe_notify_resume(struct pt_regs *regs)
1544{
1545 struct uprobe_task *utask;
1546
Oleg Nesterovdb023ea2012-09-14 19:05:46 +02001547 clear_thread_flag(TIF_UPROBE);
1548
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301549 utask = current->utask;
Oleg Nesterov1b08e9072012-09-14 18:52:10 +02001550 if (utask && utask->active_uprobe)
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301551 handle_singlestep(utask, regs);
Oleg Nesterov1b08e9072012-09-14 18:52:10 +02001552 else
1553 handle_swbp(regs);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301554}
1555
1556/*
1557 * uprobe_pre_sstep_notifier gets called from interrupt context as part of
1558 * notifier mechanism. Set TIF_UPROBE flag and indicate breakpoint hit.
1559 */
1560int uprobe_pre_sstep_notifier(struct pt_regs *regs)
1561{
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001562 if (!current->mm || !test_bit(MMF_HAS_UPROBES, &current->mm->flags))
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301563 return 0;
1564
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301565 set_thread_flag(TIF_UPROBE);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301566 return 1;
1567}
1568
1569/*
1570 * uprobe_post_sstep_notifier gets called in interrupt context as part of notifier
1571 * mechanism. Set TIF_UPROBE flag and indicate completion of singlestep.
1572 */
1573int uprobe_post_sstep_notifier(struct pt_regs *regs)
1574{
1575 struct uprobe_task *utask = current->utask;
1576
1577 if (!current->mm || !utask || !utask->active_uprobe)
1578 /* task is currently not uprobed */
1579 return 0;
1580
1581 utask->state = UTASK_SSTEP_ACK;
1582 set_thread_flag(TIF_UPROBE);
1583 return 1;
1584}
1585
1586static struct notifier_block uprobe_exception_nb = {
1587 .notifier_call = arch_uprobe_exception_notify,
1588 .priority = INT_MAX-1, /* notified after kprobes, kgdb */
1589};
1590
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301591static int __init init_uprobes(void)
1592{
1593 int i;
1594
1595 for (i = 0; i < UPROBES_HASH_SZ; i++) {
1596 mutex_init(&uprobes_mutex[i]);
1597 mutex_init(&uprobes_mmap_mutex[i]);
1598 }
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301599
1600 return register_die_notifier(&uprobe_exception_nb);
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301601}
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301602module_init(init_uprobes);
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301603
1604static void __exit exit_uprobes(void)
1605{
1606}
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301607module_exit(exit_uprobes);