blob: c38bf37d0aca9f8d623b4ee1a047d4793aef1ada [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 */
Oleg Nesterov32cdba12012-11-14 19:03:42 +010036#include <linux/percpu-rwsem.h>
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010037
Srikar Dronamraju2b144492012-02-09 14:56:42 +053038#include <linux/uprobes.h>
39
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +053040#define UINSNS_PER_PAGE (PAGE_SIZE/UPROBE_XOL_SLOT_BYTES)
41#define MAX_UPROBE_XOL_SLOTS UINSNS_PER_PAGE
42
Srikar Dronamraju2b144492012-02-09 14:56:42 +053043static struct rb_root uprobes_tree = RB_ROOT;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010044
Srikar Dronamraju2b144492012-02-09 14:56:42 +053045static DEFINE_SPINLOCK(uprobes_treelock); /* serialize rbtree access */
46
47#define UPROBES_HASH_SZ 13
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010048
Peter Zijlstrac5784de2012-06-15 17:43:39 +020049/*
50 * We need separate register/unregister and mmap/munmap lock hashes because
51 * of mmap_sem nesting.
52 *
53 * uprobe_register() needs to install probes on (potentially) all processes
54 * and thus needs to acquire multiple mmap_sems (consequtively, not
55 * concurrently), whereas uprobe_mmap() is called while holding mmap_sem
56 * for the particular process doing the mmap.
57 *
58 * uprobe_register()->register_for_each_vma() needs to drop/acquire mmap_sem
59 * because of lock order against i_mmap_mutex. This means there's a hole in
60 * the register vma iteration where a mmap() can happen.
61 *
62 * Thus uprobe_register() can race with uprobe_mmap() and we can try and
63 * install a probe where one is already installed.
64 */
65
Srikar Dronamraju2b144492012-02-09 14:56:42 +053066/* serialize (un)register */
67static struct mutex uprobes_mutex[UPROBES_HASH_SZ];
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010068
69#define uprobes_hash(v) (&uprobes_mutex[((unsigned long)(v)) % UPROBES_HASH_SZ])
Srikar Dronamraju2b144492012-02-09 14:56:42 +053070
71/* serialize uprobe->pending_list */
72static struct mutex uprobes_mmap_mutex[UPROBES_HASH_SZ];
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010073#define uprobes_mmap_hash(v) (&uprobes_mmap_mutex[((unsigned long)(v)) % UPROBES_HASH_SZ])
Srikar Dronamraju2b144492012-02-09 14:56:42 +053074
Oleg Nesterov32cdba12012-11-14 19:03:42 +010075static struct percpu_rw_semaphore dup_mmap_sem;
76
Srikar Dronamraju2b144492012-02-09 14:56:42 +053077/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010078 * uprobe_events allows us to skip the uprobe_mmap if there are no uprobe
Srikar Dronamraju2b144492012-02-09 14:56:42 +053079 * events active at this time. Probably a fine grained per inode count is
80 * better?
81 */
82static atomic_t uprobe_events = ATOMIC_INIT(0);
83
Oleg Nesterovcb9a19f2012-09-30 20:11:45 +020084/* Have a copy of original instruction */
Oleg Nesterov71434f22012-09-30 21:12:44 +020085#define UPROBE_COPY_INSN 0
Oleg Nesterovcb9a19f2012-09-30 20:11:45 +020086/* Dont run handlers when first register/ last unregister in progress*/
Oleg Nesterov71434f22012-09-30 21:12:44 +020087#define UPROBE_RUN_HANDLER 1
Oleg Nesterovcb9a19f2012-09-30 20:11:45 +020088/* Can skip singlestep */
Oleg Nesterov71434f22012-09-30 21:12:44 +020089#define UPROBE_SKIP_SSTEP 2
Oleg Nesterovcb9a19f2012-09-30 20:11:45 +020090
Srikar Dronamraju3ff54ef2012-02-22 14:46:02 +053091struct uprobe {
92 struct rb_node rb_node; /* node in the rb tree */
93 atomic_t ref;
94 struct rw_semaphore consumer_rwsem;
Oleg Nesterov4710f05f2012-09-30 20:31:41 +020095 struct mutex copy_mutex; /* TODO: kill me and UPROBE_COPY_INSN */
Srikar Dronamraju3ff54ef2012-02-22 14:46:02 +053096 struct list_head pending_list;
97 struct uprobe_consumer *consumers;
98 struct inode *inode; /* Also hold a ref to inode */
99 loff_t offset;
Oleg Nesterov71434f22012-09-30 21:12:44 +0200100 unsigned long flags;
Srikar Dronamraju3ff54ef2012-02-22 14:46:02 +0530101 struct arch_uprobe arch;
102};
103
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530104/*
105 * valid_vma: Verify if the specified vma is an executable vma
106 * Relax restrictions while unregistering: vm_flags might have
107 * changed after breakpoint was inserted.
108 * - is_register: indicates if we are in register context.
109 * - Return 1 if the specified virtual address is in an
110 * executable vma.
111 */
112static bool valid_vma(struct vm_area_struct *vma, bool is_register)
113{
Oleg Nesterove40cfce2012-09-16 19:31:39 +0200114 vm_flags_t flags = VM_HUGETLB | VM_MAYEXEC | VM_SHARED;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530115
Oleg Nesterove40cfce2012-09-16 19:31:39 +0200116 if (is_register)
117 flags |= VM_WRITE;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530118
Oleg Nesterove40cfce2012-09-16 19:31:39 +0200119 return vma->vm_file && (vma->vm_flags & flags) == VM_MAYEXEC;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530120}
121
Oleg Nesterov57683f72012-07-29 20:22:47 +0200122static unsigned long offset_to_vaddr(struct vm_area_struct *vma, loff_t offset)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530123{
Oleg Nesterov57683f72012-07-29 20:22:47 +0200124 return vma->vm_start + offset - ((loff_t)vma->vm_pgoff << PAGE_SHIFT);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530125}
126
Oleg Nesterovcb113b42012-07-29 20:22:42 +0200127static loff_t vaddr_to_offset(struct vm_area_struct *vma, unsigned long vaddr)
128{
129 return ((loff_t)vma->vm_pgoff << PAGE_SHIFT) + (vaddr - vma->vm_start);
130}
131
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530132/**
133 * __replace_page - replace page in vma by new page.
134 * based on replace_page in mm/ksm.c
135 *
136 * @vma: vma that holds the pte pointing to page
Oleg Nesterovc517ee72012-07-29 20:22:16 +0200137 * @addr: address the old @page is mapped at
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530138 * @page: the cowed page we are replacing by kpage
139 * @kpage: the modified page we replace page by
140 *
141 * Returns 0 on success, -EFAULT on failure.
142 */
Oleg Nesterovc517ee72012-07-29 20:22:16 +0200143static int __replace_page(struct vm_area_struct *vma, unsigned long addr,
144 struct page *page, struct page *kpage)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530145{
146 struct mm_struct *mm = vma->vm_mm;
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200147 spinlock_t *ptl;
148 pte_t *ptep;
Oleg Nesterov9f924482012-07-29 20:22:20 +0200149 int err;
Haggai Eran6bdb9132012-10-08 16:33:35 -0700150 /* For mmu_notifiers */
151 const unsigned long mmun_start = addr;
152 const unsigned long mmun_end = addr + PAGE_SIZE;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530153
Oleg Nesterov194f8dc2012-07-29 20:22:49 +0200154 /* For try_to_free_swap() and munlock_vma_page() below */
Oleg Nesterov9f924482012-07-29 20:22:20 +0200155 lock_page(page);
156
Haggai Eran6bdb9132012-10-08 16:33:35 -0700157 mmu_notifier_invalidate_range_start(mm, mmun_start, mmun_end);
Oleg Nesterov9f924482012-07-29 20:22:20 +0200158 err = -EAGAIN;
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200159 ptep = page_check_address(page, mm, addr, &ptl, 0);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530160 if (!ptep)
Oleg Nesterov9f924482012-07-29 20:22:20 +0200161 goto unlock;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530162
163 get_page(kpage);
164 page_add_new_anon_rmap(kpage, vma, addr);
165
Srikar Dronamraju7396fa82012-04-11 16:05:16 +0530166 if (!PageAnon(page)) {
167 dec_mm_counter(mm, MM_FILEPAGES);
168 inc_mm_counter(mm, MM_ANONPAGES);
169 }
170
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530171 flush_cache_page(vma, addr, pte_pfn(*ptep));
172 ptep_clear_flush(vma, addr, ptep);
173 set_pte_at_notify(mm, addr, ptep, mk_pte(kpage, vma->vm_page_prot));
174
175 page_remove_rmap(page);
176 if (!page_mapped(page))
177 try_to_free_swap(page);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530178 pte_unmap_unlock(ptep, ptl);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530179
Oleg Nesterov194f8dc2012-07-29 20:22:49 +0200180 if (vma->vm_flags & VM_LOCKED)
181 munlock_vma_page(page);
182 put_page(page);
183
Oleg Nesterov9f924482012-07-29 20:22:20 +0200184 err = 0;
185 unlock:
Haggai Eran6bdb9132012-10-08 16:33:35 -0700186 mmu_notifier_invalidate_range_end(mm, mmun_start, mmun_end);
Oleg Nesterov9f924482012-07-29 20:22:20 +0200187 unlock_page(page);
188 return err;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530189}
190
191/**
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530192 * is_swbp_insn - check if instruction is breakpoint instruction.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530193 * @insn: instruction to be checked.
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530194 * Default implementation of is_swbp_insn
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530195 * Returns true if @insn is a breakpoint instruction.
196 */
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530197bool __weak is_swbp_insn(uprobe_opcode_t *insn)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530198{
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530199 return *insn == UPROBE_SWBP_INSN;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530200}
201
Oleg Nesterovcceb55a2012-09-23 21:10:18 +0200202static void copy_opcode(struct page *page, unsigned long vaddr, uprobe_opcode_t *opcode)
203{
204 void *kaddr = kmap_atomic(page);
205 memcpy(opcode, kaddr + (vaddr & ~PAGE_MASK), UPROBE_SWBP_INSN_SIZE);
206 kunmap_atomic(kaddr);
207}
208
Oleg Nesteroved6f6a52012-09-23 21:30:44 +0200209static int verify_opcode(struct page *page, unsigned long vaddr, uprobe_opcode_t *new_opcode)
210{
211 uprobe_opcode_t old_opcode;
212 bool is_swbp;
213
214 copy_opcode(page, vaddr, &old_opcode);
215 is_swbp = is_swbp_insn(&old_opcode);
216
217 if (is_swbp_insn(new_opcode)) {
218 if (is_swbp) /* register: already installed? */
219 return 0;
220 } else {
221 if (!is_swbp) /* unregister: was it changed by us? */
Oleg Nesterov076a3652012-09-30 18:54:53 +0200222 return 0;
Oleg Nesteroved6f6a52012-09-23 21:30:44 +0200223 }
224
225 return 1;
226}
227
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530228/*
229 * NOTE:
230 * Expect the breakpoint instruction to be the smallest size instruction for
231 * the architecture. If an arch has variable length instruction and the
232 * breakpoint instruction is not of the smallest length instruction
Oleg Nesterovcceb55a2012-09-23 21:10:18 +0200233 * supported by that architecture then we need to modify is_swbp_at_addr and
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530234 * write_opcode accordingly. This would never be a problem for archs that
235 * have fixed length instructions.
236 */
237
238/*
239 * write_opcode - write the opcode at a given virtual address.
240 * @mm: the probed process address space.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530241 * @vaddr: the virtual address to store the opcode.
242 * @opcode: opcode to be written at @vaddr.
243 *
244 * Called with mm->mmap_sem held (for read and with a reference to
245 * mm).
246 *
247 * For mm @mm, write the opcode at @vaddr.
248 * Return 0 (success) or a negative errno.
249 */
Oleg Nesterovcceb55a2012-09-23 21:10:18 +0200250static int write_opcode(struct mm_struct *mm, unsigned long vaddr,
251 uprobe_opcode_t opcode)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530252{
253 struct page *old_page, *new_page;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530254 void *vaddr_old, *vaddr_new;
255 struct vm_area_struct *vma;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530256 int ret;
Oleg Nesterovf4030722012-07-29 20:22:12 +0200257
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200258retry:
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530259 /* Read the page with vaddr into memory */
Oleg Nesterov75ed82e2012-09-16 17:20:06 +0200260 ret = get_user_pages(NULL, mm, vaddr, 1, 0, 1, &old_page, &vma);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530261 if (ret <= 0)
262 return ret;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100263
Oleg Nesteroved6f6a52012-09-23 21:30:44 +0200264 ret = verify_opcode(old_page, vaddr, &opcode);
265 if (ret <= 0)
266 goto put_old;
267
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530268 ret = -ENOMEM;
269 new_page = alloc_page_vma(GFP_HIGHUSER_MOVABLE, vma, vaddr);
270 if (!new_page)
Oleg Nesterov9f924482012-07-29 20:22:20 +0200271 goto put_old;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530272
273 __SetPageUptodate(new_page);
274
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530275 /* copy the page now that we've got it stable */
276 vaddr_old = kmap_atomic(old_page);
277 vaddr_new = kmap_atomic(new_page);
278
279 memcpy(vaddr_new, vaddr_old, PAGE_SIZE);
Oleg Nesterovd9c4a302012-06-15 17:43:50 +0200280 memcpy(vaddr_new + (vaddr & ~PAGE_MASK), &opcode, UPROBE_SWBP_INSN_SIZE);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530281
282 kunmap_atomic(vaddr_new);
283 kunmap_atomic(vaddr_old);
284
285 ret = anon_vma_prepare(vma);
286 if (ret)
Oleg Nesterov9f924482012-07-29 20:22:20 +0200287 goto put_new;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530288
Oleg Nesterovc517ee72012-07-29 20:22:16 +0200289 ret = __replace_page(vma, vaddr, old_page, new_page);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530290
Oleg Nesterov9f924482012-07-29 20:22:20 +0200291put_new:
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530292 page_cache_release(new_page);
Oleg Nesterov9f924482012-07-29 20:22:20 +0200293put_old:
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100294 put_page(old_page);
295
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200296 if (unlikely(ret == -EAGAIN))
297 goto retry;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530298 return ret;
299}
300
301/**
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530302 * set_swbp - store breakpoint at a given address.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530303 * @auprobe: arch specific probepoint information.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530304 * @mm: the probed process address space.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530305 * @vaddr: the virtual address to insert the opcode.
306 *
307 * For mm @mm, store the breakpoint instruction at @vaddr.
308 * Return 0 (success) or a negative errno.
309 */
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530310int __weak set_swbp(struct arch_uprobe *auprobe, struct mm_struct *mm, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530311{
Oleg Nesterovcceb55a2012-09-23 21:10:18 +0200312 return write_opcode(mm, vaddr, UPROBE_SWBP_INSN);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530313}
314
315/**
316 * set_orig_insn - Restore the original instruction.
317 * @mm: the probed process address space.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530318 * @auprobe: arch specific probepoint information.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530319 * @vaddr: the virtual address to insert the opcode.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530320 *
321 * For mm @mm, restore the original opcode (opcode) at @vaddr.
322 * Return 0 (success) or a negative errno.
323 */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100324int __weak
Oleg Nesterovded86e72012-08-08 18:07:03 +0200325set_orig_insn(struct arch_uprobe *auprobe, struct mm_struct *mm, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530326{
Oleg Nesterovcceb55a2012-09-23 21:10:18 +0200327 return write_opcode(mm, vaddr, *(uprobe_opcode_t *)auprobe->insn);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530328}
329
330static int match_uprobe(struct uprobe *l, struct uprobe *r)
331{
332 if (l->inode < r->inode)
333 return -1;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100334
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530335 if (l->inode > r->inode)
336 return 1;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530337
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100338 if (l->offset < r->offset)
339 return -1;
340
341 if (l->offset > r->offset)
342 return 1;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530343
344 return 0;
345}
346
347static struct uprobe *__find_uprobe(struct inode *inode, loff_t offset)
348{
349 struct uprobe u = { .inode = inode, .offset = offset };
350 struct rb_node *n = uprobes_tree.rb_node;
351 struct uprobe *uprobe;
352 int match;
353
354 while (n) {
355 uprobe = rb_entry(n, struct uprobe, rb_node);
356 match = match_uprobe(&u, uprobe);
357 if (!match) {
358 atomic_inc(&uprobe->ref);
359 return uprobe;
360 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100361
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530362 if (match < 0)
363 n = n->rb_left;
364 else
365 n = n->rb_right;
366 }
367 return NULL;
368}
369
370/*
371 * Find a uprobe corresponding to a given inode:offset
372 * Acquires uprobes_treelock
373 */
374static struct uprobe *find_uprobe(struct inode *inode, loff_t offset)
375{
376 struct uprobe *uprobe;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530377
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200378 spin_lock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530379 uprobe = __find_uprobe(inode, offset);
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200380 spin_unlock(&uprobes_treelock);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100381
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530382 return uprobe;
383}
384
385static struct uprobe *__insert_uprobe(struct uprobe *uprobe)
386{
387 struct rb_node **p = &uprobes_tree.rb_node;
388 struct rb_node *parent = NULL;
389 struct uprobe *u;
390 int match;
391
392 while (*p) {
393 parent = *p;
394 u = rb_entry(parent, struct uprobe, rb_node);
395 match = match_uprobe(uprobe, u);
396 if (!match) {
397 atomic_inc(&u->ref);
398 return u;
399 }
400
401 if (match < 0)
402 p = &parent->rb_left;
403 else
404 p = &parent->rb_right;
405
406 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100407
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530408 u = NULL;
409 rb_link_node(&uprobe->rb_node, parent, p);
410 rb_insert_color(&uprobe->rb_node, &uprobes_tree);
411 /* get access + creation ref */
412 atomic_set(&uprobe->ref, 2);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100413
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530414 return u;
415}
416
417/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100418 * Acquire uprobes_treelock.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530419 * Matching uprobe already exists in rbtree;
420 * increment (access refcount) and return the matching uprobe.
421 *
422 * No matching uprobe; insert the uprobe in rb_tree;
423 * get a double refcount (access + creation) and return NULL.
424 */
425static struct uprobe *insert_uprobe(struct uprobe *uprobe)
426{
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530427 struct uprobe *u;
428
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200429 spin_lock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530430 u = __insert_uprobe(uprobe);
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200431 spin_unlock(&uprobes_treelock);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100432
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530433 return u;
434}
435
436static void put_uprobe(struct uprobe *uprobe)
437{
438 if (atomic_dec_and_test(&uprobe->ref))
439 kfree(uprobe);
440}
441
442static struct uprobe *alloc_uprobe(struct inode *inode, loff_t offset)
443{
444 struct uprobe *uprobe, *cur_uprobe;
445
446 uprobe = kzalloc(sizeof(struct uprobe), GFP_KERNEL);
447 if (!uprobe)
448 return NULL;
449
450 uprobe->inode = igrab(inode);
451 uprobe->offset = offset;
452 init_rwsem(&uprobe->consumer_rwsem);
Oleg Nesterov4710f05f2012-09-30 20:31:41 +0200453 mutex_init(&uprobe->copy_mutex);
Oleg Nesterovbbc33d02012-11-21 16:55:38 +0100454 /* For now assume that the instruction need not be single-stepped */
455 __set_bit(UPROBE_SKIP_SSTEP, &uprobe->flags);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530456
457 /* add to uprobes_tree, sorted on inode:offset */
458 cur_uprobe = insert_uprobe(uprobe);
459
460 /* a uprobe exists for this inode:offset combination */
461 if (cur_uprobe) {
462 kfree(uprobe);
463 uprobe = cur_uprobe;
464 iput(inode);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100465 } else {
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530466 atomic_inc(&uprobe_events);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100467 }
468
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530469 return uprobe;
470}
471
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530472static void handler_chain(struct uprobe *uprobe, struct pt_regs *regs)
473{
474 struct uprobe_consumer *uc;
475
Oleg Nesterov71434f22012-09-30 21:12:44 +0200476 if (!test_bit(UPROBE_RUN_HANDLER, &uprobe->flags))
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530477 return;
478
479 down_read(&uprobe->consumer_rwsem);
Oleg Nesterovfe20d712012-11-21 17:32:30 +0100480 for (uc = uprobe->consumers; uc; uc = uc->next)
481 uc->handler(uc, regs);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530482 up_read(&uprobe->consumer_rwsem);
483}
484
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530485/* Returns the previous consumer */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100486static struct uprobe_consumer *
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530487consumer_add(struct uprobe *uprobe, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530488{
489 down_write(&uprobe->consumer_rwsem);
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530490 uc->next = uprobe->consumers;
491 uprobe->consumers = uc;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530492 up_write(&uprobe->consumer_rwsem);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100493
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530494 return uc->next;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530495}
496
497/*
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530498 * For uprobe @uprobe, delete the consumer @uc.
499 * Return true if the @uc is deleted successfully
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530500 * or return false.
501 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530502static bool consumer_del(struct uprobe *uprobe, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530503{
504 struct uprobe_consumer **con;
505 bool ret = false;
506
507 down_write(&uprobe->consumer_rwsem);
508 for (con = &uprobe->consumers; *con; con = &(*con)->next) {
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530509 if (*con == uc) {
510 *con = uc->next;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530511 ret = true;
512 break;
513 }
514 }
515 up_write(&uprobe->consumer_rwsem);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100516
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530517 return ret;
518}
519
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530520static int
Oleg Nesterovd4366152012-06-15 17:43:42 +0200521__copy_insn(struct address_space *mapping, struct file *filp, char *insn,
Oleg Nesterov593609a2012-06-15 17:43:59 +0200522 unsigned long nbytes, loff_t offset)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530523{
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530524 struct page *page;
525 void *vaddr;
Oleg Nesterov593609a2012-06-15 17:43:59 +0200526 unsigned long off;
527 pgoff_t idx;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530528
529 if (!filp)
530 return -EINVAL;
531
Oleg Nesterovcc359d12012-06-15 17:43:25 +0200532 if (!mapping->a_ops->readpage)
533 return -EIO;
534
Oleg Nesterov593609a2012-06-15 17:43:59 +0200535 idx = offset >> PAGE_CACHE_SHIFT;
536 off = offset & ~PAGE_MASK;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530537
538 /*
539 * Ensure that the page that has the original instruction is
540 * populated and in page-cache.
541 */
542 page = read_mapping_page(mapping, idx, filp);
543 if (IS_ERR(page))
544 return PTR_ERR(page);
545
546 vaddr = kmap_atomic(page);
Oleg Nesterov593609a2012-06-15 17:43:59 +0200547 memcpy(insn, vaddr + off, nbytes);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530548 kunmap_atomic(vaddr);
549 page_cache_release(page);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100550
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530551 return 0;
552}
553
Oleg Nesterovd4366152012-06-15 17:43:42 +0200554static int copy_insn(struct uprobe *uprobe, struct file *filp)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530555{
556 struct address_space *mapping;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530557 unsigned long nbytes;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100558 int bytes;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530559
Oleg Nesterovd4366152012-06-15 17:43:42 +0200560 nbytes = PAGE_SIZE - (uprobe->offset & ~PAGE_MASK);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530561 mapping = uprobe->inode->i_mapping;
562
563 /* Instruction at end of binary; copy only available bytes */
564 if (uprobe->offset + MAX_UINSN_BYTES > uprobe->inode->i_size)
565 bytes = uprobe->inode->i_size - uprobe->offset;
566 else
567 bytes = MAX_UINSN_BYTES;
568
569 /* Instruction at the page-boundary; copy bytes in second page */
570 if (nbytes < bytes) {
Oleg Nesterovfc36f592012-06-15 17:43:44 +0200571 int err = __copy_insn(mapping, filp, uprobe->arch.insn + nbytes,
572 bytes - nbytes, uprobe->offset + nbytes);
573 if (err)
574 return err;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530575 bytes = nbytes;
576 }
Oleg Nesterovd4366152012-06-15 17:43:42 +0200577 return __copy_insn(mapping, filp, uprobe->arch.insn, bytes, uprobe->offset);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530578}
579
Oleg Nesterovcb9a19f2012-09-30 20:11:45 +0200580static int prepare_uprobe(struct uprobe *uprobe, struct file *file,
581 struct mm_struct *mm, unsigned long vaddr)
582{
583 int ret = 0;
584
Oleg Nesterov71434f22012-09-30 21:12:44 +0200585 if (test_bit(UPROBE_COPY_INSN, &uprobe->flags))
Oleg Nesterovcb9a19f2012-09-30 20:11:45 +0200586 return ret;
587
Oleg Nesterov4710f05f2012-09-30 20:31:41 +0200588 mutex_lock(&uprobe->copy_mutex);
Oleg Nesterov71434f22012-09-30 21:12:44 +0200589 if (test_bit(UPROBE_COPY_INSN, &uprobe->flags))
Oleg Nesterov4710f05f2012-09-30 20:31:41 +0200590 goto out;
591
Oleg Nesterovcb9a19f2012-09-30 20:11:45 +0200592 ret = copy_insn(uprobe, file);
593 if (ret)
594 goto out;
595
596 ret = -ENOTSUPP;
597 if (is_swbp_insn((uprobe_opcode_t *)uprobe->arch.insn))
598 goto out;
599
600 ret = arch_uprobe_analyze_insn(&uprobe->arch, mm, vaddr);
601 if (ret)
602 goto out;
603
604 /* write_opcode() assumes we don't cross page boundary */
605 BUG_ON((uprobe->offset & ~PAGE_MASK) +
606 UPROBE_SWBP_INSN_SIZE > PAGE_SIZE);
607
608 smp_wmb(); /* pairs with rmb() in find_active_uprobe() */
Oleg Nesterov71434f22012-09-30 21:12:44 +0200609 set_bit(UPROBE_COPY_INSN, &uprobe->flags);
Oleg Nesterovcb9a19f2012-09-30 20:11:45 +0200610
611 out:
Oleg Nesterov4710f05f2012-09-30 20:31:41 +0200612 mutex_unlock(&uprobe->copy_mutex);
613
Oleg Nesterovcb9a19f2012-09-30 20:11:45 +0200614 return ret;
615}
616
Oleg Nesterov63633cb2012-11-22 18:30:15 +0100617static bool filter_chain(struct uprobe *uprobe)
618{
619 /*
620 * TODO:
621 * for_each_consumer(uc)
622 * if (uc->filter(...))
623 * return true;
624 * return false;
625 */
626 return uprobe->consumers != NULL;
627}
628
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530629static int
630install_breakpoint(struct uprobe *uprobe, struct mm_struct *mm,
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200631 struct vm_area_struct *vma, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530632{
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +0200633 bool first_uprobe;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530634 int ret;
635
636 /*
637 * If probe is being deleted, unregister thread could be done with
638 * the vma-rmap-walk through. Adding a probe now can be fatal since
Oleg Nesterov63633cb2012-11-22 18:30:15 +0100639 * nobody will be able to cleanup. But in this case filter_chain()
640 * must return false, all consumers have gone away.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530641 */
Oleg Nesterov63633cb2012-11-22 18:30:15 +0100642 if (!filter_chain(uprobe))
Oleg Nesterov78f74112012-08-08 17:35:08 +0200643 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530644
Oleg Nesterovcb9a19f2012-09-30 20:11:45 +0200645 ret = prepare_uprobe(uprobe, vma->vm_file, mm, vaddr);
646 if (ret)
647 return ret;
Srikar Dronamraju682968e2012-03-30 23:56:46 +0530648
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +0200649 /*
650 * set MMF_HAS_UPROBES in advance for uprobe_pre_sstep_notifier(),
651 * the task can hit this breakpoint right after __replace_page().
652 */
653 first_uprobe = !test_bit(MMF_HAS_UPROBES, &mm->flags);
654 if (first_uprobe)
655 set_bit(MMF_HAS_UPROBES, &mm->flags);
656
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200657 ret = set_swbp(&uprobe->arch, mm, vaddr);
Oleg Nesterov9f68f6722012-08-19 16:15:09 +0200658 if (!ret)
659 clear_bit(MMF_RECALC_UPROBES, &mm->flags);
660 else if (first_uprobe)
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +0200661 clear_bit(MMF_HAS_UPROBES, &mm->flags);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530662
663 return ret;
664}
665
Oleg Nesterov076a3652012-09-30 18:54:53 +0200666static int
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200667remove_breakpoint(struct uprobe *uprobe, struct mm_struct *mm, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530668{
Oleg Nesterov9f68f6722012-08-19 16:15:09 +0200669 if (!test_bit(MMF_HAS_UPROBES, &mm->flags))
Oleg Nesterov076a3652012-09-30 18:54:53 +0200670 return 0;
Oleg Nesterov9f68f6722012-08-19 16:15:09 +0200671
Oleg Nesterov63633cb2012-11-22 18:30:15 +0100672 if (filter_chain(uprobe))
673 return 0;
674
Oleg Nesterov9f68f6722012-08-19 16:15:09 +0200675 set_bit(MMF_RECALC_UPROBES, &mm->flags);
Oleg Nesterov076a3652012-09-30 18:54:53 +0200676 return set_orig_insn(&uprobe->arch, mm, vaddr);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530677}
678
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530679/*
Oleg Nesterov778b0322012-05-29 21:30:08 +0200680 * There could be threads that have already hit the breakpoint. They
681 * will recheck the current insn and restart if find_uprobe() fails.
682 * See find_active_uprobe().
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530683 */
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530684static void delete_uprobe(struct uprobe *uprobe)
685{
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200686 spin_lock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530687 rb_erase(&uprobe->rb_node, &uprobes_tree);
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200688 spin_unlock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530689 iput(uprobe->inode);
690 put_uprobe(uprobe);
691 atomic_dec(&uprobe_events);
692}
693
Oleg Nesterov26872092012-06-15 17:43:33 +0200694struct map_info {
695 struct map_info *next;
696 struct mm_struct *mm;
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200697 unsigned long vaddr;
Oleg Nesterov26872092012-06-15 17:43:33 +0200698};
699
700static inline struct map_info *free_map_info(struct map_info *info)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530701{
Oleg Nesterov26872092012-06-15 17:43:33 +0200702 struct map_info *next = info->next;
703 kfree(info);
704 return next;
705}
706
707static struct map_info *
708build_map_info(struct address_space *mapping, loff_t offset, bool is_register)
709{
710 unsigned long pgoff = offset >> PAGE_SHIFT;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530711 struct vm_area_struct *vma;
Oleg Nesterov26872092012-06-15 17:43:33 +0200712 struct map_info *curr = NULL;
713 struct map_info *prev = NULL;
714 struct map_info *info;
715 int more = 0;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100716
Oleg Nesterov26872092012-06-15 17:43:33 +0200717 again:
718 mutex_lock(&mapping->i_mmap_mutex);
Michel Lespinasse6b2dbba2012-10-08 16:31:25 -0700719 vma_interval_tree_foreach(vma, &mapping->i_mmap, pgoff, pgoff) {
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530720 if (!valid_vma(vma, is_register))
721 continue;
722
Oleg Nesterov7a5bfb62012-06-15 17:43:36 +0200723 if (!prev && !more) {
724 /*
725 * Needs GFP_NOWAIT to avoid i_mmap_mutex recursion through
726 * reclaim. This is optimistic, no harm done if it fails.
727 */
728 prev = kmalloc(sizeof(struct map_info),
729 GFP_NOWAIT | __GFP_NOMEMALLOC | __GFP_NOWARN);
730 if (prev)
731 prev->next = NULL;
732 }
Oleg Nesterov26872092012-06-15 17:43:33 +0200733 if (!prev) {
734 more++;
735 continue;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530736 }
737
Oleg Nesterov26872092012-06-15 17:43:33 +0200738 if (!atomic_inc_not_zero(&vma->vm_mm->mm_users))
739 continue;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100740
Oleg Nesterov26872092012-06-15 17:43:33 +0200741 info = prev;
742 prev = prev->next;
743 info->next = curr;
744 curr = info;
745
746 info->mm = vma->vm_mm;
Oleg Nesterov57683f72012-07-29 20:22:47 +0200747 info->vaddr = offset_to_vaddr(vma, offset);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530748 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530749 mutex_unlock(&mapping->i_mmap_mutex);
750
Oleg Nesterov26872092012-06-15 17:43:33 +0200751 if (!more)
752 goto out;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100753
Oleg Nesterov26872092012-06-15 17:43:33 +0200754 prev = curr;
755 while (curr) {
756 mmput(curr->mm);
757 curr = curr->next;
758 }
759
760 do {
761 info = kmalloc(sizeof(struct map_info), GFP_KERNEL);
762 if (!info) {
763 curr = ERR_PTR(-ENOMEM);
764 goto out;
765 }
766 info->next = prev;
767 prev = info;
768 } while (--more);
769
770 goto again;
771 out:
772 while (prev)
773 prev = free_map_info(prev);
774 return curr;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530775}
776
777static int register_for_each_vma(struct uprobe *uprobe, bool is_register)
778{
Oleg Nesterov26872092012-06-15 17:43:33 +0200779 struct map_info *info;
780 int err = 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530781
Oleg Nesterov32cdba12012-11-14 19:03:42 +0100782 percpu_down_write(&dup_mmap_sem);
Oleg Nesterov26872092012-06-15 17:43:33 +0200783 info = build_map_info(uprobe->inode->i_mapping,
784 uprobe->offset, is_register);
Oleg Nesterov32cdba12012-11-14 19:03:42 +0100785 if (IS_ERR(info)) {
786 err = PTR_ERR(info);
787 goto out;
788 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100789
Oleg Nesterov26872092012-06-15 17:43:33 +0200790 while (info) {
791 struct mm_struct *mm = info->mm;
792 struct vm_area_struct *vma;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100793
Oleg Nesterov076a3652012-09-30 18:54:53 +0200794 if (err && is_register)
Oleg Nesterov26872092012-06-15 17:43:33 +0200795 goto free;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100796
Oleg Nesterov77fc4af2012-05-29 21:29:28 +0200797 down_write(&mm->mmap_sem);
Oleg Nesterovf4d6dfe2012-07-29 20:22:44 +0200798 vma = find_vma(mm, info->vaddr);
799 if (!vma || !valid_vma(vma, is_register) ||
800 vma->vm_file->f_mapping->host != uprobe->inode)
Oleg Nesterov26872092012-06-15 17:43:33 +0200801 goto unlock;
802
Oleg Nesterovf4d6dfe2012-07-29 20:22:44 +0200803 if (vma->vm_start > info->vaddr ||
804 vaddr_to_offset(vma, info->vaddr) != uprobe->offset)
Oleg Nesterov26872092012-06-15 17:43:33 +0200805 goto unlock;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530806
Oleg Nesterov78f74112012-08-08 17:35:08 +0200807 if (is_register)
Oleg Nesterov26872092012-06-15 17:43:33 +0200808 err = install_breakpoint(uprobe, mm, vma, info->vaddr);
Oleg Nesterov78f74112012-08-08 17:35:08 +0200809 else
Oleg Nesterov076a3652012-09-30 18:54:53 +0200810 err |= remove_breakpoint(uprobe, mm, info->vaddr);
Oleg Nesterov78f74112012-08-08 17:35:08 +0200811
Oleg Nesterov26872092012-06-15 17:43:33 +0200812 unlock:
813 up_write(&mm->mmap_sem);
814 free:
815 mmput(mm);
816 info = free_map_info(info);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530817 }
Oleg Nesterov32cdba12012-11-14 19:03:42 +0100818 out:
819 percpu_up_write(&dup_mmap_sem);
Oleg Nesterov26872092012-06-15 17:43:33 +0200820 return err;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530821}
822
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100823static int __uprobe_register(struct uprobe *uprobe)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530824{
825 return register_for_each_vma(uprobe, true);
826}
827
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100828static void __uprobe_unregister(struct uprobe *uprobe)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530829{
830 if (!register_for_each_vma(uprobe, false))
831 delete_uprobe(uprobe);
832
833 /* TODO : cant unregister? schedule a worker thread */
834}
835
836/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100837 * uprobe_register - register a probe
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530838 * @inode: the file in which the probe has to be placed.
839 * @offset: offset from the start of the file.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530840 * @uc: information on howto handle the probe..
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530841 *
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100842 * Apart from the access refcount, uprobe_register() takes a creation
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530843 * refcount (thro alloc_uprobe) if and only if this @uprobe is getting
844 * inserted into the rbtree (i.e first consumer for a @inode:@offset
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100845 * tuple). Creation refcount stops uprobe_unregister from freeing the
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530846 * @uprobe even before the register operation is complete. Creation
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530847 * refcount is released when the last @uc for the @uprobe
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530848 * unregisters.
849 *
850 * Return errno if it cannot successully install probes
851 * else return 0 (success)
852 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530853int uprobe_register(struct inode *inode, loff_t offset, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530854{
855 struct uprobe *uprobe;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100856 int ret;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530857
Oleg Nesterovf0744af2012-11-21 18:01:43 +0100858 /* Racy, just to catch the obvious mistakes */
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530859 if (offset > i_size_read(inode))
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100860 return -EINVAL;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530861
862 ret = 0;
863 mutex_lock(uprobes_hash(inode));
864 uprobe = alloc_uprobe(inode, offset);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100865
Oleg Nesterova5f658b2012-09-30 18:21:09 +0200866 if (!uprobe) {
867 ret = -ENOMEM;
868 } else if (!consumer_add(uprobe, uc)) {
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100869 ret = __uprobe_register(uprobe);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530870 if (ret) {
871 uprobe->consumers = NULL;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100872 __uprobe_unregister(uprobe);
873 } else {
Oleg Nesterov71434f22012-09-30 21:12:44 +0200874 set_bit(UPROBE_RUN_HANDLER, &uprobe->flags);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100875 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530876 }
877
878 mutex_unlock(uprobes_hash(inode));
Sebastian Andrzej Siewior6d1d8df2012-08-30 19:26:22 +0200879 if (uprobe)
880 put_uprobe(uprobe);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530881
882 return ret;
883}
884
885/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100886 * uprobe_unregister - unregister a already registered probe.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530887 * @inode: the file in which the probe has to be removed.
888 * @offset: offset from the start of the file.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530889 * @uc: identify which probe if multiple probes are colocated.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530890 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530891void uprobe_unregister(struct inode *inode, loff_t offset, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530892{
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100893 struct uprobe *uprobe;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530894
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530895 uprobe = find_uprobe(inode, offset);
896 if (!uprobe)
897 return;
898
899 mutex_lock(uprobes_hash(inode));
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530900
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530901 if (consumer_del(uprobe, uc)) {
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100902 if (!uprobe->consumers) {
903 __uprobe_unregister(uprobe);
Oleg Nesterov71434f22012-09-30 21:12:44 +0200904 clear_bit(UPROBE_RUN_HANDLER, &uprobe->flags);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100905 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530906 }
907
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530908 mutex_unlock(uprobes_hash(inode));
Sasha Levinc91368c2012-12-20 14:11:30 -0500909 put_uprobe(uprobe);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530910}
911
Oleg Nesterov891c3972012-07-29 20:22:40 +0200912static struct rb_node *
913find_node_in_range(struct inode *inode, loff_t min, loff_t max)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530914{
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530915 struct rb_node *n = uprobes_tree.rb_node;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530916
917 while (n) {
Oleg Nesterov891c3972012-07-29 20:22:40 +0200918 struct uprobe *u = rb_entry(n, struct uprobe, rb_node);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100919
Oleg Nesterov891c3972012-07-29 20:22:40 +0200920 if (inode < u->inode) {
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530921 n = n->rb_left;
Oleg Nesterov891c3972012-07-29 20:22:40 +0200922 } else if (inode > u->inode) {
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530923 n = n->rb_right;
Oleg Nesterov891c3972012-07-29 20:22:40 +0200924 } else {
925 if (max < u->offset)
926 n = n->rb_left;
927 else if (min > u->offset)
928 n = n->rb_right;
929 else
930 break;
931 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530932 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100933
Oleg Nesterov891c3972012-07-29 20:22:40 +0200934 return n;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530935}
936
937/*
Oleg Nesterov891c3972012-07-29 20:22:40 +0200938 * For a given range in vma, build a list of probes that need to be inserted.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530939 */
Oleg Nesterov891c3972012-07-29 20:22:40 +0200940static void build_probe_list(struct inode *inode,
941 struct vm_area_struct *vma,
942 unsigned long start, unsigned long end,
943 struct list_head *head)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530944{
Oleg Nesterov891c3972012-07-29 20:22:40 +0200945 loff_t min, max;
Oleg Nesterov891c3972012-07-29 20:22:40 +0200946 struct rb_node *n, *t;
947 struct uprobe *u;
948
949 INIT_LIST_HEAD(head);
Oleg Nesterovcb113b42012-07-29 20:22:42 +0200950 min = vaddr_to_offset(vma, start);
Oleg Nesterov891c3972012-07-29 20:22:40 +0200951 max = min + (end - start) - 1;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530952
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200953 spin_lock(&uprobes_treelock);
Oleg Nesterov891c3972012-07-29 20:22:40 +0200954 n = find_node_in_range(inode, min, max);
955 if (n) {
956 for (t = n; t; t = rb_prev(t)) {
957 u = rb_entry(t, struct uprobe, rb_node);
958 if (u->inode != inode || u->offset < min)
959 break;
960 list_add(&u->pending_list, head);
961 atomic_inc(&u->ref);
962 }
963 for (t = n; (t = rb_next(t)); ) {
964 u = rb_entry(t, struct uprobe, rb_node);
965 if (u->inode != inode || u->offset > max)
966 break;
967 list_add(&u->pending_list, head);
968 atomic_inc(&u->ref);
969 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530970 }
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200971 spin_unlock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530972}
973
974/*
Oleg Nesterov5e5be712012-08-06 14:49:56 +0200975 * Called from mmap_region/vma_adjust with mm->mmap_sem acquired.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530976 *
Oleg Nesterov5e5be712012-08-06 14:49:56 +0200977 * Currently we ignore all errors and always return 0, the callers
978 * can't handle the failure anyway.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530979 */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100980int uprobe_mmap(struct vm_area_struct *vma)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530981{
982 struct list_head tmp_list;
Oleg Nesterov665605a2012-07-29 20:22:29 +0200983 struct uprobe *uprobe, *u;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530984 struct inode *inode;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530985
986 if (!atomic_read(&uprobe_events) || !valid_vma(vma, true))
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100987 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530988
989 inode = vma->vm_file->f_mapping->host;
990 if (!inode)
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100991 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530992
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530993 mutex_lock(uprobes_mmap_hash(inode));
Oleg Nesterov891c3972012-07-29 20:22:40 +0200994 build_probe_list(inode, vma, vma->vm_start, vma->vm_end, &tmp_list);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100995
Oleg Nesterov665605a2012-07-29 20:22:29 +0200996 list_for_each_entry_safe(uprobe, u, &tmp_list, pending_list) {
Oleg Nesterov5e5be712012-08-06 14:49:56 +0200997 if (!fatal_signal_pending(current)) {
Oleg Nesterov57683f72012-07-29 20:22:47 +0200998 unsigned long vaddr = offset_to_vaddr(vma, uprobe->offset);
Oleg Nesterov5e5be712012-08-06 14:49:56 +0200999 install_breakpoint(uprobe, vma->vm_mm, vma, vaddr);
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301000 }
1001 put_uprobe(uprobe);
1002 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301003 mutex_unlock(uprobes_mmap_hash(inode));
1004
Oleg Nesterov5e5be712012-08-06 14:49:56 +02001005 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301006}
1007
Oleg Nesterov9f68f6722012-08-19 16:15:09 +02001008static bool
1009vma_has_uprobes(struct vm_area_struct *vma, unsigned long start, unsigned long end)
1010{
1011 loff_t min, max;
1012 struct inode *inode;
1013 struct rb_node *n;
1014
1015 inode = vma->vm_file->f_mapping->host;
1016
1017 min = vaddr_to_offset(vma, start);
1018 max = min + (end - start) - 1;
1019
1020 spin_lock(&uprobes_treelock);
1021 n = find_node_in_range(inode, min, max);
1022 spin_unlock(&uprobes_treelock);
1023
1024 return !!n;
1025}
1026
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301027/*
1028 * Called in context of a munmap of a vma.
1029 */
Srikar Dronamrajucbc91f72012-04-11 16:05:27 +05301030void uprobe_munmap(struct vm_area_struct *vma, unsigned long start, unsigned long end)
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301031{
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301032 if (!atomic_read(&uprobe_events) || !valid_vma(vma, false))
1033 return;
1034
Oleg Nesterov2fd611a2012-07-29 20:22:31 +02001035 if (!atomic_read(&vma->vm_mm->mm_users)) /* called by mmput() ? */
1036 return;
1037
Oleg Nesterov9f68f6722012-08-19 16:15:09 +02001038 if (!test_bit(MMF_HAS_UPROBES, &vma->vm_mm->flags) ||
1039 test_bit(MMF_RECALC_UPROBES, &vma->vm_mm->flags))
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001040 return;
1041
Oleg Nesterov9f68f6722012-08-19 16:15:09 +02001042 if (vma_has_uprobes(vma, start, end))
1043 set_bit(MMF_RECALC_UPROBES, &vma->vm_mm->flags);
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301044}
1045
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301046/* Slot allocation for XOL */
1047static int xol_add_vma(struct xol_area *area)
1048{
1049 struct mm_struct *mm;
1050 int ret;
1051
1052 area->page = alloc_page(GFP_HIGHUSER);
1053 if (!area->page)
1054 return -ENOMEM;
1055
1056 ret = -EALREADY;
1057 mm = current->mm;
1058
1059 down_write(&mm->mmap_sem);
1060 if (mm->uprobes_state.xol_area)
1061 goto fail;
1062
1063 ret = -ENOMEM;
1064
1065 /* Try to map as high as possible, this is only a hint. */
1066 area->vaddr = get_unmapped_area(NULL, TASK_SIZE - PAGE_SIZE, PAGE_SIZE, 0, 0);
1067 if (area->vaddr & ~PAGE_MASK) {
1068 ret = area->vaddr;
1069 goto fail;
1070 }
1071
1072 ret = install_special_mapping(mm, area->vaddr, PAGE_SIZE,
1073 VM_EXEC|VM_MAYEXEC|VM_DONTCOPY|VM_IO, &area->page);
1074 if (ret)
1075 goto fail;
1076
1077 smp_wmb(); /* pairs with get_xol_area() */
1078 mm->uprobes_state.xol_area = area;
1079 ret = 0;
1080
1081fail:
1082 up_write(&mm->mmap_sem);
1083 if (ret)
1084 __free_page(area->page);
1085
1086 return ret;
1087}
1088
1089static struct xol_area *get_xol_area(struct mm_struct *mm)
1090{
1091 struct xol_area *area;
1092
1093 area = mm->uprobes_state.xol_area;
1094 smp_read_barrier_depends(); /* pairs with wmb in xol_add_vma() */
1095
1096 return area;
1097}
1098
1099/*
1100 * xol_alloc_area - Allocate process's xol_area.
1101 * This area will be used for storing instructions for execution out of
1102 * line.
1103 *
1104 * Returns the allocated area or NULL.
1105 */
1106static struct xol_area *xol_alloc_area(void)
1107{
1108 struct xol_area *area;
1109
1110 area = kzalloc(sizeof(*area), GFP_KERNEL);
1111 if (unlikely(!area))
1112 return NULL;
1113
1114 area->bitmap = kzalloc(BITS_TO_LONGS(UINSNS_PER_PAGE) * sizeof(long), GFP_KERNEL);
1115
1116 if (!area->bitmap)
1117 goto fail;
1118
1119 init_waitqueue_head(&area->wq);
1120 if (!xol_add_vma(area))
1121 return area;
1122
1123fail:
1124 kfree(area->bitmap);
1125 kfree(area);
1126
1127 return get_xol_area(current->mm);
1128}
1129
1130/*
1131 * uprobe_clear_state - Free the area allocated for slots.
1132 */
1133void uprobe_clear_state(struct mm_struct *mm)
1134{
1135 struct xol_area *area = mm->uprobes_state.xol_area;
1136
1137 if (!area)
1138 return;
1139
1140 put_page(area->page);
1141 kfree(area->bitmap);
1142 kfree(area);
1143}
1144
Oleg Nesterov32cdba12012-11-14 19:03:42 +01001145void uprobe_start_dup_mmap(void)
1146{
1147 percpu_down_read(&dup_mmap_sem);
1148}
1149
1150void uprobe_end_dup_mmap(void)
1151{
1152 percpu_up_read(&dup_mmap_sem);
1153}
1154
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001155void uprobe_dup_mmap(struct mm_struct *oldmm, struct mm_struct *newmm)
1156{
Oleg Nesterov61559a82012-08-08 17:17:46 +02001157 newmm->uprobes_state.xol_area = NULL;
1158
Oleg Nesterov9f68f6722012-08-19 16:15:09 +02001159 if (test_bit(MMF_HAS_UPROBES, &oldmm->flags)) {
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001160 set_bit(MMF_HAS_UPROBES, &newmm->flags);
Oleg Nesterov9f68f6722012-08-19 16:15:09 +02001161 /* unconditionally, dup_mmap() skips VM_DONTCOPY vmas */
1162 set_bit(MMF_RECALC_UPROBES, &newmm->flags);
1163 }
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001164}
1165
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301166/*
1167 * - search for a free slot.
1168 */
1169static unsigned long xol_take_insn_slot(struct xol_area *area)
1170{
1171 unsigned long slot_addr;
1172 int slot_nr;
1173
1174 do {
1175 slot_nr = find_first_zero_bit(area->bitmap, UINSNS_PER_PAGE);
1176 if (slot_nr < UINSNS_PER_PAGE) {
1177 if (!test_and_set_bit(slot_nr, area->bitmap))
1178 break;
1179
1180 slot_nr = UINSNS_PER_PAGE;
1181 continue;
1182 }
1183 wait_event(area->wq, (atomic_read(&area->slot_count) < UINSNS_PER_PAGE));
1184 } while (slot_nr >= UINSNS_PER_PAGE);
1185
1186 slot_addr = area->vaddr + (slot_nr * UPROBE_XOL_SLOT_BYTES);
1187 atomic_inc(&area->slot_count);
1188
1189 return slot_addr;
1190}
1191
1192/*
1193 * xol_get_insn_slot - If was not allocated a slot, then
1194 * allocate a slot.
1195 * Returns the allocated slot address or 0.
1196 */
1197static unsigned long xol_get_insn_slot(struct uprobe *uprobe, unsigned long slot_addr)
1198{
1199 struct xol_area *area;
1200 unsigned long offset;
1201 void *vaddr;
1202
1203 area = get_xol_area(current->mm);
1204 if (!area) {
1205 area = xol_alloc_area();
1206 if (!area)
1207 return 0;
1208 }
1209 current->utask->xol_vaddr = xol_take_insn_slot(area);
1210
1211 /*
1212 * Initialize the slot if xol_vaddr points to valid
1213 * instruction slot.
1214 */
1215 if (unlikely(!current->utask->xol_vaddr))
1216 return 0;
1217
1218 current->utask->vaddr = slot_addr;
1219 offset = current->utask->xol_vaddr & ~PAGE_MASK;
1220 vaddr = kmap_atomic(area->page);
1221 memcpy(vaddr + offset, uprobe->arch.insn, MAX_UINSN_BYTES);
1222 kunmap_atomic(vaddr);
Rabin Vincent65b6ecc2012-11-14 18:27:07 +01001223 /*
1224 * We probably need flush_icache_user_range() but it needs vma.
1225 * This should work on supported architectures too.
1226 */
1227 flush_dcache_page(area->page);
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301228
1229 return current->utask->xol_vaddr;
1230}
1231
1232/*
1233 * xol_free_insn_slot - If slot was earlier allocated by
1234 * @xol_get_insn_slot(), make the slot available for
1235 * subsequent requests.
1236 */
1237static void xol_free_insn_slot(struct task_struct *tsk)
1238{
1239 struct xol_area *area;
1240 unsigned long vma_end;
1241 unsigned long slot_addr;
1242
1243 if (!tsk->mm || !tsk->mm->uprobes_state.xol_area || !tsk->utask)
1244 return;
1245
1246 slot_addr = tsk->utask->xol_vaddr;
1247
1248 if (unlikely(!slot_addr || IS_ERR_VALUE(slot_addr)))
1249 return;
1250
1251 area = tsk->mm->uprobes_state.xol_area;
1252 vma_end = area->vaddr + PAGE_SIZE;
1253 if (area->vaddr <= slot_addr && slot_addr < vma_end) {
1254 unsigned long offset;
1255 int slot_nr;
1256
1257 offset = slot_addr - area->vaddr;
1258 slot_nr = offset / UPROBE_XOL_SLOT_BYTES;
1259 if (slot_nr >= UINSNS_PER_PAGE)
1260 return;
1261
1262 clear_bit(slot_nr, area->bitmap);
1263 atomic_dec(&area->slot_count);
1264 if (waitqueue_active(&area->wq))
1265 wake_up(&area->wq);
1266
1267 tsk->utask->xol_vaddr = 0;
1268 }
1269}
1270
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301271/**
1272 * uprobe_get_swbp_addr - compute address of swbp given post-swbp regs
1273 * @regs: Reflects the saved state of the task after it has hit a breakpoint
1274 * instruction.
1275 * Return the address of the breakpoint instruction.
1276 */
1277unsigned long __weak uprobe_get_swbp_addr(struct pt_regs *regs)
1278{
1279 return instruction_pointer(regs) - UPROBE_SWBP_INSN_SIZE;
1280}
1281
1282/*
1283 * Called with no locks held.
1284 * Called in context of a exiting or a exec-ing thread.
1285 */
1286void uprobe_free_utask(struct task_struct *t)
1287{
1288 struct uprobe_task *utask = t->utask;
1289
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301290 if (!utask)
1291 return;
1292
1293 if (utask->active_uprobe)
1294 put_uprobe(utask->active_uprobe);
1295
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301296 xol_free_insn_slot(t);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301297 kfree(utask);
1298 t->utask = NULL;
1299}
1300
1301/*
1302 * Called in context of a new clone/fork from copy_process.
1303 */
1304void uprobe_copy_process(struct task_struct *t)
1305{
1306 t->utask = NULL;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301307}
1308
1309/*
1310 * Allocate a uprobe_task object for the task.
1311 * Called when the thread hits a breakpoint for the first time.
1312 *
1313 * Returns:
1314 * - pointer to new uprobe_task on success
1315 * - NULL otherwise
1316 */
1317static struct uprobe_task *add_utask(void)
1318{
1319 struct uprobe_task *utask;
1320
1321 utask = kzalloc(sizeof *utask, GFP_KERNEL);
1322 if (unlikely(!utask))
1323 return NULL;
1324
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301325 current->utask = utask;
1326 return utask;
1327}
1328
1329/* Prepare to single-step probed instruction out of line. */
1330static int
1331pre_ssout(struct uprobe *uprobe, struct pt_regs *regs, unsigned long vaddr)
1332{
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301333 if (xol_get_insn_slot(uprobe, vaddr) && !arch_uprobe_pre_xol(&uprobe->arch, regs))
1334 return 0;
1335
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301336 return -EFAULT;
1337}
1338
1339/*
1340 * If we are singlestepping, then ensure this thread is not connected to
1341 * non-fatal signals until completion of singlestep. When xol insn itself
1342 * triggers the signal, restart the original insn even if the task is
1343 * already SIGKILL'ed (since coredump should report the correct ip). This
1344 * is even more important if the task has a handler for SIGSEGV/etc, The
1345 * _same_ instruction should be repeated again after return from the signal
1346 * handler, and SSTEP can never finish in this case.
1347 */
1348bool uprobe_deny_signal(void)
1349{
1350 struct task_struct *t = current;
1351 struct uprobe_task *utask = t->utask;
1352
1353 if (likely(!utask || !utask->active_uprobe))
1354 return false;
1355
1356 WARN_ON_ONCE(utask->state != UTASK_SSTEP);
1357
1358 if (signal_pending(t)) {
1359 spin_lock_irq(&t->sighand->siglock);
1360 clear_tsk_thread_flag(t, TIF_SIGPENDING);
1361 spin_unlock_irq(&t->sighand->siglock);
1362
1363 if (__fatal_signal_pending(t) || arch_uprobe_xol_was_trapped(t)) {
1364 utask->state = UTASK_SSTEP_TRAPPED;
1365 set_tsk_thread_flag(t, TIF_UPROBE);
1366 set_tsk_thread_flag(t, TIF_NOTIFY_RESUME);
1367 }
1368 }
1369
1370 return true;
1371}
1372
1373/*
1374 * Avoid singlestepping the original instruction if the original instruction
1375 * is a NOP or can be emulated.
1376 */
1377static bool can_skip_sstep(struct uprobe *uprobe, struct pt_regs *regs)
1378{
Oleg Nesterov71434f22012-09-30 21:12:44 +02001379 if (test_bit(UPROBE_SKIP_SSTEP, &uprobe->flags)) {
Oleg Nesterov0578a972012-09-14 18:31:23 +02001380 if (arch_uprobe_skip_sstep(&uprobe->arch, regs))
1381 return true;
Oleg Nesterov71434f22012-09-30 21:12:44 +02001382 clear_bit(UPROBE_SKIP_SSTEP, &uprobe->flags);
Oleg Nesterov0578a972012-09-14 18:31:23 +02001383 }
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301384 return false;
1385}
1386
Oleg Nesterov499a4f32012-08-19 17:41:34 +02001387static void mmf_recalc_uprobes(struct mm_struct *mm)
1388{
1389 struct vm_area_struct *vma;
1390
1391 for (vma = mm->mmap; vma; vma = vma->vm_next) {
1392 if (!valid_vma(vma, false))
1393 continue;
1394 /*
1395 * This is not strictly accurate, we can race with
1396 * uprobe_unregister() and see the already removed
1397 * uprobe if delete_uprobe() was not yet called.
Oleg Nesterov63633cb2012-11-22 18:30:15 +01001398 * Or this uprobe can be filtered out.
Oleg Nesterov499a4f32012-08-19 17:41:34 +02001399 */
1400 if (vma_has_uprobes(vma, vma->vm_start, vma->vm_end))
1401 return;
1402 }
1403
1404 clear_bit(MMF_HAS_UPROBES, &mm->flags);
1405}
1406
Oleg Nesterovec75fba2012-09-23 21:55:19 +02001407static int is_swbp_at_addr(struct mm_struct *mm, unsigned long vaddr)
1408{
1409 struct page *page;
1410 uprobe_opcode_t opcode;
1411 int result;
1412
1413 pagefault_disable();
1414 result = __copy_from_user_inatomic(&opcode, (void __user*)vaddr,
1415 sizeof(opcode));
1416 pagefault_enable();
1417
1418 if (likely(result == 0))
1419 goto out;
1420
1421 result = get_user_pages(NULL, mm, vaddr, 1, 0, 1, &page, NULL);
1422 if (result < 0)
1423 return result;
1424
1425 copy_opcode(page, vaddr, &opcode);
1426 put_page(page);
1427 out:
1428 return is_swbp_insn(&opcode);
1429}
1430
Oleg Nesterovd790d342012-05-29 21:29:14 +02001431static struct uprobe *find_active_uprobe(unsigned long bp_vaddr, int *is_swbp)
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001432{
1433 struct mm_struct *mm = current->mm;
1434 struct uprobe *uprobe = NULL;
1435 struct vm_area_struct *vma;
1436
1437 down_read(&mm->mmap_sem);
1438 vma = find_vma(mm, bp_vaddr);
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001439 if (vma && vma->vm_start <= bp_vaddr) {
1440 if (valid_vma(vma, false)) {
Oleg Nesterovcb113b42012-07-29 20:22:42 +02001441 struct inode *inode = vma->vm_file->f_mapping->host;
1442 loff_t offset = vaddr_to_offset(vma, bp_vaddr);
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001443
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001444 uprobe = find_uprobe(inode, offset);
1445 }
Oleg Nesterovd790d342012-05-29 21:29:14 +02001446
1447 if (!uprobe)
1448 *is_swbp = is_swbp_at_addr(mm, bp_vaddr);
1449 } else {
1450 *is_swbp = -EFAULT;
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001451 }
Oleg Nesterov499a4f32012-08-19 17:41:34 +02001452
1453 if (!uprobe && test_and_clear_bit(MMF_RECALC_UPROBES, &mm->flags))
1454 mmf_recalc_uprobes(mm);
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001455 up_read(&mm->mmap_sem);
1456
1457 return uprobe;
1458}
1459
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301460/*
1461 * Run handler and ask thread to singlestep.
1462 * Ensure all non-fatal signals cannot interrupt thread while it singlesteps.
1463 */
1464static void handle_swbp(struct pt_regs *regs)
1465{
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301466 struct uprobe_task *utask;
1467 struct uprobe *uprobe;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301468 unsigned long bp_vaddr;
Oleg Nesterov56bb4cf2012-05-29 21:29:47 +02001469 int uninitialized_var(is_swbp);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301470
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301471 bp_vaddr = uprobe_get_swbp_addr(regs);
Oleg Nesterovd790d342012-05-29 21:29:14 +02001472 uprobe = find_active_uprobe(bp_vaddr, &is_swbp);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301473
1474 if (!uprobe) {
Oleg Nesterov56bb4cf2012-05-29 21:29:47 +02001475 if (is_swbp > 0) {
1476 /* No matching uprobe; signal SIGTRAP. */
1477 send_sig(SIGTRAP, current, 0);
1478 } else {
1479 /*
1480 * Either we raced with uprobe_unregister() or we can't
1481 * access this memory. The latter is only possible if
1482 * another thread plays with our ->mm. In both cases
1483 * we can simply restart. If this vma was unmapped we
1484 * can pretend this insn was not executed yet and get
1485 * the (correct) SIGSEGV after restart.
1486 */
1487 instruction_pointer_set(regs, bp_vaddr);
1488 }
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301489 return;
1490 }
Oleg Nesterov142b18d2012-09-29 21:56:57 +02001491 /*
1492 * TODO: move copy_insn/etc into _register and remove this hack.
1493 * After we hit the bp, _unregister + _register can install the
1494 * new and not-yet-analyzed uprobe at the same address, restart.
1495 */
1496 smp_rmb(); /* pairs with wmb() in install_breakpoint() */
Oleg Nesterov71434f22012-09-30 21:12:44 +02001497 if (unlikely(!test_bit(UPROBE_COPY_INSN, &uprobe->flags)))
Oleg Nesterov142b18d2012-09-29 21:56:57 +02001498 goto restart;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301499
1500 utask = current->utask;
1501 if (!utask) {
1502 utask = add_utask();
1503 /* Cannot allocate; re-execute the instruction. */
1504 if (!utask)
Oleg Nesterov0578a972012-09-14 18:31:23 +02001505 goto restart;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301506 }
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301507
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301508 handler_chain(uprobe, regs);
Oleg Nesterov0578a972012-09-14 18:31:23 +02001509 if (can_skip_sstep(uprobe, regs))
1510 goto out;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301511
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301512 if (!pre_ssout(uprobe, regs, bp_vaddr)) {
Oleg Nesterov746a9e62012-09-14 18:23:51 +02001513 utask->active_uprobe = uprobe;
1514 utask->state = UTASK_SSTEP;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301515 return;
1516 }
1517
Oleg Nesterov0578a972012-09-14 18:31:23 +02001518restart:
1519 /*
1520 * cannot singlestep; cannot skip instruction;
1521 * re-execute the instruction.
1522 */
1523 instruction_pointer_set(regs, bp_vaddr);
1524out:
Sebastian Andrzej Siewior8bd87442012-08-07 18:12:30 +02001525 put_uprobe(uprobe);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301526}
1527
1528/*
1529 * Perform required fix-ups and disable singlestep.
1530 * Allow pending signals to take effect.
1531 */
1532static void handle_singlestep(struct uprobe_task *utask, struct pt_regs *regs)
1533{
1534 struct uprobe *uprobe;
1535
1536 uprobe = utask->active_uprobe;
1537 if (utask->state == UTASK_SSTEP_ACK)
1538 arch_uprobe_post_xol(&uprobe->arch, regs);
1539 else if (utask->state == UTASK_SSTEP_TRAPPED)
1540 arch_uprobe_abort_xol(&uprobe->arch, regs);
1541 else
1542 WARN_ON_ONCE(1);
1543
1544 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/*
Oleg Nesterov1b08e9072012-09-14 18:52:10 +02001555 * On breakpoint hit, breakpoint notifier sets the TIF_UPROBE flag and
1556 * allows the thread to return from interrupt. After that handle_swbp()
1557 * sets utask->active_uprobe.
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301558 *
Oleg Nesterov1b08e9072012-09-14 18:52:10 +02001559 * On singlestep exception, singlestep notifier sets the TIF_UPROBE flag
1560 * and allows the thread to return from interrupt.
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301561 *
1562 * While returning to userspace, thread notices the TIF_UPROBE flag and calls
1563 * uprobe_notify_resume().
1564 */
1565void uprobe_notify_resume(struct pt_regs *regs)
1566{
1567 struct uprobe_task *utask;
1568
Oleg Nesterovdb023ea2012-09-14 19:05:46 +02001569 clear_thread_flag(TIF_UPROBE);
1570
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301571 utask = current->utask;
Oleg Nesterov1b08e9072012-09-14 18:52:10 +02001572 if (utask && utask->active_uprobe)
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301573 handle_singlestep(utask, regs);
Oleg Nesterov1b08e9072012-09-14 18:52:10 +02001574 else
1575 handle_swbp(regs);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301576}
1577
1578/*
1579 * uprobe_pre_sstep_notifier gets called from interrupt context as part of
1580 * notifier mechanism. Set TIF_UPROBE flag and indicate breakpoint hit.
1581 */
1582int uprobe_pre_sstep_notifier(struct pt_regs *regs)
1583{
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001584 if (!current->mm || !test_bit(MMF_HAS_UPROBES, &current->mm->flags))
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301585 return 0;
1586
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301587 set_thread_flag(TIF_UPROBE);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301588 return 1;
1589}
1590
1591/*
1592 * uprobe_post_sstep_notifier gets called in interrupt context as part of notifier
1593 * mechanism. Set TIF_UPROBE flag and indicate completion of singlestep.
1594 */
1595int uprobe_post_sstep_notifier(struct pt_regs *regs)
1596{
1597 struct uprobe_task *utask = current->utask;
1598
1599 if (!current->mm || !utask || !utask->active_uprobe)
1600 /* task is currently not uprobed */
1601 return 0;
1602
1603 utask->state = UTASK_SSTEP_ACK;
1604 set_thread_flag(TIF_UPROBE);
1605 return 1;
1606}
1607
1608static struct notifier_block uprobe_exception_nb = {
1609 .notifier_call = arch_uprobe_exception_notify,
1610 .priority = INT_MAX-1, /* notified after kprobes, kgdb */
1611};
1612
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301613static int __init init_uprobes(void)
1614{
1615 int i;
1616
1617 for (i = 0; i < UPROBES_HASH_SZ; i++) {
1618 mutex_init(&uprobes_mutex[i]);
1619 mutex_init(&uprobes_mmap_mutex[i]);
1620 }
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301621
Oleg Nesterov32cdba12012-11-14 19:03:42 +01001622 if (percpu_init_rwsem(&dup_mmap_sem))
1623 return -ENOMEM;
1624
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301625 return register_die_notifier(&uprobe_exception_nb);
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301626}
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301627module_init(init_uprobes);
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301628
1629static void __exit exit_uprobes(void)
1630{
1631}
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301632module_exit(exit_uprobes);