blob: 98256bc71ee136915b126b81dd1e61b8990a8ce3 [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{
103 if (!vma->vm_file)
104 return false;
105
106 if (!is_register)
107 return true;
108
Oleg Nesterovea131372012-06-15 17:43:22 +0200109 if ((vma->vm_flags & (VM_HUGETLB|VM_READ|VM_WRITE|VM_EXEC|VM_SHARED))
110 == (VM_READ|VM_EXEC))
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530111 return true;
112
113 return false;
114}
115
Oleg Nesterov57683f72012-07-29 20:22:47 +0200116static unsigned long offset_to_vaddr(struct vm_area_struct *vma, loff_t offset)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530117{
Oleg Nesterov57683f72012-07-29 20:22:47 +0200118 return vma->vm_start + offset - ((loff_t)vma->vm_pgoff << PAGE_SHIFT);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530119}
120
Oleg Nesterovcb113b42012-07-29 20:22:42 +0200121static loff_t vaddr_to_offset(struct vm_area_struct *vma, unsigned long vaddr)
122{
123 return ((loff_t)vma->vm_pgoff << PAGE_SHIFT) + (vaddr - vma->vm_start);
124}
125
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530126/**
127 * __replace_page - replace page in vma by new page.
128 * based on replace_page in mm/ksm.c
129 *
130 * @vma: vma that holds the pte pointing to page
Oleg Nesterovc517ee72012-07-29 20:22:16 +0200131 * @addr: address the old @page is mapped at
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530132 * @page: the cowed page we are replacing by kpage
133 * @kpage: the modified page we replace page by
134 *
135 * Returns 0 on success, -EFAULT on failure.
136 */
Oleg Nesterovc517ee72012-07-29 20:22:16 +0200137static int __replace_page(struct vm_area_struct *vma, unsigned long addr,
138 struct page *page, struct page *kpage)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530139{
140 struct mm_struct *mm = vma->vm_mm;
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200141 spinlock_t *ptl;
142 pte_t *ptep;
Oleg Nesterov9f924482012-07-29 20:22:20 +0200143 int err;
Haggai Eran6bdb9132012-10-08 16:33:35 -0700144 /* For mmu_notifiers */
145 const unsigned long mmun_start = addr;
146 const unsigned long mmun_end = addr + PAGE_SIZE;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530147
Oleg Nesterov194f8dc2012-07-29 20:22:49 +0200148 /* For try_to_free_swap() and munlock_vma_page() below */
Oleg Nesterov9f924482012-07-29 20:22:20 +0200149 lock_page(page);
150
Haggai Eran6bdb9132012-10-08 16:33:35 -0700151 mmu_notifier_invalidate_range_start(mm, mmun_start, mmun_end);
Oleg Nesterov9f924482012-07-29 20:22:20 +0200152 err = -EAGAIN;
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200153 ptep = page_check_address(page, mm, addr, &ptl, 0);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530154 if (!ptep)
Oleg Nesterov9f924482012-07-29 20:22:20 +0200155 goto unlock;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530156
157 get_page(kpage);
158 page_add_new_anon_rmap(kpage, vma, addr);
159
Srikar Dronamraju7396fa82012-04-11 16:05:16 +0530160 if (!PageAnon(page)) {
161 dec_mm_counter(mm, MM_FILEPAGES);
162 inc_mm_counter(mm, MM_ANONPAGES);
163 }
164
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530165 flush_cache_page(vma, addr, pte_pfn(*ptep));
166 ptep_clear_flush(vma, addr, ptep);
167 set_pte_at_notify(mm, addr, ptep, mk_pte(kpage, vma->vm_page_prot));
168
169 page_remove_rmap(page);
170 if (!page_mapped(page))
171 try_to_free_swap(page);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530172 pte_unmap_unlock(ptep, ptl);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530173
Oleg Nesterov194f8dc2012-07-29 20:22:49 +0200174 if (vma->vm_flags & VM_LOCKED)
175 munlock_vma_page(page);
176 put_page(page);
177
Oleg Nesterov9f924482012-07-29 20:22:20 +0200178 err = 0;
179 unlock:
Haggai Eran6bdb9132012-10-08 16:33:35 -0700180 mmu_notifier_invalidate_range_end(mm, mmun_start, mmun_end);
Oleg Nesterov9f924482012-07-29 20:22:20 +0200181 unlock_page(page);
182 return err;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530183}
184
185/**
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530186 * is_swbp_insn - check if instruction is breakpoint instruction.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530187 * @insn: instruction to be checked.
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530188 * Default implementation of is_swbp_insn
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530189 * Returns true if @insn is a breakpoint instruction.
190 */
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530191bool __weak is_swbp_insn(uprobe_opcode_t *insn)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530192{
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530193 return *insn == UPROBE_SWBP_INSN;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530194}
195
196/*
197 * NOTE:
198 * Expect the breakpoint instruction to be the smallest size instruction for
199 * the architecture. If an arch has variable length instruction and the
200 * breakpoint instruction is not of the smallest length instruction
201 * supported by that architecture then we need to modify read_opcode /
202 * write_opcode accordingly. This would never be a problem for archs that
203 * have fixed length instructions.
204 */
205
206/*
207 * write_opcode - write the opcode at a given virtual address.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530208 * @auprobe: arch breakpointing information.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530209 * @mm: the probed process address space.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530210 * @vaddr: the virtual address to store the opcode.
211 * @opcode: opcode to be written at @vaddr.
212 *
213 * Called with mm->mmap_sem held (for read and with a reference to
214 * mm).
215 *
216 * For mm @mm, write the opcode at @vaddr.
217 * Return 0 (success) or a negative errno.
218 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530219static int write_opcode(struct arch_uprobe *auprobe, struct mm_struct *mm,
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530220 unsigned long vaddr, uprobe_opcode_t opcode)
221{
222 struct page *old_page, *new_page;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530223 void *vaddr_old, *vaddr_new;
224 struct vm_area_struct *vma;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530225 int ret;
Oleg Nesterovf4030722012-07-29 20:22:12 +0200226
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200227retry:
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530228 /* Read the page with vaddr into memory */
229 ret = get_user_pages(NULL, mm, vaddr, 1, 0, 0, &old_page, &vma);
230 if (ret <= 0)
231 return ret;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100232
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530233 ret = -ENOMEM;
234 new_page = alloc_page_vma(GFP_HIGHUSER_MOVABLE, vma, vaddr);
235 if (!new_page)
Oleg Nesterov9f924482012-07-29 20:22:20 +0200236 goto put_old;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530237
238 __SetPageUptodate(new_page);
239
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530240 /* copy the page now that we've got it stable */
241 vaddr_old = kmap_atomic(old_page);
242 vaddr_new = kmap_atomic(new_page);
243
244 memcpy(vaddr_new, vaddr_old, PAGE_SIZE);
Oleg Nesterovd9c4a302012-06-15 17:43:50 +0200245 memcpy(vaddr_new + (vaddr & ~PAGE_MASK), &opcode, UPROBE_SWBP_INSN_SIZE);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530246
247 kunmap_atomic(vaddr_new);
248 kunmap_atomic(vaddr_old);
249
250 ret = anon_vma_prepare(vma);
251 if (ret)
Oleg Nesterov9f924482012-07-29 20:22:20 +0200252 goto put_new;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530253
Oleg Nesterovc517ee72012-07-29 20:22:16 +0200254 ret = __replace_page(vma, vaddr, old_page, new_page);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530255
Oleg Nesterov9f924482012-07-29 20:22:20 +0200256put_new:
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530257 page_cache_release(new_page);
Oleg Nesterov9f924482012-07-29 20:22:20 +0200258put_old:
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100259 put_page(old_page);
260
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200261 if (unlikely(ret == -EAGAIN))
262 goto retry;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530263 return ret;
264}
265
266/**
267 * read_opcode - read the opcode at a given virtual address.
268 * @mm: the probed process address space.
269 * @vaddr: the virtual address to read the opcode.
270 * @opcode: location to store the read opcode.
271 *
272 * Called with mm->mmap_sem held (for read and with a reference to
273 * mm.
274 *
275 * For mm @mm, read the opcode at @vaddr and store it in @opcode.
276 * Return 0 (success) or a negative errno.
277 */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100278static int read_opcode(struct mm_struct *mm, unsigned long vaddr, uprobe_opcode_t *opcode)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530279{
280 struct page *page;
281 void *vaddr_new;
282 int ret;
283
Oleg Nesterova3d7bb472012-05-29 21:27:59 +0200284 ret = get_user_pages(NULL, mm, vaddr, 1, 0, 1, &page, NULL);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530285 if (ret <= 0)
286 return ret;
287
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530288 vaddr_new = kmap_atomic(page);
289 vaddr &= ~PAGE_MASK;
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530290 memcpy(opcode, vaddr_new + vaddr, UPROBE_SWBP_INSN_SIZE);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530291 kunmap_atomic(vaddr_new);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100292
293 put_page(page);
294
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530295 return 0;
296}
297
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530298static int is_swbp_at_addr(struct mm_struct *mm, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530299{
300 uprobe_opcode_t opcode;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100301 int result;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530302
Oleg Nesterovc00b2752012-05-29 21:27:44 +0200303 if (current->mm == mm) {
304 pagefault_disable();
305 result = __copy_from_user_inatomic(&opcode, (void __user*)vaddr,
306 sizeof(opcode));
307 pagefault_enable();
308
309 if (likely(result == 0))
310 goto out;
311 }
312
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100313 result = read_opcode(mm, vaddr, &opcode);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530314 if (result)
315 return result;
Oleg Nesterovc00b2752012-05-29 21:27:44 +0200316out:
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530317 if (is_swbp_insn(&opcode))
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530318 return 1;
319
320 return 0;
321}
322
323/**
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530324 * set_swbp - store breakpoint at a given address.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530325 * @auprobe: arch specific probepoint information.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530326 * @mm: the probed process address space.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530327 * @vaddr: the virtual address to insert the opcode.
328 *
329 * For mm @mm, store the breakpoint instruction at @vaddr.
330 * Return 0 (success) or a negative errno.
331 */
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530332int __weak set_swbp(struct arch_uprobe *auprobe, struct mm_struct *mm, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530333{
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100334 int result;
Peter Zijlstrac5784de2012-06-15 17:43:39 +0200335 /*
336 * See the comment near uprobes_hash().
337 */
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530338 result = is_swbp_at_addr(mm, vaddr);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530339 if (result == 1)
Oleg Nesterov78f74112012-08-08 17:35:08 +0200340 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530341
342 if (result)
343 return result;
344
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530345 return write_opcode(auprobe, mm, vaddr, UPROBE_SWBP_INSN);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530346}
347
348/**
349 * set_orig_insn - Restore the original instruction.
350 * @mm: the probed process address space.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530351 * @auprobe: arch specific probepoint information.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530352 * @vaddr: the virtual address to insert the opcode.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530353 *
354 * For mm @mm, restore the original opcode (opcode) at @vaddr.
355 * Return 0 (success) or a negative errno.
356 */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100357int __weak
Oleg Nesterovded86e72012-08-08 18:07:03 +0200358set_orig_insn(struct arch_uprobe *auprobe, struct mm_struct *mm, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530359{
Oleg Nesterovded86e72012-08-08 18:07:03 +0200360 int result;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530361
Oleg Nesterovded86e72012-08-08 18:07:03 +0200362 result = is_swbp_at_addr(mm, vaddr);
363 if (!result)
364 return -EINVAL;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530365
Oleg Nesterovded86e72012-08-08 18:07:03 +0200366 if (result != 1)
367 return result;
368
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530369 return write_opcode(auprobe, mm, vaddr, *(uprobe_opcode_t *)auprobe->insn);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530370}
371
372static int match_uprobe(struct uprobe *l, struct uprobe *r)
373{
374 if (l->inode < r->inode)
375 return -1;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100376
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530377 if (l->inode > r->inode)
378 return 1;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530379
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100380 if (l->offset < r->offset)
381 return -1;
382
383 if (l->offset > r->offset)
384 return 1;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530385
386 return 0;
387}
388
389static struct uprobe *__find_uprobe(struct inode *inode, loff_t offset)
390{
391 struct uprobe u = { .inode = inode, .offset = offset };
392 struct rb_node *n = uprobes_tree.rb_node;
393 struct uprobe *uprobe;
394 int match;
395
396 while (n) {
397 uprobe = rb_entry(n, struct uprobe, rb_node);
398 match = match_uprobe(&u, uprobe);
399 if (!match) {
400 atomic_inc(&uprobe->ref);
401 return uprobe;
402 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100403
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530404 if (match < 0)
405 n = n->rb_left;
406 else
407 n = n->rb_right;
408 }
409 return NULL;
410}
411
412/*
413 * Find a uprobe corresponding to a given inode:offset
414 * Acquires uprobes_treelock
415 */
416static struct uprobe *find_uprobe(struct inode *inode, loff_t offset)
417{
418 struct uprobe *uprobe;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530419
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200420 spin_lock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530421 uprobe = __find_uprobe(inode, offset);
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200422 spin_unlock(&uprobes_treelock);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100423
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530424 return uprobe;
425}
426
427static struct uprobe *__insert_uprobe(struct uprobe *uprobe)
428{
429 struct rb_node **p = &uprobes_tree.rb_node;
430 struct rb_node *parent = NULL;
431 struct uprobe *u;
432 int match;
433
434 while (*p) {
435 parent = *p;
436 u = rb_entry(parent, struct uprobe, rb_node);
437 match = match_uprobe(uprobe, u);
438 if (!match) {
439 atomic_inc(&u->ref);
440 return u;
441 }
442
443 if (match < 0)
444 p = &parent->rb_left;
445 else
446 p = &parent->rb_right;
447
448 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100449
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530450 u = NULL;
451 rb_link_node(&uprobe->rb_node, parent, p);
452 rb_insert_color(&uprobe->rb_node, &uprobes_tree);
453 /* get access + creation ref */
454 atomic_set(&uprobe->ref, 2);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100455
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530456 return u;
457}
458
459/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100460 * Acquire uprobes_treelock.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530461 * Matching uprobe already exists in rbtree;
462 * increment (access refcount) and return the matching uprobe.
463 *
464 * No matching uprobe; insert the uprobe in rb_tree;
465 * get a double refcount (access + creation) and return NULL.
466 */
467static struct uprobe *insert_uprobe(struct uprobe *uprobe)
468{
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530469 struct uprobe *u;
470
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200471 spin_lock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530472 u = __insert_uprobe(uprobe);
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200473 spin_unlock(&uprobes_treelock);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100474
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530475 /* For now assume that the instruction need not be single-stepped */
476 uprobe->flags |= UPROBE_SKIP_SSTEP;
477
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530478 return u;
479}
480
481static void put_uprobe(struct uprobe *uprobe)
482{
483 if (atomic_dec_and_test(&uprobe->ref))
484 kfree(uprobe);
485}
486
487static struct uprobe *alloc_uprobe(struct inode *inode, loff_t offset)
488{
489 struct uprobe *uprobe, *cur_uprobe;
490
491 uprobe = kzalloc(sizeof(struct uprobe), GFP_KERNEL);
492 if (!uprobe)
493 return NULL;
494
495 uprobe->inode = igrab(inode);
496 uprobe->offset = offset;
497 init_rwsem(&uprobe->consumer_rwsem);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530498
499 /* add to uprobes_tree, sorted on inode:offset */
500 cur_uprobe = insert_uprobe(uprobe);
501
502 /* a uprobe exists for this inode:offset combination */
503 if (cur_uprobe) {
504 kfree(uprobe);
505 uprobe = cur_uprobe;
506 iput(inode);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100507 } else {
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530508 atomic_inc(&uprobe_events);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100509 }
510
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530511 return uprobe;
512}
513
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530514static void handler_chain(struct uprobe *uprobe, struct pt_regs *regs)
515{
516 struct uprobe_consumer *uc;
517
518 if (!(uprobe->flags & UPROBE_RUN_HANDLER))
519 return;
520
521 down_read(&uprobe->consumer_rwsem);
522 for (uc = uprobe->consumers; uc; uc = uc->next) {
523 if (!uc->filter || uc->filter(uc, current))
524 uc->handler(uc, regs);
525 }
526 up_read(&uprobe->consumer_rwsem);
527}
528
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530529/* Returns the previous consumer */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100530static struct uprobe_consumer *
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530531consumer_add(struct uprobe *uprobe, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530532{
533 down_write(&uprobe->consumer_rwsem);
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530534 uc->next = uprobe->consumers;
535 uprobe->consumers = uc;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530536 up_write(&uprobe->consumer_rwsem);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100537
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530538 return uc->next;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530539}
540
541/*
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530542 * For uprobe @uprobe, delete the consumer @uc.
543 * Return true if the @uc is deleted successfully
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530544 * or return false.
545 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530546static bool consumer_del(struct uprobe *uprobe, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530547{
548 struct uprobe_consumer **con;
549 bool ret = false;
550
551 down_write(&uprobe->consumer_rwsem);
552 for (con = &uprobe->consumers; *con; con = &(*con)->next) {
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530553 if (*con == uc) {
554 *con = uc->next;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530555 ret = true;
556 break;
557 }
558 }
559 up_write(&uprobe->consumer_rwsem);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100560
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530561 return ret;
562}
563
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530564static int
Oleg Nesterovd4366152012-06-15 17:43:42 +0200565__copy_insn(struct address_space *mapping, struct file *filp, char *insn,
Oleg Nesterov593609a2012-06-15 17:43:59 +0200566 unsigned long nbytes, loff_t offset)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530567{
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530568 struct page *page;
569 void *vaddr;
Oleg Nesterov593609a2012-06-15 17:43:59 +0200570 unsigned long off;
571 pgoff_t idx;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530572
573 if (!filp)
574 return -EINVAL;
575
Oleg Nesterovcc359d12012-06-15 17:43:25 +0200576 if (!mapping->a_ops->readpage)
577 return -EIO;
578
Oleg Nesterov593609a2012-06-15 17:43:59 +0200579 idx = offset >> PAGE_CACHE_SHIFT;
580 off = offset & ~PAGE_MASK;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530581
582 /*
583 * Ensure that the page that has the original instruction is
584 * populated and in page-cache.
585 */
586 page = read_mapping_page(mapping, idx, filp);
587 if (IS_ERR(page))
588 return PTR_ERR(page);
589
590 vaddr = kmap_atomic(page);
Oleg Nesterov593609a2012-06-15 17:43:59 +0200591 memcpy(insn, vaddr + off, nbytes);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530592 kunmap_atomic(vaddr);
593 page_cache_release(page);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100594
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530595 return 0;
596}
597
Oleg Nesterovd4366152012-06-15 17:43:42 +0200598static int copy_insn(struct uprobe *uprobe, struct file *filp)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530599{
600 struct address_space *mapping;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530601 unsigned long nbytes;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100602 int bytes;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530603
Oleg Nesterovd4366152012-06-15 17:43:42 +0200604 nbytes = PAGE_SIZE - (uprobe->offset & ~PAGE_MASK);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530605 mapping = uprobe->inode->i_mapping;
606
607 /* Instruction at end of binary; copy only available bytes */
608 if (uprobe->offset + MAX_UINSN_BYTES > uprobe->inode->i_size)
609 bytes = uprobe->inode->i_size - uprobe->offset;
610 else
611 bytes = MAX_UINSN_BYTES;
612
613 /* Instruction at the page-boundary; copy bytes in second page */
614 if (nbytes < bytes) {
Oleg Nesterovfc36f592012-06-15 17:43:44 +0200615 int err = __copy_insn(mapping, filp, uprobe->arch.insn + nbytes,
616 bytes - nbytes, uprobe->offset + nbytes);
617 if (err)
618 return err;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530619 bytes = nbytes;
620 }
Oleg Nesterovd4366152012-06-15 17:43:42 +0200621 return __copy_insn(mapping, filp, uprobe->arch.insn, bytes, uprobe->offset);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530622}
623
Srikar Dronamraju682968e2012-03-30 23:56:46 +0530624/*
625 * How mm->uprobes_state.count gets updated
626 * uprobe_mmap() increments the count if
627 * - it successfully adds a breakpoint.
628 * - it cannot add a breakpoint, but sees that there is a underlying
629 * breakpoint (via a is_swbp_at_addr()).
630 *
631 * uprobe_munmap() decrements the count if
632 * - it sees a underlying breakpoint, (via is_swbp_at_addr)
633 * (Subsequent uprobe_unregister wouldnt find the breakpoint
634 * unless a uprobe_mmap kicks in, since the old vma would be
635 * dropped just after uprobe_munmap.)
636 *
637 * uprobe_register increments the count if:
638 * - it successfully adds a breakpoint.
639 *
640 * uprobe_unregister decrements the count if:
641 * - it sees a underlying breakpoint and removes successfully.
642 * (via is_swbp_at_addr)
643 * (Subsequent uprobe_munmap wouldnt find the breakpoint
644 * since there is no underlying breakpoint after the
645 * breakpoint removal.)
646 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530647static int
648install_breakpoint(struct uprobe *uprobe, struct mm_struct *mm,
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200649 struct vm_area_struct *vma, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530650{
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +0200651 bool first_uprobe;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530652 int ret;
653
654 /*
655 * If probe is being deleted, unregister thread could be done with
656 * the vma-rmap-walk through. Adding a probe now can be fatal since
657 * nobody will be able to cleanup. Also we could be from fork or
658 * mremap path, where the probe might have already been inserted.
659 * Hence behave as if probe already existed.
660 */
661 if (!uprobe->consumers)
Oleg Nesterov78f74112012-08-08 17:35:08 +0200662 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530663
Srikar Dronamraju900771a2012-03-12 14:55:14 +0530664 if (!(uprobe->flags & UPROBE_COPY_INSN)) {
Oleg Nesterovd4366152012-06-15 17:43:42 +0200665 ret = copy_insn(uprobe, vma->vm_file);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530666 if (ret)
667 return ret;
668
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530669 if (is_swbp_insn((uprobe_opcode_t *)uprobe->arch.insn))
Oleg Nesterovc1914a02012-06-15 17:43:31 +0200670 return -ENOTSUPP;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530671
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200672 ret = arch_uprobe_analyze_insn(&uprobe->arch, mm, vaddr);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530673 if (ret)
674 return ret;
675
Oleg Nesterovd9c4a302012-06-15 17:43:50 +0200676 /* write_opcode() assumes we don't cross page boundary */
677 BUG_ON((uprobe->offset & ~PAGE_MASK) +
678 UPROBE_SWBP_INSN_SIZE > PAGE_SIZE);
679
Srikar Dronamraju900771a2012-03-12 14:55:14 +0530680 uprobe->flags |= UPROBE_COPY_INSN;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530681 }
Srikar Dronamraju682968e2012-03-30 23:56:46 +0530682
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +0200683 /*
684 * set MMF_HAS_UPROBES in advance for uprobe_pre_sstep_notifier(),
685 * the task can hit this breakpoint right after __replace_page().
686 */
687 first_uprobe = !test_bit(MMF_HAS_UPROBES, &mm->flags);
688 if (first_uprobe)
689 set_bit(MMF_HAS_UPROBES, &mm->flags);
690
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200691 ret = set_swbp(&uprobe->arch, mm, vaddr);
Oleg Nesterov9f68f672012-08-19 16:15:09 +0200692 if (!ret)
693 clear_bit(MMF_RECALC_UPROBES, &mm->flags);
694 else if (first_uprobe)
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +0200695 clear_bit(MMF_HAS_UPROBES, &mm->flags);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530696
697 return ret;
698}
699
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530700static void
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200701remove_breakpoint(struct uprobe *uprobe, struct mm_struct *mm, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530702{
Oleg Nesterov9f68f672012-08-19 16:15:09 +0200703 /* can happen if uprobe_register() fails */
704 if (!test_bit(MMF_HAS_UPROBES, &mm->flags))
705 return;
706
707 set_bit(MMF_RECALC_UPROBES, &mm->flags);
Oleg Nesterovded86e72012-08-08 18:07:03 +0200708 set_orig_insn(&uprobe->arch, mm, vaddr);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530709}
710
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530711/*
Oleg Nesterov778b0322012-05-29 21:30:08 +0200712 * There could be threads that have already hit the breakpoint. They
713 * will recheck the current insn and restart if find_uprobe() fails.
714 * See find_active_uprobe().
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530715 */
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530716static void delete_uprobe(struct uprobe *uprobe)
717{
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200718 spin_lock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530719 rb_erase(&uprobe->rb_node, &uprobes_tree);
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200720 spin_unlock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530721 iput(uprobe->inode);
722 put_uprobe(uprobe);
723 atomic_dec(&uprobe_events);
724}
725
Oleg Nesterov26872092012-06-15 17:43:33 +0200726struct map_info {
727 struct map_info *next;
728 struct mm_struct *mm;
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200729 unsigned long vaddr;
Oleg Nesterov26872092012-06-15 17:43:33 +0200730};
731
732static inline struct map_info *free_map_info(struct map_info *info)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530733{
Oleg Nesterov26872092012-06-15 17:43:33 +0200734 struct map_info *next = info->next;
735 kfree(info);
736 return next;
737}
738
739static struct map_info *
740build_map_info(struct address_space *mapping, loff_t offset, bool is_register)
741{
742 unsigned long pgoff = offset >> PAGE_SHIFT;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530743 struct vm_area_struct *vma;
Oleg Nesterov26872092012-06-15 17:43:33 +0200744 struct map_info *curr = NULL;
745 struct map_info *prev = NULL;
746 struct map_info *info;
747 int more = 0;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100748
Oleg Nesterov26872092012-06-15 17:43:33 +0200749 again:
750 mutex_lock(&mapping->i_mmap_mutex);
Michel Lespinasse6b2dbba2012-10-08 16:31:25 -0700751 vma_interval_tree_foreach(vma, &mapping->i_mmap, pgoff, pgoff) {
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530752 if (!valid_vma(vma, is_register))
753 continue;
754
Oleg Nesterov7a5bfb62012-06-15 17:43:36 +0200755 if (!prev && !more) {
756 /*
757 * Needs GFP_NOWAIT to avoid i_mmap_mutex recursion through
758 * reclaim. This is optimistic, no harm done if it fails.
759 */
760 prev = kmalloc(sizeof(struct map_info),
761 GFP_NOWAIT | __GFP_NOMEMALLOC | __GFP_NOWARN);
762 if (prev)
763 prev->next = NULL;
764 }
Oleg Nesterov26872092012-06-15 17:43:33 +0200765 if (!prev) {
766 more++;
767 continue;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530768 }
769
Oleg Nesterov26872092012-06-15 17:43:33 +0200770 if (!atomic_inc_not_zero(&vma->vm_mm->mm_users))
771 continue;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100772
Oleg Nesterov26872092012-06-15 17:43:33 +0200773 info = prev;
774 prev = prev->next;
775 info->next = curr;
776 curr = info;
777
778 info->mm = vma->vm_mm;
Oleg Nesterov57683f72012-07-29 20:22:47 +0200779 info->vaddr = offset_to_vaddr(vma, offset);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530780 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530781 mutex_unlock(&mapping->i_mmap_mutex);
782
Oleg Nesterov26872092012-06-15 17:43:33 +0200783 if (!more)
784 goto out;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100785
Oleg Nesterov26872092012-06-15 17:43:33 +0200786 prev = curr;
787 while (curr) {
788 mmput(curr->mm);
789 curr = curr->next;
790 }
791
792 do {
793 info = kmalloc(sizeof(struct map_info), GFP_KERNEL);
794 if (!info) {
795 curr = ERR_PTR(-ENOMEM);
796 goto out;
797 }
798 info->next = prev;
799 prev = info;
800 } while (--more);
801
802 goto again;
803 out:
804 while (prev)
805 prev = free_map_info(prev);
806 return curr;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530807}
808
809static int register_for_each_vma(struct uprobe *uprobe, bool is_register)
810{
Oleg Nesterov26872092012-06-15 17:43:33 +0200811 struct map_info *info;
812 int err = 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530813
Oleg Nesterov26872092012-06-15 17:43:33 +0200814 info = build_map_info(uprobe->inode->i_mapping,
815 uprobe->offset, is_register);
816 if (IS_ERR(info))
817 return PTR_ERR(info);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100818
Oleg Nesterov26872092012-06-15 17:43:33 +0200819 while (info) {
820 struct mm_struct *mm = info->mm;
821 struct vm_area_struct *vma;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100822
Oleg Nesterov26872092012-06-15 17:43:33 +0200823 if (err)
824 goto free;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100825
Oleg Nesterov77fc4af2012-05-29 21:29:28 +0200826 down_write(&mm->mmap_sem);
Oleg Nesterovf4d6dfe2012-07-29 20:22:44 +0200827 vma = find_vma(mm, info->vaddr);
828 if (!vma || !valid_vma(vma, is_register) ||
829 vma->vm_file->f_mapping->host != uprobe->inode)
Oleg Nesterov26872092012-06-15 17:43:33 +0200830 goto unlock;
831
Oleg Nesterovf4d6dfe2012-07-29 20:22:44 +0200832 if (vma->vm_start > info->vaddr ||
833 vaddr_to_offset(vma, info->vaddr) != uprobe->offset)
Oleg Nesterov26872092012-06-15 17:43:33 +0200834 goto unlock;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530835
Oleg Nesterov78f74112012-08-08 17:35:08 +0200836 if (is_register)
Oleg Nesterov26872092012-06-15 17:43:33 +0200837 err = install_breakpoint(uprobe, mm, vma, info->vaddr);
Oleg Nesterov78f74112012-08-08 17:35:08 +0200838 else
Oleg Nesterov26872092012-06-15 17:43:33 +0200839 remove_breakpoint(uprobe, mm, info->vaddr);
Oleg Nesterov78f74112012-08-08 17:35:08 +0200840
Oleg Nesterov26872092012-06-15 17:43:33 +0200841 unlock:
842 up_write(&mm->mmap_sem);
843 free:
844 mmput(mm);
845 info = free_map_info(info);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530846 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100847
Oleg Nesterov26872092012-06-15 17:43:33 +0200848 return err;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530849}
850
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100851static int __uprobe_register(struct uprobe *uprobe)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530852{
853 return register_for_each_vma(uprobe, true);
854}
855
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100856static void __uprobe_unregister(struct uprobe *uprobe)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530857{
858 if (!register_for_each_vma(uprobe, false))
859 delete_uprobe(uprobe);
860
861 /* TODO : cant unregister? schedule a worker thread */
862}
863
864/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100865 * uprobe_register - register a probe
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530866 * @inode: the file in which the probe has to be placed.
867 * @offset: offset from the start of the file.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530868 * @uc: information on howto handle the probe..
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530869 *
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100870 * Apart from the access refcount, uprobe_register() takes a creation
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530871 * refcount (thro alloc_uprobe) if and only if this @uprobe is getting
872 * inserted into the rbtree (i.e first consumer for a @inode:@offset
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100873 * tuple). Creation refcount stops uprobe_unregister from freeing the
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530874 * @uprobe even before the register operation is complete. Creation
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530875 * refcount is released when the last @uc for the @uprobe
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530876 * unregisters.
877 *
878 * Return errno if it cannot successully install probes
879 * else return 0 (success)
880 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530881int uprobe_register(struct inode *inode, loff_t offset, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530882{
883 struct uprobe *uprobe;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100884 int ret;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530885
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530886 if (!inode || !uc || uc->next)
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100887 return -EINVAL;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530888
889 if (offset > i_size_read(inode))
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100890 return -EINVAL;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530891
892 ret = 0;
893 mutex_lock(uprobes_hash(inode));
894 uprobe = alloc_uprobe(inode, offset);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100895
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530896 if (uprobe && !consumer_add(uprobe, uc)) {
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100897 ret = __uprobe_register(uprobe);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530898 if (ret) {
899 uprobe->consumers = NULL;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100900 __uprobe_unregister(uprobe);
901 } else {
Srikar Dronamraju900771a2012-03-12 14:55:14 +0530902 uprobe->flags |= UPROBE_RUN_HANDLER;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100903 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530904 }
905
906 mutex_unlock(uprobes_hash(inode));
Sebastian Andrzej Siewior6d1d8df2012-08-30 19:26:22 +0200907 if (uprobe)
908 put_uprobe(uprobe);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530909
910 return ret;
911}
912
913/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100914 * uprobe_unregister - unregister a already registered probe.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530915 * @inode: the file in which the probe has to be removed.
916 * @offset: offset from the start of the file.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530917 * @uc: identify which probe if multiple probes are colocated.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530918 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530919void uprobe_unregister(struct inode *inode, loff_t offset, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530920{
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100921 struct uprobe *uprobe;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530922
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530923 if (!inode || !uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530924 return;
925
926 uprobe = find_uprobe(inode, offset);
927 if (!uprobe)
928 return;
929
930 mutex_lock(uprobes_hash(inode));
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530931
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530932 if (consumer_del(uprobe, uc)) {
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100933 if (!uprobe->consumers) {
934 __uprobe_unregister(uprobe);
Srikar Dronamraju900771a2012-03-12 14:55:14 +0530935 uprobe->flags &= ~UPROBE_RUN_HANDLER;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100936 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530937 }
938
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530939 mutex_unlock(uprobes_hash(inode));
940 if (uprobe)
941 put_uprobe(uprobe);
942}
943
Oleg Nesterov891c3972012-07-29 20:22:40 +0200944static struct rb_node *
945find_node_in_range(struct inode *inode, loff_t min, loff_t max)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530946{
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530947 struct rb_node *n = uprobes_tree.rb_node;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530948
949 while (n) {
Oleg Nesterov891c3972012-07-29 20:22:40 +0200950 struct uprobe *u = rb_entry(n, struct uprobe, rb_node);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100951
Oleg Nesterov891c3972012-07-29 20:22:40 +0200952 if (inode < u->inode) {
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530953 n = n->rb_left;
Oleg Nesterov891c3972012-07-29 20:22:40 +0200954 } else if (inode > u->inode) {
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530955 n = n->rb_right;
Oleg Nesterov891c3972012-07-29 20:22:40 +0200956 } else {
957 if (max < u->offset)
958 n = n->rb_left;
959 else if (min > u->offset)
960 n = n->rb_right;
961 else
962 break;
963 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530964 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100965
Oleg Nesterov891c3972012-07-29 20:22:40 +0200966 return n;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530967}
968
969/*
Oleg Nesterov891c3972012-07-29 20:22:40 +0200970 * For a given range in vma, build a list of probes that need to be inserted.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530971 */
Oleg Nesterov891c3972012-07-29 20:22:40 +0200972static void build_probe_list(struct inode *inode,
973 struct vm_area_struct *vma,
974 unsigned long start, unsigned long end,
975 struct list_head *head)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530976{
Oleg Nesterov891c3972012-07-29 20:22:40 +0200977 loff_t min, max;
Oleg Nesterov891c3972012-07-29 20:22:40 +0200978 struct rb_node *n, *t;
979 struct uprobe *u;
980
981 INIT_LIST_HEAD(head);
Oleg Nesterovcb113b42012-07-29 20:22:42 +0200982 min = vaddr_to_offset(vma, start);
Oleg Nesterov891c3972012-07-29 20:22:40 +0200983 max = min + (end - start) - 1;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530984
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200985 spin_lock(&uprobes_treelock);
Oleg Nesterov891c3972012-07-29 20:22:40 +0200986 n = find_node_in_range(inode, min, max);
987 if (n) {
988 for (t = n; t; t = rb_prev(t)) {
989 u = rb_entry(t, struct uprobe, rb_node);
990 if (u->inode != inode || u->offset < min)
991 break;
992 list_add(&u->pending_list, head);
993 atomic_inc(&u->ref);
994 }
995 for (t = n; (t = rb_next(t)); ) {
996 u = rb_entry(t, struct uprobe, rb_node);
997 if (u->inode != inode || u->offset > max)
998 break;
999 list_add(&u->pending_list, head);
1000 atomic_inc(&u->ref);
1001 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301002 }
Oleg Nesterov6f47caa2012-08-18 17:01:57 +02001003 spin_unlock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301004}
1005
1006/*
Oleg Nesterov5e5be712012-08-06 14:49:56 +02001007 * Called from mmap_region/vma_adjust with mm->mmap_sem acquired.
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301008 *
Oleg Nesterov5e5be712012-08-06 14:49:56 +02001009 * Currently we ignore all errors and always return 0, the callers
1010 * can't handle the failure anyway.
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301011 */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +01001012int uprobe_mmap(struct vm_area_struct *vma)
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301013{
1014 struct list_head tmp_list;
Oleg Nesterov665605a2012-07-29 20:22:29 +02001015 struct uprobe *uprobe, *u;
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301016 struct inode *inode;
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301017
1018 if (!atomic_read(&uprobe_events) || !valid_vma(vma, true))
Ingo Molnar7b2d81d2012-02-17 09:27:41 +01001019 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301020
1021 inode = vma->vm_file->f_mapping->host;
1022 if (!inode)
Ingo Molnar7b2d81d2012-02-17 09:27:41 +01001023 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301024
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301025 mutex_lock(uprobes_mmap_hash(inode));
Oleg Nesterov891c3972012-07-29 20:22:40 +02001026 build_probe_list(inode, vma, vma->vm_start, vma->vm_end, &tmp_list);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +01001027
Oleg Nesterov665605a2012-07-29 20:22:29 +02001028 list_for_each_entry_safe(uprobe, u, &tmp_list, pending_list) {
Oleg Nesterov5e5be712012-08-06 14:49:56 +02001029 if (!fatal_signal_pending(current)) {
Oleg Nesterov57683f72012-07-29 20:22:47 +02001030 unsigned long vaddr = offset_to_vaddr(vma, uprobe->offset);
Oleg Nesterov5e5be712012-08-06 14:49:56 +02001031 install_breakpoint(uprobe, vma->vm_mm, vma, vaddr);
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301032 }
1033 put_uprobe(uprobe);
1034 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301035 mutex_unlock(uprobes_mmap_hash(inode));
1036
Oleg Nesterov5e5be712012-08-06 14:49:56 +02001037 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301038}
1039
Oleg Nesterov9f68f672012-08-19 16:15:09 +02001040static bool
1041vma_has_uprobes(struct vm_area_struct *vma, unsigned long start, unsigned long end)
1042{
1043 loff_t min, max;
1044 struct inode *inode;
1045 struct rb_node *n;
1046
1047 inode = vma->vm_file->f_mapping->host;
1048
1049 min = vaddr_to_offset(vma, start);
1050 max = min + (end - start) - 1;
1051
1052 spin_lock(&uprobes_treelock);
1053 n = find_node_in_range(inode, min, max);
1054 spin_unlock(&uprobes_treelock);
1055
1056 return !!n;
1057}
1058
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301059/*
1060 * Called in context of a munmap of a vma.
1061 */
Srikar Dronamrajucbc91f72012-04-11 16:05:27 +05301062void uprobe_munmap(struct vm_area_struct *vma, unsigned long start, unsigned long end)
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301063{
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301064 if (!atomic_read(&uprobe_events) || !valid_vma(vma, false))
1065 return;
1066
Oleg Nesterov2fd611a2012-07-29 20:22:31 +02001067 if (!atomic_read(&vma->vm_mm->mm_users)) /* called by mmput() ? */
1068 return;
1069
Oleg Nesterov9f68f672012-08-19 16:15:09 +02001070 if (!test_bit(MMF_HAS_UPROBES, &vma->vm_mm->flags) ||
1071 test_bit(MMF_RECALC_UPROBES, &vma->vm_mm->flags))
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001072 return;
1073
Oleg Nesterov9f68f672012-08-19 16:15:09 +02001074 if (vma_has_uprobes(vma, start, end))
1075 set_bit(MMF_RECALC_UPROBES, &vma->vm_mm->flags);
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301076}
1077
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301078/* Slot allocation for XOL */
1079static int xol_add_vma(struct xol_area *area)
1080{
1081 struct mm_struct *mm;
1082 int ret;
1083
1084 area->page = alloc_page(GFP_HIGHUSER);
1085 if (!area->page)
1086 return -ENOMEM;
1087
1088 ret = -EALREADY;
1089 mm = current->mm;
1090
1091 down_write(&mm->mmap_sem);
1092 if (mm->uprobes_state.xol_area)
1093 goto fail;
1094
1095 ret = -ENOMEM;
1096
1097 /* Try to map as high as possible, this is only a hint. */
1098 area->vaddr = get_unmapped_area(NULL, TASK_SIZE - PAGE_SIZE, PAGE_SIZE, 0, 0);
1099 if (area->vaddr & ~PAGE_MASK) {
1100 ret = area->vaddr;
1101 goto fail;
1102 }
1103
1104 ret = install_special_mapping(mm, area->vaddr, PAGE_SIZE,
1105 VM_EXEC|VM_MAYEXEC|VM_DONTCOPY|VM_IO, &area->page);
1106 if (ret)
1107 goto fail;
1108
1109 smp_wmb(); /* pairs with get_xol_area() */
1110 mm->uprobes_state.xol_area = area;
1111 ret = 0;
1112
1113fail:
1114 up_write(&mm->mmap_sem);
1115 if (ret)
1116 __free_page(area->page);
1117
1118 return ret;
1119}
1120
1121static struct xol_area *get_xol_area(struct mm_struct *mm)
1122{
1123 struct xol_area *area;
1124
1125 area = mm->uprobes_state.xol_area;
1126 smp_read_barrier_depends(); /* pairs with wmb in xol_add_vma() */
1127
1128 return area;
1129}
1130
1131/*
1132 * xol_alloc_area - Allocate process's xol_area.
1133 * This area will be used for storing instructions for execution out of
1134 * line.
1135 *
1136 * Returns the allocated area or NULL.
1137 */
1138static struct xol_area *xol_alloc_area(void)
1139{
1140 struct xol_area *area;
1141
1142 area = kzalloc(sizeof(*area), GFP_KERNEL);
1143 if (unlikely(!area))
1144 return NULL;
1145
1146 area->bitmap = kzalloc(BITS_TO_LONGS(UINSNS_PER_PAGE) * sizeof(long), GFP_KERNEL);
1147
1148 if (!area->bitmap)
1149 goto fail;
1150
1151 init_waitqueue_head(&area->wq);
1152 if (!xol_add_vma(area))
1153 return area;
1154
1155fail:
1156 kfree(area->bitmap);
1157 kfree(area);
1158
1159 return get_xol_area(current->mm);
1160}
1161
1162/*
1163 * uprobe_clear_state - Free the area allocated for slots.
1164 */
1165void uprobe_clear_state(struct mm_struct *mm)
1166{
1167 struct xol_area *area = mm->uprobes_state.xol_area;
1168
1169 if (!area)
1170 return;
1171
1172 put_page(area->page);
1173 kfree(area->bitmap);
1174 kfree(area);
1175}
1176
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001177void uprobe_dup_mmap(struct mm_struct *oldmm, struct mm_struct *newmm)
1178{
Oleg Nesterov61559a82012-08-08 17:17:46 +02001179 newmm->uprobes_state.xol_area = NULL;
1180
Oleg Nesterov9f68f672012-08-19 16:15:09 +02001181 if (test_bit(MMF_HAS_UPROBES, &oldmm->flags)) {
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001182 set_bit(MMF_HAS_UPROBES, &newmm->flags);
Oleg Nesterov9f68f672012-08-19 16:15:09 +02001183 /* unconditionally, dup_mmap() skips VM_DONTCOPY vmas */
1184 set_bit(MMF_RECALC_UPROBES, &newmm->flags);
1185 }
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001186}
1187
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301188/*
1189 * - search for a free slot.
1190 */
1191static unsigned long xol_take_insn_slot(struct xol_area *area)
1192{
1193 unsigned long slot_addr;
1194 int slot_nr;
1195
1196 do {
1197 slot_nr = find_first_zero_bit(area->bitmap, UINSNS_PER_PAGE);
1198 if (slot_nr < UINSNS_PER_PAGE) {
1199 if (!test_and_set_bit(slot_nr, area->bitmap))
1200 break;
1201
1202 slot_nr = UINSNS_PER_PAGE;
1203 continue;
1204 }
1205 wait_event(area->wq, (atomic_read(&area->slot_count) < UINSNS_PER_PAGE));
1206 } while (slot_nr >= UINSNS_PER_PAGE);
1207
1208 slot_addr = area->vaddr + (slot_nr * UPROBE_XOL_SLOT_BYTES);
1209 atomic_inc(&area->slot_count);
1210
1211 return slot_addr;
1212}
1213
1214/*
1215 * xol_get_insn_slot - If was not allocated a slot, then
1216 * allocate a slot.
1217 * Returns the allocated slot address or 0.
1218 */
1219static unsigned long xol_get_insn_slot(struct uprobe *uprobe, unsigned long slot_addr)
1220{
1221 struct xol_area *area;
1222 unsigned long offset;
1223 void *vaddr;
1224
1225 area = get_xol_area(current->mm);
1226 if (!area) {
1227 area = xol_alloc_area();
1228 if (!area)
1229 return 0;
1230 }
1231 current->utask->xol_vaddr = xol_take_insn_slot(area);
1232
1233 /*
1234 * Initialize the slot if xol_vaddr points to valid
1235 * instruction slot.
1236 */
1237 if (unlikely(!current->utask->xol_vaddr))
1238 return 0;
1239
1240 current->utask->vaddr = slot_addr;
1241 offset = current->utask->xol_vaddr & ~PAGE_MASK;
1242 vaddr = kmap_atomic(area->page);
1243 memcpy(vaddr + offset, uprobe->arch.insn, MAX_UINSN_BYTES);
1244 kunmap_atomic(vaddr);
1245
1246 return current->utask->xol_vaddr;
1247}
1248
1249/*
1250 * xol_free_insn_slot - If slot was earlier allocated by
1251 * @xol_get_insn_slot(), make the slot available for
1252 * subsequent requests.
1253 */
1254static void xol_free_insn_slot(struct task_struct *tsk)
1255{
1256 struct xol_area *area;
1257 unsigned long vma_end;
1258 unsigned long slot_addr;
1259
1260 if (!tsk->mm || !tsk->mm->uprobes_state.xol_area || !tsk->utask)
1261 return;
1262
1263 slot_addr = tsk->utask->xol_vaddr;
1264
1265 if (unlikely(!slot_addr || IS_ERR_VALUE(slot_addr)))
1266 return;
1267
1268 area = tsk->mm->uprobes_state.xol_area;
1269 vma_end = area->vaddr + PAGE_SIZE;
1270 if (area->vaddr <= slot_addr && slot_addr < vma_end) {
1271 unsigned long offset;
1272 int slot_nr;
1273
1274 offset = slot_addr - area->vaddr;
1275 slot_nr = offset / UPROBE_XOL_SLOT_BYTES;
1276 if (slot_nr >= UINSNS_PER_PAGE)
1277 return;
1278
1279 clear_bit(slot_nr, area->bitmap);
1280 atomic_dec(&area->slot_count);
1281 if (waitqueue_active(&area->wq))
1282 wake_up(&area->wq);
1283
1284 tsk->utask->xol_vaddr = 0;
1285 }
1286}
1287
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301288/**
1289 * uprobe_get_swbp_addr - compute address of swbp given post-swbp regs
1290 * @regs: Reflects the saved state of the task after it has hit a breakpoint
1291 * instruction.
1292 * Return the address of the breakpoint instruction.
1293 */
1294unsigned long __weak uprobe_get_swbp_addr(struct pt_regs *regs)
1295{
1296 return instruction_pointer(regs) - UPROBE_SWBP_INSN_SIZE;
1297}
1298
1299/*
1300 * Called with no locks held.
1301 * Called in context of a exiting or a exec-ing thread.
1302 */
1303void uprobe_free_utask(struct task_struct *t)
1304{
1305 struct uprobe_task *utask = t->utask;
1306
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301307 if (!utask)
1308 return;
1309
1310 if (utask->active_uprobe)
1311 put_uprobe(utask->active_uprobe);
1312
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301313 xol_free_insn_slot(t);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301314 kfree(utask);
1315 t->utask = NULL;
1316}
1317
1318/*
1319 * Called in context of a new clone/fork from copy_process.
1320 */
1321void uprobe_copy_process(struct task_struct *t)
1322{
1323 t->utask = NULL;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301324}
1325
1326/*
1327 * Allocate a uprobe_task object for the task.
1328 * Called when the thread hits a breakpoint for the first time.
1329 *
1330 * Returns:
1331 * - pointer to new uprobe_task on success
1332 * - NULL otherwise
1333 */
1334static struct uprobe_task *add_utask(void)
1335{
1336 struct uprobe_task *utask;
1337
1338 utask = kzalloc(sizeof *utask, GFP_KERNEL);
1339 if (unlikely(!utask))
1340 return NULL;
1341
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301342 current->utask = utask;
1343 return utask;
1344}
1345
1346/* Prepare to single-step probed instruction out of line. */
1347static int
1348pre_ssout(struct uprobe *uprobe, struct pt_regs *regs, unsigned long vaddr)
1349{
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301350 if (xol_get_insn_slot(uprobe, vaddr) && !arch_uprobe_pre_xol(&uprobe->arch, regs))
1351 return 0;
1352
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301353 return -EFAULT;
1354}
1355
1356/*
1357 * If we are singlestepping, then ensure this thread is not connected to
1358 * non-fatal signals until completion of singlestep. When xol insn itself
1359 * triggers the signal, restart the original insn even if the task is
1360 * already SIGKILL'ed (since coredump should report the correct ip). This
1361 * is even more important if the task has a handler for SIGSEGV/etc, The
1362 * _same_ instruction should be repeated again after return from the signal
1363 * handler, and SSTEP can never finish in this case.
1364 */
1365bool uprobe_deny_signal(void)
1366{
1367 struct task_struct *t = current;
1368 struct uprobe_task *utask = t->utask;
1369
1370 if (likely(!utask || !utask->active_uprobe))
1371 return false;
1372
1373 WARN_ON_ONCE(utask->state != UTASK_SSTEP);
1374
1375 if (signal_pending(t)) {
1376 spin_lock_irq(&t->sighand->siglock);
1377 clear_tsk_thread_flag(t, TIF_SIGPENDING);
1378 spin_unlock_irq(&t->sighand->siglock);
1379
1380 if (__fatal_signal_pending(t) || arch_uprobe_xol_was_trapped(t)) {
1381 utask->state = UTASK_SSTEP_TRAPPED;
1382 set_tsk_thread_flag(t, TIF_UPROBE);
1383 set_tsk_thread_flag(t, TIF_NOTIFY_RESUME);
1384 }
1385 }
1386
1387 return true;
1388}
1389
1390/*
1391 * Avoid singlestepping the original instruction if the original instruction
1392 * is a NOP or can be emulated.
1393 */
1394static bool can_skip_sstep(struct uprobe *uprobe, struct pt_regs *regs)
1395{
1396 if (arch_uprobe_skip_sstep(&uprobe->arch, regs))
1397 return true;
1398
1399 uprobe->flags &= ~UPROBE_SKIP_SSTEP;
1400 return false;
1401}
1402
Oleg Nesterov499a4f32012-08-19 17:41:34 +02001403static void mmf_recalc_uprobes(struct mm_struct *mm)
1404{
1405 struct vm_area_struct *vma;
1406
1407 for (vma = mm->mmap; vma; vma = vma->vm_next) {
1408 if (!valid_vma(vma, false))
1409 continue;
1410 /*
1411 * This is not strictly accurate, we can race with
1412 * uprobe_unregister() and see the already removed
1413 * uprobe if delete_uprobe() was not yet called.
1414 */
1415 if (vma_has_uprobes(vma, vma->vm_start, vma->vm_end))
1416 return;
1417 }
1418
1419 clear_bit(MMF_HAS_UPROBES, &mm->flags);
1420}
1421
Oleg Nesterovd790d342012-05-29 21:29:14 +02001422static struct uprobe *find_active_uprobe(unsigned long bp_vaddr, int *is_swbp)
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001423{
1424 struct mm_struct *mm = current->mm;
1425 struct uprobe *uprobe = NULL;
1426 struct vm_area_struct *vma;
1427
1428 down_read(&mm->mmap_sem);
1429 vma = find_vma(mm, bp_vaddr);
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001430 if (vma && vma->vm_start <= bp_vaddr) {
1431 if (valid_vma(vma, false)) {
Oleg Nesterovcb113b42012-07-29 20:22:42 +02001432 struct inode *inode = vma->vm_file->f_mapping->host;
1433 loff_t offset = vaddr_to_offset(vma, bp_vaddr);
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001434
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001435 uprobe = find_uprobe(inode, offset);
1436 }
Oleg Nesterovd790d342012-05-29 21:29:14 +02001437
1438 if (!uprobe)
1439 *is_swbp = is_swbp_at_addr(mm, bp_vaddr);
1440 } else {
1441 *is_swbp = -EFAULT;
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001442 }
Oleg Nesterov499a4f32012-08-19 17:41:34 +02001443
1444 if (!uprobe && test_and_clear_bit(MMF_RECALC_UPROBES, &mm->flags))
1445 mmf_recalc_uprobes(mm);
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001446 up_read(&mm->mmap_sem);
1447
1448 return uprobe;
1449}
1450
Sebastian Andrzej Siewior9d778782012-08-07 18:12:28 +02001451void __weak arch_uprobe_enable_step(struct arch_uprobe *arch)
1452{
1453 user_enable_single_step(current);
1454}
1455
1456void __weak arch_uprobe_disable_step(struct arch_uprobe *arch)
1457{
1458 user_disable_single_step(current);
1459}
1460
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301461/*
1462 * Run handler and ask thread to singlestep.
1463 * Ensure all non-fatal signals cannot interrupt thread while it singlesteps.
1464 */
1465static void handle_swbp(struct pt_regs *regs)
1466{
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301467 struct uprobe_task *utask;
1468 struct uprobe *uprobe;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301469 unsigned long bp_vaddr;
Oleg Nesterov56bb4cf2012-05-29 21:29:47 +02001470 int uninitialized_var(is_swbp);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301471
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301472 bp_vaddr = uprobe_get_swbp_addr(regs);
Oleg Nesterovd790d342012-05-29 21:29:14 +02001473 uprobe = find_active_uprobe(bp_vaddr, &is_swbp);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301474
1475 if (!uprobe) {
Oleg Nesterov56bb4cf2012-05-29 21:29:47 +02001476 if (is_swbp > 0) {
1477 /* No matching uprobe; signal SIGTRAP. */
1478 send_sig(SIGTRAP, current, 0);
1479 } else {
1480 /*
1481 * Either we raced with uprobe_unregister() or we can't
1482 * access this memory. The latter is only possible if
1483 * another thread plays with our ->mm. In both cases
1484 * we can simply restart. If this vma was unmapped we
1485 * can pretend this insn was not executed yet and get
1486 * the (correct) SIGSEGV after restart.
1487 */
1488 instruction_pointer_set(regs, bp_vaddr);
1489 }
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301490 return;
1491 }
1492
1493 utask = current->utask;
1494 if (!utask) {
1495 utask = add_utask();
1496 /* Cannot allocate; re-execute the instruction. */
1497 if (!utask)
1498 goto cleanup_ret;
1499 }
1500 utask->active_uprobe = uprobe;
1501 handler_chain(uprobe, regs);
1502 if (uprobe->flags & UPROBE_SKIP_SSTEP && can_skip_sstep(uprobe, regs))
1503 goto cleanup_ret;
1504
1505 utask->state = UTASK_SSTEP;
1506 if (!pre_ssout(uprobe, regs, bp_vaddr)) {
Sebastian Andrzej Siewior9d778782012-08-07 18:12:28 +02001507 arch_uprobe_enable_step(&uprobe->arch);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301508 return;
1509 }
1510
1511cleanup_ret:
1512 if (utask) {
1513 utask->active_uprobe = NULL;
1514 utask->state = UTASK_RUNNING;
1515 }
Sebastian Andrzej Siewior8bd87442012-08-07 18:12:30 +02001516 if (!(uprobe->flags & UPROBE_SKIP_SSTEP))
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301517
Sebastian Andrzej Siewior8bd87442012-08-07 18:12:30 +02001518 /*
1519 * cannot singlestep; cannot skip instruction;
1520 * re-execute the instruction.
1521 */
1522 instruction_pointer_set(regs, bp_vaddr);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301523
Sebastian Andrzej Siewior8bd87442012-08-07 18:12:30 +02001524 put_uprobe(uprobe);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301525}
1526
1527/*
1528 * Perform required fix-ups and disable singlestep.
1529 * Allow pending signals to take effect.
1530 */
1531static void handle_singlestep(struct uprobe_task *utask, struct pt_regs *regs)
1532{
1533 struct uprobe *uprobe;
1534
1535 uprobe = utask->active_uprobe;
1536 if (utask->state == UTASK_SSTEP_ACK)
1537 arch_uprobe_post_xol(&uprobe->arch, regs);
1538 else if (utask->state == UTASK_SSTEP_TRAPPED)
1539 arch_uprobe_abort_xol(&uprobe->arch, regs);
1540 else
1541 WARN_ON_ONCE(1);
1542
Sebastian Andrzej Siewior9d778782012-08-07 18:12:28 +02001543 arch_uprobe_disable_step(&uprobe->arch);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301544 put_uprobe(uprobe);
1545 utask->active_uprobe = NULL;
1546 utask->state = UTASK_RUNNING;
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301547 xol_free_insn_slot(current);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301548
1549 spin_lock_irq(&current->sighand->siglock);
1550 recalc_sigpending(); /* see uprobe_deny_signal() */
1551 spin_unlock_irq(&current->sighand->siglock);
1552}
1553
1554/*
1555 * On breakpoint hit, breakpoint notifier sets the TIF_UPROBE flag. (and on
1556 * subsequent probe hits on the thread sets the state to UTASK_BP_HIT) and
1557 * allows the thread to return from interrupt.
1558 *
1559 * On singlestep exception, singlestep notifier sets the TIF_UPROBE flag and
1560 * also sets the state to UTASK_SSTEP_ACK and allows the thread to return from
1561 * interrupt.
1562 *
1563 * While returning to userspace, thread notices the TIF_UPROBE flag and calls
1564 * uprobe_notify_resume().
1565 */
1566void uprobe_notify_resume(struct pt_regs *regs)
1567{
1568 struct uprobe_task *utask;
1569
1570 utask = current->utask;
1571 if (!utask || utask->state == UTASK_BP_HIT)
1572 handle_swbp(regs);
1573 else
1574 handle_singlestep(utask, regs);
1575}
1576
1577/*
1578 * uprobe_pre_sstep_notifier gets called from interrupt context as part of
1579 * notifier mechanism. Set TIF_UPROBE flag and indicate breakpoint hit.
1580 */
1581int uprobe_pre_sstep_notifier(struct pt_regs *regs)
1582{
1583 struct uprobe_task *utask;
1584
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001585 if (!current->mm || !test_bit(MMF_HAS_UPROBES, &current->mm->flags))
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301586 return 0;
1587
1588 utask = current->utask;
1589 if (utask)
1590 utask->state = UTASK_BP_HIT;
1591
1592 set_thread_flag(TIF_UPROBE);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301593
1594 return 1;
1595}
1596
1597/*
1598 * uprobe_post_sstep_notifier gets called in interrupt context as part of notifier
1599 * mechanism. Set TIF_UPROBE flag and indicate completion of singlestep.
1600 */
1601int uprobe_post_sstep_notifier(struct pt_regs *regs)
1602{
1603 struct uprobe_task *utask = current->utask;
1604
1605 if (!current->mm || !utask || !utask->active_uprobe)
1606 /* task is currently not uprobed */
1607 return 0;
1608
1609 utask->state = UTASK_SSTEP_ACK;
1610 set_thread_flag(TIF_UPROBE);
1611 return 1;
1612}
1613
1614static struct notifier_block uprobe_exception_nb = {
1615 .notifier_call = arch_uprobe_exception_notify,
1616 .priority = INT_MAX-1, /* notified after kprobes, kgdb */
1617};
1618
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301619static int __init init_uprobes(void)
1620{
1621 int i;
1622
1623 for (i = 0; i < UPROBES_HASH_SZ; i++) {
1624 mutex_init(&uprobes_mutex[i]);
1625 mutex_init(&uprobes_mmap_mutex[i]);
1626 }
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301627
1628 return register_die_notifier(&uprobe_exception_nb);
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301629}
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301630module_init(init_uprobes);
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301631
1632static void __exit exit_uprobes(void)
1633{
1634}
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301635module_exit(exit_uprobes);