blob: b6f0f716a884718884b5cc30fd6b6975b1e9bbb4 [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
Srikar Dronamraju3ff54ef2012-02-22 14:46:02 +053081struct uprobe {
82 struct rb_node rb_node; /* node in the rb tree */
83 atomic_t ref;
84 struct rw_semaphore consumer_rwsem;
85 struct list_head pending_list;
86 struct uprobe_consumer *consumers;
87 struct inode *inode; /* Also hold a ref to inode */
88 loff_t offset;
89 int flags;
90 struct arch_uprobe arch;
91};
92
Srikar Dronamraju2b144492012-02-09 14:56:42 +053093/*
94 * valid_vma: Verify if the specified vma is an executable vma
95 * Relax restrictions while unregistering: vm_flags might have
96 * changed after breakpoint was inserted.
97 * - is_register: indicates if we are in register context.
98 * - Return 1 if the specified virtual address is in an
99 * executable vma.
100 */
101static bool valid_vma(struct vm_area_struct *vma, bool is_register)
102{
Oleg Nesterove40cfce2012-09-16 19:31:39 +0200103 vm_flags_t flags = VM_HUGETLB | VM_MAYEXEC | VM_SHARED;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530104
Oleg Nesterove40cfce2012-09-16 19:31:39 +0200105 if (is_register)
106 flags |= VM_WRITE;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530107
Oleg Nesterove40cfce2012-09-16 19:31:39 +0200108 return vma->vm_file && (vma->vm_flags & flags) == VM_MAYEXEC;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530109}
110
Oleg Nesterov57683f72012-07-29 20:22:47 +0200111static unsigned long offset_to_vaddr(struct vm_area_struct *vma, loff_t offset)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530112{
Oleg Nesterov57683f72012-07-29 20:22:47 +0200113 return vma->vm_start + offset - ((loff_t)vma->vm_pgoff << PAGE_SHIFT);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530114}
115
Oleg Nesterovcb113b42012-07-29 20:22:42 +0200116static loff_t vaddr_to_offset(struct vm_area_struct *vma, unsigned long vaddr)
117{
118 return ((loff_t)vma->vm_pgoff << PAGE_SHIFT) + (vaddr - vma->vm_start);
119}
120
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530121/**
122 * __replace_page - replace page in vma by new page.
123 * based on replace_page in mm/ksm.c
124 *
125 * @vma: vma that holds the pte pointing to page
Oleg Nesterovc517ee72012-07-29 20:22:16 +0200126 * @addr: address the old @page is mapped at
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530127 * @page: the cowed page we are replacing by kpage
128 * @kpage: the modified page we replace page by
129 *
130 * Returns 0 on success, -EFAULT on failure.
131 */
Oleg Nesterovc517ee72012-07-29 20:22:16 +0200132static int __replace_page(struct vm_area_struct *vma, unsigned long addr,
133 struct page *page, struct page *kpage)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530134{
135 struct mm_struct *mm = vma->vm_mm;
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200136 spinlock_t *ptl;
137 pte_t *ptep;
Oleg Nesterov9f924482012-07-29 20:22:20 +0200138 int err;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530139
Oleg Nesterov194f8dc2012-07-29 20:22:49 +0200140 /* For try_to_free_swap() and munlock_vma_page() below */
Oleg Nesterov9f924482012-07-29 20:22:20 +0200141 lock_page(page);
142
143 err = -EAGAIN;
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200144 ptep = page_check_address(page, mm, addr, &ptl, 0);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530145 if (!ptep)
Oleg Nesterov9f924482012-07-29 20:22:20 +0200146 goto unlock;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530147
148 get_page(kpage);
149 page_add_new_anon_rmap(kpage, vma, addr);
150
Srikar Dronamraju7396fa82012-04-11 16:05:16 +0530151 if (!PageAnon(page)) {
152 dec_mm_counter(mm, MM_FILEPAGES);
153 inc_mm_counter(mm, MM_ANONPAGES);
154 }
155
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530156 flush_cache_page(vma, addr, pte_pfn(*ptep));
157 ptep_clear_flush(vma, addr, ptep);
158 set_pte_at_notify(mm, addr, ptep, mk_pte(kpage, vma->vm_page_prot));
159
160 page_remove_rmap(page);
161 if (!page_mapped(page))
162 try_to_free_swap(page);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530163 pte_unmap_unlock(ptep, ptl);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530164
Oleg Nesterov194f8dc2012-07-29 20:22:49 +0200165 if (vma->vm_flags & VM_LOCKED)
166 munlock_vma_page(page);
167 put_page(page);
168
Oleg Nesterov9f924482012-07-29 20:22:20 +0200169 err = 0;
170 unlock:
171 unlock_page(page);
172 return err;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530173}
174
175/**
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530176 * is_swbp_insn - check if instruction is breakpoint instruction.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530177 * @insn: instruction to be checked.
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530178 * Default implementation of is_swbp_insn
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530179 * Returns true if @insn is a breakpoint instruction.
180 */
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530181bool __weak is_swbp_insn(uprobe_opcode_t *insn)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530182{
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530183 return *insn == UPROBE_SWBP_INSN;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530184}
185
Oleg Nesterovcceb55a2012-09-23 21:10:18 +0200186static void copy_opcode(struct page *page, unsigned long vaddr, uprobe_opcode_t *opcode)
187{
188 void *kaddr = kmap_atomic(page);
189 memcpy(opcode, kaddr + (vaddr & ~PAGE_MASK), UPROBE_SWBP_INSN_SIZE);
190 kunmap_atomic(kaddr);
191}
192
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530193/*
194 * NOTE:
195 * Expect the breakpoint instruction to be the smallest size instruction for
196 * the architecture. If an arch has variable length instruction and the
197 * breakpoint instruction is not of the smallest length instruction
Oleg Nesterovcceb55a2012-09-23 21:10:18 +0200198 * supported by that architecture then we need to modify is_swbp_at_addr and
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530199 * write_opcode accordingly. This would never be a problem for archs that
200 * have fixed length instructions.
201 */
202
203/*
204 * write_opcode - write the opcode at a given virtual address.
205 * @mm: the probed process address space.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530206 * @vaddr: the virtual address to store the opcode.
207 * @opcode: opcode to be written at @vaddr.
208 *
209 * Called with mm->mmap_sem held (for read and with a reference to
210 * mm).
211 *
212 * For mm @mm, write the opcode at @vaddr.
213 * Return 0 (success) or a negative errno.
214 */
Oleg Nesterovcceb55a2012-09-23 21:10:18 +0200215static int write_opcode(struct mm_struct *mm, unsigned long vaddr,
216 uprobe_opcode_t opcode)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530217{
218 struct page *old_page, *new_page;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530219 void *vaddr_old, *vaddr_new;
220 struct vm_area_struct *vma;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530221 int ret;
Oleg Nesterovf4030722012-07-29 20:22:12 +0200222
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200223retry:
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530224 /* Read the page with vaddr into memory */
Oleg Nesterov75ed82e2012-09-16 17:20:06 +0200225 ret = get_user_pages(NULL, mm, vaddr, 1, 0, 1, &old_page, &vma);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530226 if (ret <= 0)
227 return ret;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100228
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530229 ret = -ENOMEM;
230 new_page = alloc_page_vma(GFP_HIGHUSER_MOVABLE, vma, vaddr);
231 if (!new_page)
Oleg Nesterov9f924482012-07-29 20:22:20 +0200232 goto put_old;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530233
234 __SetPageUptodate(new_page);
235
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530236 /* copy the page now that we've got it stable */
237 vaddr_old = kmap_atomic(old_page);
238 vaddr_new = kmap_atomic(new_page);
239
240 memcpy(vaddr_new, vaddr_old, PAGE_SIZE);
Oleg Nesterovd9c4a302012-06-15 17:43:50 +0200241 memcpy(vaddr_new + (vaddr & ~PAGE_MASK), &opcode, UPROBE_SWBP_INSN_SIZE);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530242
243 kunmap_atomic(vaddr_new);
244 kunmap_atomic(vaddr_old);
245
246 ret = anon_vma_prepare(vma);
247 if (ret)
Oleg Nesterov9f924482012-07-29 20:22:20 +0200248 goto put_new;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530249
Oleg Nesterovc517ee72012-07-29 20:22:16 +0200250 ret = __replace_page(vma, vaddr, old_page, new_page);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530251
Oleg Nesterov9f924482012-07-29 20:22:20 +0200252put_new:
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530253 page_cache_release(new_page);
Oleg Nesterov9f924482012-07-29 20:22:20 +0200254put_old:
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100255 put_page(old_page);
256
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200257 if (unlikely(ret == -EAGAIN))
258 goto retry;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530259 return ret;
260}
261
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530262static int is_swbp_at_addr(struct mm_struct *mm, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530263{
Oleg Nesterovcceb55a2012-09-23 21:10:18 +0200264 struct page *page;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530265 uprobe_opcode_t opcode;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100266 int result;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530267
Oleg Nesterovc00b2752012-05-29 21:27:44 +0200268 if (current->mm == mm) {
269 pagefault_disable();
270 result = __copy_from_user_inatomic(&opcode, (void __user*)vaddr,
271 sizeof(opcode));
272 pagefault_enable();
273
274 if (likely(result == 0))
275 goto out;
276 }
277
Oleg Nesterovcceb55a2012-09-23 21:10:18 +0200278 result = get_user_pages(NULL, mm, vaddr, 1, 0, 1, &page, NULL);
279 if (result < 0)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530280 return result;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530281
Oleg Nesterovcceb55a2012-09-23 21:10:18 +0200282 copy_opcode(page, vaddr, &opcode);
283 put_page(page);
284 out:
285 return is_swbp_insn(&opcode);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530286}
287
288/**
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530289 * set_swbp - store breakpoint at a given address.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530290 * @auprobe: arch specific probepoint information.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530291 * @mm: the probed process address space.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530292 * @vaddr: the virtual address to insert the opcode.
293 *
294 * For mm @mm, store the breakpoint instruction at @vaddr.
295 * Return 0 (success) or a negative errno.
296 */
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530297int __weak set_swbp(struct arch_uprobe *auprobe, struct mm_struct *mm, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530298{
Oleg Nesterovcceb55a2012-09-23 21:10:18 +0200299 return write_opcode(mm, vaddr, UPROBE_SWBP_INSN);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530300}
301
302/**
303 * set_orig_insn - Restore the original instruction.
304 * @mm: the probed process address space.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530305 * @auprobe: arch specific probepoint information.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530306 * @vaddr: the virtual address to insert the opcode.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530307 *
308 * For mm @mm, restore the original opcode (opcode) at @vaddr.
309 * Return 0 (success) or a negative errno.
310 */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100311int __weak
Oleg Nesterovded86e72012-08-08 18:07:03 +0200312set_orig_insn(struct arch_uprobe *auprobe, struct mm_struct *mm, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530313{
Oleg Nesterovded86e72012-08-08 18:07:03 +0200314 int result;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530315
Oleg Nesterovded86e72012-08-08 18:07:03 +0200316 result = is_swbp_at_addr(mm, vaddr);
317 if (!result)
318 return -EINVAL;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530319
Oleg Nesterovded86e72012-08-08 18:07:03 +0200320 if (result != 1)
321 return result;
322
Oleg Nesterovcceb55a2012-09-23 21:10:18 +0200323 return write_opcode(mm, vaddr, *(uprobe_opcode_t *)auprobe->insn);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530324}
325
326static int match_uprobe(struct uprobe *l, struct uprobe *r)
327{
328 if (l->inode < r->inode)
329 return -1;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100330
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530331 if (l->inode > r->inode)
332 return 1;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530333
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100334 if (l->offset < r->offset)
335 return -1;
336
337 if (l->offset > r->offset)
338 return 1;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530339
340 return 0;
341}
342
343static struct uprobe *__find_uprobe(struct inode *inode, loff_t offset)
344{
345 struct uprobe u = { .inode = inode, .offset = offset };
346 struct rb_node *n = uprobes_tree.rb_node;
347 struct uprobe *uprobe;
348 int match;
349
350 while (n) {
351 uprobe = rb_entry(n, struct uprobe, rb_node);
352 match = match_uprobe(&u, uprobe);
353 if (!match) {
354 atomic_inc(&uprobe->ref);
355 return uprobe;
356 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100357
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530358 if (match < 0)
359 n = n->rb_left;
360 else
361 n = n->rb_right;
362 }
363 return NULL;
364}
365
366/*
367 * Find a uprobe corresponding to a given inode:offset
368 * Acquires uprobes_treelock
369 */
370static struct uprobe *find_uprobe(struct inode *inode, loff_t offset)
371{
372 struct uprobe *uprobe;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530373
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200374 spin_lock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530375 uprobe = __find_uprobe(inode, offset);
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200376 spin_unlock(&uprobes_treelock);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100377
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530378 return uprobe;
379}
380
381static struct uprobe *__insert_uprobe(struct uprobe *uprobe)
382{
383 struct rb_node **p = &uprobes_tree.rb_node;
384 struct rb_node *parent = NULL;
385 struct uprobe *u;
386 int match;
387
388 while (*p) {
389 parent = *p;
390 u = rb_entry(parent, struct uprobe, rb_node);
391 match = match_uprobe(uprobe, u);
392 if (!match) {
393 atomic_inc(&u->ref);
394 return u;
395 }
396
397 if (match < 0)
398 p = &parent->rb_left;
399 else
400 p = &parent->rb_right;
401
402 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100403
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530404 u = NULL;
405 rb_link_node(&uprobe->rb_node, parent, p);
406 rb_insert_color(&uprobe->rb_node, &uprobes_tree);
407 /* get access + creation ref */
408 atomic_set(&uprobe->ref, 2);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100409
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530410 return u;
411}
412
413/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100414 * Acquire uprobes_treelock.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530415 * Matching uprobe already exists in rbtree;
416 * increment (access refcount) and return the matching uprobe.
417 *
418 * No matching uprobe; insert the uprobe in rb_tree;
419 * get a double refcount (access + creation) and return NULL.
420 */
421static struct uprobe *insert_uprobe(struct uprobe *uprobe)
422{
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530423 struct uprobe *u;
424
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200425 spin_lock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530426 u = __insert_uprobe(uprobe);
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200427 spin_unlock(&uprobes_treelock);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100428
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530429 /* For now assume that the instruction need not be single-stepped */
430 uprobe->flags |= UPROBE_SKIP_SSTEP;
431
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530432 return u;
433}
434
435static void put_uprobe(struct uprobe *uprobe)
436{
437 if (atomic_dec_and_test(&uprobe->ref))
438 kfree(uprobe);
439}
440
441static struct uprobe *alloc_uprobe(struct inode *inode, loff_t offset)
442{
443 struct uprobe *uprobe, *cur_uprobe;
444
445 uprobe = kzalloc(sizeof(struct uprobe), GFP_KERNEL);
446 if (!uprobe)
447 return NULL;
448
449 uprobe->inode = igrab(inode);
450 uprobe->offset = offset;
451 init_rwsem(&uprobe->consumer_rwsem);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530452
453 /* add to uprobes_tree, sorted on inode:offset */
454 cur_uprobe = insert_uprobe(uprobe);
455
456 /* a uprobe exists for this inode:offset combination */
457 if (cur_uprobe) {
458 kfree(uprobe);
459 uprobe = cur_uprobe;
460 iput(inode);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100461 } else {
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530462 atomic_inc(&uprobe_events);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100463 }
464
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530465 return uprobe;
466}
467
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530468static void handler_chain(struct uprobe *uprobe, struct pt_regs *regs)
469{
470 struct uprobe_consumer *uc;
471
472 if (!(uprobe->flags & UPROBE_RUN_HANDLER))
473 return;
474
475 down_read(&uprobe->consumer_rwsem);
476 for (uc = uprobe->consumers; uc; uc = uc->next) {
477 if (!uc->filter || uc->filter(uc, current))
478 uc->handler(uc, regs);
479 }
480 up_read(&uprobe->consumer_rwsem);
481}
482
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530483/* Returns the previous consumer */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100484static struct uprobe_consumer *
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530485consumer_add(struct uprobe *uprobe, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530486{
487 down_write(&uprobe->consumer_rwsem);
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530488 uc->next = uprobe->consumers;
489 uprobe->consumers = uc;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530490 up_write(&uprobe->consumer_rwsem);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100491
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530492 return uc->next;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530493}
494
495/*
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530496 * For uprobe @uprobe, delete the consumer @uc.
497 * Return true if the @uc is deleted successfully
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530498 * or return false.
499 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530500static bool consumer_del(struct uprobe *uprobe, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530501{
502 struct uprobe_consumer **con;
503 bool ret = false;
504
505 down_write(&uprobe->consumer_rwsem);
506 for (con = &uprobe->consumers; *con; con = &(*con)->next) {
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530507 if (*con == uc) {
508 *con = uc->next;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530509 ret = true;
510 break;
511 }
512 }
513 up_write(&uprobe->consumer_rwsem);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100514
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530515 return ret;
516}
517
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530518static int
Oleg Nesterovd4366152012-06-15 17:43:42 +0200519__copy_insn(struct address_space *mapping, struct file *filp, char *insn,
Oleg Nesterov593609a2012-06-15 17:43:59 +0200520 unsigned long nbytes, loff_t offset)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530521{
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530522 struct page *page;
523 void *vaddr;
Oleg Nesterov593609a2012-06-15 17:43:59 +0200524 unsigned long off;
525 pgoff_t idx;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530526
527 if (!filp)
528 return -EINVAL;
529
Oleg Nesterovcc359d12012-06-15 17:43:25 +0200530 if (!mapping->a_ops->readpage)
531 return -EIO;
532
Oleg Nesterov593609a2012-06-15 17:43:59 +0200533 idx = offset >> PAGE_CACHE_SHIFT;
534 off = offset & ~PAGE_MASK;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530535
536 /*
537 * Ensure that the page that has the original instruction is
538 * populated and in page-cache.
539 */
540 page = read_mapping_page(mapping, idx, filp);
541 if (IS_ERR(page))
542 return PTR_ERR(page);
543
544 vaddr = kmap_atomic(page);
Oleg Nesterov593609a2012-06-15 17:43:59 +0200545 memcpy(insn, vaddr + off, nbytes);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530546 kunmap_atomic(vaddr);
547 page_cache_release(page);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100548
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530549 return 0;
550}
551
Oleg Nesterovd4366152012-06-15 17:43:42 +0200552static int copy_insn(struct uprobe *uprobe, struct file *filp)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530553{
554 struct address_space *mapping;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530555 unsigned long nbytes;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100556 int bytes;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530557
Oleg Nesterovd4366152012-06-15 17:43:42 +0200558 nbytes = PAGE_SIZE - (uprobe->offset & ~PAGE_MASK);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530559 mapping = uprobe->inode->i_mapping;
560
561 /* Instruction at end of binary; copy only available bytes */
562 if (uprobe->offset + MAX_UINSN_BYTES > uprobe->inode->i_size)
563 bytes = uprobe->inode->i_size - uprobe->offset;
564 else
565 bytes = MAX_UINSN_BYTES;
566
567 /* Instruction at the page-boundary; copy bytes in second page */
568 if (nbytes < bytes) {
Oleg Nesterovfc36f592012-06-15 17:43:44 +0200569 int err = __copy_insn(mapping, filp, uprobe->arch.insn + nbytes,
570 bytes - nbytes, uprobe->offset + nbytes);
571 if (err)
572 return err;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530573 bytes = nbytes;
574 }
Oleg Nesterovd4366152012-06-15 17:43:42 +0200575 return __copy_insn(mapping, filp, uprobe->arch.insn, bytes, uprobe->offset);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530576}
577
Srikar Dronamraju682968e2012-03-30 23:56:46 +0530578/*
579 * How mm->uprobes_state.count gets updated
580 * uprobe_mmap() increments the count if
581 * - it successfully adds a breakpoint.
582 * - it cannot add a breakpoint, but sees that there is a underlying
583 * breakpoint (via a is_swbp_at_addr()).
584 *
585 * uprobe_munmap() decrements the count if
586 * - it sees a underlying breakpoint, (via is_swbp_at_addr)
587 * (Subsequent uprobe_unregister wouldnt find the breakpoint
588 * unless a uprobe_mmap kicks in, since the old vma would be
589 * dropped just after uprobe_munmap.)
590 *
591 * uprobe_register increments the count if:
592 * - it successfully adds a breakpoint.
593 *
594 * uprobe_unregister decrements the count if:
595 * - it sees a underlying breakpoint and removes successfully.
596 * (via is_swbp_at_addr)
597 * (Subsequent uprobe_munmap wouldnt find the breakpoint
598 * since there is no underlying breakpoint after the
599 * breakpoint removal.)
600 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530601static int
602install_breakpoint(struct uprobe *uprobe, struct mm_struct *mm,
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200603 struct vm_area_struct *vma, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530604{
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +0200605 bool first_uprobe;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530606 int ret;
607
608 /*
609 * If probe is being deleted, unregister thread could be done with
610 * the vma-rmap-walk through. Adding a probe now can be fatal since
611 * nobody will be able to cleanup. Also we could be from fork or
612 * mremap path, where the probe might have already been inserted.
613 * Hence behave as if probe already existed.
614 */
615 if (!uprobe->consumers)
Oleg Nesterov78f74112012-08-08 17:35:08 +0200616 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530617
Srikar Dronamraju900771a2012-03-12 14:55:14 +0530618 if (!(uprobe->flags & UPROBE_COPY_INSN)) {
Oleg Nesterovd4366152012-06-15 17:43:42 +0200619 ret = copy_insn(uprobe, vma->vm_file);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530620 if (ret)
621 return ret;
622
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530623 if (is_swbp_insn((uprobe_opcode_t *)uprobe->arch.insn))
Oleg Nesterovc1914a02012-06-15 17:43:31 +0200624 return -ENOTSUPP;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530625
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200626 ret = arch_uprobe_analyze_insn(&uprobe->arch, mm, vaddr);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530627 if (ret)
628 return ret;
629
Oleg Nesterovd9c4a302012-06-15 17:43:50 +0200630 /* write_opcode() assumes we don't cross page boundary */
631 BUG_ON((uprobe->offset & ~PAGE_MASK) +
632 UPROBE_SWBP_INSN_SIZE > PAGE_SIZE);
633
Srikar Dronamraju900771a2012-03-12 14:55:14 +0530634 uprobe->flags |= UPROBE_COPY_INSN;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530635 }
Srikar Dronamraju682968e2012-03-30 23:56:46 +0530636
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +0200637 /*
638 * set MMF_HAS_UPROBES in advance for uprobe_pre_sstep_notifier(),
639 * the task can hit this breakpoint right after __replace_page().
640 */
641 first_uprobe = !test_bit(MMF_HAS_UPROBES, &mm->flags);
642 if (first_uprobe)
643 set_bit(MMF_HAS_UPROBES, &mm->flags);
644
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200645 ret = set_swbp(&uprobe->arch, mm, vaddr);
Oleg Nesterov9f68f672012-08-19 16:15:09 +0200646 if (!ret)
647 clear_bit(MMF_RECALC_UPROBES, &mm->flags);
648 else if (first_uprobe)
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +0200649 clear_bit(MMF_HAS_UPROBES, &mm->flags);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530650
651 return ret;
652}
653
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530654static void
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200655remove_breakpoint(struct uprobe *uprobe, struct mm_struct *mm, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530656{
Oleg Nesterov9f68f672012-08-19 16:15:09 +0200657 /* can happen if uprobe_register() fails */
658 if (!test_bit(MMF_HAS_UPROBES, &mm->flags))
659 return;
660
661 set_bit(MMF_RECALC_UPROBES, &mm->flags);
Oleg Nesterovded86e72012-08-08 18:07:03 +0200662 set_orig_insn(&uprobe->arch, mm, vaddr);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530663}
664
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530665/*
Oleg Nesterov778b0322012-05-29 21:30:08 +0200666 * There could be threads that have already hit the breakpoint. They
667 * will recheck the current insn and restart if find_uprobe() fails.
668 * See find_active_uprobe().
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530669 */
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530670static void delete_uprobe(struct uprobe *uprobe)
671{
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200672 spin_lock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530673 rb_erase(&uprobe->rb_node, &uprobes_tree);
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200674 spin_unlock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530675 iput(uprobe->inode);
676 put_uprobe(uprobe);
677 atomic_dec(&uprobe_events);
678}
679
Oleg Nesterov26872092012-06-15 17:43:33 +0200680struct map_info {
681 struct map_info *next;
682 struct mm_struct *mm;
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200683 unsigned long vaddr;
Oleg Nesterov26872092012-06-15 17:43:33 +0200684};
685
686static inline struct map_info *free_map_info(struct map_info *info)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530687{
Oleg Nesterov26872092012-06-15 17:43:33 +0200688 struct map_info *next = info->next;
689 kfree(info);
690 return next;
691}
692
693static struct map_info *
694build_map_info(struct address_space *mapping, loff_t offset, bool is_register)
695{
696 unsigned long pgoff = offset >> PAGE_SHIFT;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530697 struct prio_tree_iter iter;
698 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);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530706 vma_prio_tree_foreach(vma, &iter, &mapping->i_mmap, pgoff, pgoff) {
707 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 Nesterov26872092012-06-15 17:43:33 +0200778 if (err)
779 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 Nesterov26872092012-06-15 17:43:33 +0200794 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
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530851 if (uprobe && !consumer_add(uprobe, uc)) {
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100852 ret = __uprobe_register(uprobe);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530853 if (ret) {
854 uprobe->consumers = NULL;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100855 __uprobe_unregister(uprobe);
856 } else {
Srikar Dronamraju900771a2012-03-12 14:55:14 +0530857 uprobe->flags |= UPROBE_RUN_HANDLER;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100858 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530859 }
860
861 mutex_unlock(uprobes_hash(inode));
Sebastian Andrzej Siewior6d1d8df2012-08-30 19:26:22 +0200862 if (uprobe)
863 put_uprobe(uprobe);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530864
865 return ret;
866}
867
868/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100869 * uprobe_unregister - unregister a already registered probe.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530870 * @inode: the file in which the probe has to be removed.
871 * @offset: offset from the start of the file.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530872 * @uc: identify which probe if multiple probes are colocated.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530873 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530874void uprobe_unregister(struct inode *inode, loff_t offset, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530875{
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100876 struct uprobe *uprobe;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530877
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530878 if (!inode || !uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530879 return;
880
881 uprobe = find_uprobe(inode, offset);
882 if (!uprobe)
883 return;
884
885 mutex_lock(uprobes_hash(inode));
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530886
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530887 if (consumer_del(uprobe, uc)) {
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100888 if (!uprobe->consumers) {
889 __uprobe_unregister(uprobe);
Srikar Dronamraju900771a2012-03-12 14:55:14 +0530890 uprobe->flags &= ~UPROBE_RUN_HANDLER;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100891 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530892 }
893
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530894 mutex_unlock(uprobes_hash(inode));
895 if (uprobe)
896 put_uprobe(uprobe);
897}
898
Oleg Nesterov891c3972012-07-29 20:22:40 +0200899static struct rb_node *
900find_node_in_range(struct inode *inode, loff_t min, loff_t max)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530901{
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530902 struct rb_node *n = uprobes_tree.rb_node;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530903
904 while (n) {
Oleg Nesterov891c3972012-07-29 20:22:40 +0200905 struct uprobe *u = rb_entry(n, struct uprobe, rb_node);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100906
Oleg Nesterov891c3972012-07-29 20:22:40 +0200907 if (inode < u->inode) {
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530908 n = n->rb_left;
Oleg Nesterov891c3972012-07-29 20:22:40 +0200909 } else if (inode > u->inode) {
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530910 n = n->rb_right;
Oleg Nesterov891c3972012-07-29 20:22:40 +0200911 } else {
912 if (max < u->offset)
913 n = n->rb_left;
914 else if (min > u->offset)
915 n = n->rb_right;
916 else
917 break;
918 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530919 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100920
Oleg Nesterov891c3972012-07-29 20:22:40 +0200921 return n;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530922}
923
924/*
Oleg Nesterov891c3972012-07-29 20:22:40 +0200925 * For a given range in vma, build a list of probes that need to be inserted.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530926 */
Oleg Nesterov891c3972012-07-29 20:22:40 +0200927static void build_probe_list(struct inode *inode,
928 struct vm_area_struct *vma,
929 unsigned long start, unsigned long end,
930 struct list_head *head)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530931{
Oleg Nesterov891c3972012-07-29 20:22:40 +0200932 loff_t min, max;
Oleg Nesterov891c3972012-07-29 20:22:40 +0200933 struct rb_node *n, *t;
934 struct uprobe *u;
935
936 INIT_LIST_HEAD(head);
Oleg Nesterovcb113b42012-07-29 20:22:42 +0200937 min = vaddr_to_offset(vma, start);
Oleg Nesterov891c3972012-07-29 20:22:40 +0200938 max = min + (end - start) - 1;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530939
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200940 spin_lock(&uprobes_treelock);
Oleg Nesterov891c3972012-07-29 20:22:40 +0200941 n = find_node_in_range(inode, min, max);
942 if (n) {
943 for (t = n; t; t = rb_prev(t)) {
944 u = rb_entry(t, struct uprobe, rb_node);
945 if (u->inode != inode || u->offset < min)
946 break;
947 list_add(&u->pending_list, head);
948 atomic_inc(&u->ref);
949 }
950 for (t = n; (t = rb_next(t)); ) {
951 u = rb_entry(t, struct uprobe, rb_node);
952 if (u->inode != inode || u->offset > max)
953 break;
954 list_add(&u->pending_list, head);
955 atomic_inc(&u->ref);
956 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530957 }
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200958 spin_unlock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530959}
960
961/*
Oleg Nesterov5e5be712012-08-06 14:49:56 +0200962 * Called from mmap_region/vma_adjust with mm->mmap_sem acquired.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530963 *
Oleg Nesterov5e5be712012-08-06 14:49:56 +0200964 * Currently we ignore all errors and always return 0, the callers
965 * can't handle the failure anyway.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530966 */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100967int uprobe_mmap(struct vm_area_struct *vma)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530968{
969 struct list_head tmp_list;
Oleg Nesterov665605a2012-07-29 20:22:29 +0200970 struct uprobe *uprobe, *u;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530971 struct inode *inode;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530972
973 if (!atomic_read(&uprobe_events) || !valid_vma(vma, true))
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100974 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530975
976 inode = vma->vm_file->f_mapping->host;
977 if (!inode)
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100978 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530979
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530980 mutex_lock(uprobes_mmap_hash(inode));
Oleg Nesterov891c3972012-07-29 20:22:40 +0200981 build_probe_list(inode, vma, vma->vm_start, vma->vm_end, &tmp_list);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100982
Oleg Nesterov665605a2012-07-29 20:22:29 +0200983 list_for_each_entry_safe(uprobe, u, &tmp_list, pending_list) {
Oleg Nesterov5e5be712012-08-06 14:49:56 +0200984 if (!fatal_signal_pending(current)) {
Oleg Nesterov57683f72012-07-29 20:22:47 +0200985 unsigned long vaddr = offset_to_vaddr(vma, uprobe->offset);
Oleg Nesterov5e5be712012-08-06 14:49:56 +0200986 install_breakpoint(uprobe, vma->vm_mm, vma, vaddr);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530987 }
988 put_uprobe(uprobe);
989 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530990 mutex_unlock(uprobes_mmap_hash(inode));
991
Oleg Nesterov5e5be712012-08-06 14:49:56 +0200992 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530993}
994
Oleg Nesterov9f68f672012-08-19 16:15:09 +0200995static bool
996vma_has_uprobes(struct vm_area_struct *vma, unsigned long start, unsigned long end)
997{
998 loff_t min, max;
999 struct inode *inode;
1000 struct rb_node *n;
1001
1002 inode = vma->vm_file->f_mapping->host;
1003
1004 min = vaddr_to_offset(vma, start);
1005 max = min + (end - start) - 1;
1006
1007 spin_lock(&uprobes_treelock);
1008 n = find_node_in_range(inode, min, max);
1009 spin_unlock(&uprobes_treelock);
1010
1011 return !!n;
1012}
1013
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301014/*
1015 * Called in context of a munmap of a vma.
1016 */
Srikar Dronamrajucbc91f72012-04-11 16:05:27 +05301017void uprobe_munmap(struct vm_area_struct *vma, unsigned long start, unsigned long end)
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301018{
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301019 if (!atomic_read(&uprobe_events) || !valid_vma(vma, false))
1020 return;
1021
Oleg Nesterov2fd611a2012-07-29 20:22:31 +02001022 if (!atomic_read(&vma->vm_mm->mm_users)) /* called by mmput() ? */
1023 return;
1024
Oleg Nesterov9f68f672012-08-19 16:15:09 +02001025 if (!test_bit(MMF_HAS_UPROBES, &vma->vm_mm->flags) ||
1026 test_bit(MMF_RECALC_UPROBES, &vma->vm_mm->flags))
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001027 return;
1028
Oleg Nesterov9f68f672012-08-19 16:15:09 +02001029 if (vma_has_uprobes(vma, start, end))
1030 set_bit(MMF_RECALC_UPROBES, &vma->vm_mm->flags);
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301031}
1032
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301033/* Slot allocation for XOL */
1034static int xol_add_vma(struct xol_area *area)
1035{
1036 struct mm_struct *mm;
1037 int ret;
1038
1039 area->page = alloc_page(GFP_HIGHUSER);
1040 if (!area->page)
1041 return -ENOMEM;
1042
1043 ret = -EALREADY;
1044 mm = current->mm;
1045
1046 down_write(&mm->mmap_sem);
1047 if (mm->uprobes_state.xol_area)
1048 goto fail;
1049
1050 ret = -ENOMEM;
1051
1052 /* Try to map as high as possible, this is only a hint. */
1053 area->vaddr = get_unmapped_area(NULL, TASK_SIZE - PAGE_SIZE, PAGE_SIZE, 0, 0);
1054 if (area->vaddr & ~PAGE_MASK) {
1055 ret = area->vaddr;
1056 goto fail;
1057 }
1058
1059 ret = install_special_mapping(mm, area->vaddr, PAGE_SIZE,
1060 VM_EXEC|VM_MAYEXEC|VM_DONTCOPY|VM_IO, &area->page);
1061 if (ret)
1062 goto fail;
1063
1064 smp_wmb(); /* pairs with get_xol_area() */
1065 mm->uprobes_state.xol_area = area;
1066 ret = 0;
1067
1068fail:
1069 up_write(&mm->mmap_sem);
1070 if (ret)
1071 __free_page(area->page);
1072
1073 return ret;
1074}
1075
1076static struct xol_area *get_xol_area(struct mm_struct *mm)
1077{
1078 struct xol_area *area;
1079
1080 area = mm->uprobes_state.xol_area;
1081 smp_read_barrier_depends(); /* pairs with wmb in xol_add_vma() */
1082
1083 return area;
1084}
1085
1086/*
1087 * xol_alloc_area - Allocate process's xol_area.
1088 * This area will be used for storing instructions for execution out of
1089 * line.
1090 *
1091 * Returns the allocated area or NULL.
1092 */
1093static struct xol_area *xol_alloc_area(void)
1094{
1095 struct xol_area *area;
1096
1097 area = kzalloc(sizeof(*area), GFP_KERNEL);
1098 if (unlikely(!area))
1099 return NULL;
1100
1101 area->bitmap = kzalloc(BITS_TO_LONGS(UINSNS_PER_PAGE) * sizeof(long), GFP_KERNEL);
1102
1103 if (!area->bitmap)
1104 goto fail;
1105
1106 init_waitqueue_head(&area->wq);
1107 if (!xol_add_vma(area))
1108 return area;
1109
1110fail:
1111 kfree(area->bitmap);
1112 kfree(area);
1113
1114 return get_xol_area(current->mm);
1115}
1116
1117/*
1118 * uprobe_clear_state - Free the area allocated for slots.
1119 */
1120void uprobe_clear_state(struct mm_struct *mm)
1121{
1122 struct xol_area *area = mm->uprobes_state.xol_area;
1123
1124 if (!area)
1125 return;
1126
1127 put_page(area->page);
1128 kfree(area->bitmap);
1129 kfree(area);
1130}
1131
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001132void uprobe_dup_mmap(struct mm_struct *oldmm, struct mm_struct *newmm)
1133{
Oleg Nesterov61559a82012-08-08 17:17:46 +02001134 newmm->uprobes_state.xol_area = NULL;
1135
Oleg Nesterov9f68f672012-08-19 16:15:09 +02001136 if (test_bit(MMF_HAS_UPROBES, &oldmm->flags)) {
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001137 set_bit(MMF_HAS_UPROBES, &newmm->flags);
Oleg Nesterov9f68f672012-08-19 16:15:09 +02001138 /* unconditionally, dup_mmap() skips VM_DONTCOPY vmas */
1139 set_bit(MMF_RECALC_UPROBES, &newmm->flags);
1140 }
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001141}
1142
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301143/*
1144 * - search for a free slot.
1145 */
1146static unsigned long xol_take_insn_slot(struct xol_area *area)
1147{
1148 unsigned long slot_addr;
1149 int slot_nr;
1150
1151 do {
1152 slot_nr = find_first_zero_bit(area->bitmap, UINSNS_PER_PAGE);
1153 if (slot_nr < UINSNS_PER_PAGE) {
1154 if (!test_and_set_bit(slot_nr, area->bitmap))
1155 break;
1156
1157 slot_nr = UINSNS_PER_PAGE;
1158 continue;
1159 }
1160 wait_event(area->wq, (atomic_read(&area->slot_count) < UINSNS_PER_PAGE));
1161 } while (slot_nr >= UINSNS_PER_PAGE);
1162
1163 slot_addr = area->vaddr + (slot_nr * UPROBE_XOL_SLOT_BYTES);
1164 atomic_inc(&area->slot_count);
1165
1166 return slot_addr;
1167}
1168
1169/*
1170 * xol_get_insn_slot - If was not allocated a slot, then
1171 * allocate a slot.
1172 * Returns the allocated slot address or 0.
1173 */
1174static unsigned long xol_get_insn_slot(struct uprobe *uprobe, unsigned long slot_addr)
1175{
1176 struct xol_area *area;
1177 unsigned long offset;
1178 void *vaddr;
1179
1180 area = get_xol_area(current->mm);
1181 if (!area) {
1182 area = xol_alloc_area();
1183 if (!area)
1184 return 0;
1185 }
1186 current->utask->xol_vaddr = xol_take_insn_slot(area);
1187
1188 /*
1189 * Initialize the slot if xol_vaddr points to valid
1190 * instruction slot.
1191 */
1192 if (unlikely(!current->utask->xol_vaddr))
1193 return 0;
1194
1195 current->utask->vaddr = slot_addr;
1196 offset = current->utask->xol_vaddr & ~PAGE_MASK;
1197 vaddr = kmap_atomic(area->page);
1198 memcpy(vaddr + offset, uprobe->arch.insn, MAX_UINSN_BYTES);
1199 kunmap_atomic(vaddr);
1200
1201 return current->utask->xol_vaddr;
1202}
1203
1204/*
1205 * xol_free_insn_slot - If slot was earlier allocated by
1206 * @xol_get_insn_slot(), make the slot available for
1207 * subsequent requests.
1208 */
1209static void xol_free_insn_slot(struct task_struct *tsk)
1210{
1211 struct xol_area *area;
1212 unsigned long vma_end;
1213 unsigned long slot_addr;
1214
1215 if (!tsk->mm || !tsk->mm->uprobes_state.xol_area || !tsk->utask)
1216 return;
1217
1218 slot_addr = tsk->utask->xol_vaddr;
1219
1220 if (unlikely(!slot_addr || IS_ERR_VALUE(slot_addr)))
1221 return;
1222
1223 area = tsk->mm->uprobes_state.xol_area;
1224 vma_end = area->vaddr + PAGE_SIZE;
1225 if (area->vaddr <= slot_addr && slot_addr < vma_end) {
1226 unsigned long offset;
1227 int slot_nr;
1228
1229 offset = slot_addr - area->vaddr;
1230 slot_nr = offset / UPROBE_XOL_SLOT_BYTES;
1231 if (slot_nr >= UINSNS_PER_PAGE)
1232 return;
1233
1234 clear_bit(slot_nr, area->bitmap);
1235 atomic_dec(&area->slot_count);
1236 if (waitqueue_active(&area->wq))
1237 wake_up(&area->wq);
1238
1239 tsk->utask->xol_vaddr = 0;
1240 }
1241}
1242
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301243/**
1244 * uprobe_get_swbp_addr - compute address of swbp given post-swbp regs
1245 * @regs: Reflects the saved state of the task after it has hit a breakpoint
1246 * instruction.
1247 * Return the address of the breakpoint instruction.
1248 */
1249unsigned long __weak uprobe_get_swbp_addr(struct pt_regs *regs)
1250{
1251 return instruction_pointer(regs) - UPROBE_SWBP_INSN_SIZE;
1252}
1253
1254/*
1255 * Called with no locks held.
1256 * Called in context of a exiting or a exec-ing thread.
1257 */
1258void uprobe_free_utask(struct task_struct *t)
1259{
1260 struct uprobe_task *utask = t->utask;
1261
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301262 if (!utask)
1263 return;
1264
1265 if (utask->active_uprobe)
1266 put_uprobe(utask->active_uprobe);
1267
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301268 xol_free_insn_slot(t);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301269 kfree(utask);
1270 t->utask = NULL;
1271}
1272
1273/*
1274 * Called in context of a new clone/fork from copy_process.
1275 */
1276void uprobe_copy_process(struct task_struct *t)
1277{
1278 t->utask = NULL;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301279}
1280
1281/*
1282 * Allocate a uprobe_task object for the task.
1283 * Called when the thread hits a breakpoint for the first time.
1284 *
1285 * Returns:
1286 * - pointer to new uprobe_task on success
1287 * - NULL otherwise
1288 */
1289static struct uprobe_task *add_utask(void)
1290{
1291 struct uprobe_task *utask;
1292
1293 utask = kzalloc(sizeof *utask, GFP_KERNEL);
1294 if (unlikely(!utask))
1295 return NULL;
1296
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301297 current->utask = utask;
1298 return utask;
1299}
1300
1301/* Prepare to single-step probed instruction out of line. */
1302static int
1303pre_ssout(struct uprobe *uprobe, struct pt_regs *regs, unsigned long vaddr)
1304{
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301305 if (xol_get_insn_slot(uprobe, vaddr) && !arch_uprobe_pre_xol(&uprobe->arch, regs))
1306 return 0;
1307
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301308 return -EFAULT;
1309}
1310
1311/*
1312 * If we are singlestepping, then ensure this thread is not connected to
1313 * non-fatal signals until completion of singlestep. When xol insn itself
1314 * triggers the signal, restart the original insn even if the task is
1315 * already SIGKILL'ed (since coredump should report the correct ip). This
1316 * is even more important if the task has a handler for SIGSEGV/etc, The
1317 * _same_ instruction should be repeated again after return from the signal
1318 * handler, and SSTEP can never finish in this case.
1319 */
1320bool uprobe_deny_signal(void)
1321{
1322 struct task_struct *t = current;
1323 struct uprobe_task *utask = t->utask;
1324
1325 if (likely(!utask || !utask->active_uprobe))
1326 return false;
1327
1328 WARN_ON_ONCE(utask->state != UTASK_SSTEP);
1329
1330 if (signal_pending(t)) {
1331 spin_lock_irq(&t->sighand->siglock);
1332 clear_tsk_thread_flag(t, TIF_SIGPENDING);
1333 spin_unlock_irq(&t->sighand->siglock);
1334
1335 if (__fatal_signal_pending(t) || arch_uprobe_xol_was_trapped(t)) {
1336 utask->state = UTASK_SSTEP_TRAPPED;
1337 set_tsk_thread_flag(t, TIF_UPROBE);
1338 set_tsk_thread_flag(t, TIF_NOTIFY_RESUME);
1339 }
1340 }
1341
1342 return true;
1343}
1344
1345/*
1346 * Avoid singlestepping the original instruction if the original instruction
1347 * is a NOP or can be emulated.
1348 */
1349static bool can_skip_sstep(struct uprobe *uprobe, struct pt_regs *regs)
1350{
Oleg Nesterov0578a972012-09-14 18:31:23 +02001351 if (uprobe->flags & UPROBE_SKIP_SSTEP) {
1352 if (arch_uprobe_skip_sstep(&uprobe->arch, regs))
1353 return true;
1354 uprobe->flags &= ~UPROBE_SKIP_SSTEP;
1355 }
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301356 return false;
1357}
1358
Oleg Nesterov499a4f32012-08-19 17:41:34 +02001359static void mmf_recalc_uprobes(struct mm_struct *mm)
1360{
1361 struct vm_area_struct *vma;
1362
1363 for (vma = mm->mmap; vma; vma = vma->vm_next) {
1364 if (!valid_vma(vma, false))
1365 continue;
1366 /*
1367 * This is not strictly accurate, we can race with
1368 * uprobe_unregister() and see the already removed
1369 * uprobe if delete_uprobe() was not yet called.
1370 */
1371 if (vma_has_uprobes(vma, vma->vm_start, vma->vm_end))
1372 return;
1373 }
1374
1375 clear_bit(MMF_HAS_UPROBES, &mm->flags);
1376}
1377
Oleg Nesterovd790d342012-05-29 21:29:14 +02001378static struct uprobe *find_active_uprobe(unsigned long bp_vaddr, int *is_swbp)
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001379{
1380 struct mm_struct *mm = current->mm;
1381 struct uprobe *uprobe = NULL;
1382 struct vm_area_struct *vma;
1383
1384 down_read(&mm->mmap_sem);
1385 vma = find_vma(mm, bp_vaddr);
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001386 if (vma && vma->vm_start <= bp_vaddr) {
1387 if (valid_vma(vma, false)) {
Oleg Nesterovcb113b42012-07-29 20:22:42 +02001388 struct inode *inode = vma->vm_file->f_mapping->host;
1389 loff_t offset = vaddr_to_offset(vma, bp_vaddr);
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001390
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001391 uprobe = find_uprobe(inode, offset);
1392 }
Oleg Nesterovd790d342012-05-29 21:29:14 +02001393
1394 if (!uprobe)
1395 *is_swbp = is_swbp_at_addr(mm, bp_vaddr);
1396 } else {
1397 *is_swbp = -EFAULT;
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001398 }
Oleg Nesterov499a4f32012-08-19 17:41:34 +02001399
1400 if (!uprobe && test_and_clear_bit(MMF_RECALC_UPROBES, &mm->flags))
1401 mmf_recalc_uprobes(mm);
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001402 up_read(&mm->mmap_sem);
1403
1404 return uprobe;
1405}
1406
Sebastian Andrzej Siewior9d778782012-08-07 18:12:28 +02001407void __weak arch_uprobe_enable_step(struct arch_uprobe *arch)
1408{
1409 user_enable_single_step(current);
1410}
1411
1412void __weak arch_uprobe_disable_step(struct arch_uprobe *arch)
1413{
1414 user_disable_single_step(current);
1415}
1416
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301417/*
1418 * Run handler and ask thread to singlestep.
1419 * Ensure all non-fatal signals cannot interrupt thread while it singlesteps.
1420 */
1421static void handle_swbp(struct pt_regs *regs)
1422{
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301423 struct uprobe_task *utask;
1424 struct uprobe *uprobe;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301425 unsigned long bp_vaddr;
Oleg Nesterov56bb4cf2012-05-29 21:29:47 +02001426 int uninitialized_var(is_swbp);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301427
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301428 bp_vaddr = uprobe_get_swbp_addr(regs);
Oleg Nesterovd790d342012-05-29 21:29:14 +02001429 uprobe = find_active_uprobe(bp_vaddr, &is_swbp);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301430
1431 if (!uprobe) {
Oleg Nesterov56bb4cf2012-05-29 21:29:47 +02001432 if (is_swbp > 0) {
1433 /* No matching uprobe; signal SIGTRAP. */
1434 send_sig(SIGTRAP, current, 0);
1435 } else {
1436 /*
1437 * Either we raced with uprobe_unregister() or we can't
1438 * access this memory. The latter is only possible if
1439 * another thread plays with our ->mm. In both cases
1440 * we can simply restart. If this vma was unmapped we
1441 * can pretend this insn was not executed yet and get
1442 * the (correct) SIGSEGV after restart.
1443 */
1444 instruction_pointer_set(regs, bp_vaddr);
1445 }
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301446 return;
1447 }
1448
Oleg Nesterov1b08e9072012-09-14 18:52:10 +02001449 utask = current->utask;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301450 if (!utask) {
1451 utask = add_utask();
1452 /* Cannot allocate; re-execute the instruction. */
1453 if (!utask)
Oleg Nesterov0578a972012-09-14 18:31:23 +02001454 goto restart;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301455 }
Oleg Nesterov746a9e62012-09-14 18:23:51 +02001456
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301457 handler_chain(uprobe, regs);
Oleg Nesterov0578a972012-09-14 18:31:23 +02001458 if (can_skip_sstep(uprobe, regs))
1459 goto out;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301460
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301461 if (!pre_ssout(uprobe, regs, bp_vaddr)) {
Sebastian Andrzej Siewior9d778782012-08-07 18:12:28 +02001462 arch_uprobe_enable_step(&uprobe->arch);
Oleg Nesterov746a9e62012-09-14 18:23:51 +02001463 utask->active_uprobe = uprobe;
1464 utask->state = UTASK_SSTEP;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301465 return;
1466 }
1467
Oleg Nesterov0578a972012-09-14 18:31:23 +02001468restart:
1469 /*
1470 * cannot singlestep; cannot skip instruction;
1471 * re-execute the instruction.
1472 */
1473 instruction_pointer_set(regs, bp_vaddr);
1474out:
Sebastian Andrzej Siewior8bd87442012-08-07 18:12:30 +02001475 put_uprobe(uprobe);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301476}
1477
1478/*
1479 * Perform required fix-ups and disable singlestep.
1480 * Allow pending signals to take effect.
1481 */
1482static void handle_singlestep(struct uprobe_task *utask, struct pt_regs *regs)
1483{
1484 struct uprobe *uprobe;
1485
1486 uprobe = utask->active_uprobe;
1487 if (utask->state == UTASK_SSTEP_ACK)
1488 arch_uprobe_post_xol(&uprobe->arch, regs);
1489 else if (utask->state == UTASK_SSTEP_TRAPPED)
1490 arch_uprobe_abort_xol(&uprobe->arch, regs);
1491 else
1492 WARN_ON_ONCE(1);
1493
Sebastian Andrzej Siewior9d778782012-08-07 18:12:28 +02001494 arch_uprobe_disable_step(&uprobe->arch);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301495 put_uprobe(uprobe);
1496 utask->active_uprobe = NULL;
1497 utask->state = UTASK_RUNNING;
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301498 xol_free_insn_slot(current);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301499
1500 spin_lock_irq(&current->sighand->siglock);
1501 recalc_sigpending(); /* see uprobe_deny_signal() */
1502 spin_unlock_irq(&current->sighand->siglock);
1503}
1504
1505/*
Oleg Nesterov1b08e9072012-09-14 18:52:10 +02001506 * On breakpoint hit, breakpoint notifier sets the TIF_UPROBE flag and
1507 * allows the thread to return from interrupt. After that handle_swbp()
1508 * sets utask->active_uprobe.
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301509 *
Oleg Nesterov1b08e9072012-09-14 18:52:10 +02001510 * On singlestep exception, singlestep notifier sets the TIF_UPROBE flag
1511 * and allows the thread to return from interrupt.
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301512 *
1513 * While returning to userspace, thread notices the TIF_UPROBE flag and calls
1514 * uprobe_notify_resume().
1515 */
1516void uprobe_notify_resume(struct pt_regs *regs)
1517{
1518 struct uprobe_task *utask;
1519
Oleg Nesterovdb023ea2012-09-14 19:05:46 +02001520 clear_thread_flag(TIF_UPROBE);
1521
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301522 utask = current->utask;
Oleg Nesterov1b08e9072012-09-14 18:52:10 +02001523 if (utask && utask->active_uprobe)
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301524 handle_singlestep(utask, regs);
Oleg Nesterov1b08e9072012-09-14 18:52:10 +02001525 else
1526 handle_swbp(regs);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301527}
1528
1529/*
1530 * uprobe_pre_sstep_notifier gets called from interrupt context as part of
1531 * notifier mechanism. Set TIF_UPROBE flag and indicate breakpoint hit.
1532 */
1533int uprobe_pre_sstep_notifier(struct pt_regs *regs)
1534{
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001535 if (!current->mm || !test_bit(MMF_HAS_UPROBES, &current->mm->flags))
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301536 return 0;
1537
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301538 set_thread_flag(TIF_UPROBE);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301539 return 1;
1540}
1541
1542/*
1543 * uprobe_post_sstep_notifier gets called in interrupt context as part of notifier
1544 * mechanism. Set TIF_UPROBE flag and indicate completion of singlestep.
1545 */
1546int uprobe_post_sstep_notifier(struct pt_regs *regs)
1547{
1548 struct uprobe_task *utask = current->utask;
1549
1550 if (!current->mm || !utask || !utask->active_uprobe)
1551 /* task is currently not uprobed */
1552 return 0;
1553
1554 utask->state = UTASK_SSTEP_ACK;
1555 set_thread_flag(TIF_UPROBE);
1556 return 1;
1557}
1558
1559static struct notifier_block uprobe_exception_nb = {
1560 .notifier_call = arch_uprobe_exception_notify,
1561 .priority = INT_MAX-1, /* notified after kprobes, kgdb */
1562};
1563
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301564static int __init init_uprobes(void)
1565{
1566 int i;
1567
1568 for (i = 0; i < UPROBES_HASH_SZ; i++) {
1569 mutex_init(&uprobes_mutex[i]);
1570 mutex_init(&uprobes_mmap_mutex[i]);
1571 }
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301572
1573 return register_die_notifier(&uprobe_exception_nb);
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301574}
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301575module_init(init_uprobes);
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301576
1577static void __exit exit_uprobes(void)
1578{
1579}
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301580module_exit(exit_uprobes);