blob: 7d5c78f063aed5c40fcfe88d2606c7a2d9ff204b [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 */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010035
Srikar Dronamraju2b144492012-02-09 14:56:42 +053036#include <linux/uprobes.h>
37
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +053038#define UINSNS_PER_PAGE (PAGE_SIZE/UPROBE_XOL_SLOT_BYTES)
39#define MAX_UPROBE_XOL_SLOTS UINSNS_PER_PAGE
40
Srikar Dronamraju2b144492012-02-09 14:56:42 +053041static struct rb_root uprobes_tree = RB_ROOT;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010042
Srikar Dronamraju2b144492012-02-09 14:56:42 +053043static DEFINE_SPINLOCK(uprobes_treelock); /* serialize rbtree access */
44
45#define UPROBES_HASH_SZ 13
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010046
Peter Zijlstrac5784de2012-06-15 17:43:39 +020047/*
48 * We need separate register/unregister and mmap/munmap lock hashes because
49 * of mmap_sem nesting.
50 *
51 * uprobe_register() needs to install probes on (potentially) all processes
52 * and thus needs to acquire multiple mmap_sems (consequtively, not
53 * concurrently), whereas uprobe_mmap() is called while holding mmap_sem
54 * for the particular process doing the mmap.
55 *
56 * uprobe_register()->register_for_each_vma() needs to drop/acquire mmap_sem
57 * because of lock order against i_mmap_mutex. This means there's a hole in
58 * the register vma iteration where a mmap() can happen.
59 *
60 * Thus uprobe_register() can race with uprobe_mmap() and we can try and
61 * install a probe where one is already installed.
62 */
63
Srikar Dronamraju2b144492012-02-09 14:56:42 +053064/* serialize (un)register */
65static struct mutex uprobes_mutex[UPROBES_HASH_SZ];
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010066
67#define uprobes_hash(v) (&uprobes_mutex[((unsigned long)(v)) % UPROBES_HASH_SZ])
Srikar Dronamraju2b144492012-02-09 14:56:42 +053068
69/* serialize uprobe->pending_list */
70static struct mutex uprobes_mmap_mutex[UPROBES_HASH_SZ];
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010071#define uprobes_mmap_hash(v) (&uprobes_mmap_mutex[((unsigned long)(v)) % UPROBES_HASH_SZ])
Srikar Dronamraju2b144492012-02-09 14:56:42 +053072
73/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010074 * uprobe_events allows us to skip the uprobe_mmap if there are no uprobe
Srikar Dronamraju2b144492012-02-09 14:56:42 +053075 * events active at this time. Probably a fine grained per inode count is
76 * better?
77 */
78static atomic_t uprobe_events = ATOMIC_INIT(0);
79
Srikar Dronamraju3ff54ef2012-02-22 14:46:02 +053080struct uprobe {
81 struct rb_node rb_node; /* node in the rb tree */
82 atomic_t ref;
83 struct rw_semaphore consumer_rwsem;
84 struct list_head pending_list;
85 struct uprobe_consumer *consumers;
86 struct inode *inode; /* Also hold a ref to inode */
87 loff_t offset;
88 int flags;
89 struct arch_uprobe arch;
90};
91
Srikar Dronamraju2b144492012-02-09 14:56:42 +053092/*
93 * valid_vma: Verify if the specified vma is an executable vma
94 * Relax restrictions while unregistering: vm_flags might have
95 * changed after breakpoint was inserted.
96 * - is_register: indicates if we are in register context.
97 * - Return 1 if the specified virtual address is in an
98 * executable vma.
99 */
100static bool valid_vma(struct vm_area_struct *vma, bool is_register)
101{
102 if (!vma->vm_file)
103 return false;
104
105 if (!is_register)
106 return true;
107
Oleg Nesterovea131372012-06-15 17:43:22 +0200108 if ((vma->vm_flags & (VM_HUGETLB|VM_READ|VM_WRITE|VM_EXEC|VM_SHARED))
109 == (VM_READ|VM_EXEC))
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530110 return true;
111
112 return false;
113}
114
115static loff_t vma_address(struct vm_area_struct *vma, loff_t offset)
116{
117 loff_t vaddr;
118
119 vaddr = vma->vm_start + offset;
120 vaddr -= vma->vm_pgoff << PAGE_SHIFT;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100121
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530122 return vaddr;
123}
124
125/**
126 * __replace_page - replace page in vma by new page.
127 * based on replace_page in mm/ksm.c
128 *
129 * @vma: vma that holds the pte pointing to page
130 * @page: the cowed page we are replacing by kpage
131 * @kpage: the modified page we replace page by
132 *
133 * Returns 0 on success, -EFAULT on failure.
134 */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100135static int __replace_page(struct vm_area_struct *vma, struct page *page, struct page *kpage)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530136{
137 struct mm_struct *mm = vma->vm_mm;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530138 unsigned long addr;
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200139 spinlock_t *ptl;
140 pte_t *ptep;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530141
142 addr = page_address_in_vma(page, vma);
143 if (addr == -EFAULT)
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200144 return -EFAULT;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530145
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200146 ptep = page_check_address(page, mm, addr, &ptl, 0);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530147 if (!ptep)
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200148 return -EAGAIN;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530149
150 get_page(kpage);
151 page_add_new_anon_rmap(kpage, vma, addr);
152
Srikar Dronamraju7396fa82012-04-11 16:05:16 +0530153 if (!PageAnon(page)) {
154 dec_mm_counter(mm, MM_FILEPAGES);
155 inc_mm_counter(mm, MM_ANONPAGES);
156 }
157
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530158 flush_cache_page(vma, addr, pte_pfn(*ptep));
159 ptep_clear_flush(vma, addr, ptep);
160 set_pte_at_notify(mm, addr, ptep, mk_pte(kpage, vma->vm_page_prot));
161
162 page_remove_rmap(page);
163 if (!page_mapped(page))
164 try_to_free_swap(page);
165 put_page(page);
166 pte_unmap_unlock(ptep, ptl);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530167
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200168 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530169}
170
171/**
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530172 * is_swbp_insn - check if instruction is breakpoint instruction.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530173 * @insn: instruction to be checked.
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530174 * Default implementation of is_swbp_insn
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530175 * Returns true if @insn is a breakpoint instruction.
176 */
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530177bool __weak is_swbp_insn(uprobe_opcode_t *insn)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530178{
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530179 return *insn == UPROBE_SWBP_INSN;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530180}
181
182/*
183 * NOTE:
184 * Expect the breakpoint instruction to be the smallest size instruction for
185 * the architecture. If an arch has variable length instruction and the
186 * breakpoint instruction is not of the smallest length instruction
187 * supported by that architecture then we need to modify read_opcode /
188 * write_opcode accordingly. This would never be a problem for archs that
189 * have fixed length instructions.
190 */
191
192/*
193 * write_opcode - write the opcode at a given virtual address.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530194 * @auprobe: arch breakpointing information.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530195 * @mm: the probed process address space.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530196 * @vaddr: the virtual address to store the opcode.
197 * @opcode: opcode to be written at @vaddr.
198 *
199 * Called with mm->mmap_sem held (for read and with a reference to
200 * mm).
201 *
202 * For mm @mm, write the opcode at @vaddr.
203 * Return 0 (success) or a negative errno.
204 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530205static int write_opcode(struct arch_uprobe *auprobe, struct mm_struct *mm,
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530206 unsigned long vaddr, uprobe_opcode_t opcode)
207{
208 struct page *old_page, *new_page;
209 struct address_space *mapping;
210 void *vaddr_old, *vaddr_new;
211 struct vm_area_struct *vma;
Srikar Dronamraju3ff54ef2012-02-22 14:46:02 +0530212 struct uprobe *uprobe;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530213 int ret;
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200214retry:
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530215 /* Read the page with vaddr into memory */
216 ret = get_user_pages(NULL, mm, vaddr, 1, 0, 0, &old_page, &vma);
217 if (ret <= 0)
218 return ret;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100219
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530220 ret = -EINVAL;
221
222 /*
223 * We are interested in text pages only. Our pages of interest
224 * should be mapped for read and execute only. We desist from
225 * adding probes in write mapped pages since the breakpoints
226 * might end up in the file copy.
227 */
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530228 if (!valid_vma(vma, is_swbp_insn(&opcode)))
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530229 goto put_out;
230
Srikar Dronamraju3ff54ef2012-02-22 14:46:02 +0530231 uprobe = container_of(auprobe, struct uprobe, arch);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530232 mapping = uprobe->inode->i_mapping;
233 if (mapping != vma->vm_file->f_mapping)
234 goto put_out;
235
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530236 ret = -ENOMEM;
237 new_page = alloc_page_vma(GFP_HIGHUSER_MOVABLE, vma, vaddr);
238 if (!new_page)
239 goto put_out;
240
241 __SetPageUptodate(new_page);
242
243 /*
244 * lock page will serialize against do_wp_page()'s
245 * PageAnon() handling
246 */
247 lock_page(old_page);
248 /* copy the page now that we've got it stable */
249 vaddr_old = kmap_atomic(old_page);
250 vaddr_new = kmap_atomic(new_page);
251
252 memcpy(vaddr_new, vaddr_old, PAGE_SIZE);
Oleg Nesterovd9c4a302012-06-15 17:43:50 +0200253 memcpy(vaddr_new + (vaddr & ~PAGE_MASK), &opcode, UPROBE_SWBP_INSN_SIZE);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530254
255 kunmap_atomic(vaddr_new);
256 kunmap_atomic(vaddr_old);
257
258 ret = anon_vma_prepare(vma);
259 if (ret)
260 goto unlock_out;
261
262 lock_page(new_page);
263 ret = __replace_page(vma, old_page, new_page);
264 unlock_page(new_page);
265
266unlock_out:
267 unlock_page(old_page);
268 page_cache_release(new_page);
269
270put_out:
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100271 put_page(old_page);
272
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200273 if (unlikely(ret == -EAGAIN))
274 goto retry;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530275 return ret;
276}
277
278/**
279 * read_opcode - read the opcode at a given virtual address.
280 * @mm: the probed process address space.
281 * @vaddr: the virtual address to read the opcode.
282 * @opcode: location to store the read opcode.
283 *
284 * Called with mm->mmap_sem held (for read and with a reference to
285 * mm.
286 *
287 * For mm @mm, read the opcode at @vaddr and store it in @opcode.
288 * Return 0 (success) or a negative errno.
289 */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100290static int read_opcode(struct mm_struct *mm, unsigned long vaddr, uprobe_opcode_t *opcode)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530291{
292 struct page *page;
293 void *vaddr_new;
294 int ret;
295
Oleg Nesterova3d7bb42012-05-29 21:27:59 +0200296 ret = get_user_pages(NULL, mm, vaddr, 1, 0, 1, &page, NULL);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530297 if (ret <= 0)
298 return ret;
299
300 lock_page(page);
301 vaddr_new = kmap_atomic(page);
302 vaddr &= ~PAGE_MASK;
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530303 memcpy(opcode, vaddr_new + vaddr, UPROBE_SWBP_INSN_SIZE);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530304 kunmap_atomic(vaddr_new);
305 unlock_page(page);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100306
307 put_page(page);
308
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530309 return 0;
310}
311
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530312static int is_swbp_at_addr(struct mm_struct *mm, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530313{
314 uprobe_opcode_t opcode;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100315 int result;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530316
Oleg Nesterovc00b2752012-05-29 21:27:44 +0200317 if (current->mm == mm) {
318 pagefault_disable();
319 result = __copy_from_user_inatomic(&opcode, (void __user*)vaddr,
320 sizeof(opcode));
321 pagefault_enable();
322
323 if (likely(result == 0))
324 goto out;
325 }
326
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100327 result = read_opcode(mm, vaddr, &opcode);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530328 if (result)
329 return result;
Oleg Nesterovc00b2752012-05-29 21:27:44 +0200330out:
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530331 if (is_swbp_insn(&opcode))
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530332 return 1;
333
334 return 0;
335}
336
337/**
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530338 * set_swbp - store breakpoint at a given address.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530339 * @auprobe: arch specific probepoint information.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530340 * @mm: the probed process address space.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530341 * @vaddr: the virtual address to insert the opcode.
342 *
343 * For mm @mm, store the breakpoint instruction at @vaddr.
344 * Return 0 (success) or a negative errno.
345 */
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530346int __weak set_swbp(struct arch_uprobe *auprobe, struct mm_struct *mm, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530347{
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100348 int result;
Peter Zijlstrac5784de2012-06-15 17:43:39 +0200349 /*
350 * See the comment near uprobes_hash().
351 */
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530352 result = is_swbp_at_addr(mm, vaddr);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530353 if (result == 1)
354 return -EEXIST;
355
356 if (result)
357 return result;
358
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530359 return write_opcode(auprobe, mm, vaddr, UPROBE_SWBP_INSN);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530360}
361
362/**
363 * set_orig_insn - Restore the original instruction.
364 * @mm: the probed process address space.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530365 * @auprobe: arch specific probepoint information.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530366 * @vaddr: the virtual address to insert the opcode.
367 * @verify: if true, verify existance of breakpoint instruction.
368 *
369 * For mm @mm, restore the original opcode (opcode) at @vaddr.
370 * Return 0 (success) or a negative errno.
371 */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100372int __weak
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530373set_orig_insn(struct arch_uprobe *auprobe, struct mm_struct *mm, unsigned long vaddr, bool verify)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530374{
375 if (verify) {
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100376 int result;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530377
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530378 result = is_swbp_at_addr(mm, vaddr);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530379 if (!result)
380 return -EINVAL;
381
382 if (result != 1)
383 return result;
384 }
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530385 return write_opcode(auprobe, mm, vaddr, *(uprobe_opcode_t *)auprobe->insn);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530386}
387
388static int match_uprobe(struct uprobe *l, struct uprobe *r)
389{
390 if (l->inode < r->inode)
391 return -1;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100392
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530393 if (l->inode > r->inode)
394 return 1;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530395
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100396 if (l->offset < r->offset)
397 return -1;
398
399 if (l->offset > r->offset)
400 return 1;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530401
402 return 0;
403}
404
405static struct uprobe *__find_uprobe(struct inode *inode, loff_t offset)
406{
407 struct uprobe u = { .inode = inode, .offset = offset };
408 struct rb_node *n = uprobes_tree.rb_node;
409 struct uprobe *uprobe;
410 int match;
411
412 while (n) {
413 uprobe = rb_entry(n, struct uprobe, rb_node);
414 match = match_uprobe(&u, uprobe);
415 if (!match) {
416 atomic_inc(&uprobe->ref);
417 return uprobe;
418 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100419
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530420 if (match < 0)
421 n = n->rb_left;
422 else
423 n = n->rb_right;
424 }
425 return NULL;
426}
427
428/*
429 * Find a uprobe corresponding to a given inode:offset
430 * Acquires uprobes_treelock
431 */
432static struct uprobe *find_uprobe(struct inode *inode, loff_t offset)
433{
434 struct uprobe *uprobe;
435 unsigned long flags;
436
437 spin_lock_irqsave(&uprobes_treelock, flags);
438 uprobe = __find_uprobe(inode, offset);
439 spin_unlock_irqrestore(&uprobes_treelock, flags);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100440
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530441 return uprobe;
442}
443
444static struct uprobe *__insert_uprobe(struct uprobe *uprobe)
445{
446 struct rb_node **p = &uprobes_tree.rb_node;
447 struct rb_node *parent = NULL;
448 struct uprobe *u;
449 int match;
450
451 while (*p) {
452 parent = *p;
453 u = rb_entry(parent, struct uprobe, rb_node);
454 match = match_uprobe(uprobe, u);
455 if (!match) {
456 atomic_inc(&u->ref);
457 return u;
458 }
459
460 if (match < 0)
461 p = &parent->rb_left;
462 else
463 p = &parent->rb_right;
464
465 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100466
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530467 u = NULL;
468 rb_link_node(&uprobe->rb_node, parent, p);
469 rb_insert_color(&uprobe->rb_node, &uprobes_tree);
470 /* get access + creation ref */
471 atomic_set(&uprobe->ref, 2);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100472
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530473 return u;
474}
475
476/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100477 * Acquire uprobes_treelock.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530478 * Matching uprobe already exists in rbtree;
479 * increment (access refcount) and return the matching uprobe.
480 *
481 * No matching uprobe; insert the uprobe in rb_tree;
482 * get a double refcount (access + creation) and return NULL.
483 */
484static struct uprobe *insert_uprobe(struct uprobe *uprobe)
485{
486 unsigned long flags;
487 struct uprobe *u;
488
489 spin_lock_irqsave(&uprobes_treelock, flags);
490 u = __insert_uprobe(uprobe);
491 spin_unlock_irqrestore(&uprobes_treelock, flags);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100492
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530493 /* For now assume that the instruction need not be single-stepped */
494 uprobe->flags |= UPROBE_SKIP_SSTEP;
495
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530496 return u;
497}
498
499static void put_uprobe(struct uprobe *uprobe)
500{
501 if (atomic_dec_and_test(&uprobe->ref))
502 kfree(uprobe);
503}
504
505static struct uprobe *alloc_uprobe(struct inode *inode, loff_t offset)
506{
507 struct uprobe *uprobe, *cur_uprobe;
508
509 uprobe = kzalloc(sizeof(struct uprobe), GFP_KERNEL);
510 if (!uprobe)
511 return NULL;
512
513 uprobe->inode = igrab(inode);
514 uprobe->offset = offset;
515 init_rwsem(&uprobe->consumer_rwsem);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530516
517 /* add to uprobes_tree, sorted on inode:offset */
518 cur_uprobe = insert_uprobe(uprobe);
519
520 /* a uprobe exists for this inode:offset combination */
521 if (cur_uprobe) {
522 kfree(uprobe);
523 uprobe = cur_uprobe;
524 iput(inode);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100525 } else {
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530526 atomic_inc(&uprobe_events);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100527 }
528
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530529 return uprobe;
530}
531
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530532static void handler_chain(struct uprobe *uprobe, struct pt_regs *regs)
533{
534 struct uprobe_consumer *uc;
535
536 if (!(uprobe->flags & UPROBE_RUN_HANDLER))
537 return;
538
539 down_read(&uprobe->consumer_rwsem);
540 for (uc = uprobe->consumers; uc; uc = uc->next) {
541 if (!uc->filter || uc->filter(uc, current))
542 uc->handler(uc, regs);
543 }
544 up_read(&uprobe->consumer_rwsem);
545}
546
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530547/* Returns the previous consumer */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100548static struct uprobe_consumer *
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530549consumer_add(struct uprobe *uprobe, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530550{
551 down_write(&uprobe->consumer_rwsem);
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530552 uc->next = uprobe->consumers;
553 uprobe->consumers = uc;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530554 up_write(&uprobe->consumer_rwsem);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100555
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530556 return uc->next;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530557}
558
559/*
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530560 * For uprobe @uprobe, delete the consumer @uc.
561 * Return true if the @uc is deleted successfully
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530562 * or return false.
563 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530564static bool consumer_del(struct uprobe *uprobe, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530565{
566 struct uprobe_consumer **con;
567 bool ret = false;
568
569 down_write(&uprobe->consumer_rwsem);
570 for (con = &uprobe->consumers; *con; con = &(*con)->next) {
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530571 if (*con == uc) {
572 *con = uc->next;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530573 ret = true;
574 break;
575 }
576 }
577 up_write(&uprobe->consumer_rwsem);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100578
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530579 return ret;
580}
581
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530582static int
Oleg Nesterovd4366152012-06-15 17:43:42 +0200583__copy_insn(struct address_space *mapping, struct file *filp, char *insn,
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530584 unsigned long nbytes, unsigned long offset)
585{
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530586 struct page *page;
587 void *vaddr;
588 unsigned long off1;
589 unsigned long idx;
590
591 if (!filp)
592 return -EINVAL;
593
Oleg Nesterovcc359d12012-06-15 17:43:25 +0200594 if (!mapping->a_ops->readpage)
595 return -EIO;
596
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530597 idx = (unsigned long)(offset >> PAGE_CACHE_SHIFT);
598 off1 = offset &= ~PAGE_MASK;
599
600 /*
601 * Ensure that the page that has the original instruction is
602 * populated and in page-cache.
603 */
604 page = read_mapping_page(mapping, idx, filp);
605 if (IS_ERR(page))
606 return PTR_ERR(page);
607
608 vaddr = kmap_atomic(page);
609 memcpy(insn, vaddr + off1, nbytes);
610 kunmap_atomic(vaddr);
611 page_cache_release(page);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100612
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530613 return 0;
614}
615
Oleg Nesterovd4366152012-06-15 17:43:42 +0200616static int copy_insn(struct uprobe *uprobe, struct file *filp)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530617{
618 struct address_space *mapping;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530619 unsigned long nbytes;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100620 int bytes;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530621
Oleg Nesterovd4366152012-06-15 17:43:42 +0200622 nbytes = PAGE_SIZE - (uprobe->offset & ~PAGE_MASK);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530623 mapping = uprobe->inode->i_mapping;
624
625 /* Instruction at end of binary; copy only available bytes */
626 if (uprobe->offset + MAX_UINSN_BYTES > uprobe->inode->i_size)
627 bytes = uprobe->inode->i_size - uprobe->offset;
628 else
629 bytes = MAX_UINSN_BYTES;
630
631 /* Instruction at the page-boundary; copy bytes in second page */
632 if (nbytes < bytes) {
Oleg Nesterovfc36f592012-06-15 17:43:44 +0200633 int err = __copy_insn(mapping, filp, uprobe->arch.insn + nbytes,
634 bytes - nbytes, uprobe->offset + nbytes);
635 if (err)
636 return err;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530637 bytes = nbytes;
638 }
Oleg Nesterovd4366152012-06-15 17:43:42 +0200639 return __copy_insn(mapping, filp, uprobe->arch.insn, bytes, uprobe->offset);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530640}
641
Srikar Dronamraju682968e2012-03-30 23:56:46 +0530642/*
643 * How mm->uprobes_state.count gets updated
644 * uprobe_mmap() increments the count if
645 * - it successfully adds a breakpoint.
646 * - it cannot add a breakpoint, but sees that there is a underlying
647 * breakpoint (via a is_swbp_at_addr()).
648 *
649 * uprobe_munmap() decrements the count if
650 * - it sees a underlying breakpoint, (via is_swbp_at_addr)
651 * (Subsequent uprobe_unregister wouldnt find the breakpoint
652 * unless a uprobe_mmap kicks in, since the old vma would be
653 * dropped just after uprobe_munmap.)
654 *
655 * uprobe_register increments the count if:
656 * - it successfully adds a breakpoint.
657 *
658 * uprobe_unregister decrements the count if:
659 * - it sees a underlying breakpoint and removes successfully.
660 * (via is_swbp_at_addr)
661 * (Subsequent uprobe_munmap wouldnt find the breakpoint
662 * since there is no underlying breakpoint after the
663 * breakpoint removal.)
664 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530665static int
666install_breakpoint(struct uprobe *uprobe, struct mm_struct *mm,
667 struct vm_area_struct *vma, loff_t vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530668{
669 unsigned long addr;
670 int ret;
671
672 /*
673 * If probe is being deleted, unregister thread could be done with
674 * the vma-rmap-walk through. Adding a probe now can be fatal since
675 * nobody will be able to cleanup. Also we could be from fork or
676 * mremap path, where the probe might have already been inserted.
677 * Hence behave as if probe already existed.
678 */
679 if (!uprobe->consumers)
680 return -EEXIST;
681
682 addr = (unsigned long)vaddr;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100683
Srikar Dronamraju900771a2012-03-12 14:55:14 +0530684 if (!(uprobe->flags & UPROBE_COPY_INSN)) {
Oleg Nesterovd4366152012-06-15 17:43:42 +0200685 ret = copy_insn(uprobe, vma->vm_file);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530686 if (ret)
687 return ret;
688
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530689 if (is_swbp_insn((uprobe_opcode_t *)uprobe->arch.insn))
Oleg Nesterovc1914a02012-06-15 17:43:31 +0200690 return -ENOTSUPP;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530691
Ananth N Mavinakayanahalli7eb9ba52012-06-08 15:02:57 +0530692 ret = arch_uprobe_analyze_insn(&uprobe->arch, mm, addr);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530693 if (ret)
694 return ret;
695
Oleg Nesterovd9c4a302012-06-15 17:43:50 +0200696 /* write_opcode() assumes we don't cross page boundary */
697 BUG_ON((uprobe->offset & ~PAGE_MASK) +
698 UPROBE_SWBP_INSN_SIZE > PAGE_SIZE);
699
Srikar Dronamraju900771a2012-03-12 14:55:14 +0530700 uprobe->flags |= UPROBE_COPY_INSN;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530701 }
Srikar Dronamraju682968e2012-03-30 23:56:46 +0530702
703 /*
704 * Ideally, should be updating the probe count after the breakpoint
705 * has been successfully inserted. However a thread could hit the
706 * breakpoint we just inserted even before the probe count is
707 * incremented. If this is the first breakpoint placed, breakpoint
708 * notifier might ignore uprobes and pass the trap to the thread.
709 * Hence increment before and decrement on failure.
710 */
711 atomic_inc(&mm->uprobes_state.count);
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530712 ret = set_swbp(&uprobe->arch, mm, addr);
Srikar Dronamraju682968e2012-03-30 23:56:46 +0530713 if (ret)
714 atomic_dec(&mm->uprobes_state.count);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530715
716 return ret;
717}
718
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530719static void
720remove_breakpoint(struct uprobe *uprobe, struct mm_struct *mm, loff_t vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530721{
Srikar Dronamraju682968e2012-03-30 23:56:46 +0530722 if (!set_orig_insn(&uprobe->arch, mm, (unsigned long)vaddr, true))
723 atomic_dec(&mm->uprobes_state.count);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530724}
725
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530726/*
Oleg Nesterov778b0322012-05-29 21:30:08 +0200727 * There could be threads that have already hit the breakpoint. They
728 * will recheck the current insn and restart if find_uprobe() fails.
729 * See find_active_uprobe().
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530730 */
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530731static void delete_uprobe(struct uprobe *uprobe)
732{
733 unsigned long flags;
734
735 spin_lock_irqsave(&uprobes_treelock, flags);
736 rb_erase(&uprobe->rb_node, &uprobes_tree);
737 spin_unlock_irqrestore(&uprobes_treelock, flags);
738 iput(uprobe->inode);
739 put_uprobe(uprobe);
740 atomic_dec(&uprobe_events);
741}
742
Oleg Nesterov26872092012-06-15 17:43:33 +0200743struct map_info {
744 struct map_info *next;
745 struct mm_struct *mm;
746 loff_t vaddr;
747};
748
749static inline struct map_info *free_map_info(struct map_info *info)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530750{
Oleg Nesterov26872092012-06-15 17:43:33 +0200751 struct map_info *next = info->next;
752 kfree(info);
753 return next;
754}
755
756static struct map_info *
757build_map_info(struct address_space *mapping, loff_t offset, bool is_register)
758{
759 unsigned long pgoff = offset >> PAGE_SHIFT;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530760 struct prio_tree_iter iter;
761 struct vm_area_struct *vma;
Oleg Nesterov26872092012-06-15 17:43:33 +0200762 struct map_info *curr = NULL;
763 struct map_info *prev = NULL;
764 struct map_info *info;
765 int more = 0;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100766
Oleg Nesterov26872092012-06-15 17:43:33 +0200767 again:
768 mutex_lock(&mapping->i_mmap_mutex);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530769 vma_prio_tree_foreach(vma, &iter, &mapping->i_mmap, pgoff, pgoff) {
770 if (!valid_vma(vma, is_register))
771 continue;
772
Oleg Nesterov7a5bfb62012-06-15 17:43:36 +0200773 if (!prev && !more) {
774 /*
775 * Needs GFP_NOWAIT to avoid i_mmap_mutex recursion through
776 * reclaim. This is optimistic, no harm done if it fails.
777 */
778 prev = kmalloc(sizeof(struct map_info),
779 GFP_NOWAIT | __GFP_NOMEMALLOC | __GFP_NOWARN);
780 if (prev)
781 prev->next = NULL;
782 }
Oleg Nesterov26872092012-06-15 17:43:33 +0200783 if (!prev) {
784 more++;
785 continue;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530786 }
787
Oleg Nesterov26872092012-06-15 17:43:33 +0200788 if (!atomic_inc_not_zero(&vma->vm_mm->mm_users))
789 continue;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100790
Oleg Nesterov26872092012-06-15 17:43:33 +0200791 info = prev;
792 prev = prev->next;
793 info->next = curr;
794 curr = info;
795
796 info->mm = vma->vm_mm;
797 info->vaddr = vma_address(vma, offset);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530798 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530799 mutex_unlock(&mapping->i_mmap_mutex);
800
Oleg Nesterov26872092012-06-15 17:43:33 +0200801 if (!more)
802 goto out;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100803
Oleg Nesterov26872092012-06-15 17:43:33 +0200804 prev = curr;
805 while (curr) {
806 mmput(curr->mm);
807 curr = curr->next;
808 }
809
810 do {
811 info = kmalloc(sizeof(struct map_info), GFP_KERNEL);
812 if (!info) {
813 curr = ERR_PTR(-ENOMEM);
814 goto out;
815 }
816 info->next = prev;
817 prev = info;
818 } while (--more);
819
820 goto again;
821 out:
822 while (prev)
823 prev = free_map_info(prev);
824 return curr;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530825}
826
827static int register_for_each_vma(struct uprobe *uprobe, bool is_register)
828{
Oleg Nesterov26872092012-06-15 17:43:33 +0200829 struct map_info *info;
830 int err = 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530831
Oleg Nesterov26872092012-06-15 17:43:33 +0200832 info = build_map_info(uprobe->inode->i_mapping,
833 uprobe->offset, is_register);
834 if (IS_ERR(info))
835 return PTR_ERR(info);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100836
Oleg Nesterov26872092012-06-15 17:43:33 +0200837 while (info) {
838 struct mm_struct *mm = info->mm;
839 struct vm_area_struct *vma;
840 loff_t vaddr;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100841
Oleg Nesterov26872092012-06-15 17:43:33 +0200842 if (err)
843 goto free;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100844
Oleg Nesterov77fc4af2012-05-29 21:29:28 +0200845 down_write(&mm->mmap_sem);
Oleg Nesterov26872092012-06-15 17:43:33 +0200846 vma = find_vma(mm, (unsigned long)info->vaddr);
847 if (!vma || !valid_vma(vma, is_register))
848 goto unlock;
849
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530850 vaddr = vma_address(vma, uprobe->offset);
851 if (vma->vm_file->f_mapping->host != uprobe->inode ||
Oleg Nesterov26872092012-06-15 17:43:33 +0200852 vaddr != info->vaddr)
853 goto unlock;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530854
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530855 if (is_register) {
Oleg Nesterov26872092012-06-15 17:43:33 +0200856 err = install_breakpoint(uprobe, mm, vma, info->vaddr);
Peter Zijlstrac5784de2012-06-15 17:43:39 +0200857 /*
858 * We can race against uprobe_mmap(), see the
859 * comment near uprobe_hash().
860 */
Oleg Nesterov26872092012-06-15 17:43:33 +0200861 if (err == -EEXIST)
862 err = 0;
863 } else {
864 remove_breakpoint(uprobe, mm, info->vaddr);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530865 }
Oleg Nesterov26872092012-06-15 17:43:33 +0200866 unlock:
867 up_write(&mm->mmap_sem);
868 free:
869 mmput(mm);
870 info = free_map_info(info);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530871 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100872
Oleg Nesterov26872092012-06-15 17:43:33 +0200873 return err;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530874}
875
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100876static int __uprobe_register(struct uprobe *uprobe)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530877{
878 return register_for_each_vma(uprobe, true);
879}
880
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100881static void __uprobe_unregister(struct uprobe *uprobe)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530882{
883 if (!register_for_each_vma(uprobe, false))
884 delete_uprobe(uprobe);
885
886 /* TODO : cant unregister? schedule a worker thread */
887}
888
889/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100890 * uprobe_register - register a probe
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530891 * @inode: the file in which the probe has to be placed.
892 * @offset: offset from the start of the file.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530893 * @uc: information on howto handle the probe..
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530894 *
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100895 * Apart from the access refcount, uprobe_register() takes a creation
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530896 * refcount (thro alloc_uprobe) if and only if this @uprobe is getting
897 * inserted into the rbtree (i.e first consumer for a @inode:@offset
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100898 * tuple). Creation refcount stops uprobe_unregister from freeing the
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530899 * @uprobe even before the register operation is complete. Creation
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530900 * refcount is released when the last @uc for the @uprobe
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530901 * unregisters.
902 *
903 * Return errno if it cannot successully install probes
904 * else return 0 (success)
905 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530906int uprobe_register(struct inode *inode, loff_t offset, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530907{
908 struct uprobe *uprobe;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100909 int ret;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530910
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530911 if (!inode || !uc || uc->next)
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100912 return -EINVAL;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530913
914 if (offset > i_size_read(inode))
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100915 return -EINVAL;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530916
917 ret = 0;
918 mutex_lock(uprobes_hash(inode));
919 uprobe = alloc_uprobe(inode, offset);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100920
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530921 if (uprobe && !consumer_add(uprobe, uc)) {
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100922 ret = __uprobe_register(uprobe);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530923 if (ret) {
924 uprobe->consumers = NULL;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100925 __uprobe_unregister(uprobe);
926 } else {
Srikar Dronamraju900771a2012-03-12 14:55:14 +0530927 uprobe->flags |= UPROBE_RUN_HANDLER;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100928 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530929 }
930
931 mutex_unlock(uprobes_hash(inode));
932 put_uprobe(uprobe);
933
934 return ret;
935}
936
937/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100938 * uprobe_unregister - unregister a already registered probe.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530939 * @inode: the file in which the probe has to be removed.
940 * @offset: offset from the start of the file.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530941 * @uc: identify which probe if multiple probes are colocated.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530942 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530943void uprobe_unregister(struct inode *inode, loff_t offset, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530944{
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100945 struct uprobe *uprobe;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530946
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530947 if (!inode || !uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530948 return;
949
950 uprobe = find_uprobe(inode, offset);
951 if (!uprobe)
952 return;
953
954 mutex_lock(uprobes_hash(inode));
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530955
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530956 if (consumer_del(uprobe, uc)) {
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100957 if (!uprobe->consumers) {
958 __uprobe_unregister(uprobe);
Srikar Dronamraju900771a2012-03-12 14:55:14 +0530959 uprobe->flags &= ~UPROBE_RUN_HANDLER;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100960 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530961 }
962
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530963 mutex_unlock(uprobes_hash(inode));
964 if (uprobe)
965 put_uprobe(uprobe);
966}
967
968/*
969 * Of all the nodes that correspond to the given inode, return the node
970 * with the least offset.
971 */
972static struct rb_node *find_least_offset_node(struct inode *inode)
973{
974 struct uprobe u = { .inode = inode, .offset = 0};
975 struct rb_node *n = uprobes_tree.rb_node;
976 struct rb_node *close_node = NULL;
977 struct uprobe *uprobe;
978 int match;
979
980 while (n) {
981 uprobe = rb_entry(n, struct uprobe, rb_node);
982 match = match_uprobe(&u, uprobe);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100983
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530984 if (uprobe->inode == inode)
985 close_node = n;
986
987 if (!match)
988 return close_node;
989
990 if (match < 0)
991 n = n->rb_left;
992 else
993 n = n->rb_right;
994 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100995
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530996 return close_node;
997}
998
999/*
1000 * For a given inode, build a list of probes that need to be inserted.
1001 */
1002static void build_probe_list(struct inode *inode, struct list_head *head)
1003{
1004 struct uprobe *uprobe;
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301005 unsigned long flags;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +01001006 struct rb_node *n;
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301007
1008 spin_lock_irqsave(&uprobes_treelock, flags);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +01001009
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301010 n = find_least_offset_node(inode);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +01001011
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301012 for (; n; n = rb_next(n)) {
1013 uprobe = rb_entry(n, struct uprobe, rb_node);
1014 if (uprobe->inode != inode)
1015 break;
1016
1017 list_add(&uprobe->pending_list, head);
1018 atomic_inc(&uprobe->ref);
1019 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +01001020
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301021 spin_unlock_irqrestore(&uprobes_treelock, flags);
1022}
1023
1024/*
1025 * Called from mmap_region.
1026 * called with mm->mmap_sem acquired.
1027 *
1028 * Return -ve no if we fail to insert probes and we cannot
1029 * bail-out.
Ingo Molnar7b2d81d2012-02-17 09:27:41 +01001030 * Return 0 otherwise. i.e:
1031 *
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301032 * - successful insertion of probes
1033 * - (or) no possible probes to be inserted.
1034 * - (or) insertion of probes failed but we can bail-out.
1035 */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +01001036int uprobe_mmap(struct vm_area_struct *vma)
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301037{
1038 struct list_head tmp_list;
Oleg Nesterov449d0d72012-06-15 17:43:53 +02001039 struct uprobe *uprobe;
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301040 struct inode *inode;
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301041 int ret, count;
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301042
1043 if (!atomic_read(&uprobe_events) || !valid_vma(vma, true))
Ingo Molnar7b2d81d2012-02-17 09:27:41 +01001044 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301045
1046 inode = vma->vm_file->f_mapping->host;
1047 if (!inode)
Ingo Molnar7b2d81d2012-02-17 09:27:41 +01001048 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301049
1050 INIT_LIST_HEAD(&tmp_list);
1051 mutex_lock(uprobes_mmap_hash(inode));
1052 build_probe_list(inode, &tmp_list);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +01001053
1054 ret = 0;
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301055 count = 0;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +01001056
Oleg Nesterov449d0d72012-06-15 17:43:53 +02001057 list_for_each_entry(uprobe, &tmp_list, pending_list) {
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301058 loff_t vaddr;
1059
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301060 if (!ret) {
1061 vaddr = vma_address(vma, uprobe->offset);
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301062
1063 if (vaddr < vma->vm_start || vaddr >= vma->vm_end) {
1064 put_uprobe(uprobe);
1065 continue;
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301066 }
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301067
1068 ret = install_breakpoint(uprobe, vma->vm_mm, vma, vaddr);
Peter Zijlstrac5784de2012-06-15 17:43:39 +02001069 /*
1070 * We can race against uprobe_register(), see the
1071 * comment near uprobe_hash().
1072 */
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301073 if (ret == -EEXIST) {
1074 ret = 0;
1075
1076 if (!is_swbp_at_addr(vma->vm_mm, vaddr))
1077 continue;
1078
1079 /*
1080 * Unable to insert a breakpoint, but
1081 * breakpoint lies underneath. Increment the
1082 * probe count.
1083 */
1084 atomic_inc(&vma->vm_mm->uprobes_state.count);
1085 }
1086
1087 if (!ret)
1088 count++;
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301089 }
1090 put_uprobe(uprobe);
1091 }
1092
1093 mutex_unlock(uprobes_mmap_hash(inode));
1094
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301095 if (ret)
1096 atomic_sub(count, &vma->vm_mm->uprobes_state.count);
1097
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301098 return ret;
1099}
1100
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301101/*
1102 * Called in context of a munmap of a vma.
1103 */
Srikar Dronamrajucbc91f72012-04-11 16:05:27 +05301104void uprobe_munmap(struct vm_area_struct *vma, unsigned long start, unsigned long end)
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301105{
1106 struct list_head tmp_list;
Oleg Nesterov449d0d72012-06-15 17:43:53 +02001107 struct uprobe *uprobe;
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301108 struct inode *inode;
1109
1110 if (!atomic_read(&uprobe_events) || !valid_vma(vma, false))
1111 return;
1112
1113 if (!atomic_read(&vma->vm_mm->uprobes_state.count))
1114 return;
1115
1116 inode = vma->vm_file->f_mapping->host;
1117 if (!inode)
1118 return;
1119
1120 INIT_LIST_HEAD(&tmp_list);
1121 mutex_lock(uprobes_mmap_hash(inode));
1122 build_probe_list(inode, &tmp_list);
1123
Oleg Nesterov449d0d72012-06-15 17:43:53 +02001124 list_for_each_entry(uprobe, &tmp_list, pending_list) {
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301125 loff_t vaddr;
1126
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301127 vaddr = vma_address(vma, uprobe->offset);
Srikar Dronamrajucbc91f72012-04-11 16:05:27 +05301128 if (vaddr >= start && vaddr < end) {
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301129 /*
1130 * An unregister could have removed the probe before
1131 * unmap. So check before we decrement the count.
1132 */
1133 if (is_swbp_at_addr(vma->vm_mm, vaddr) == 1)
1134 atomic_dec(&vma->vm_mm->uprobes_state.count);
1135 }
1136 put_uprobe(uprobe);
1137 }
1138 mutex_unlock(uprobes_mmap_hash(inode));
1139}
1140
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301141/* Slot allocation for XOL */
1142static int xol_add_vma(struct xol_area *area)
1143{
1144 struct mm_struct *mm;
1145 int ret;
1146
1147 area->page = alloc_page(GFP_HIGHUSER);
1148 if (!area->page)
1149 return -ENOMEM;
1150
1151 ret = -EALREADY;
1152 mm = current->mm;
1153
1154 down_write(&mm->mmap_sem);
1155 if (mm->uprobes_state.xol_area)
1156 goto fail;
1157
1158 ret = -ENOMEM;
1159
1160 /* Try to map as high as possible, this is only a hint. */
1161 area->vaddr = get_unmapped_area(NULL, TASK_SIZE - PAGE_SIZE, PAGE_SIZE, 0, 0);
1162 if (area->vaddr & ~PAGE_MASK) {
1163 ret = area->vaddr;
1164 goto fail;
1165 }
1166
1167 ret = install_special_mapping(mm, area->vaddr, PAGE_SIZE,
1168 VM_EXEC|VM_MAYEXEC|VM_DONTCOPY|VM_IO, &area->page);
1169 if (ret)
1170 goto fail;
1171
1172 smp_wmb(); /* pairs with get_xol_area() */
1173 mm->uprobes_state.xol_area = area;
1174 ret = 0;
1175
1176fail:
1177 up_write(&mm->mmap_sem);
1178 if (ret)
1179 __free_page(area->page);
1180
1181 return ret;
1182}
1183
1184static struct xol_area *get_xol_area(struct mm_struct *mm)
1185{
1186 struct xol_area *area;
1187
1188 area = mm->uprobes_state.xol_area;
1189 smp_read_barrier_depends(); /* pairs with wmb in xol_add_vma() */
1190
1191 return area;
1192}
1193
1194/*
1195 * xol_alloc_area - Allocate process's xol_area.
1196 * This area will be used for storing instructions for execution out of
1197 * line.
1198 *
1199 * Returns the allocated area or NULL.
1200 */
1201static struct xol_area *xol_alloc_area(void)
1202{
1203 struct xol_area *area;
1204
1205 area = kzalloc(sizeof(*area), GFP_KERNEL);
1206 if (unlikely(!area))
1207 return NULL;
1208
1209 area->bitmap = kzalloc(BITS_TO_LONGS(UINSNS_PER_PAGE) * sizeof(long), GFP_KERNEL);
1210
1211 if (!area->bitmap)
1212 goto fail;
1213
1214 init_waitqueue_head(&area->wq);
1215 if (!xol_add_vma(area))
1216 return area;
1217
1218fail:
1219 kfree(area->bitmap);
1220 kfree(area);
1221
1222 return get_xol_area(current->mm);
1223}
1224
1225/*
1226 * uprobe_clear_state - Free the area allocated for slots.
1227 */
1228void uprobe_clear_state(struct mm_struct *mm)
1229{
1230 struct xol_area *area = mm->uprobes_state.xol_area;
1231
1232 if (!area)
1233 return;
1234
1235 put_page(area->page);
1236 kfree(area->bitmap);
1237 kfree(area);
1238}
1239
1240/*
1241 * uprobe_reset_state - Free the area allocated for slots.
1242 */
1243void uprobe_reset_state(struct mm_struct *mm)
1244{
1245 mm->uprobes_state.xol_area = NULL;
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301246 atomic_set(&mm->uprobes_state.count, 0);
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301247}
1248
1249/*
1250 * - search for a free slot.
1251 */
1252static unsigned long xol_take_insn_slot(struct xol_area *area)
1253{
1254 unsigned long slot_addr;
1255 int slot_nr;
1256
1257 do {
1258 slot_nr = find_first_zero_bit(area->bitmap, UINSNS_PER_PAGE);
1259 if (slot_nr < UINSNS_PER_PAGE) {
1260 if (!test_and_set_bit(slot_nr, area->bitmap))
1261 break;
1262
1263 slot_nr = UINSNS_PER_PAGE;
1264 continue;
1265 }
1266 wait_event(area->wq, (atomic_read(&area->slot_count) < UINSNS_PER_PAGE));
1267 } while (slot_nr >= UINSNS_PER_PAGE);
1268
1269 slot_addr = area->vaddr + (slot_nr * UPROBE_XOL_SLOT_BYTES);
1270 atomic_inc(&area->slot_count);
1271
1272 return slot_addr;
1273}
1274
1275/*
1276 * xol_get_insn_slot - If was not allocated a slot, then
1277 * allocate a slot.
1278 * Returns the allocated slot address or 0.
1279 */
1280static unsigned long xol_get_insn_slot(struct uprobe *uprobe, unsigned long slot_addr)
1281{
1282 struct xol_area *area;
1283 unsigned long offset;
1284 void *vaddr;
1285
1286 area = get_xol_area(current->mm);
1287 if (!area) {
1288 area = xol_alloc_area();
1289 if (!area)
1290 return 0;
1291 }
1292 current->utask->xol_vaddr = xol_take_insn_slot(area);
1293
1294 /*
1295 * Initialize the slot if xol_vaddr points to valid
1296 * instruction slot.
1297 */
1298 if (unlikely(!current->utask->xol_vaddr))
1299 return 0;
1300
1301 current->utask->vaddr = slot_addr;
1302 offset = current->utask->xol_vaddr & ~PAGE_MASK;
1303 vaddr = kmap_atomic(area->page);
1304 memcpy(vaddr + offset, uprobe->arch.insn, MAX_UINSN_BYTES);
1305 kunmap_atomic(vaddr);
1306
1307 return current->utask->xol_vaddr;
1308}
1309
1310/*
1311 * xol_free_insn_slot - If slot was earlier allocated by
1312 * @xol_get_insn_slot(), make the slot available for
1313 * subsequent requests.
1314 */
1315static void xol_free_insn_slot(struct task_struct *tsk)
1316{
1317 struct xol_area *area;
1318 unsigned long vma_end;
1319 unsigned long slot_addr;
1320
1321 if (!tsk->mm || !tsk->mm->uprobes_state.xol_area || !tsk->utask)
1322 return;
1323
1324 slot_addr = tsk->utask->xol_vaddr;
1325
1326 if (unlikely(!slot_addr || IS_ERR_VALUE(slot_addr)))
1327 return;
1328
1329 area = tsk->mm->uprobes_state.xol_area;
1330 vma_end = area->vaddr + PAGE_SIZE;
1331 if (area->vaddr <= slot_addr && slot_addr < vma_end) {
1332 unsigned long offset;
1333 int slot_nr;
1334
1335 offset = slot_addr - area->vaddr;
1336 slot_nr = offset / UPROBE_XOL_SLOT_BYTES;
1337 if (slot_nr >= UINSNS_PER_PAGE)
1338 return;
1339
1340 clear_bit(slot_nr, area->bitmap);
1341 atomic_dec(&area->slot_count);
1342 if (waitqueue_active(&area->wq))
1343 wake_up(&area->wq);
1344
1345 tsk->utask->xol_vaddr = 0;
1346 }
1347}
1348
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301349/**
1350 * uprobe_get_swbp_addr - compute address of swbp given post-swbp regs
1351 * @regs: Reflects the saved state of the task after it has hit a breakpoint
1352 * instruction.
1353 * Return the address of the breakpoint instruction.
1354 */
1355unsigned long __weak uprobe_get_swbp_addr(struct pt_regs *regs)
1356{
1357 return instruction_pointer(regs) - UPROBE_SWBP_INSN_SIZE;
1358}
1359
1360/*
1361 * Called with no locks held.
1362 * Called in context of a exiting or a exec-ing thread.
1363 */
1364void uprobe_free_utask(struct task_struct *t)
1365{
1366 struct uprobe_task *utask = t->utask;
1367
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301368 if (!utask)
1369 return;
1370
1371 if (utask->active_uprobe)
1372 put_uprobe(utask->active_uprobe);
1373
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301374 xol_free_insn_slot(t);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301375 kfree(utask);
1376 t->utask = NULL;
1377}
1378
1379/*
1380 * Called in context of a new clone/fork from copy_process.
1381 */
1382void uprobe_copy_process(struct task_struct *t)
1383{
1384 t->utask = NULL;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301385}
1386
1387/*
1388 * Allocate a uprobe_task object for the task.
1389 * Called when the thread hits a breakpoint for the first time.
1390 *
1391 * Returns:
1392 * - pointer to new uprobe_task on success
1393 * - NULL otherwise
1394 */
1395static struct uprobe_task *add_utask(void)
1396{
1397 struct uprobe_task *utask;
1398
1399 utask = kzalloc(sizeof *utask, GFP_KERNEL);
1400 if (unlikely(!utask))
1401 return NULL;
1402
1403 utask->active_uprobe = NULL;
1404 current->utask = utask;
1405 return utask;
1406}
1407
1408/* Prepare to single-step probed instruction out of line. */
1409static int
1410pre_ssout(struct uprobe *uprobe, struct pt_regs *regs, unsigned long vaddr)
1411{
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301412 if (xol_get_insn_slot(uprobe, vaddr) && !arch_uprobe_pre_xol(&uprobe->arch, regs))
1413 return 0;
1414
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301415 return -EFAULT;
1416}
1417
1418/*
1419 * If we are singlestepping, then ensure this thread is not connected to
1420 * non-fatal signals until completion of singlestep. When xol insn itself
1421 * triggers the signal, restart the original insn even if the task is
1422 * already SIGKILL'ed (since coredump should report the correct ip). This
1423 * is even more important if the task has a handler for SIGSEGV/etc, The
1424 * _same_ instruction should be repeated again after return from the signal
1425 * handler, and SSTEP can never finish in this case.
1426 */
1427bool uprobe_deny_signal(void)
1428{
1429 struct task_struct *t = current;
1430 struct uprobe_task *utask = t->utask;
1431
1432 if (likely(!utask || !utask->active_uprobe))
1433 return false;
1434
1435 WARN_ON_ONCE(utask->state != UTASK_SSTEP);
1436
1437 if (signal_pending(t)) {
1438 spin_lock_irq(&t->sighand->siglock);
1439 clear_tsk_thread_flag(t, TIF_SIGPENDING);
1440 spin_unlock_irq(&t->sighand->siglock);
1441
1442 if (__fatal_signal_pending(t) || arch_uprobe_xol_was_trapped(t)) {
1443 utask->state = UTASK_SSTEP_TRAPPED;
1444 set_tsk_thread_flag(t, TIF_UPROBE);
1445 set_tsk_thread_flag(t, TIF_NOTIFY_RESUME);
1446 }
1447 }
1448
1449 return true;
1450}
1451
1452/*
1453 * Avoid singlestepping the original instruction if the original instruction
1454 * is a NOP or can be emulated.
1455 */
1456static bool can_skip_sstep(struct uprobe *uprobe, struct pt_regs *regs)
1457{
1458 if (arch_uprobe_skip_sstep(&uprobe->arch, regs))
1459 return true;
1460
1461 uprobe->flags &= ~UPROBE_SKIP_SSTEP;
1462 return false;
1463}
1464
Oleg Nesterovd790d342012-05-29 21:29:14 +02001465static struct uprobe *find_active_uprobe(unsigned long bp_vaddr, int *is_swbp)
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001466{
1467 struct mm_struct *mm = current->mm;
1468 struct uprobe *uprobe = NULL;
1469 struct vm_area_struct *vma;
1470
1471 down_read(&mm->mmap_sem);
1472 vma = find_vma(mm, bp_vaddr);
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001473 if (vma && vma->vm_start <= bp_vaddr) {
1474 if (valid_vma(vma, false)) {
1475 struct inode *inode;
1476 loff_t offset;
1477
1478 inode = vma->vm_file->f_mapping->host;
1479 offset = bp_vaddr - vma->vm_start;
1480 offset += (vma->vm_pgoff << PAGE_SHIFT);
1481 uprobe = find_uprobe(inode, offset);
1482 }
Oleg Nesterovd790d342012-05-29 21:29:14 +02001483
1484 if (!uprobe)
1485 *is_swbp = is_swbp_at_addr(mm, bp_vaddr);
1486 } else {
1487 *is_swbp = -EFAULT;
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001488 }
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001489 up_read(&mm->mmap_sem);
1490
1491 return uprobe;
1492}
1493
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301494/*
1495 * Run handler and ask thread to singlestep.
1496 * Ensure all non-fatal signals cannot interrupt thread while it singlesteps.
1497 */
1498static void handle_swbp(struct pt_regs *regs)
1499{
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301500 struct uprobe_task *utask;
1501 struct uprobe *uprobe;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301502 unsigned long bp_vaddr;
Oleg Nesterov56bb4cf2012-05-29 21:29:47 +02001503 int uninitialized_var(is_swbp);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301504
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301505 bp_vaddr = uprobe_get_swbp_addr(regs);
Oleg Nesterovd790d342012-05-29 21:29:14 +02001506 uprobe = find_active_uprobe(bp_vaddr, &is_swbp);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301507
1508 if (!uprobe) {
Oleg Nesterov56bb4cf2012-05-29 21:29:47 +02001509 if (is_swbp > 0) {
1510 /* No matching uprobe; signal SIGTRAP. */
1511 send_sig(SIGTRAP, current, 0);
1512 } else {
1513 /*
1514 * Either we raced with uprobe_unregister() or we can't
1515 * access this memory. The latter is only possible if
1516 * another thread plays with our ->mm. In both cases
1517 * we can simply restart. If this vma was unmapped we
1518 * can pretend this insn was not executed yet and get
1519 * the (correct) SIGSEGV after restart.
1520 */
1521 instruction_pointer_set(regs, bp_vaddr);
1522 }
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301523 return;
1524 }
1525
1526 utask = current->utask;
1527 if (!utask) {
1528 utask = add_utask();
1529 /* Cannot allocate; re-execute the instruction. */
1530 if (!utask)
1531 goto cleanup_ret;
1532 }
1533 utask->active_uprobe = uprobe;
1534 handler_chain(uprobe, regs);
1535 if (uprobe->flags & UPROBE_SKIP_SSTEP && can_skip_sstep(uprobe, regs))
1536 goto cleanup_ret;
1537
1538 utask->state = UTASK_SSTEP;
1539 if (!pre_ssout(uprobe, regs, bp_vaddr)) {
1540 user_enable_single_step(current);
1541 return;
1542 }
1543
1544cleanup_ret:
1545 if (utask) {
1546 utask->active_uprobe = NULL;
1547 utask->state = UTASK_RUNNING;
1548 }
1549 if (uprobe) {
1550 if (!(uprobe->flags & UPROBE_SKIP_SSTEP))
1551
1552 /*
1553 * cannot singlestep; cannot skip instruction;
1554 * re-execute the instruction.
1555 */
1556 instruction_pointer_set(regs, bp_vaddr);
1557
1558 put_uprobe(uprobe);
1559 }
1560}
1561
1562/*
1563 * Perform required fix-ups and disable singlestep.
1564 * Allow pending signals to take effect.
1565 */
1566static void handle_singlestep(struct uprobe_task *utask, struct pt_regs *regs)
1567{
1568 struct uprobe *uprobe;
1569
1570 uprobe = utask->active_uprobe;
1571 if (utask->state == UTASK_SSTEP_ACK)
1572 arch_uprobe_post_xol(&uprobe->arch, regs);
1573 else if (utask->state == UTASK_SSTEP_TRAPPED)
1574 arch_uprobe_abort_xol(&uprobe->arch, regs);
1575 else
1576 WARN_ON_ONCE(1);
1577
1578 put_uprobe(uprobe);
1579 utask->active_uprobe = NULL;
1580 utask->state = UTASK_RUNNING;
1581 user_disable_single_step(current);
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301582 xol_free_insn_slot(current);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301583
1584 spin_lock_irq(&current->sighand->siglock);
1585 recalc_sigpending(); /* see uprobe_deny_signal() */
1586 spin_unlock_irq(&current->sighand->siglock);
1587}
1588
1589/*
1590 * On breakpoint hit, breakpoint notifier sets the TIF_UPROBE flag. (and on
1591 * subsequent probe hits on the thread sets the state to UTASK_BP_HIT) and
1592 * allows the thread to return from interrupt.
1593 *
1594 * On singlestep exception, singlestep notifier sets the TIF_UPROBE flag and
1595 * also sets the state to UTASK_SSTEP_ACK and allows the thread to return from
1596 * interrupt.
1597 *
1598 * While returning to userspace, thread notices the TIF_UPROBE flag and calls
1599 * uprobe_notify_resume().
1600 */
1601void uprobe_notify_resume(struct pt_regs *regs)
1602{
1603 struct uprobe_task *utask;
1604
1605 utask = current->utask;
1606 if (!utask || utask->state == UTASK_BP_HIT)
1607 handle_swbp(regs);
1608 else
1609 handle_singlestep(utask, regs);
1610}
1611
1612/*
1613 * uprobe_pre_sstep_notifier gets called from interrupt context as part of
1614 * notifier mechanism. Set TIF_UPROBE flag and indicate breakpoint hit.
1615 */
1616int uprobe_pre_sstep_notifier(struct pt_regs *regs)
1617{
1618 struct uprobe_task *utask;
1619
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301620 if (!current->mm || !atomic_read(&current->mm->uprobes_state.count))
1621 /* task is currently not uprobed */
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301622 return 0;
1623
1624 utask = current->utask;
1625 if (utask)
1626 utask->state = UTASK_BP_HIT;
1627
1628 set_thread_flag(TIF_UPROBE);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301629
1630 return 1;
1631}
1632
1633/*
1634 * uprobe_post_sstep_notifier gets called in interrupt context as part of notifier
1635 * mechanism. Set TIF_UPROBE flag and indicate completion of singlestep.
1636 */
1637int uprobe_post_sstep_notifier(struct pt_regs *regs)
1638{
1639 struct uprobe_task *utask = current->utask;
1640
1641 if (!current->mm || !utask || !utask->active_uprobe)
1642 /* task is currently not uprobed */
1643 return 0;
1644
1645 utask->state = UTASK_SSTEP_ACK;
1646 set_thread_flag(TIF_UPROBE);
1647 return 1;
1648}
1649
1650static struct notifier_block uprobe_exception_nb = {
1651 .notifier_call = arch_uprobe_exception_notify,
1652 .priority = INT_MAX-1, /* notified after kprobes, kgdb */
1653};
1654
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301655static int __init init_uprobes(void)
1656{
1657 int i;
1658
1659 for (i = 0; i < UPROBES_HASH_SZ; i++) {
1660 mutex_init(&uprobes_mutex[i]);
1661 mutex_init(&uprobes_mmap_mutex[i]);
1662 }
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301663
1664 return register_die_notifier(&uprobe_exception_nb);
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301665}
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301666module_init(init_uprobes);
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301667
1668static void __exit exit_uprobes(void)
1669{
1670}
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301671module_exit(exit_uprobes);