blob: 8d182bdecc2e20f6d514b5dc1262e51fed92c9ab [file] [log] [blame]
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +01002 * User-space Probes (UProbes)
Srikar Dronamraju2b144492012-02-09 14:56:42 +05303 *
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License as published by
6 * the Free Software Foundation; either version 2 of the License, or
7 * (at your option) any later version.
8 *
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
13 *
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, write to the Free Software
16 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
17 *
Ingo Molnar35aa6212012-02-22 11:37:29 +010018 * Copyright (C) IBM Corporation, 2008-2012
Srikar Dronamraju2b144492012-02-09 14:56:42 +053019 * Authors:
20 * Srikar Dronamraju
21 * Jim Keniston
Ingo Molnar35aa6212012-02-22 11:37:29 +010022 * Copyright (C) 2011-2012 Red Hat, Inc., Peter Zijlstra <pzijlstr@redhat.com>
Srikar Dronamraju2b144492012-02-09 14:56:42 +053023 */
24
25#include <linux/kernel.h>
26#include <linux/highmem.h>
27#include <linux/pagemap.h> /* read_mapping_page */
28#include <linux/slab.h>
29#include <linux/sched.h>
30#include <linux/rmap.h> /* anon_vma_prepare */
31#include <linux/mmu_notifier.h> /* set_pte_at_notify */
32#include <linux/swap.h> /* try_to_free_swap */
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +053033#include <linux/ptrace.h> /* user_enable_single_step */
34#include <linux/kdebug.h> /* notifier mechanism */
Oleg Nesterov194f8dc2012-07-29 20:22:49 +020035#include "../../mm/internal.h" /* munlock_vma_page */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010036
Srikar Dronamraju2b144492012-02-09 14:56:42 +053037#include <linux/uprobes.h>
38
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +053039#define UINSNS_PER_PAGE (PAGE_SIZE/UPROBE_XOL_SLOT_BYTES)
40#define MAX_UPROBE_XOL_SLOTS UINSNS_PER_PAGE
41
Srikar Dronamraju2b144492012-02-09 14:56:42 +053042static struct rb_root uprobes_tree = RB_ROOT;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010043
Srikar Dronamraju2b144492012-02-09 14:56:42 +053044static DEFINE_SPINLOCK(uprobes_treelock); /* serialize rbtree access */
45
46#define UPROBES_HASH_SZ 13
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010047
Peter Zijlstrac5784de2012-06-15 17:43:39 +020048/*
49 * We need separate register/unregister and mmap/munmap lock hashes because
50 * of mmap_sem nesting.
51 *
52 * uprobe_register() needs to install probes on (potentially) all processes
53 * and thus needs to acquire multiple mmap_sems (consequtively, not
54 * concurrently), whereas uprobe_mmap() is called while holding mmap_sem
55 * for the particular process doing the mmap.
56 *
57 * uprobe_register()->register_for_each_vma() needs to drop/acquire mmap_sem
58 * because of lock order against i_mmap_mutex. This means there's a hole in
59 * the register vma iteration where a mmap() can happen.
60 *
61 * Thus uprobe_register() can race with uprobe_mmap() and we can try and
62 * install a probe where one is already installed.
63 */
64
Srikar Dronamraju2b144492012-02-09 14:56:42 +053065/* serialize (un)register */
66static struct mutex uprobes_mutex[UPROBES_HASH_SZ];
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010067
68#define uprobes_hash(v) (&uprobes_mutex[((unsigned long)(v)) % UPROBES_HASH_SZ])
Srikar Dronamraju2b144492012-02-09 14:56:42 +053069
70/* serialize uprobe->pending_list */
71static struct mutex uprobes_mmap_mutex[UPROBES_HASH_SZ];
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010072#define uprobes_mmap_hash(v) (&uprobes_mmap_mutex[((unsigned long)(v)) % UPROBES_HASH_SZ])
Srikar Dronamraju2b144492012-02-09 14:56:42 +053073
74/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +010075 * uprobe_events allows us to skip the uprobe_mmap if there are no uprobe
Srikar Dronamraju2b144492012-02-09 14:56:42 +053076 * events active at this time. Probably a fine grained per inode count is
77 * better?
78 */
79static atomic_t uprobe_events = ATOMIC_INIT(0);
80
Srikar Dronamraju3ff54ef2012-02-22 14:46:02 +053081struct uprobe {
82 struct rb_node rb_node; /* node in the rb tree */
83 atomic_t ref;
84 struct rw_semaphore consumer_rwsem;
85 struct list_head pending_list;
86 struct uprobe_consumer *consumers;
87 struct inode *inode; /* Also hold a ref to inode */
88 loff_t offset;
89 int flags;
90 struct arch_uprobe arch;
91};
92
Srikar Dronamraju2b144492012-02-09 14:56:42 +053093/*
94 * valid_vma: Verify if the specified vma is an executable vma
95 * Relax restrictions while unregistering: vm_flags might have
96 * changed after breakpoint was inserted.
97 * - is_register: indicates if we are in register context.
98 * - Return 1 if the specified virtual address is in an
99 * executable vma.
100 */
101static bool valid_vma(struct vm_area_struct *vma, bool is_register)
102{
Oleg Nesterove40cfce2012-09-16 19:31:39 +0200103 vm_flags_t flags = VM_HUGETLB | VM_MAYEXEC | VM_SHARED;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530104
Oleg Nesterove40cfce2012-09-16 19:31:39 +0200105 if (is_register)
106 flags |= VM_WRITE;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530107
Oleg Nesterove40cfce2012-09-16 19:31:39 +0200108 return vma->vm_file && (vma->vm_flags & flags) == VM_MAYEXEC;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530109}
110
Oleg Nesterov57683f72012-07-29 20:22:47 +0200111static unsigned long offset_to_vaddr(struct vm_area_struct *vma, loff_t offset)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530112{
Oleg Nesterov57683f72012-07-29 20:22:47 +0200113 return vma->vm_start + offset - ((loff_t)vma->vm_pgoff << PAGE_SHIFT);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530114}
115
Oleg Nesterovcb113b42012-07-29 20:22:42 +0200116static loff_t vaddr_to_offset(struct vm_area_struct *vma, unsigned long vaddr)
117{
118 return ((loff_t)vma->vm_pgoff << PAGE_SHIFT) + (vaddr - vma->vm_start);
119}
120
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530121/**
122 * __replace_page - replace page in vma by new page.
123 * based on replace_page in mm/ksm.c
124 *
125 * @vma: vma that holds the pte pointing to page
Oleg Nesterovc517ee72012-07-29 20:22:16 +0200126 * @addr: address the old @page is mapped at
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530127 * @page: the cowed page we are replacing by kpage
128 * @kpage: the modified page we replace page by
129 *
130 * Returns 0 on success, -EFAULT on failure.
131 */
Oleg Nesterovc517ee72012-07-29 20:22:16 +0200132static int __replace_page(struct vm_area_struct *vma, unsigned long addr,
133 struct page *page, struct page *kpage)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530134{
135 struct mm_struct *mm = vma->vm_mm;
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200136 spinlock_t *ptl;
137 pte_t *ptep;
Oleg Nesterov9f924482012-07-29 20:22:20 +0200138 int err;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530139
Oleg Nesterov194f8dc2012-07-29 20:22:49 +0200140 /* For try_to_free_swap() and munlock_vma_page() below */
Oleg Nesterov9f924482012-07-29 20:22:20 +0200141 lock_page(page);
142
143 err = -EAGAIN;
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200144 ptep = page_check_address(page, mm, addr, &ptl, 0);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530145 if (!ptep)
Oleg Nesterov9f924482012-07-29 20:22:20 +0200146 goto unlock;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530147
148 get_page(kpage);
149 page_add_new_anon_rmap(kpage, vma, addr);
150
Srikar Dronamraju7396fa82012-04-11 16:05:16 +0530151 if (!PageAnon(page)) {
152 dec_mm_counter(mm, MM_FILEPAGES);
153 inc_mm_counter(mm, MM_ANONPAGES);
154 }
155
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530156 flush_cache_page(vma, addr, pte_pfn(*ptep));
157 ptep_clear_flush(vma, addr, ptep);
158 set_pte_at_notify(mm, addr, ptep, mk_pte(kpage, vma->vm_page_prot));
159
160 page_remove_rmap(page);
161 if (!page_mapped(page))
162 try_to_free_swap(page);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530163 pte_unmap_unlock(ptep, ptl);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530164
Oleg Nesterov194f8dc2012-07-29 20:22:49 +0200165 if (vma->vm_flags & VM_LOCKED)
166 munlock_vma_page(page);
167 put_page(page);
168
Oleg Nesterov9f924482012-07-29 20:22:20 +0200169 err = 0;
170 unlock:
171 unlock_page(page);
172 return err;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530173}
174
175/**
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530176 * is_swbp_insn - check if instruction is breakpoint instruction.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530177 * @insn: instruction to be checked.
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530178 * Default implementation of is_swbp_insn
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530179 * Returns true if @insn is a breakpoint instruction.
180 */
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530181bool __weak is_swbp_insn(uprobe_opcode_t *insn)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530182{
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530183 return *insn == UPROBE_SWBP_INSN;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530184}
185
186/*
187 * NOTE:
188 * Expect the breakpoint instruction to be the smallest size instruction for
189 * the architecture. If an arch has variable length instruction and the
190 * breakpoint instruction is not of the smallest length instruction
191 * supported by that architecture then we need to modify read_opcode /
192 * write_opcode accordingly. This would never be a problem for archs that
193 * have fixed length instructions.
194 */
195
196/*
197 * write_opcode - write the opcode at a given virtual address.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530198 * @auprobe: arch breakpointing information.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530199 * @mm: the probed process address space.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530200 * @vaddr: the virtual address to store the opcode.
201 * @opcode: opcode to be written at @vaddr.
202 *
203 * Called with mm->mmap_sem held (for read and with a reference to
204 * mm).
205 *
206 * For mm @mm, write the opcode at @vaddr.
207 * Return 0 (success) or a negative errno.
208 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530209static int write_opcode(struct arch_uprobe *auprobe, struct mm_struct *mm,
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530210 unsigned long vaddr, uprobe_opcode_t opcode)
211{
212 struct page *old_page, *new_page;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530213 void *vaddr_old, *vaddr_new;
214 struct vm_area_struct *vma;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530215 int ret;
Oleg Nesterovf4030722012-07-29 20:22:12 +0200216
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200217retry:
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530218 /* Read the page with vaddr into memory */
Oleg Nesterov75ed82e2012-09-16 17:20:06 +0200219 ret = get_user_pages(NULL, mm, vaddr, 1, 0, 1, &old_page, &vma);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530220 if (ret <= 0)
221 return ret;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100222
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530223 ret = -ENOMEM;
224 new_page = alloc_page_vma(GFP_HIGHUSER_MOVABLE, vma, vaddr);
225 if (!new_page)
Oleg Nesterov9f924482012-07-29 20:22:20 +0200226 goto put_old;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530227
228 __SetPageUptodate(new_page);
229
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530230 /* copy the page now that we've got it stable */
231 vaddr_old = kmap_atomic(old_page);
232 vaddr_new = kmap_atomic(new_page);
233
234 memcpy(vaddr_new, vaddr_old, PAGE_SIZE);
Oleg Nesterovd9c4a302012-06-15 17:43:50 +0200235 memcpy(vaddr_new + (vaddr & ~PAGE_MASK), &opcode, UPROBE_SWBP_INSN_SIZE);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530236
237 kunmap_atomic(vaddr_new);
238 kunmap_atomic(vaddr_old);
239
240 ret = anon_vma_prepare(vma);
241 if (ret)
Oleg Nesterov9f924482012-07-29 20:22:20 +0200242 goto put_new;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530243
Oleg Nesterovc517ee72012-07-29 20:22:16 +0200244 ret = __replace_page(vma, vaddr, old_page, new_page);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530245
Oleg Nesterov9f924482012-07-29 20:22:20 +0200246put_new:
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530247 page_cache_release(new_page);
Oleg Nesterov9f924482012-07-29 20:22:20 +0200248put_old:
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100249 put_page(old_page);
250
Oleg Nesterov5323ce72012-06-15 17:43:28 +0200251 if (unlikely(ret == -EAGAIN))
252 goto retry;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530253 return ret;
254}
255
256/**
257 * read_opcode - read the opcode at a given virtual address.
258 * @mm: the probed process address space.
259 * @vaddr: the virtual address to read the opcode.
260 * @opcode: location to store the read opcode.
261 *
262 * Called with mm->mmap_sem held (for read and with a reference to
263 * mm.
264 *
265 * For mm @mm, read the opcode at @vaddr and store it in @opcode.
266 * Return 0 (success) or a negative errno.
267 */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100268static int read_opcode(struct mm_struct *mm, unsigned long vaddr, uprobe_opcode_t *opcode)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530269{
270 struct page *page;
271 void *vaddr_new;
272 int ret;
273
Oleg Nesterova3d7bb42012-05-29 21:27:59 +0200274 ret = get_user_pages(NULL, mm, vaddr, 1, 0, 1, &page, NULL);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530275 if (ret <= 0)
276 return ret;
277
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530278 vaddr_new = kmap_atomic(page);
279 vaddr &= ~PAGE_MASK;
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530280 memcpy(opcode, vaddr_new + vaddr, UPROBE_SWBP_INSN_SIZE);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530281 kunmap_atomic(vaddr_new);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100282
283 put_page(page);
284
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530285 return 0;
286}
287
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530288static int is_swbp_at_addr(struct mm_struct *mm, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530289{
290 uprobe_opcode_t opcode;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100291 int result;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530292
Oleg Nesterovc00b2752012-05-29 21:27:44 +0200293 if (current->mm == mm) {
294 pagefault_disable();
295 result = __copy_from_user_inatomic(&opcode, (void __user*)vaddr,
296 sizeof(opcode));
297 pagefault_enable();
298
299 if (likely(result == 0))
300 goto out;
301 }
302
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100303 result = read_opcode(mm, vaddr, &opcode);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530304 if (result)
305 return result;
Oleg Nesterovc00b2752012-05-29 21:27:44 +0200306out:
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530307 if (is_swbp_insn(&opcode))
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530308 return 1;
309
310 return 0;
311}
312
313/**
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530314 * set_swbp - store breakpoint at a given address.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530315 * @auprobe: arch specific probepoint information.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530316 * @mm: the probed process address space.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530317 * @vaddr: the virtual address to insert the opcode.
318 *
319 * For mm @mm, store the breakpoint instruction at @vaddr.
320 * Return 0 (success) or a negative errno.
321 */
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530322int __weak set_swbp(struct arch_uprobe *auprobe, struct mm_struct *mm, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530323{
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100324 int result;
Peter Zijlstrac5784de2012-06-15 17:43:39 +0200325 /*
326 * See the comment near uprobes_hash().
327 */
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530328 result = is_swbp_at_addr(mm, vaddr);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530329 if (result == 1)
Oleg Nesterov78f74112012-08-08 17:35:08 +0200330 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530331
332 if (result)
333 return result;
334
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530335 return write_opcode(auprobe, mm, vaddr, UPROBE_SWBP_INSN);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530336}
337
338/**
339 * set_orig_insn - Restore the original instruction.
340 * @mm: the probed process address space.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530341 * @auprobe: arch specific probepoint information.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530342 * @vaddr: the virtual address to insert the opcode.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530343 *
344 * For mm @mm, restore the original opcode (opcode) at @vaddr.
345 * Return 0 (success) or a negative errno.
346 */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100347int __weak
Oleg Nesterovded86e72012-08-08 18:07:03 +0200348set_orig_insn(struct arch_uprobe *auprobe, struct mm_struct *mm, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530349{
Oleg Nesterovded86e72012-08-08 18:07:03 +0200350 int result;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530351
Oleg Nesterovded86e72012-08-08 18:07:03 +0200352 result = is_swbp_at_addr(mm, vaddr);
353 if (!result)
354 return -EINVAL;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530355
Oleg Nesterovded86e72012-08-08 18:07:03 +0200356 if (result != 1)
357 return result;
358
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530359 return write_opcode(auprobe, mm, vaddr, *(uprobe_opcode_t *)auprobe->insn);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530360}
361
362static int match_uprobe(struct uprobe *l, struct uprobe *r)
363{
364 if (l->inode < r->inode)
365 return -1;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100366
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530367 if (l->inode > r->inode)
368 return 1;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530369
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100370 if (l->offset < r->offset)
371 return -1;
372
373 if (l->offset > r->offset)
374 return 1;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530375
376 return 0;
377}
378
379static struct uprobe *__find_uprobe(struct inode *inode, loff_t offset)
380{
381 struct uprobe u = { .inode = inode, .offset = offset };
382 struct rb_node *n = uprobes_tree.rb_node;
383 struct uprobe *uprobe;
384 int match;
385
386 while (n) {
387 uprobe = rb_entry(n, struct uprobe, rb_node);
388 match = match_uprobe(&u, uprobe);
389 if (!match) {
390 atomic_inc(&uprobe->ref);
391 return uprobe;
392 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100393
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530394 if (match < 0)
395 n = n->rb_left;
396 else
397 n = n->rb_right;
398 }
399 return NULL;
400}
401
402/*
403 * Find a uprobe corresponding to a given inode:offset
404 * Acquires uprobes_treelock
405 */
406static struct uprobe *find_uprobe(struct inode *inode, loff_t offset)
407{
408 struct uprobe *uprobe;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530409
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200410 spin_lock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530411 uprobe = __find_uprobe(inode, offset);
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200412 spin_unlock(&uprobes_treelock);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100413
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530414 return uprobe;
415}
416
417static struct uprobe *__insert_uprobe(struct uprobe *uprobe)
418{
419 struct rb_node **p = &uprobes_tree.rb_node;
420 struct rb_node *parent = NULL;
421 struct uprobe *u;
422 int match;
423
424 while (*p) {
425 parent = *p;
426 u = rb_entry(parent, struct uprobe, rb_node);
427 match = match_uprobe(uprobe, u);
428 if (!match) {
429 atomic_inc(&u->ref);
430 return u;
431 }
432
433 if (match < 0)
434 p = &parent->rb_left;
435 else
436 p = &parent->rb_right;
437
438 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100439
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530440 u = NULL;
441 rb_link_node(&uprobe->rb_node, parent, p);
442 rb_insert_color(&uprobe->rb_node, &uprobes_tree);
443 /* get access + creation ref */
444 atomic_set(&uprobe->ref, 2);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100445
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530446 return u;
447}
448
449/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100450 * Acquire uprobes_treelock.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530451 * Matching uprobe already exists in rbtree;
452 * increment (access refcount) and return the matching uprobe.
453 *
454 * No matching uprobe; insert the uprobe in rb_tree;
455 * get a double refcount (access + creation) and return NULL.
456 */
457static struct uprobe *insert_uprobe(struct uprobe *uprobe)
458{
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530459 struct uprobe *u;
460
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200461 spin_lock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530462 u = __insert_uprobe(uprobe);
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200463 spin_unlock(&uprobes_treelock);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100464
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530465 /* For now assume that the instruction need not be single-stepped */
466 uprobe->flags |= UPROBE_SKIP_SSTEP;
467
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530468 return u;
469}
470
471static void put_uprobe(struct uprobe *uprobe)
472{
473 if (atomic_dec_and_test(&uprobe->ref))
474 kfree(uprobe);
475}
476
477static struct uprobe *alloc_uprobe(struct inode *inode, loff_t offset)
478{
479 struct uprobe *uprobe, *cur_uprobe;
480
481 uprobe = kzalloc(sizeof(struct uprobe), GFP_KERNEL);
482 if (!uprobe)
483 return NULL;
484
485 uprobe->inode = igrab(inode);
486 uprobe->offset = offset;
487 init_rwsem(&uprobe->consumer_rwsem);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530488
489 /* add to uprobes_tree, sorted on inode:offset */
490 cur_uprobe = insert_uprobe(uprobe);
491
492 /* a uprobe exists for this inode:offset combination */
493 if (cur_uprobe) {
494 kfree(uprobe);
495 uprobe = cur_uprobe;
496 iput(inode);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100497 } else {
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530498 atomic_inc(&uprobe_events);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100499 }
500
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530501 return uprobe;
502}
503
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530504static void handler_chain(struct uprobe *uprobe, struct pt_regs *regs)
505{
506 struct uprobe_consumer *uc;
507
508 if (!(uprobe->flags & UPROBE_RUN_HANDLER))
509 return;
510
511 down_read(&uprobe->consumer_rwsem);
512 for (uc = uprobe->consumers; uc; uc = uc->next) {
513 if (!uc->filter || uc->filter(uc, current))
514 uc->handler(uc, regs);
515 }
516 up_read(&uprobe->consumer_rwsem);
517}
518
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530519/* Returns the previous consumer */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100520static struct uprobe_consumer *
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530521consumer_add(struct uprobe *uprobe, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530522{
523 down_write(&uprobe->consumer_rwsem);
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530524 uc->next = uprobe->consumers;
525 uprobe->consumers = uc;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530526 up_write(&uprobe->consumer_rwsem);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100527
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530528 return uc->next;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530529}
530
531/*
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530532 * For uprobe @uprobe, delete the consumer @uc.
533 * Return true if the @uc is deleted successfully
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530534 * or return false.
535 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530536static bool consumer_del(struct uprobe *uprobe, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530537{
538 struct uprobe_consumer **con;
539 bool ret = false;
540
541 down_write(&uprobe->consumer_rwsem);
542 for (con = &uprobe->consumers; *con; con = &(*con)->next) {
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530543 if (*con == uc) {
544 *con = uc->next;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530545 ret = true;
546 break;
547 }
548 }
549 up_write(&uprobe->consumer_rwsem);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100550
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530551 return ret;
552}
553
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530554static int
Oleg Nesterovd4366152012-06-15 17:43:42 +0200555__copy_insn(struct address_space *mapping, struct file *filp, char *insn,
Oleg Nesterov593609a2012-06-15 17:43:59 +0200556 unsigned long nbytes, loff_t offset)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530557{
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530558 struct page *page;
559 void *vaddr;
Oleg Nesterov593609a2012-06-15 17:43:59 +0200560 unsigned long off;
561 pgoff_t idx;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530562
563 if (!filp)
564 return -EINVAL;
565
Oleg Nesterovcc359d12012-06-15 17:43:25 +0200566 if (!mapping->a_ops->readpage)
567 return -EIO;
568
Oleg Nesterov593609a2012-06-15 17:43:59 +0200569 idx = offset >> PAGE_CACHE_SHIFT;
570 off = offset & ~PAGE_MASK;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530571
572 /*
573 * Ensure that the page that has the original instruction is
574 * populated and in page-cache.
575 */
576 page = read_mapping_page(mapping, idx, filp);
577 if (IS_ERR(page))
578 return PTR_ERR(page);
579
580 vaddr = kmap_atomic(page);
Oleg Nesterov593609a2012-06-15 17:43:59 +0200581 memcpy(insn, vaddr + off, nbytes);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530582 kunmap_atomic(vaddr);
583 page_cache_release(page);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100584
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530585 return 0;
586}
587
Oleg Nesterovd4366152012-06-15 17:43:42 +0200588static int copy_insn(struct uprobe *uprobe, struct file *filp)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530589{
590 struct address_space *mapping;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530591 unsigned long nbytes;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100592 int bytes;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530593
Oleg Nesterovd4366152012-06-15 17:43:42 +0200594 nbytes = PAGE_SIZE - (uprobe->offset & ~PAGE_MASK);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530595 mapping = uprobe->inode->i_mapping;
596
597 /* Instruction at end of binary; copy only available bytes */
598 if (uprobe->offset + MAX_UINSN_BYTES > uprobe->inode->i_size)
599 bytes = uprobe->inode->i_size - uprobe->offset;
600 else
601 bytes = MAX_UINSN_BYTES;
602
603 /* Instruction at the page-boundary; copy bytes in second page */
604 if (nbytes < bytes) {
Oleg Nesterovfc36f592012-06-15 17:43:44 +0200605 int err = __copy_insn(mapping, filp, uprobe->arch.insn + nbytes,
606 bytes - nbytes, uprobe->offset + nbytes);
607 if (err)
608 return err;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530609 bytes = nbytes;
610 }
Oleg Nesterovd4366152012-06-15 17:43:42 +0200611 return __copy_insn(mapping, filp, uprobe->arch.insn, bytes, uprobe->offset);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530612}
613
Srikar Dronamraju682968e2012-03-30 23:56:46 +0530614/*
615 * How mm->uprobes_state.count gets updated
616 * uprobe_mmap() increments the count if
617 * - it successfully adds a breakpoint.
618 * - it cannot add a breakpoint, but sees that there is a underlying
619 * breakpoint (via a is_swbp_at_addr()).
620 *
621 * uprobe_munmap() decrements the count if
622 * - it sees a underlying breakpoint, (via is_swbp_at_addr)
623 * (Subsequent uprobe_unregister wouldnt find the breakpoint
624 * unless a uprobe_mmap kicks in, since the old vma would be
625 * dropped just after uprobe_munmap.)
626 *
627 * uprobe_register increments the count if:
628 * - it successfully adds a breakpoint.
629 *
630 * uprobe_unregister decrements the count if:
631 * - it sees a underlying breakpoint and removes successfully.
632 * (via is_swbp_at_addr)
633 * (Subsequent uprobe_munmap wouldnt find the breakpoint
634 * since there is no underlying breakpoint after the
635 * breakpoint removal.)
636 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530637static int
638install_breakpoint(struct uprobe *uprobe, struct mm_struct *mm,
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200639 struct vm_area_struct *vma, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530640{
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +0200641 bool first_uprobe;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530642 int ret;
643
644 /*
645 * If probe is being deleted, unregister thread could be done with
646 * the vma-rmap-walk through. Adding a probe now can be fatal since
647 * nobody will be able to cleanup. Also we could be from fork or
648 * mremap path, where the probe might have already been inserted.
649 * Hence behave as if probe already existed.
650 */
651 if (!uprobe->consumers)
Oleg Nesterov78f74112012-08-08 17:35:08 +0200652 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530653
Srikar Dronamraju900771a2012-03-12 14:55:14 +0530654 if (!(uprobe->flags & UPROBE_COPY_INSN)) {
Oleg Nesterovd4366152012-06-15 17:43:42 +0200655 ret = copy_insn(uprobe, vma->vm_file);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530656 if (ret)
657 return ret;
658
Srikar Dronamraju5cb4ac32012-03-12 14:55:45 +0530659 if (is_swbp_insn((uprobe_opcode_t *)uprobe->arch.insn))
Oleg Nesterovc1914a02012-06-15 17:43:31 +0200660 return -ENOTSUPP;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530661
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200662 ret = arch_uprobe_analyze_insn(&uprobe->arch, mm, vaddr);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530663 if (ret)
664 return ret;
665
Oleg Nesterovd9c4a302012-06-15 17:43:50 +0200666 /* write_opcode() assumes we don't cross page boundary */
667 BUG_ON((uprobe->offset & ~PAGE_MASK) +
668 UPROBE_SWBP_INSN_SIZE > PAGE_SIZE);
669
Srikar Dronamraju900771a2012-03-12 14:55:14 +0530670 uprobe->flags |= UPROBE_COPY_INSN;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530671 }
Srikar Dronamraju682968e2012-03-30 23:56:46 +0530672
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +0200673 /*
674 * set MMF_HAS_UPROBES in advance for uprobe_pre_sstep_notifier(),
675 * the task can hit this breakpoint right after __replace_page().
676 */
677 first_uprobe = !test_bit(MMF_HAS_UPROBES, &mm->flags);
678 if (first_uprobe)
679 set_bit(MMF_HAS_UPROBES, &mm->flags);
680
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200681 ret = set_swbp(&uprobe->arch, mm, vaddr);
Oleg Nesterov9f68f672012-08-19 16:15:09 +0200682 if (!ret)
683 clear_bit(MMF_RECALC_UPROBES, &mm->flags);
684 else if (first_uprobe)
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +0200685 clear_bit(MMF_HAS_UPROBES, &mm->flags);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530686
687 return ret;
688}
689
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530690static void
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200691remove_breakpoint(struct uprobe *uprobe, struct mm_struct *mm, unsigned long vaddr)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530692{
Oleg Nesterov9f68f672012-08-19 16:15:09 +0200693 /* can happen if uprobe_register() fails */
694 if (!test_bit(MMF_HAS_UPROBES, &mm->flags))
695 return;
696
697 set_bit(MMF_RECALC_UPROBES, &mm->flags);
Oleg Nesterovded86e72012-08-08 18:07:03 +0200698 set_orig_insn(&uprobe->arch, mm, vaddr);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530699}
700
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530701/*
Oleg Nesterov778b0322012-05-29 21:30:08 +0200702 * There could be threads that have already hit the breakpoint. They
703 * will recheck the current insn and restart if find_uprobe() fails.
704 * See find_active_uprobe().
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +0530705 */
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530706static void delete_uprobe(struct uprobe *uprobe)
707{
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200708 spin_lock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530709 rb_erase(&uprobe->rb_node, &uprobes_tree);
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200710 spin_unlock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530711 iput(uprobe->inode);
712 put_uprobe(uprobe);
713 atomic_dec(&uprobe_events);
714}
715
Oleg Nesterov26872092012-06-15 17:43:33 +0200716struct map_info {
717 struct map_info *next;
718 struct mm_struct *mm;
Oleg Nesterov816c03f2012-06-15 17:43:55 +0200719 unsigned long vaddr;
Oleg Nesterov26872092012-06-15 17:43:33 +0200720};
721
722static inline struct map_info *free_map_info(struct map_info *info)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530723{
Oleg Nesterov26872092012-06-15 17:43:33 +0200724 struct map_info *next = info->next;
725 kfree(info);
726 return next;
727}
728
729static struct map_info *
730build_map_info(struct address_space *mapping, loff_t offset, bool is_register)
731{
732 unsigned long pgoff = offset >> PAGE_SHIFT;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530733 struct prio_tree_iter iter;
734 struct vm_area_struct *vma;
Oleg Nesterov26872092012-06-15 17:43:33 +0200735 struct map_info *curr = NULL;
736 struct map_info *prev = NULL;
737 struct map_info *info;
738 int more = 0;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100739
Oleg Nesterov26872092012-06-15 17:43:33 +0200740 again:
741 mutex_lock(&mapping->i_mmap_mutex);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530742 vma_prio_tree_foreach(vma, &iter, &mapping->i_mmap, pgoff, pgoff) {
743 if (!valid_vma(vma, is_register))
744 continue;
745
Oleg Nesterov7a5bfb62012-06-15 17:43:36 +0200746 if (!prev && !more) {
747 /*
748 * Needs GFP_NOWAIT to avoid i_mmap_mutex recursion through
749 * reclaim. This is optimistic, no harm done if it fails.
750 */
751 prev = kmalloc(sizeof(struct map_info),
752 GFP_NOWAIT | __GFP_NOMEMALLOC | __GFP_NOWARN);
753 if (prev)
754 prev->next = NULL;
755 }
Oleg Nesterov26872092012-06-15 17:43:33 +0200756 if (!prev) {
757 more++;
758 continue;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530759 }
760
Oleg Nesterov26872092012-06-15 17:43:33 +0200761 if (!atomic_inc_not_zero(&vma->vm_mm->mm_users))
762 continue;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100763
Oleg Nesterov26872092012-06-15 17:43:33 +0200764 info = prev;
765 prev = prev->next;
766 info->next = curr;
767 curr = info;
768
769 info->mm = vma->vm_mm;
Oleg Nesterov57683f72012-07-29 20:22:47 +0200770 info->vaddr = offset_to_vaddr(vma, offset);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530771 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530772 mutex_unlock(&mapping->i_mmap_mutex);
773
Oleg Nesterov26872092012-06-15 17:43:33 +0200774 if (!more)
775 goto out;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100776
Oleg Nesterov26872092012-06-15 17:43:33 +0200777 prev = curr;
778 while (curr) {
779 mmput(curr->mm);
780 curr = curr->next;
781 }
782
783 do {
784 info = kmalloc(sizeof(struct map_info), GFP_KERNEL);
785 if (!info) {
786 curr = ERR_PTR(-ENOMEM);
787 goto out;
788 }
789 info->next = prev;
790 prev = info;
791 } while (--more);
792
793 goto again;
794 out:
795 while (prev)
796 prev = free_map_info(prev);
797 return curr;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530798}
799
800static int register_for_each_vma(struct uprobe *uprobe, bool is_register)
801{
Oleg Nesterov26872092012-06-15 17:43:33 +0200802 struct map_info *info;
803 int err = 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530804
Oleg Nesterov26872092012-06-15 17:43:33 +0200805 info = build_map_info(uprobe->inode->i_mapping,
806 uprobe->offset, is_register);
807 if (IS_ERR(info))
808 return PTR_ERR(info);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100809
Oleg Nesterov26872092012-06-15 17:43:33 +0200810 while (info) {
811 struct mm_struct *mm = info->mm;
812 struct vm_area_struct *vma;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100813
Oleg Nesterov26872092012-06-15 17:43:33 +0200814 if (err)
815 goto free;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100816
Oleg Nesterov77fc4af2012-05-29 21:29:28 +0200817 down_write(&mm->mmap_sem);
Oleg Nesterovf4d6dfe2012-07-29 20:22:44 +0200818 vma = find_vma(mm, info->vaddr);
819 if (!vma || !valid_vma(vma, is_register) ||
820 vma->vm_file->f_mapping->host != uprobe->inode)
Oleg Nesterov26872092012-06-15 17:43:33 +0200821 goto unlock;
822
Oleg Nesterovf4d6dfe2012-07-29 20:22:44 +0200823 if (vma->vm_start > info->vaddr ||
824 vaddr_to_offset(vma, info->vaddr) != uprobe->offset)
Oleg Nesterov26872092012-06-15 17:43:33 +0200825 goto unlock;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530826
Oleg Nesterov78f74112012-08-08 17:35:08 +0200827 if (is_register)
Oleg Nesterov26872092012-06-15 17:43:33 +0200828 err = install_breakpoint(uprobe, mm, vma, info->vaddr);
Oleg Nesterov78f74112012-08-08 17:35:08 +0200829 else
Oleg Nesterov26872092012-06-15 17:43:33 +0200830 remove_breakpoint(uprobe, mm, info->vaddr);
Oleg Nesterov78f74112012-08-08 17:35:08 +0200831
Oleg Nesterov26872092012-06-15 17:43:33 +0200832 unlock:
833 up_write(&mm->mmap_sem);
834 free:
835 mmput(mm);
836 info = free_map_info(info);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530837 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100838
Oleg Nesterov26872092012-06-15 17:43:33 +0200839 return err;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530840}
841
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100842static int __uprobe_register(struct uprobe *uprobe)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530843{
844 return register_for_each_vma(uprobe, true);
845}
846
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100847static void __uprobe_unregister(struct uprobe *uprobe)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530848{
849 if (!register_for_each_vma(uprobe, false))
850 delete_uprobe(uprobe);
851
852 /* TODO : cant unregister? schedule a worker thread */
853}
854
855/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100856 * uprobe_register - register a probe
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530857 * @inode: the file in which the probe has to be placed.
858 * @offset: offset from the start of the file.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530859 * @uc: information on howto handle the probe..
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530860 *
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100861 * Apart from the access refcount, uprobe_register() takes a creation
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530862 * refcount (thro alloc_uprobe) if and only if this @uprobe is getting
863 * inserted into the rbtree (i.e first consumer for a @inode:@offset
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100864 * tuple). Creation refcount stops uprobe_unregister from freeing the
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530865 * @uprobe even before the register operation is complete. Creation
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530866 * refcount is released when the last @uc for the @uprobe
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530867 * unregisters.
868 *
869 * Return errno if it cannot successully install probes
870 * else return 0 (success)
871 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530872int uprobe_register(struct inode *inode, loff_t offset, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530873{
874 struct uprobe *uprobe;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100875 int ret;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530876
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530877 if (!inode || !uc || uc->next)
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100878 return -EINVAL;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530879
880 if (offset > i_size_read(inode))
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100881 return -EINVAL;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530882
883 ret = 0;
884 mutex_lock(uprobes_hash(inode));
885 uprobe = alloc_uprobe(inode, offset);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100886
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530887 if (uprobe && !consumer_add(uprobe, uc)) {
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100888 ret = __uprobe_register(uprobe);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530889 if (ret) {
890 uprobe->consumers = NULL;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100891 __uprobe_unregister(uprobe);
892 } else {
Srikar Dronamraju900771a2012-03-12 14:55:14 +0530893 uprobe->flags |= UPROBE_RUN_HANDLER;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100894 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530895 }
896
897 mutex_unlock(uprobes_hash(inode));
Sebastian Andrzej Siewior6d1d8df2012-08-30 19:26:22 +0200898 if (uprobe)
899 put_uprobe(uprobe);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530900
901 return ret;
902}
903
904/*
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100905 * uprobe_unregister - unregister a already registered probe.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530906 * @inode: the file in which the probe has to be removed.
907 * @offset: offset from the start of the file.
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530908 * @uc: identify which probe if multiple probes are colocated.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530909 */
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530910void uprobe_unregister(struct inode *inode, loff_t offset, struct uprobe_consumer *uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530911{
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100912 struct uprobe *uprobe;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530913
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530914 if (!inode || !uc)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530915 return;
916
917 uprobe = find_uprobe(inode, offset);
918 if (!uprobe)
919 return;
920
921 mutex_lock(uprobes_hash(inode));
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530922
Srikar Dronamrajue3343e62012-03-12 14:55:30 +0530923 if (consumer_del(uprobe, uc)) {
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100924 if (!uprobe->consumers) {
925 __uprobe_unregister(uprobe);
Srikar Dronamraju900771a2012-03-12 14:55:14 +0530926 uprobe->flags &= ~UPROBE_RUN_HANDLER;
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100927 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530928 }
929
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530930 mutex_unlock(uprobes_hash(inode));
931 if (uprobe)
932 put_uprobe(uprobe);
933}
934
Oleg Nesterov891c3972012-07-29 20:22:40 +0200935static struct rb_node *
936find_node_in_range(struct inode *inode, loff_t min, loff_t max)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530937{
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530938 struct rb_node *n = uprobes_tree.rb_node;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530939
940 while (n) {
Oleg Nesterov891c3972012-07-29 20:22:40 +0200941 struct uprobe *u = rb_entry(n, struct uprobe, rb_node);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100942
Oleg Nesterov891c3972012-07-29 20:22:40 +0200943 if (inode < u->inode) {
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530944 n = n->rb_left;
Oleg Nesterov891c3972012-07-29 20:22:40 +0200945 } else if (inode > u->inode) {
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530946 n = n->rb_right;
Oleg Nesterov891c3972012-07-29 20:22:40 +0200947 } else {
948 if (max < u->offset)
949 n = n->rb_left;
950 else if (min > u->offset)
951 n = n->rb_right;
952 else
953 break;
954 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530955 }
Ingo Molnar7b2d81d2012-02-17 09:27:41 +0100956
Oleg Nesterov891c3972012-07-29 20:22:40 +0200957 return n;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530958}
959
960/*
Oleg Nesterov891c3972012-07-29 20:22:40 +0200961 * For a given range in vma, build a list of probes that need to be inserted.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530962 */
Oleg Nesterov891c3972012-07-29 20:22:40 +0200963static void build_probe_list(struct inode *inode,
964 struct vm_area_struct *vma,
965 unsigned long start, unsigned long end,
966 struct list_head *head)
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530967{
Oleg Nesterov891c3972012-07-29 20:22:40 +0200968 loff_t min, max;
Oleg Nesterov891c3972012-07-29 20:22:40 +0200969 struct rb_node *n, *t;
970 struct uprobe *u;
971
972 INIT_LIST_HEAD(head);
Oleg Nesterovcb113b42012-07-29 20:22:42 +0200973 min = vaddr_to_offset(vma, start);
Oleg Nesterov891c3972012-07-29 20:22:40 +0200974 max = min + (end - start) - 1;
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530975
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200976 spin_lock(&uprobes_treelock);
Oleg Nesterov891c3972012-07-29 20:22:40 +0200977 n = find_node_in_range(inode, min, max);
978 if (n) {
979 for (t = n; t; t = rb_prev(t)) {
980 u = rb_entry(t, struct uprobe, rb_node);
981 if (u->inode != inode || u->offset < min)
982 break;
983 list_add(&u->pending_list, head);
984 atomic_inc(&u->ref);
985 }
986 for (t = n; (t = rb_next(t)); ) {
987 u = rb_entry(t, struct uprobe, rb_node);
988 if (u->inode != inode || u->offset > max)
989 break;
990 list_add(&u->pending_list, head);
991 atomic_inc(&u->ref);
992 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530993 }
Oleg Nesterov6f47caa2012-08-18 17:01:57 +0200994 spin_unlock(&uprobes_treelock);
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530995}
996
997/*
Oleg Nesterov5e5be712012-08-06 14:49:56 +0200998 * Called from mmap_region/vma_adjust with mm->mmap_sem acquired.
Srikar Dronamraju2b144492012-02-09 14:56:42 +0530999 *
Oleg Nesterov5e5be712012-08-06 14:49:56 +02001000 * Currently we ignore all errors and always return 0, the callers
1001 * can't handle the failure anyway.
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301002 */
Ingo Molnar7b2d81d2012-02-17 09:27:41 +01001003int uprobe_mmap(struct vm_area_struct *vma)
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301004{
1005 struct list_head tmp_list;
Oleg Nesterov665605a2012-07-29 20:22:29 +02001006 struct uprobe *uprobe, *u;
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301007 struct inode *inode;
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301008
1009 if (!atomic_read(&uprobe_events) || !valid_vma(vma, true))
Ingo Molnar7b2d81d2012-02-17 09:27:41 +01001010 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301011
1012 inode = vma->vm_file->f_mapping->host;
1013 if (!inode)
Ingo Molnar7b2d81d2012-02-17 09:27:41 +01001014 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301015
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301016 mutex_lock(uprobes_mmap_hash(inode));
Oleg Nesterov891c3972012-07-29 20:22:40 +02001017 build_probe_list(inode, vma, vma->vm_start, vma->vm_end, &tmp_list);
Ingo Molnar7b2d81d2012-02-17 09:27:41 +01001018
Oleg Nesterov665605a2012-07-29 20:22:29 +02001019 list_for_each_entry_safe(uprobe, u, &tmp_list, pending_list) {
Oleg Nesterov5e5be712012-08-06 14:49:56 +02001020 if (!fatal_signal_pending(current)) {
Oleg Nesterov57683f72012-07-29 20:22:47 +02001021 unsigned long vaddr = offset_to_vaddr(vma, uprobe->offset);
Oleg Nesterov5e5be712012-08-06 14:49:56 +02001022 install_breakpoint(uprobe, vma->vm_mm, vma, vaddr);
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301023 }
1024 put_uprobe(uprobe);
1025 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301026 mutex_unlock(uprobes_mmap_hash(inode));
1027
Oleg Nesterov5e5be712012-08-06 14:49:56 +02001028 return 0;
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301029}
1030
Oleg Nesterov9f68f672012-08-19 16:15:09 +02001031static bool
1032vma_has_uprobes(struct vm_area_struct *vma, unsigned long start, unsigned long end)
1033{
1034 loff_t min, max;
1035 struct inode *inode;
1036 struct rb_node *n;
1037
1038 inode = vma->vm_file->f_mapping->host;
1039
1040 min = vaddr_to_offset(vma, start);
1041 max = min + (end - start) - 1;
1042
1043 spin_lock(&uprobes_treelock);
1044 n = find_node_in_range(inode, min, max);
1045 spin_unlock(&uprobes_treelock);
1046
1047 return !!n;
1048}
1049
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301050/*
1051 * Called in context of a munmap of a vma.
1052 */
Srikar Dronamrajucbc91f72012-04-11 16:05:27 +05301053void uprobe_munmap(struct vm_area_struct *vma, unsigned long start, unsigned long end)
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301054{
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301055 if (!atomic_read(&uprobe_events) || !valid_vma(vma, false))
1056 return;
1057
Oleg Nesterov2fd611a2012-07-29 20:22:31 +02001058 if (!atomic_read(&vma->vm_mm->mm_users)) /* called by mmput() ? */
1059 return;
1060
Oleg Nesterov9f68f672012-08-19 16:15:09 +02001061 if (!test_bit(MMF_HAS_UPROBES, &vma->vm_mm->flags) ||
1062 test_bit(MMF_RECALC_UPROBES, &vma->vm_mm->flags))
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001063 return;
1064
Oleg Nesterov9f68f672012-08-19 16:15:09 +02001065 if (vma_has_uprobes(vma, start, end))
1066 set_bit(MMF_RECALC_UPROBES, &vma->vm_mm->flags);
Srikar Dronamraju682968e2012-03-30 23:56:46 +05301067}
1068
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301069/* Slot allocation for XOL */
1070static int xol_add_vma(struct xol_area *area)
1071{
1072 struct mm_struct *mm;
1073 int ret;
1074
1075 area->page = alloc_page(GFP_HIGHUSER);
1076 if (!area->page)
1077 return -ENOMEM;
1078
1079 ret = -EALREADY;
1080 mm = current->mm;
1081
1082 down_write(&mm->mmap_sem);
1083 if (mm->uprobes_state.xol_area)
1084 goto fail;
1085
1086 ret = -ENOMEM;
1087
1088 /* Try to map as high as possible, this is only a hint. */
1089 area->vaddr = get_unmapped_area(NULL, TASK_SIZE - PAGE_SIZE, PAGE_SIZE, 0, 0);
1090 if (area->vaddr & ~PAGE_MASK) {
1091 ret = area->vaddr;
1092 goto fail;
1093 }
1094
1095 ret = install_special_mapping(mm, area->vaddr, PAGE_SIZE,
1096 VM_EXEC|VM_MAYEXEC|VM_DONTCOPY|VM_IO, &area->page);
1097 if (ret)
1098 goto fail;
1099
1100 smp_wmb(); /* pairs with get_xol_area() */
1101 mm->uprobes_state.xol_area = area;
1102 ret = 0;
1103
1104fail:
1105 up_write(&mm->mmap_sem);
1106 if (ret)
1107 __free_page(area->page);
1108
1109 return ret;
1110}
1111
1112static struct xol_area *get_xol_area(struct mm_struct *mm)
1113{
1114 struct xol_area *area;
1115
1116 area = mm->uprobes_state.xol_area;
1117 smp_read_barrier_depends(); /* pairs with wmb in xol_add_vma() */
1118
1119 return area;
1120}
1121
1122/*
1123 * xol_alloc_area - Allocate process's xol_area.
1124 * This area will be used for storing instructions for execution out of
1125 * line.
1126 *
1127 * Returns the allocated area or NULL.
1128 */
1129static struct xol_area *xol_alloc_area(void)
1130{
1131 struct xol_area *area;
1132
1133 area = kzalloc(sizeof(*area), GFP_KERNEL);
1134 if (unlikely(!area))
1135 return NULL;
1136
1137 area->bitmap = kzalloc(BITS_TO_LONGS(UINSNS_PER_PAGE) * sizeof(long), GFP_KERNEL);
1138
1139 if (!area->bitmap)
1140 goto fail;
1141
1142 init_waitqueue_head(&area->wq);
1143 if (!xol_add_vma(area))
1144 return area;
1145
1146fail:
1147 kfree(area->bitmap);
1148 kfree(area);
1149
1150 return get_xol_area(current->mm);
1151}
1152
1153/*
1154 * uprobe_clear_state - Free the area allocated for slots.
1155 */
1156void uprobe_clear_state(struct mm_struct *mm)
1157{
1158 struct xol_area *area = mm->uprobes_state.xol_area;
1159
1160 if (!area)
1161 return;
1162
1163 put_page(area->page);
1164 kfree(area->bitmap);
1165 kfree(area);
1166}
1167
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001168void uprobe_dup_mmap(struct mm_struct *oldmm, struct mm_struct *newmm)
1169{
Oleg Nesterov61559a82012-08-08 17:17:46 +02001170 newmm->uprobes_state.xol_area = NULL;
1171
Oleg Nesterov9f68f672012-08-19 16:15:09 +02001172 if (test_bit(MMF_HAS_UPROBES, &oldmm->flags)) {
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001173 set_bit(MMF_HAS_UPROBES, &newmm->flags);
Oleg Nesterov9f68f672012-08-19 16:15:09 +02001174 /* unconditionally, dup_mmap() skips VM_DONTCOPY vmas */
1175 set_bit(MMF_RECALC_UPROBES, &newmm->flags);
1176 }
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001177}
1178
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301179/*
1180 * - search for a free slot.
1181 */
1182static unsigned long xol_take_insn_slot(struct xol_area *area)
1183{
1184 unsigned long slot_addr;
1185 int slot_nr;
1186
1187 do {
1188 slot_nr = find_first_zero_bit(area->bitmap, UINSNS_PER_PAGE);
1189 if (slot_nr < UINSNS_PER_PAGE) {
1190 if (!test_and_set_bit(slot_nr, area->bitmap))
1191 break;
1192
1193 slot_nr = UINSNS_PER_PAGE;
1194 continue;
1195 }
1196 wait_event(area->wq, (atomic_read(&area->slot_count) < UINSNS_PER_PAGE));
1197 } while (slot_nr >= UINSNS_PER_PAGE);
1198
1199 slot_addr = area->vaddr + (slot_nr * UPROBE_XOL_SLOT_BYTES);
1200 atomic_inc(&area->slot_count);
1201
1202 return slot_addr;
1203}
1204
1205/*
1206 * xol_get_insn_slot - If was not allocated a slot, then
1207 * allocate a slot.
1208 * Returns the allocated slot address or 0.
1209 */
1210static unsigned long xol_get_insn_slot(struct uprobe *uprobe, unsigned long slot_addr)
1211{
1212 struct xol_area *area;
1213 unsigned long offset;
1214 void *vaddr;
1215
1216 area = get_xol_area(current->mm);
1217 if (!area) {
1218 area = xol_alloc_area();
1219 if (!area)
1220 return 0;
1221 }
1222 current->utask->xol_vaddr = xol_take_insn_slot(area);
1223
1224 /*
1225 * Initialize the slot if xol_vaddr points to valid
1226 * instruction slot.
1227 */
1228 if (unlikely(!current->utask->xol_vaddr))
1229 return 0;
1230
1231 current->utask->vaddr = slot_addr;
1232 offset = current->utask->xol_vaddr & ~PAGE_MASK;
1233 vaddr = kmap_atomic(area->page);
1234 memcpy(vaddr + offset, uprobe->arch.insn, MAX_UINSN_BYTES);
1235 kunmap_atomic(vaddr);
1236
1237 return current->utask->xol_vaddr;
1238}
1239
1240/*
1241 * xol_free_insn_slot - If slot was earlier allocated by
1242 * @xol_get_insn_slot(), make the slot available for
1243 * subsequent requests.
1244 */
1245static void xol_free_insn_slot(struct task_struct *tsk)
1246{
1247 struct xol_area *area;
1248 unsigned long vma_end;
1249 unsigned long slot_addr;
1250
1251 if (!tsk->mm || !tsk->mm->uprobes_state.xol_area || !tsk->utask)
1252 return;
1253
1254 slot_addr = tsk->utask->xol_vaddr;
1255
1256 if (unlikely(!slot_addr || IS_ERR_VALUE(slot_addr)))
1257 return;
1258
1259 area = tsk->mm->uprobes_state.xol_area;
1260 vma_end = area->vaddr + PAGE_SIZE;
1261 if (area->vaddr <= slot_addr && slot_addr < vma_end) {
1262 unsigned long offset;
1263 int slot_nr;
1264
1265 offset = slot_addr - area->vaddr;
1266 slot_nr = offset / UPROBE_XOL_SLOT_BYTES;
1267 if (slot_nr >= UINSNS_PER_PAGE)
1268 return;
1269
1270 clear_bit(slot_nr, area->bitmap);
1271 atomic_dec(&area->slot_count);
1272 if (waitqueue_active(&area->wq))
1273 wake_up(&area->wq);
1274
1275 tsk->utask->xol_vaddr = 0;
1276 }
1277}
1278
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301279/**
1280 * uprobe_get_swbp_addr - compute address of swbp given post-swbp regs
1281 * @regs: Reflects the saved state of the task after it has hit a breakpoint
1282 * instruction.
1283 * Return the address of the breakpoint instruction.
1284 */
1285unsigned long __weak uprobe_get_swbp_addr(struct pt_regs *regs)
1286{
1287 return instruction_pointer(regs) - UPROBE_SWBP_INSN_SIZE;
1288}
1289
1290/*
1291 * Called with no locks held.
1292 * Called in context of a exiting or a exec-ing thread.
1293 */
1294void uprobe_free_utask(struct task_struct *t)
1295{
1296 struct uprobe_task *utask = t->utask;
1297
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301298 if (!utask)
1299 return;
1300
1301 if (utask->active_uprobe)
1302 put_uprobe(utask->active_uprobe);
1303
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301304 xol_free_insn_slot(t);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301305 kfree(utask);
1306 t->utask = NULL;
1307}
1308
1309/*
1310 * Called in context of a new clone/fork from copy_process.
1311 */
1312void uprobe_copy_process(struct task_struct *t)
1313{
1314 t->utask = NULL;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301315}
1316
1317/*
1318 * Allocate a uprobe_task object for the task.
1319 * Called when the thread hits a breakpoint for the first time.
1320 *
1321 * Returns:
1322 * - pointer to new uprobe_task on success
1323 * - NULL otherwise
1324 */
1325static struct uprobe_task *add_utask(void)
1326{
1327 struct uprobe_task *utask;
1328
1329 utask = kzalloc(sizeof *utask, GFP_KERNEL);
1330 if (unlikely(!utask))
1331 return NULL;
1332
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301333 current->utask = utask;
1334 return utask;
1335}
1336
1337/* Prepare to single-step probed instruction out of line. */
1338static int
1339pre_ssout(struct uprobe *uprobe, struct pt_regs *regs, unsigned long vaddr)
1340{
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301341 if (xol_get_insn_slot(uprobe, vaddr) && !arch_uprobe_pre_xol(&uprobe->arch, regs))
1342 return 0;
1343
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301344 return -EFAULT;
1345}
1346
1347/*
1348 * If we are singlestepping, then ensure this thread is not connected to
1349 * non-fatal signals until completion of singlestep. When xol insn itself
1350 * triggers the signal, restart the original insn even if the task is
1351 * already SIGKILL'ed (since coredump should report the correct ip). This
1352 * is even more important if the task has a handler for SIGSEGV/etc, The
1353 * _same_ instruction should be repeated again after return from the signal
1354 * handler, and SSTEP can never finish in this case.
1355 */
1356bool uprobe_deny_signal(void)
1357{
1358 struct task_struct *t = current;
1359 struct uprobe_task *utask = t->utask;
1360
1361 if (likely(!utask || !utask->active_uprobe))
1362 return false;
1363
1364 WARN_ON_ONCE(utask->state != UTASK_SSTEP);
1365
1366 if (signal_pending(t)) {
1367 spin_lock_irq(&t->sighand->siglock);
1368 clear_tsk_thread_flag(t, TIF_SIGPENDING);
1369 spin_unlock_irq(&t->sighand->siglock);
1370
1371 if (__fatal_signal_pending(t) || arch_uprobe_xol_was_trapped(t)) {
1372 utask->state = UTASK_SSTEP_TRAPPED;
1373 set_tsk_thread_flag(t, TIF_UPROBE);
1374 set_tsk_thread_flag(t, TIF_NOTIFY_RESUME);
1375 }
1376 }
1377
1378 return true;
1379}
1380
1381/*
1382 * Avoid singlestepping the original instruction if the original instruction
1383 * is a NOP or can be emulated.
1384 */
1385static bool can_skip_sstep(struct uprobe *uprobe, struct pt_regs *regs)
1386{
Oleg Nesterov0578a972012-09-14 18:31:23 +02001387 if (uprobe->flags & UPROBE_SKIP_SSTEP) {
1388 if (arch_uprobe_skip_sstep(&uprobe->arch, regs))
1389 return true;
1390 uprobe->flags &= ~UPROBE_SKIP_SSTEP;
1391 }
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301392 return false;
1393}
1394
Oleg Nesterov499a4f32012-08-19 17:41:34 +02001395static void mmf_recalc_uprobes(struct mm_struct *mm)
1396{
1397 struct vm_area_struct *vma;
1398
1399 for (vma = mm->mmap; vma; vma = vma->vm_next) {
1400 if (!valid_vma(vma, false))
1401 continue;
1402 /*
1403 * This is not strictly accurate, we can race with
1404 * uprobe_unregister() and see the already removed
1405 * uprobe if delete_uprobe() was not yet called.
1406 */
1407 if (vma_has_uprobes(vma, vma->vm_start, vma->vm_end))
1408 return;
1409 }
1410
1411 clear_bit(MMF_HAS_UPROBES, &mm->flags);
1412}
1413
Oleg Nesterovd790d342012-05-29 21:29:14 +02001414static struct uprobe *find_active_uprobe(unsigned long bp_vaddr, int *is_swbp)
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001415{
1416 struct mm_struct *mm = current->mm;
1417 struct uprobe *uprobe = NULL;
1418 struct vm_area_struct *vma;
1419
1420 down_read(&mm->mmap_sem);
1421 vma = find_vma(mm, bp_vaddr);
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001422 if (vma && vma->vm_start <= bp_vaddr) {
1423 if (valid_vma(vma, false)) {
Oleg Nesterovcb113b42012-07-29 20:22:42 +02001424 struct inode *inode = vma->vm_file->f_mapping->host;
1425 loff_t offset = vaddr_to_offset(vma, bp_vaddr);
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001426
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001427 uprobe = find_uprobe(inode, offset);
1428 }
Oleg Nesterovd790d342012-05-29 21:29:14 +02001429
1430 if (!uprobe)
1431 *is_swbp = is_swbp_at_addr(mm, bp_vaddr);
1432 } else {
1433 *is_swbp = -EFAULT;
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001434 }
Oleg Nesterov499a4f32012-08-19 17:41:34 +02001435
1436 if (!uprobe && test_and_clear_bit(MMF_RECALC_UPROBES, &mm->flags))
1437 mmf_recalc_uprobes(mm);
Oleg Nesterov3a9ea052012-05-29 21:28:57 +02001438 up_read(&mm->mmap_sem);
1439
1440 return uprobe;
1441}
1442
Sebastian Andrzej Siewior9d778782012-08-07 18:12:28 +02001443void __weak arch_uprobe_enable_step(struct arch_uprobe *arch)
1444{
1445 user_enable_single_step(current);
1446}
1447
1448void __weak arch_uprobe_disable_step(struct arch_uprobe *arch)
1449{
1450 user_disable_single_step(current);
1451}
1452
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301453/*
1454 * Run handler and ask thread to singlestep.
1455 * Ensure all non-fatal signals cannot interrupt thread while it singlesteps.
1456 */
1457static void handle_swbp(struct pt_regs *regs)
1458{
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301459 struct uprobe_task *utask;
1460 struct uprobe *uprobe;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301461 unsigned long bp_vaddr;
Oleg Nesterov56bb4cf2012-05-29 21:29:47 +02001462 int uninitialized_var(is_swbp);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301463
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301464 bp_vaddr = uprobe_get_swbp_addr(regs);
Oleg Nesterovd790d342012-05-29 21:29:14 +02001465 uprobe = find_active_uprobe(bp_vaddr, &is_swbp);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301466
1467 if (!uprobe) {
Oleg Nesterov56bb4cf2012-05-29 21:29:47 +02001468 if (is_swbp > 0) {
1469 /* No matching uprobe; signal SIGTRAP. */
1470 send_sig(SIGTRAP, current, 0);
1471 } else {
1472 /*
1473 * Either we raced with uprobe_unregister() or we can't
1474 * access this memory. The latter is only possible if
1475 * another thread plays with our ->mm. In both cases
1476 * we can simply restart. If this vma was unmapped we
1477 * can pretend this insn was not executed yet and get
1478 * the (correct) SIGSEGV after restart.
1479 */
1480 instruction_pointer_set(regs, bp_vaddr);
1481 }
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301482 return;
1483 }
1484
Oleg Nesterov1b08e9072012-09-14 18:52:10 +02001485 utask = current->utask;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301486 if (!utask) {
1487 utask = add_utask();
1488 /* Cannot allocate; re-execute the instruction. */
1489 if (!utask)
Oleg Nesterov0578a972012-09-14 18:31:23 +02001490 goto restart;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301491 }
Oleg Nesterov746a9e62012-09-14 18:23:51 +02001492
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301493 handler_chain(uprobe, regs);
Oleg Nesterov0578a972012-09-14 18:31:23 +02001494 if (can_skip_sstep(uprobe, regs))
1495 goto out;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301496
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301497 if (!pre_ssout(uprobe, regs, bp_vaddr)) {
Sebastian Andrzej Siewior9d778782012-08-07 18:12:28 +02001498 arch_uprobe_enable_step(&uprobe->arch);
Oleg Nesterov746a9e62012-09-14 18:23:51 +02001499 utask->active_uprobe = uprobe;
1500 utask->state = UTASK_SSTEP;
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301501 return;
1502 }
1503
Oleg Nesterov0578a972012-09-14 18:31:23 +02001504restart:
1505 /*
1506 * cannot singlestep; cannot skip instruction;
1507 * re-execute the instruction.
1508 */
1509 instruction_pointer_set(regs, bp_vaddr);
1510out:
Sebastian Andrzej Siewior8bd87442012-08-07 18:12:30 +02001511 put_uprobe(uprobe);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301512}
1513
1514/*
1515 * Perform required fix-ups and disable singlestep.
1516 * Allow pending signals to take effect.
1517 */
1518static void handle_singlestep(struct uprobe_task *utask, struct pt_regs *regs)
1519{
1520 struct uprobe *uprobe;
1521
1522 uprobe = utask->active_uprobe;
1523 if (utask->state == UTASK_SSTEP_ACK)
1524 arch_uprobe_post_xol(&uprobe->arch, regs);
1525 else if (utask->state == UTASK_SSTEP_TRAPPED)
1526 arch_uprobe_abort_xol(&uprobe->arch, regs);
1527 else
1528 WARN_ON_ONCE(1);
1529
Sebastian Andrzej Siewior9d778782012-08-07 18:12:28 +02001530 arch_uprobe_disable_step(&uprobe->arch);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301531 put_uprobe(uprobe);
1532 utask->active_uprobe = NULL;
1533 utask->state = UTASK_RUNNING;
Srikar Dronamrajud4b3b632012-03-30 23:56:31 +05301534 xol_free_insn_slot(current);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301535
1536 spin_lock_irq(&current->sighand->siglock);
1537 recalc_sigpending(); /* see uprobe_deny_signal() */
1538 spin_unlock_irq(&current->sighand->siglock);
1539}
1540
1541/*
Oleg Nesterov1b08e9072012-09-14 18:52:10 +02001542 * On breakpoint hit, breakpoint notifier sets the TIF_UPROBE flag and
1543 * allows the thread to return from interrupt. After that handle_swbp()
1544 * sets utask->active_uprobe.
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301545 *
Oleg Nesterov1b08e9072012-09-14 18:52:10 +02001546 * On singlestep exception, singlestep notifier sets the TIF_UPROBE flag
1547 * and allows the thread to return from interrupt.
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301548 *
1549 * While returning to userspace, thread notices the TIF_UPROBE flag and calls
1550 * uprobe_notify_resume().
1551 */
1552void uprobe_notify_resume(struct pt_regs *regs)
1553{
1554 struct uprobe_task *utask;
1555
Oleg Nesterovdb023ea2012-09-14 19:05:46 +02001556 clear_thread_flag(TIF_UPROBE);
1557
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301558 utask = current->utask;
Oleg Nesterov1b08e9072012-09-14 18:52:10 +02001559 if (utask && utask->active_uprobe)
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301560 handle_singlestep(utask, regs);
Oleg Nesterov1b08e9072012-09-14 18:52:10 +02001561 else
1562 handle_swbp(regs);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301563}
1564
1565/*
1566 * uprobe_pre_sstep_notifier gets called from interrupt context as part of
1567 * notifier mechanism. Set TIF_UPROBE flag and indicate breakpoint hit.
1568 */
1569int uprobe_pre_sstep_notifier(struct pt_regs *regs)
1570{
Oleg Nesterovf8ac4ec2012-08-08 17:11:42 +02001571 if (!current->mm || !test_bit(MMF_HAS_UPROBES, &current->mm->flags))
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301572 return 0;
1573
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301574 set_thread_flag(TIF_UPROBE);
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301575 return 1;
1576}
1577
1578/*
1579 * uprobe_post_sstep_notifier gets called in interrupt context as part of notifier
1580 * mechanism. Set TIF_UPROBE flag and indicate completion of singlestep.
1581 */
1582int uprobe_post_sstep_notifier(struct pt_regs *regs)
1583{
1584 struct uprobe_task *utask = current->utask;
1585
1586 if (!current->mm || !utask || !utask->active_uprobe)
1587 /* task is currently not uprobed */
1588 return 0;
1589
1590 utask->state = UTASK_SSTEP_ACK;
1591 set_thread_flag(TIF_UPROBE);
1592 return 1;
1593}
1594
1595static struct notifier_block uprobe_exception_nb = {
1596 .notifier_call = arch_uprobe_exception_notify,
1597 .priority = INT_MAX-1, /* notified after kprobes, kgdb */
1598};
1599
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301600static int __init init_uprobes(void)
1601{
1602 int i;
1603
1604 for (i = 0; i < UPROBES_HASH_SZ; i++) {
1605 mutex_init(&uprobes_mutex[i]);
1606 mutex_init(&uprobes_mmap_mutex[i]);
1607 }
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301608
1609 return register_die_notifier(&uprobe_exception_nb);
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301610}
Srikar Dronamraju0326f5a2012-03-13 23:30:11 +05301611module_init(init_uprobes);
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301612
1613static void __exit exit_uprobes(void)
1614{
1615}
Srikar Dronamraju2b144492012-02-09 14:56:42 +05301616module_exit(exit_uprobes);