1a5f4374aSIngo Molnar /* 2a5f4374aSIngo Molnar * User-space Probes (UProbes) 3a5f4374aSIngo Molnar * 4a5f4374aSIngo Molnar * This program is free software; you can redistribute it and/or modify 5a5f4374aSIngo Molnar * it under the terms of the GNU General Public License as published by 6a5f4374aSIngo Molnar * the Free Software Foundation; either version 2 of the License, or 7a5f4374aSIngo Molnar * (at your option) any later version. 8a5f4374aSIngo Molnar * 9a5f4374aSIngo Molnar * This program is distributed in the hope that it will be useful, 10a5f4374aSIngo Molnar * but WITHOUT ANY WARRANTY; without even the implied warranty of 11a5f4374aSIngo Molnar * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12a5f4374aSIngo Molnar * GNU General Public License for more details. 13a5f4374aSIngo Molnar * 14a5f4374aSIngo Molnar * You should have received a copy of the GNU General Public License 15a5f4374aSIngo Molnar * along with this program; if not, write to the Free Software 16a5f4374aSIngo Molnar * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. 17a5f4374aSIngo Molnar * 1835aa621bSIngo Molnar * Copyright (C) IBM Corporation, 2008-2012 19a5f4374aSIngo Molnar * Authors: 20a5f4374aSIngo Molnar * Srikar Dronamraju 21a5f4374aSIngo Molnar * Jim Keniston 2235aa621bSIngo Molnar * Copyright (C) 2011-2012 Red Hat, Inc., Peter Zijlstra <pzijlstr@redhat.com> 23a5f4374aSIngo Molnar */ 24a5f4374aSIngo Molnar 25a5f4374aSIngo Molnar #include <linux/kernel.h> 26a5f4374aSIngo Molnar #include <linux/highmem.h> 27a5f4374aSIngo Molnar #include <linux/pagemap.h> /* read_mapping_page */ 28a5f4374aSIngo Molnar #include <linux/slab.h> 29a5f4374aSIngo Molnar #include <linux/sched.h> 30a5f4374aSIngo Molnar #include <linux/rmap.h> /* anon_vma_prepare */ 31a5f4374aSIngo Molnar #include <linux/mmu_notifier.h> /* set_pte_at_notify */ 32a5f4374aSIngo Molnar #include <linux/swap.h> /* try_to_free_swap */ 330326f5a9SSrikar Dronamraju #include <linux/ptrace.h> /* user_enable_single_step */ 340326f5a9SSrikar Dronamraju #include <linux/kdebug.h> /* notifier mechanism */ 35a5f4374aSIngo Molnar 36a5f4374aSIngo Molnar #include <linux/uprobes.h> 37a5f4374aSIngo Molnar 38d4b3b638SSrikar Dronamraju #define UINSNS_PER_PAGE (PAGE_SIZE/UPROBE_XOL_SLOT_BYTES) 39d4b3b638SSrikar Dronamraju #define MAX_UPROBE_XOL_SLOTS UINSNS_PER_PAGE 40d4b3b638SSrikar Dronamraju 41a5f4374aSIngo Molnar static struct rb_root uprobes_tree = RB_ROOT; 42a5f4374aSIngo Molnar 43a5f4374aSIngo Molnar static DEFINE_SPINLOCK(uprobes_treelock); /* serialize rbtree access */ 44a5f4374aSIngo Molnar 45a5f4374aSIngo Molnar #define UPROBES_HASH_SZ 13 46a5f4374aSIngo Molnar 47c5784de2SPeter Zijlstra /* 48c5784de2SPeter Zijlstra * We need separate register/unregister and mmap/munmap lock hashes because 49c5784de2SPeter Zijlstra * of mmap_sem nesting. 50c5784de2SPeter Zijlstra * 51c5784de2SPeter Zijlstra * uprobe_register() needs to install probes on (potentially) all processes 52c5784de2SPeter Zijlstra * and thus needs to acquire multiple mmap_sems (consequtively, not 53c5784de2SPeter Zijlstra * concurrently), whereas uprobe_mmap() is called while holding mmap_sem 54c5784de2SPeter Zijlstra * for the particular process doing the mmap. 55c5784de2SPeter Zijlstra * 56c5784de2SPeter Zijlstra * uprobe_register()->register_for_each_vma() needs to drop/acquire mmap_sem 57c5784de2SPeter Zijlstra * because of lock order against i_mmap_mutex. This means there's a hole in 58c5784de2SPeter Zijlstra * the register vma iteration where a mmap() can happen. 59c5784de2SPeter Zijlstra * 60c5784de2SPeter Zijlstra * Thus uprobe_register() can race with uprobe_mmap() and we can try and 61c5784de2SPeter Zijlstra * install a probe where one is already installed. 62c5784de2SPeter Zijlstra */ 63c5784de2SPeter Zijlstra 64a5f4374aSIngo Molnar /* serialize (un)register */ 65a5f4374aSIngo Molnar static struct mutex uprobes_mutex[UPROBES_HASH_SZ]; 66a5f4374aSIngo Molnar 67a5f4374aSIngo Molnar #define uprobes_hash(v) (&uprobes_mutex[((unsigned long)(v)) % UPROBES_HASH_SZ]) 68a5f4374aSIngo Molnar 69a5f4374aSIngo Molnar /* serialize uprobe->pending_list */ 70a5f4374aSIngo Molnar static struct mutex uprobes_mmap_mutex[UPROBES_HASH_SZ]; 71a5f4374aSIngo Molnar #define uprobes_mmap_hash(v) (&uprobes_mmap_mutex[((unsigned long)(v)) % UPROBES_HASH_SZ]) 72a5f4374aSIngo Molnar 73a5f4374aSIngo Molnar /* 74a5f4374aSIngo Molnar * uprobe_events allows us to skip the uprobe_mmap if there are no uprobe 75a5f4374aSIngo Molnar * events active at this time. Probably a fine grained per inode count is 76a5f4374aSIngo Molnar * better? 77a5f4374aSIngo Molnar */ 78a5f4374aSIngo Molnar static atomic_t uprobe_events = ATOMIC_INIT(0); 79a5f4374aSIngo Molnar 803ff54efdSSrikar Dronamraju struct uprobe { 813ff54efdSSrikar Dronamraju struct rb_node rb_node; /* node in the rb tree */ 823ff54efdSSrikar Dronamraju atomic_t ref; 833ff54efdSSrikar Dronamraju struct rw_semaphore consumer_rwsem; 843ff54efdSSrikar Dronamraju struct list_head pending_list; 853ff54efdSSrikar Dronamraju struct uprobe_consumer *consumers; 863ff54efdSSrikar Dronamraju struct inode *inode; /* Also hold a ref to inode */ 873ff54efdSSrikar Dronamraju loff_t offset; 883ff54efdSSrikar Dronamraju int flags; 893ff54efdSSrikar Dronamraju struct arch_uprobe arch; 903ff54efdSSrikar Dronamraju }; 913ff54efdSSrikar Dronamraju 92a5f4374aSIngo Molnar /* 93a5f4374aSIngo Molnar * valid_vma: Verify if the specified vma is an executable vma 94a5f4374aSIngo Molnar * Relax restrictions while unregistering: vm_flags might have 95a5f4374aSIngo Molnar * changed after breakpoint was inserted. 96a5f4374aSIngo Molnar * - is_register: indicates if we are in register context. 97a5f4374aSIngo Molnar * - Return 1 if the specified virtual address is in an 98a5f4374aSIngo Molnar * executable vma. 99a5f4374aSIngo Molnar */ 100a5f4374aSIngo Molnar static bool valid_vma(struct vm_area_struct *vma, bool is_register) 101a5f4374aSIngo Molnar { 102a5f4374aSIngo Molnar if (!vma->vm_file) 103a5f4374aSIngo Molnar return false; 104a5f4374aSIngo Molnar 105a5f4374aSIngo Molnar if (!is_register) 106a5f4374aSIngo Molnar return true; 107a5f4374aSIngo Molnar 108ea131377SOleg Nesterov if ((vma->vm_flags & (VM_HUGETLB|VM_READ|VM_WRITE|VM_EXEC|VM_SHARED)) 109ea131377SOleg Nesterov == (VM_READ|VM_EXEC)) 110a5f4374aSIngo Molnar return true; 111a5f4374aSIngo Molnar 112a5f4374aSIngo Molnar return false; 113a5f4374aSIngo Molnar } 114a5f4374aSIngo Molnar 115a5f4374aSIngo Molnar static loff_t vma_address(struct vm_area_struct *vma, loff_t offset) 116a5f4374aSIngo Molnar { 117a5f4374aSIngo Molnar loff_t vaddr; 118a5f4374aSIngo Molnar 119a5f4374aSIngo Molnar vaddr = vma->vm_start + offset; 120a5f4374aSIngo Molnar vaddr -= vma->vm_pgoff << PAGE_SHIFT; 121a5f4374aSIngo Molnar 122a5f4374aSIngo Molnar return vaddr; 123a5f4374aSIngo Molnar } 124a5f4374aSIngo Molnar 125a5f4374aSIngo Molnar /** 126a5f4374aSIngo Molnar * __replace_page - replace page in vma by new page. 127a5f4374aSIngo Molnar * based on replace_page in mm/ksm.c 128a5f4374aSIngo Molnar * 129a5f4374aSIngo Molnar * @vma: vma that holds the pte pointing to page 130a5f4374aSIngo Molnar * @page: the cowed page we are replacing by kpage 131a5f4374aSIngo Molnar * @kpage: the modified page we replace page by 132a5f4374aSIngo Molnar * 133a5f4374aSIngo Molnar * Returns 0 on success, -EFAULT on failure. 134a5f4374aSIngo Molnar */ 135a5f4374aSIngo Molnar static int __replace_page(struct vm_area_struct *vma, struct page *page, struct page *kpage) 136a5f4374aSIngo Molnar { 137a5f4374aSIngo Molnar struct mm_struct *mm = vma->vm_mm; 138a5f4374aSIngo Molnar unsigned long addr; 1395323ce71SOleg Nesterov spinlock_t *ptl; 1405323ce71SOleg Nesterov pte_t *ptep; 141a5f4374aSIngo Molnar 142a5f4374aSIngo Molnar addr = page_address_in_vma(page, vma); 143a5f4374aSIngo Molnar if (addr == -EFAULT) 1445323ce71SOleg Nesterov return -EFAULT; 145a5f4374aSIngo Molnar 1465323ce71SOleg Nesterov ptep = page_check_address(page, mm, addr, &ptl, 0); 147a5f4374aSIngo Molnar if (!ptep) 1485323ce71SOleg Nesterov return -EAGAIN; 149a5f4374aSIngo Molnar 150a5f4374aSIngo Molnar get_page(kpage); 151a5f4374aSIngo Molnar page_add_new_anon_rmap(kpage, vma, addr); 152a5f4374aSIngo Molnar 1537396fa81SSrikar Dronamraju if (!PageAnon(page)) { 1547396fa81SSrikar Dronamraju dec_mm_counter(mm, MM_FILEPAGES); 1557396fa81SSrikar Dronamraju inc_mm_counter(mm, MM_ANONPAGES); 1567396fa81SSrikar Dronamraju } 1577396fa81SSrikar Dronamraju 158a5f4374aSIngo Molnar flush_cache_page(vma, addr, pte_pfn(*ptep)); 159a5f4374aSIngo Molnar ptep_clear_flush(vma, addr, ptep); 160a5f4374aSIngo Molnar set_pte_at_notify(mm, addr, ptep, mk_pte(kpage, vma->vm_page_prot)); 161a5f4374aSIngo Molnar 162a5f4374aSIngo Molnar page_remove_rmap(page); 163a5f4374aSIngo Molnar if (!page_mapped(page)) 164a5f4374aSIngo Molnar try_to_free_swap(page); 165a5f4374aSIngo Molnar put_page(page); 166a5f4374aSIngo Molnar pte_unmap_unlock(ptep, ptl); 167a5f4374aSIngo Molnar 1685323ce71SOleg Nesterov return 0; 169a5f4374aSIngo Molnar } 170a5f4374aSIngo Molnar 171a5f4374aSIngo Molnar /** 1725cb4ac3aSSrikar Dronamraju * is_swbp_insn - check if instruction is breakpoint instruction. 173a5f4374aSIngo Molnar * @insn: instruction to be checked. 1745cb4ac3aSSrikar Dronamraju * Default implementation of is_swbp_insn 175a5f4374aSIngo Molnar * Returns true if @insn is a breakpoint instruction. 176a5f4374aSIngo Molnar */ 1775cb4ac3aSSrikar Dronamraju bool __weak is_swbp_insn(uprobe_opcode_t *insn) 178a5f4374aSIngo Molnar { 1795cb4ac3aSSrikar Dronamraju return *insn == UPROBE_SWBP_INSN; 180a5f4374aSIngo Molnar } 181a5f4374aSIngo Molnar 182a5f4374aSIngo Molnar /* 183a5f4374aSIngo Molnar * NOTE: 184a5f4374aSIngo Molnar * Expect the breakpoint instruction to be the smallest size instruction for 185a5f4374aSIngo Molnar * the architecture. If an arch has variable length instruction and the 186a5f4374aSIngo Molnar * breakpoint instruction is not of the smallest length instruction 187a5f4374aSIngo Molnar * supported by that architecture then we need to modify read_opcode / 188a5f4374aSIngo Molnar * write_opcode accordingly. This would never be a problem for archs that 189a5f4374aSIngo Molnar * have fixed length instructions. 190a5f4374aSIngo Molnar */ 191a5f4374aSIngo Molnar 192a5f4374aSIngo Molnar /* 193a5f4374aSIngo Molnar * write_opcode - write the opcode at a given virtual address. 194e3343e6aSSrikar Dronamraju * @auprobe: arch breakpointing information. 195a5f4374aSIngo Molnar * @mm: the probed process address space. 196a5f4374aSIngo Molnar * @vaddr: the virtual address to store the opcode. 197a5f4374aSIngo Molnar * @opcode: opcode to be written at @vaddr. 198a5f4374aSIngo Molnar * 199a5f4374aSIngo Molnar * Called with mm->mmap_sem held (for read and with a reference to 200a5f4374aSIngo Molnar * mm). 201a5f4374aSIngo Molnar * 202a5f4374aSIngo Molnar * For mm @mm, write the opcode at @vaddr. 203a5f4374aSIngo Molnar * Return 0 (success) or a negative errno. 204a5f4374aSIngo Molnar */ 205e3343e6aSSrikar Dronamraju static int write_opcode(struct arch_uprobe *auprobe, struct mm_struct *mm, 206a5f4374aSIngo Molnar unsigned long vaddr, uprobe_opcode_t opcode) 207a5f4374aSIngo Molnar { 208a5f4374aSIngo Molnar struct page *old_page, *new_page; 209a5f4374aSIngo Molnar struct address_space *mapping; 210a5f4374aSIngo Molnar void *vaddr_old, *vaddr_new; 211a5f4374aSIngo Molnar struct vm_area_struct *vma; 2123ff54efdSSrikar Dronamraju struct uprobe *uprobe; 2135323ce71SOleg Nesterov unsigned long pgoff; 214a5f4374aSIngo Molnar loff_t addr; 215a5f4374aSIngo Molnar int ret; 2165323ce71SOleg Nesterov retry: 217a5f4374aSIngo Molnar /* Read the page with vaddr into memory */ 218a5f4374aSIngo Molnar ret = get_user_pages(NULL, mm, vaddr, 1, 0, 0, &old_page, &vma); 219a5f4374aSIngo Molnar if (ret <= 0) 220a5f4374aSIngo Molnar return ret; 221a5f4374aSIngo Molnar 222a5f4374aSIngo Molnar ret = -EINVAL; 223a5f4374aSIngo Molnar 224a5f4374aSIngo Molnar /* 225a5f4374aSIngo Molnar * We are interested in text pages only. Our pages of interest 226a5f4374aSIngo Molnar * should be mapped for read and execute only. We desist from 227a5f4374aSIngo Molnar * adding probes in write mapped pages since the breakpoints 228a5f4374aSIngo Molnar * might end up in the file copy. 229a5f4374aSIngo Molnar */ 2305cb4ac3aSSrikar Dronamraju if (!valid_vma(vma, is_swbp_insn(&opcode))) 231a5f4374aSIngo Molnar goto put_out; 232a5f4374aSIngo Molnar 2333ff54efdSSrikar Dronamraju uprobe = container_of(auprobe, struct uprobe, arch); 234a5f4374aSIngo Molnar mapping = uprobe->inode->i_mapping; 235a5f4374aSIngo Molnar if (mapping != vma->vm_file->f_mapping) 236a5f4374aSIngo Molnar goto put_out; 237a5f4374aSIngo Molnar 238a5f4374aSIngo Molnar addr = vma_address(vma, uprobe->offset); 239a5f4374aSIngo Molnar if (vaddr != (unsigned long)addr) 240a5f4374aSIngo Molnar goto put_out; 241a5f4374aSIngo Molnar 242a5f4374aSIngo Molnar ret = -ENOMEM; 243a5f4374aSIngo Molnar new_page = alloc_page_vma(GFP_HIGHUSER_MOVABLE, vma, vaddr); 244a5f4374aSIngo Molnar if (!new_page) 245a5f4374aSIngo Molnar goto put_out; 246a5f4374aSIngo Molnar 247a5f4374aSIngo Molnar __SetPageUptodate(new_page); 248a5f4374aSIngo Molnar 249a5f4374aSIngo Molnar /* 250a5f4374aSIngo Molnar * lock page will serialize against do_wp_page()'s 251a5f4374aSIngo Molnar * PageAnon() handling 252a5f4374aSIngo Molnar */ 253a5f4374aSIngo Molnar lock_page(old_page); 254a5f4374aSIngo Molnar /* copy the page now that we've got it stable */ 255a5f4374aSIngo Molnar vaddr_old = kmap_atomic(old_page); 256a5f4374aSIngo Molnar vaddr_new = kmap_atomic(new_page); 257a5f4374aSIngo Molnar 258a5f4374aSIngo Molnar memcpy(vaddr_new, vaddr_old, PAGE_SIZE); 259a5f4374aSIngo Molnar 260a5f4374aSIngo Molnar /* poke the new insn in, ASSUMES we don't cross page boundary */ 2615323ce71SOleg Nesterov pgoff = (vaddr & ~PAGE_MASK); 2625323ce71SOleg Nesterov BUG_ON(pgoff + UPROBE_SWBP_INSN_SIZE > PAGE_SIZE); 2635323ce71SOleg Nesterov memcpy(vaddr_new + pgoff, &opcode, UPROBE_SWBP_INSN_SIZE); 264a5f4374aSIngo Molnar 265a5f4374aSIngo Molnar kunmap_atomic(vaddr_new); 266a5f4374aSIngo Molnar kunmap_atomic(vaddr_old); 267a5f4374aSIngo Molnar 268a5f4374aSIngo Molnar ret = anon_vma_prepare(vma); 269a5f4374aSIngo Molnar if (ret) 270a5f4374aSIngo Molnar goto unlock_out; 271a5f4374aSIngo Molnar 272a5f4374aSIngo Molnar lock_page(new_page); 273a5f4374aSIngo Molnar ret = __replace_page(vma, old_page, new_page); 274a5f4374aSIngo Molnar unlock_page(new_page); 275a5f4374aSIngo Molnar 276a5f4374aSIngo Molnar unlock_out: 277a5f4374aSIngo Molnar unlock_page(old_page); 278a5f4374aSIngo Molnar page_cache_release(new_page); 279a5f4374aSIngo Molnar 280a5f4374aSIngo Molnar put_out: 281a5f4374aSIngo Molnar put_page(old_page); 282a5f4374aSIngo Molnar 2835323ce71SOleg Nesterov if (unlikely(ret == -EAGAIN)) 2845323ce71SOleg Nesterov goto retry; 285a5f4374aSIngo Molnar return ret; 286a5f4374aSIngo Molnar } 287a5f4374aSIngo Molnar 288a5f4374aSIngo Molnar /** 289a5f4374aSIngo Molnar * read_opcode - read the opcode at a given virtual address. 290a5f4374aSIngo Molnar * @mm: the probed process address space. 291a5f4374aSIngo Molnar * @vaddr: the virtual address to read the opcode. 292a5f4374aSIngo Molnar * @opcode: location to store the read opcode. 293a5f4374aSIngo Molnar * 294a5f4374aSIngo Molnar * Called with mm->mmap_sem held (for read and with a reference to 295a5f4374aSIngo Molnar * mm. 296a5f4374aSIngo Molnar * 297a5f4374aSIngo Molnar * For mm @mm, read the opcode at @vaddr and store it in @opcode. 298a5f4374aSIngo Molnar * Return 0 (success) or a negative errno. 299a5f4374aSIngo Molnar */ 300a5f4374aSIngo Molnar static int read_opcode(struct mm_struct *mm, unsigned long vaddr, uprobe_opcode_t *opcode) 301a5f4374aSIngo Molnar { 302a5f4374aSIngo Molnar struct page *page; 303a5f4374aSIngo Molnar void *vaddr_new; 304a5f4374aSIngo Molnar int ret; 305a5f4374aSIngo Molnar 306a3d7bb47SOleg Nesterov ret = get_user_pages(NULL, mm, vaddr, 1, 0, 1, &page, NULL); 307a5f4374aSIngo Molnar if (ret <= 0) 308a5f4374aSIngo Molnar return ret; 309a5f4374aSIngo Molnar 310a5f4374aSIngo Molnar lock_page(page); 311a5f4374aSIngo Molnar vaddr_new = kmap_atomic(page); 312a5f4374aSIngo Molnar vaddr &= ~PAGE_MASK; 3135cb4ac3aSSrikar Dronamraju memcpy(opcode, vaddr_new + vaddr, UPROBE_SWBP_INSN_SIZE); 314a5f4374aSIngo Molnar kunmap_atomic(vaddr_new); 315a5f4374aSIngo Molnar unlock_page(page); 316a5f4374aSIngo Molnar 317a5f4374aSIngo Molnar put_page(page); 318a5f4374aSIngo Molnar 319a5f4374aSIngo Molnar return 0; 320a5f4374aSIngo Molnar } 321a5f4374aSIngo Molnar 3225cb4ac3aSSrikar Dronamraju static int is_swbp_at_addr(struct mm_struct *mm, unsigned long vaddr) 323a5f4374aSIngo Molnar { 324a5f4374aSIngo Molnar uprobe_opcode_t opcode; 325a5f4374aSIngo Molnar int result; 326a5f4374aSIngo Molnar 327c00b2750SOleg Nesterov if (current->mm == mm) { 328c00b2750SOleg Nesterov pagefault_disable(); 329c00b2750SOleg Nesterov result = __copy_from_user_inatomic(&opcode, (void __user*)vaddr, 330c00b2750SOleg Nesterov sizeof(opcode)); 331c00b2750SOleg Nesterov pagefault_enable(); 332c00b2750SOleg Nesterov 333c00b2750SOleg Nesterov if (likely(result == 0)) 334c00b2750SOleg Nesterov goto out; 335c00b2750SOleg Nesterov } 336c00b2750SOleg Nesterov 337a5f4374aSIngo Molnar result = read_opcode(mm, vaddr, &opcode); 338a5f4374aSIngo Molnar if (result) 339a5f4374aSIngo Molnar return result; 340c00b2750SOleg Nesterov out: 3415cb4ac3aSSrikar Dronamraju if (is_swbp_insn(&opcode)) 342a5f4374aSIngo Molnar return 1; 343a5f4374aSIngo Molnar 344a5f4374aSIngo Molnar return 0; 345a5f4374aSIngo Molnar } 346a5f4374aSIngo Molnar 347a5f4374aSIngo Molnar /** 3485cb4ac3aSSrikar Dronamraju * set_swbp - store breakpoint at a given address. 349e3343e6aSSrikar Dronamraju * @auprobe: arch specific probepoint information. 350a5f4374aSIngo Molnar * @mm: the probed process address space. 351a5f4374aSIngo Molnar * @vaddr: the virtual address to insert the opcode. 352a5f4374aSIngo Molnar * 353a5f4374aSIngo Molnar * For mm @mm, store the breakpoint instruction at @vaddr. 354a5f4374aSIngo Molnar * Return 0 (success) or a negative errno. 355a5f4374aSIngo Molnar */ 3565cb4ac3aSSrikar Dronamraju int __weak set_swbp(struct arch_uprobe *auprobe, struct mm_struct *mm, unsigned long vaddr) 357a5f4374aSIngo Molnar { 358a5f4374aSIngo Molnar int result; 359c5784de2SPeter Zijlstra /* 360c5784de2SPeter Zijlstra * See the comment near uprobes_hash(). 361c5784de2SPeter Zijlstra */ 3625cb4ac3aSSrikar Dronamraju result = is_swbp_at_addr(mm, vaddr); 363a5f4374aSIngo Molnar if (result == 1) 364a5f4374aSIngo Molnar return -EEXIST; 365a5f4374aSIngo Molnar 366a5f4374aSIngo Molnar if (result) 367a5f4374aSIngo Molnar return result; 368a5f4374aSIngo Molnar 3695cb4ac3aSSrikar Dronamraju return write_opcode(auprobe, mm, vaddr, UPROBE_SWBP_INSN); 370a5f4374aSIngo Molnar } 371a5f4374aSIngo Molnar 372a5f4374aSIngo Molnar /** 373a5f4374aSIngo Molnar * set_orig_insn - Restore the original instruction. 374a5f4374aSIngo Molnar * @mm: the probed process address space. 375e3343e6aSSrikar Dronamraju * @auprobe: arch specific probepoint information. 376a5f4374aSIngo Molnar * @vaddr: the virtual address to insert the opcode. 377a5f4374aSIngo Molnar * @verify: if true, verify existance of breakpoint instruction. 378a5f4374aSIngo Molnar * 379a5f4374aSIngo Molnar * For mm @mm, restore the original opcode (opcode) at @vaddr. 380a5f4374aSIngo Molnar * Return 0 (success) or a negative errno. 381a5f4374aSIngo Molnar */ 382a5f4374aSIngo Molnar int __weak 383e3343e6aSSrikar Dronamraju set_orig_insn(struct arch_uprobe *auprobe, struct mm_struct *mm, unsigned long vaddr, bool verify) 384a5f4374aSIngo Molnar { 385a5f4374aSIngo Molnar if (verify) { 386a5f4374aSIngo Molnar int result; 387a5f4374aSIngo Molnar 3885cb4ac3aSSrikar Dronamraju result = is_swbp_at_addr(mm, vaddr); 389a5f4374aSIngo Molnar if (!result) 390a5f4374aSIngo Molnar return -EINVAL; 391a5f4374aSIngo Molnar 392a5f4374aSIngo Molnar if (result != 1) 393a5f4374aSIngo Molnar return result; 394a5f4374aSIngo Molnar } 395e3343e6aSSrikar Dronamraju return write_opcode(auprobe, mm, vaddr, *(uprobe_opcode_t *)auprobe->insn); 396a5f4374aSIngo Molnar } 397a5f4374aSIngo Molnar 398a5f4374aSIngo Molnar static int match_uprobe(struct uprobe *l, struct uprobe *r) 399a5f4374aSIngo Molnar { 400a5f4374aSIngo Molnar if (l->inode < r->inode) 401a5f4374aSIngo Molnar return -1; 402a5f4374aSIngo Molnar 403a5f4374aSIngo Molnar if (l->inode > r->inode) 404a5f4374aSIngo Molnar return 1; 405a5f4374aSIngo Molnar 406a5f4374aSIngo Molnar if (l->offset < r->offset) 407a5f4374aSIngo Molnar return -1; 408a5f4374aSIngo Molnar 409a5f4374aSIngo Molnar if (l->offset > r->offset) 410a5f4374aSIngo Molnar return 1; 411a5f4374aSIngo Molnar 412a5f4374aSIngo Molnar return 0; 413a5f4374aSIngo Molnar } 414a5f4374aSIngo Molnar 415a5f4374aSIngo Molnar static struct uprobe *__find_uprobe(struct inode *inode, loff_t offset) 416a5f4374aSIngo Molnar { 417a5f4374aSIngo Molnar struct uprobe u = { .inode = inode, .offset = offset }; 418a5f4374aSIngo Molnar struct rb_node *n = uprobes_tree.rb_node; 419a5f4374aSIngo Molnar struct uprobe *uprobe; 420a5f4374aSIngo Molnar int match; 421a5f4374aSIngo Molnar 422a5f4374aSIngo Molnar while (n) { 423a5f4374aSIngo Molnar uprobe = rb_entry(n, struct uprobe, rb_node); 424a5f4374aSIngo Molnar match = match_uprobe(&u, uprobe); 425a5f4374aSIngo Molnar if (!match) { 426a5f4374aSIngo Molnar atomic_inc(&uprobe->ref); 427a5f4374aSIngo Molnar return uprobe; 428a5f4374aSIngo Molnar } 429a5f4374aSIngo Molnar 430a5f4374aSIngo Molnar if (match < 0) 431a5f4374aSIngo Molnar n = n->rb_left; 432a5f4374aSIngo Molnar else 433a5f4374aSIngo Molnar n = n->rb_right; 434a5f4374aSIngo Molnar } 435a5f4374aSIngo Molnar return NULL; 436a5f4374aSIngo Molnar } 437a5f4374aSIngo Molnar 438a5f4374aSIngo Molnar /* 439a5f4374aSIngo Molnar * Find a uprobe corresponding to a given inode:offset 440a5f4374aSIngo Molnar * Acquires uprobes_treelock 441a5f4374aSIngo Molnar */ 442a5f4374aSIngo Molnar static struct uprobe *find_uprobe(struct inode *inode, loff_t offset) 443a5f4374aSIngo Molnar { 444a5f4374aSIngo Molnar struct uprobe *uprobe; 445a5f4374aSIngo Molnar unsigned long flags; 446a5f4374aSIngo Molnar 447a5f4374aSIngo Molnar spin_lock_irqsave(&uprobes_treelock, flags); 448a5f4374aSIngo Molnar uprobe = __find_uprobe(inode, offset); 449a5f4374aSIngo Molnar spin_unlock_irqrestore(&uprobes_treelock, flags); 450a5f4374aSIngo Molnar 451a5f4374aSIngo Molnar return uprobe; 452a5f4374aSIngo Molnar } 453a5f4374aSIngo Molnar 454a5f4374aSIngo Molnar static struct uprobe *__insert_uprobe(struct uprobe *uprobe) 455a5f4374aSIngo Molnar { 456a5f4374aSIngo Molnar struct rb_node **p = &uprobes_tree.rb_node; 457a5f4374aSIngo Molnar struct rb_node *parent = NULL; 458a5f4374aSIngo Molnar struct uprobe *u; 459a5f4374aSIngo Molnar int match; 460a5f4374aSIngo Molnar 461a5f4374aSIngo Molnar while (*p) { 462a5f4374aSIngo Molnar parent = *p; 463a5f4374aSIngo Molnar u = rb_entry(parent, struct uprobe, rb_node); 464a5f4374aSIngo Molnar match = match_uprobe(uprobe, u); 465a5f4374aSIngo Molnar if (!match) { 466a5f4374aSIngo Molnar atomic_inc(&u->ref); 467a5f4374aSIngo Molnar return u; 468a5f4374aSIngo Molnar } 469a5f4374aSIngo Molnar 470a5f4374aSIngo Molnar if (match < 0) 471a5f4374aSIngo Molnar p = &parent->rb_left; 472a5f4374aSIngo Molnar else 473a5f4374aSIngo Molnar p = &parent->rb_right; 474a5f4374aSIngo Molnar 475a5f4374aSIngo Molnar } 476a5f4374aSIngo Molnar 477a5f4374aSIngo Molnar u = NULL; 478a5f4374aSIngo Molnar rb_link_node(&uprobe->rb_node, parent, p); 479a5f4374aSIngo Molnar rb_insert_color(&uprobe->rb_node, &uprobes_tree); 480a5f4374aSIngo Molnar /* get access + creation ref */ 481a5f4374aSIngo Molnar atomic_set(&uprobe->ref, 2); 482a5f4374aSIngo Molnar 483a5f4374aSIngo Molnar return u; 484a5f4374aSIngo Molnar } 485a5f4374aSIngo Molnar 486a5f4374aSIngo Molnar /* 487a5f4374aSIngo Molnar * Acquire uprobes_treelock. 488a5f4374aSIngo Molnar * Matching uprobe already exists in rbtree; 489a5f4374aSIngo Molnar * increment (access refcount) and return the matching uprobe. 490a5f4374aSIngo Molnar * 491a5f4374aSIngo Molnar * No matching uprobe; insert the uprobe in rb_tree; 492a5f4374aSIngo Molnar * get a double refcount (access + creation) and return NULL. 493a5f4374aSIngo Molnar */ 494a5f4374aSIngo Molnar static struct uprobe *insert_uprobe(struct uprobe *uprobe) 495a5f4374aSIngo Molnar { 496a5f4374aSIngo Molnar unsigned long flags; 497a5f4374aSIngo Molnar struct uprobe *u; 498a5f4374aSIngo Molnar 499a5f4374aSIngo Molnar spin_lock_irqsave(&uprobes_treelock, flags); 500a5f4374aSIngo Molnar u = __insert_uprobe(uprobe); 501a5f4374aSIngo Molnar spin_unlock_irqrestore(&uprobes_treelock, flags); 502a5f4374aSIngo Molnar 5030326f5a9SSrikar Dronamraju /* For now assume that the instruction need not be single-stepped */ 5040326f5a9SSrikar Dronamraju uprobe->flags |= UPROBE_SKIP_SSTEP; 5050326f5a9SSrikar Dronamraju 506a5f4374aSIngo Molnar return u; 507a5f4374aSIngo Molnar } 508a5f4374aSIngo Molnar 509a5f4374aSIngo Molnar static void put_uprobe(struct uprobe *uprobe) 510a5f4374aSIngo Molnar { 511a5f4374aSIngo Molnar if (atomic_dec_and_test(&uprobe->ref)) 512a5f4374aSIngo Molnar kfree(uprobe); 513a5f4374aSIngo Molnar } 514a5f4374aSIngo Molnar 515a5f4374aSIngo Molnar static struct uprobe *alloc_uprobe(struct inode *inode, loff_t offset) 516a5f4374aSIngo Molnar { 517a5f4374aSIngo Molnar struct uprobe *uprobe, *cur_uprobe; 518a5f4374aSIngo Molnar 519a5f4374aSIngo Molnar uprobe = kzalloc(sizeof(struct uprobe), GFP_KERNEL); 520a5f4374aSIngo Molnar if (!uprobe) 521a5f4374aSIngo Molnar return NULL; 522a5f4374aSIngo Molnar 523a5f4374aSIngo Molnar uprobe->inode = igrab(inode); 524a5f4374aSIngo Molnar uprobe->offset = offset; 525a5f4374aSIngo Molnar init_rwsem(&uprobe->consumer_rwsem); 526a5f4374aSIngo Molnar INIT_LIST_HEAD(&uprobe->pending_list); 527a5f4374aSIngo Molnar 528a5f4374aSIngo Molnar /* add to uprobes_tree, sorted on inode:offset */ 529a5f4374aSIngo Molnar cur_uprobe = insert_uprobe(uprobe); 530a5f4374aSIngo Molnar 531a5f4374aSIngo Molnar /* a uprobe exists for this inode:offset combination */ 532a5f4374aSIngo Molnar if (cur_uprobe) { 533a5f4374aSIngo Molnar kfree(uprobe); 534a5f4374aSIngo Molnar uprobe = cur_uprobe; 535a5f4374aSIngo Molnar iput(inode); 536a5f4374aSIngo Molnar } else { 537a5f4374aSIngo Molnar atomic_inc(&uprobe_events); 538a5f4374aSIngo Molnar } 539a5f4374aSIngo Molnar 540a5f4374aSIngo Molnar return uprobe; 541a5f4374aSIngo Molnar } 542a5f4374aSIngo Molnar 5430326f5a9SSrikar Dronamraju static void handler_chain(struct uprobe *uprobe, struct pt_regs *regs) 5440326f5a9SSrikar Dronamraju { 5450326f5a9SSrikar Dronamraju struct uprobe_consumer *uc; 5460326f5a9SSrikar Dronamraju 5470326f5a9SSrikar Dronamraju if (!(uprobe->flags & UPROBE_RUN_HANDLER)) 5480326f5a9SSrikar Dronamraju return; 5490326f5a9SSrikar Dronamraju 5500326f5a9SSrikar Dronamraju down_read(&uprobe->consumer_rwsem); 5510326f5a9SSrikar Dronamraju for (uc = uprobe->consumers; uc; uc = uc->next) { 5520326f5a9SSrikar Dronamraju if (!uc->filter || uc->filter(uc, current)) 5530326f5a9SSrikar Dronamraju uc->handler(uc, regs); 5540326f5a9SSrikar Dronamraju } 5550326f5a9SSrikar Dronamraju up_read(&uprobe->consumer_rwsem); 5560326f5a9SSrikar Dronamraju } 5570326f5a9SSrikar Dronamraju 558a5f4374aSIngo Molnar /* Returns the previous consumer */ 559a5f4374aSIngo Molnar static struct uprobe_consumer * 560e3343e6aSSrikar Dronamraju consumer_add(struct uprobe *uprobe, struct uprobe_consumer *uc) 561a5f4374aSIngo Molnar { 562a5f4374aSIngo Molnar down_write(&uprobe->consumer_rwsem); 563e3343e6aSSrikar Dronamraju uc->next = uprobe->consumers; 564e3343e6aSSrikar Dronamraju uprobe->consumers = uc; 565a5f4374aSIngo Molnar up_write(&uprobe->consumer_rwsem); 566a5f4374aSIngo Molnar 567e3343e6aSSrikar Dronamraju return uc->next; 568a5f4374aSIngo Molnar } 569a5f4374aSIngo Molnar 570a5f4374aSIngo Molnar /* 571e3343e6aSSrikar Dronamraju * For uprobe @uprobe, delete the consumer @uc. 572e3343e6aSSrikar Dronamraju * Return true if the @uc is deleted successfully 573a5f4374aSIngo Molnar * or return false. 574a5f4374aSIngo Molnar */ 575e3343e6aSSrikar Dronamraju static bool consumer_del(struct uprobe *uprobe, struct uprobe_consumer *uc) 576a5f4374aSIngo Molnar { 577a5f4374aSIngo Molnar struct uprobe_consumer **con; 578a5f4374aSIngo Molnar bool ret = false; 579a5f4374aSIngo Molnar 580a5f4374aSIngo Molnar down_write(&uprobe->consumer_rwsem); 581a5f4374aSIngo Molnar for (con = &uprobe->consumers; *con; con = &(*con)->next) { 582e3343e6aSSrikar Dronamraju if (*con == uc) { 583e3343e6aSSrikar Dronamraju *con = uc->next; 584a5f4374aSIngo Molnar ret = true; 585a5f4374aSIngo Molnar break; 586a5f4374aSIngo Molnar } 587a5f4374aSIngo Molnar } 588a5f4374aSIngo Molnar up_write(&uprobe->consumer_rwsem); 589a5f4374aSIngo Molnar 590a5f4374aSIngo Molnar return ret; 591a5f4374aSIngo Molnar } 592a5f4374aSIngo Molnar 593e3343e6aSSrikar Dronamraju static int 594e3343e6aSSrikar Dronamraju __copy_insn(struct address_space *mapping, struct vm_area_struct *vma, char *insn, 595a5f4374aSIngo Molnar unsigned long nbytes, unsigned long offset) 596a5f4374aSIngo Molnar { 597a5f4374aSIngo Molnar struct file *filp = vma->vm_file; 598a5f4374aSIngo Molnar struct page *page; 599a5f4374aSIngo Molnar void *vaddr; 600a5f4374aSIngo Molnar unsigned long off1; 601a5f4374aSIngo Molnar unsigned long idx; 602a5f4374aSIngo Molnar 603a5f4374aSIngo Molnar if (!filp) 604a5f4374aSIngo Molnar return -EINVAL; 605a5f4374aSIngo Molnar 606cc359d18SOleg Nesterov if (!mapping->a_ops->readpage) 607cc359d18SOleg Nesterov return -EIO; 608cc359d18SOleg Nesterov 609a5f4374aSIngo Molnar idx = (unsigned long)(offset >> PAGE_CACHE_SHIFT); 610a5f4374aSIngo Molnar off1 = offset &= ~PAGE_MASK; 611a5f4374aSIngo Molnar 612a5f4374aSIngo Molnar /* 613a5f4374aSIngo Molnar * Ensure that the page that has the original instruction is 614a5f4374aSIngo Molnar * populated and in page-cache. 615a5f4374aSIngo Molnar */ 616a5f4374aSIngo Molnar page = read_mapping_page(mapping, idx, filp); 617a5f4374aSIngo Molnar if (IS_ERR(page)) 618a5f4374aSIngo Molnar return PTR_ERR(page); 619a5f4374aSIngo Molnar 620a5f4374aSIngo Molnar vaddr = kmap_atomic(page); 621a5f4374aSIngo Molnar memcpy(insn, vaddr + off1, nbytes); 622a5f4374aSIngo Molnar kunmap_atomic(vaddr); 623a5f4374aSIngo Molnar page_cache_release(page); 624a5f4374aSIngo Molnar 625a5f4374aSIngo Molnar return 0; 626a5f4374aSIngo Molnar } 627a5f4374aSIngo Molnar 628e3343e6aSSrikar Dronamraju static int 629e3343e6aSSrikar Dronamraju copy_insn(struct uprobe *uprobe, struct vm_area_struct *vma, unsigned long addr) 630a5f4374aSIngo Molnar { 631a5f4374aSIngo Molnar struct address_space *mapping; 632a5f4374aSIngo Molnar unsigned long nbytes; 633a5f4374aSIngo Molnar int bytes; 634a5f4374aSIngo Molnar 635a5f4374aSIngo Molnar addr &= ~PAGE_MASK; 636a5f4374aSIngo Molnar nbytes = PAGE_SIZE - addr; 637a5f4374aSIngo Molnar mapping = uprobe->inode->i_mapping; 638a5f4374aSIngo Molnar 639a5f4374aSIngo Molnar /* Instruction at end of binary; copy only available bytes */ 640a5f4374aSIngo Molnar if (uprobe->offset + MAX_UINSN_BYTES > uprobe->inode->i_size) 641a5f4374aSIngo Molnar bytes = uprobe->inode->i_size - uprobe->offset; 642a5f4374aSIngo Molnar else 643a5f4374aSIngo Molnar bytes = MAX_UINSN_BYTES; 644a5f4374aSIngo Molnar 645a5f4374aSIngo Molnar /* Instruction at the page-boundary; copy bytes in second page */ 646a5f4374aSIngo Molnar if (nbytes < bytes) { 6473ff54efdSSrikar Dronamraju if (__copy_insn(mapping, vma, uprobe->arch.insn + nbytes, 648a5f4374aSIngo Molnar bytes - nbytes, uprobe->offset + nbytes)) 649a5f4374aSIngo Molnar return -ENOMEM; 650a5f4374aSIngo Molnar 651a5f4374aSIngo Molnar bytes = nbytes; 652a5f4374aSIngo Molnar } 6533ff54efdSSrikar Dronamraju return __copy_insn(mapping, vma, uprobe->arch.insn, bytes, uprobe->offset); 654a5f4374aSIngo Molnar } 655a5f4374aSIngo Molnar 656682968e0SSrikar Dronamraju /* 657682968e0SSrikar Dronamraju * How mm->uprobes_state.count gets updated 658682968e0SSrikar Dronamraju * uprobe_mmap() increments the count if 659682968e0SSrikar Dronamraju * - it successfully adds a breakpoint. 660682968e0SSrikar Dronamraju * - it cannot add a breakpoint, but sees that there is a underlying 661682968e0SSrikar Dronamraju * breakpoint (via a is_swbp_at_addr()). 662682968e0SSrikar Dronamraju * 663682968e0SSrikar Dronamraju * uprobe_munmap() decrements the count if 664682968e0SSrikar Dronamraju * - it sees a underlying breakpoint, (via is_swbp_at_addr) 665682968e0SSrikar Dronamraju * (Subsequent uprobe_unregister wouldnt find the breakpoint 666682968e0SSrikar Dronamraju * unless a uprobe_mmap kicks in, since the old vma would be 667682968e0SSrikar Dronamraju * dropped just after uprobe_munmap.) 668682968e0SSrikar Dronamraju * 669682968e0SSrikar Dronamraju * uprobe_register increments the count if: 670682968e0SSrikar Dronamraju * - it successfully adds a breakpoint. 671682968e0SSrikar Dronamraju * 672682968e0SSrikar Dronamraju * uprobe_unregister decrements the count if: 673682968e0SSrikar Dronamraju * - it sees a underlying breakpoint and removes successfully. 674682968e0SSrikar Dronamraju * (via is_swbp_at_addr) 675682968e0SSrikar Dronamraju * (Subsequent uprobe_munmap wouldnt find the breakpoint 676682968e0SSrikar Dronamraju * since there is no underlying breakpoint after the 677682968e0SSrikar Dronamraju * breakpoint removal.) 678682968e0SSrikar Dronamraju */ 679e3343e6aSSrikar Dronamraju static int 680e3343e6aSSrikar Dronamraju install_breakpoint(struct uprobe *uprobe, struct mm_struct *mm, 681a5f4374aSIngo Molnar struct vm_area_struct *vma, loff_t vaddr) 682a5f4374aSIngo Molnar { 683a5f4374aSIngo Molnar unsigned long addr; 684a5f4374aSIngo Molnar int ret; 685a5f4374aSIngo Molnar 686a5f4374aSIngo Molnar /* 687a5f4374aSIngo Molnar * If probe is being deleted, unregister thread could be done with 688a5f4374aSIngo Molnar * the vma-rmap-walk through. Adding a probe now can be fatal since 689a5f4374aSIngo Molnar * nobody will be able to cleanup. Also we could be from fork or 690a5f4374aSIngo Molnar * mremap path, where the probe might have already been inserted. 691a5f4374aSIngo Molnar * Hence behave as if probe already existed. 692a5f4374aSIngo Molnar */ 693a5f4374aSIngo Molnar if (!uprobe->consumers) 694a5f4374aSIngo Molnar return -EEXIST; 695a5f4374aSIngo Molnar 696a5f4374aSIngo Molnar addr = (unsigned long)vaddr; 697a5f4374aSIngo Molnar 698900771a4SSrikar Dronamraju if (!(uprobe->flags & UPROBE_COPY_INSN)) { 699a5f4374aSIngo Molnar ret = copy_insn(uprobe, vma, addr); 700a5f4374aSIngo Molnar if (ret) 701a5f4374aSIngo Molnar return ret; 702a5f4374aSIngo Molnar 7035cb4ac3aSSrikar Dronamraju if (is_swbp_insn((uprobe_opcode_t *)uprobe->arch.insn)) 704c1914a09SOleg Nesterov return -ENOTSUPP; 705a5f4374aSIngo Molnar 7067eb9ba5eSAnanth N Mavinakayanahalli ret = arch_uprobe_analyze_insn(&uprobe->arch, mm, addr); 707a5f4374aSIngo Molnar if (ret) 708a5f4374aSIngo Molnar return ret; 709a5f4374aSIngo Molnar 710900771a4SSrikar Dronamraju uprobe->flags |= UPROBE_COPY_INSN; 711a5f4374aSIngo Molnar } 712682968e0SSrikar Dronamraju 713682968e0SSrikar Dronamraju /* 714682968e0SSrikar Dronamraju * Ideally, should be updating the probe count after the breakpoint 715682968e0SSrikar Dronamraju * has been successfully inserted. However a thread could hit the 716682968e0SSrikar Dronamraju * breakpoint we just inserted even before the probe count is 717682968e0SSrikar Dronamraju * incremented. If this is the first breakpoint placed, breakpoint 718682968e0SSrikar Dronamraju * notifier might ignore uprobes and pass the trap to the thread. 719682968e0SSrikar Dronamraju * Hence increment before and decrement on failure. 720682968e0SSrikar Dronamraju */ 721682968e0SSrikar Dronamraju atomic_inc(&mm->uprobes_state.count); 7225cb4ac3aSSrikar Dronamraju ret = set_swbp(&uprobe->arch, mm, addr); 723682968e0SSrikar Dronamraju if (ret) 724682968e0SSrikar Dronamraju atomic_dec(&mm->uprobes_state.count); 725a5f4374aSIngo Molnar 726a5f4374aSIngo Molnar return ret; 727a5f4374aSIngo Molnar } 728a5f4374aSIngo Molnar 729e3343e6aSSrikar Dronamraju static void 730e3343e6aSSrikar Dronamraju remove_breakpoint(struct uprobe *uprobe, struct mm_struct *mm, loff_t vaddr) 731a5f4374aSIngo Molnar { 732682968e0SSrikar Dronamraju if (!set_orig_insn(&uprobe->arch, mm, (unsigned long)vaddr, true)) 733682968e0SSrikar Dronamraju atomic_dec(&mm->uprobes_state.count); 734a5f4374aSIngo Molnar } 735a5f4374aSIngo Molnar 7360326f5a9SSrikar Dronamraju /* 737778b032dSOleg Nesterov * There could be threads that have already hit the breakpoint. They 738778b032dSOleg Nesterov * will recheck the current insn and restart if find_uprobe() fails. 739778b032dSOleg Nesterov * See find_active_uprobe(). 7400326f5a9SSrikar Dronamraju */ 741a5f4374aSIngo Molnar static void delete_uprobe(struct uprobe *uprobe) 742a5f4374aSIngo Molnar { 743a5f4374aSIngo Molnar unsigned long flags; 744a5f4374aSIngo Molnar 745a5f4374aSIngo Molnar spin_lock_irqsave(&uprobes_treelock, flags); 746a5f4374aSIngo Molnar rb_erase(&uprobe->rb_node, &uprobes_tree); 747a5f4374aSIngo Molnar spin_unlock_irqrestore(&uprobes_treelock, flags); 748a5f4374aSIngo Molnar iput(uprobe->inode); 749a5f4374aSIngo Molnar put_uprobe(uprobe); 750a5f4374aSIngo Molnar atomic_dec(&uprobe_events); 751a5f4374aSIngo Molnar } 752a5f4374aSIngo Molnar 75326872090SOleg Nesterov struct map_info { 75426872090SOleg Nesterov struct map_info *next; 75526872090SOleg Nesterov struct mm_struct *mm; 75626872090SOleg Nesterov loff_t vaddr; 75726872090SOleg Nesterov }; 75826872090SOleg Nesterov 75926872090SOleg Nesterov static inline struct map_info *free_map_info(struct map_info *info) 760a5f4374aSIngo Molnar { 76126872090SOleg Nesterov struct map_info *next = info->next; 76226872090SOleg Nesterov kfree(info); 76326872090SOleg Nesterov return next; 76426872090SOleg Nesterov } 76526872090SOleg Nesterov 76626872090SOleg Nesterov static struct map_info * 76726872090SOleg Nesterov build_map_info(struct address_space *mapping, loff_t offset, bool is_register) 76826872090SOleg Nesterov { 76926872090SOleg Nesterov unsigned long pgoff = offset >> PAGE_SHIFT; 770a5f4374aSIngo Molnar struct prio_tree_iter iter; 771a5f4374aSIngo Molnar struct vm_area_struct *vma; 77226872090SOleg Nesterov struct map_info *curr = NULL; 77326872090SOleg Nesterov struct map_info *prev = NULL; 77426872090SOleg Nesterov struct map_info *info; 77526872090SOleg Nesterov int more = 0; 776a5f4374aSIngo Molnar 77726872090SOleg Nesterov again: 77826872090SOleg Nesterov mutex_lock(&mapping->i_mmap_mutex); 779a5f4374aSIngo Molnar vma_prio_tree_foreach(vma, &iter, &mapping->i_mmap, pgoff, pgoff) { 780a5f4374aSIngo Molnar if (!valid_vma(vma, is_register)) 781a5f4374aSIngo Molnar continue; 782a5f4374aSIngo Molnar 7837a5bfb66SOleg Nesterov if (!prev && !more) { 7847a5bfb66SOleg Nesterov /* 7857a5bfb66SOleg Nesterov * Needs GFP_NOWAIT to avoid i_mmap_mutex recursion through 7867a5bfb66SOleg Nesterov * reclaim. This is optimistic, no harm done if it fails. 7877a5bfb66SOleg Nesterov */ 7887a5bfb66SOleg Nesterov prev = kmalloc(sizeof(struct map_info), 7897a5bfb66SOleg Nesterov GFP_NOWAIT | __GFP_NOMEMALLOC | __GFP_NOWARN); 7907a5bfb66SOleg Nesterov if (prev) 7917a5bfb66SOleg Nesterov prev->next = NULL; 7927a5bfb66SOleg Nesterov } 79326872090SOleg Nesterov if (!prev) { 79426872090SOleg Nesterov more++; 79526872090SOleg Nesterov continue; 796a5f4374aSIngo Molnar } 797a5f4374aSIngo Molnar 79826872090SOleg Nesterov if (!atomic_inc_not_zero(&vma->vm_mm->mm_users)) 79926872090SOleg Nesterov continue; 800a5f4374aSIngo Molnar 80126872090SOleg Nesterov info = prev; 80226872090SOleg Nesterov prev = prev->next; 80326872090SOleg Nesterov info->next = curr; 80426872090SOleg Nesterov curr = info; 80526872090SOleg Nesterov 80626872090SOleg Nesterov info->mm = vma->vm_mm; 80726872090SOleg Nesterov info->vaddr = vma_address(vma, offset); 808a5f4374aSIngo Molnar } 809a5f4374aSIngo Molnar mutex_unlock(&mapping->i_mmap_mutex); 810a5f4374aSIngo Molnar 81126872090SOleg Nesterov if (!more) 81226872090SOleg Nesterov goto out; 813a5f4374aSIngo Molnar 81426872090SOleg Nesterov prev = curr; 81526872090SOleg Nesterov while (curr) { 81626872090SOleg Nesterov mmput(curr->mm); 81726872090SOleg Nesterov curr = curr->next; 81826872090SOleg Nesterov } 81926872090SOleg Nesterov 82026872090SOleg Nesterov do { 82126872090SOleg Nesterov info = kmalloc(sizeof(struct map_info), GFP_KERNEL); 82226872090SOleg Nesterov if (!info) { 82326872090SOleg Nesterov curr = ERR_PTR(-ENOMEM); 82426872090SOleg Nesterov goto out; 82526872090SOleg Nesterov } 82626872090SOleg Nesterov info->next = prev; 82726872090SOleg Nesterov prev = info; 82826872090SOleg Nesterov } while (--more); 82926872090SOleg Nesterov 83026872090SOleg Nesterov goto again; 83126872090SOleg Nesterov out: 83226872090SOleg Nesterov while (prev) 83326872090SOleg Nesterov prev = free_map_info(prev); 83426872090SOleg Nesterov return curr; 835a5f4374aSIngo Molnar } 836a5f4374aSIngo Molnar 837a5f4374aSIngo Molnar static int register_for_each_vma(struct uprobe *uprobe, bool is_register) 838a5f4374aSIngo Molnar { 83926872090SOleg Nesterov struct map_info *info; 84026872090SOleg Nesterov int err = 0; 84126872090SOleg Nesterov 84226872090SOleg Nesterov info = build_map_info(uprobe->inode->i_mapping, 84326872090SOleg Nesterov uprobe->offset, is_register); 84426872090SOleg Nesterov if (IS_ERR(info)) 84526872090SOleg Nesterov return PTR_ERR(info); 84626872090SOleg Nesterov 84726872090SOleg Nesterov while (info) { 84826872090SOleg Nesterov struct mm_struct *mm = info->mm; 849a5f4374aSIngo Molnar struct vm_area_struct *vma; 850a5f4374aSIngo Molnar loff_t vaddr; 851a5f4374aSIngo Molnar 85226872090SOleg Nesterov if (err) 85326872090SOleg Nesterov goto free; 854a5f4374aSIngo Molnar 85577fc4af1SOleg Nesterov down_write(&mm->mmap_sem); 85626872090SOleg Nesterov vma = find_vma(mm, (unsigned long)info->vaddr); 85726872090SOleg Nesterov if (!vma || !valid_vma(vma, is_register)) 85826872090SOleg Nesterov goto unlock; 85926872090SOleg Nesterov 860a5f4374aSIngo Molnar vaddr = vma_address(vma, uprobe->offset); 861a5f4374aSIngo Molnar if (vma->vm_file->f_mapping->host != uprobe->inode || 86226872090SOleg Nesterov vaddr != info->vaddr) 86326872090SOleg Nesterov goto unlock; 864a5f4374aSIngo Molnar 865a5f4374aSIngo Molnar if (is_register) { 86626872090SOleg Nesterov err = install_breakpoint(uprobe, mm, vma, info->vaddr); 867c5784de2SPeter Zijlstra /* 868c5784de2SPeter Zijlstra * We can race against uprobe_mmap(), see the 869c5784de2SPeter Zijlstra * comment near uprobe_hash(). 870c5784de2SPeter Zijlstra */ 87126872090SOleg Nesterov if (err == -EEXIST) 87226872090SOleg Nesterov err = 0; 87326872090SOleg Nesterov } else { 87426872090SOleg Nesterov remove_breakpoint(uprobe, mm, info->vaddr); 875a5f4374aSIngo Molnar } 87626872090SOleg Nesterov unlock: 87726872090SOleg Nesterov up_write(&mm->mmap_sem); 87826872090SOleg Nesterov free: 87926872090SOleg Nesterov mmput(mm); 88026872090SOleg Nesterov info = free_map_info(info); 881a5f4374aSIngo Molnar } 882a5f4374aSIngo Molnar 88326872090SOleg Nesterov return err; 884a5f4374aSIngo Molnar } 885a5f4374aSIngo Molnar 886a5f4374aSIngo Molnar static int __uprobe_register(struct uprobe *uprobe) 887a5f4374aSIngo Molnar { 888a5f4374aSIngo Molnar return register_for_each_vma(uprobe, true); 889a5f4374aSIngo Molnar } 890a5f4374aSIngo Molnar 891a5f4374aSIngo Molnar static void __uprobe_unregister(struct uprobe *uprobe) 892a5f4374aSIngo Molnar { 893a5f4374aSIngo Molnar if (!register_for_each_vma(uprobe, false)) 894a5f4374aSIngo Molnar delete_uprobe(uprobe); 895a5f4374aSIngo Molnar 896a5f4374aSIngo Molnar /* TODO : cant unregister? schedule a worker thread */ 897a5f4374aSIngo Molnar } 898a5f4374aSIngo Molnar 899a5f4374aSIngo Molnar /* 900a5f4374aSIngo Molnar * uprobe_register - register a probe 901a5f4374aSIngo Molnar * @inode: the file in which the probe has to be placed. 902a5f4374aSIngo Molnar * @offset: offset from the start of the file. 903e3343e6aSSrikar Dronamraju * @uc: information on howto handle the probe.. 904a5f4374aSIngo Molnar * 905a5f4374aSIngo Molnar * Apart from the access refcount, uprobe_register() takes a creation 906a5f4374aSIngo Molnar * refcount (thro alloc_uprobe) if and only if this @uprobe is getting 907a5f4374aSIngo Molnar * inserted into the rbtree (i.e first consumer for a @inode:@offset 908a5f4374aSIngo Molnar * tuple). Creation refcount stops uprobe_unregister from freeing the 909a5f4374aSIngo Molnar * @uprobe even before the register operation is complete. Creation 910e3343e6aSSrikar Dronamraju * refcount is released when the last @uc for the @uprobe 911a5f4374aSIngo Molnar * unregisters. 912a5f4374aSIngo Molnar * 913a5f4374aSIngo Molnar * Return errno if it cannot successully install probes 914a5f4374aSIngo Molnar * else return 0 (success) 915a5f4374aSIngo Molnar */ 916e3343e6aSSrikar Dronamraju int uprobe_register(struct inode *inode, loff_t offset, struct uprobe_consumer *uc) 917a5f4374aSIngo Molnar { 918a5f4374aSIngo Molnar struct uprobe *uprobe; 919a5f4374aSIngo Molnar int ret; 920a5f4374aSIngo Molnar 921e3343e6aSSrikar Dronamraju if (!inode || !uc || uc->next) 922a5f4374aSIngo Molnar return -EINVAL; 923a5f4374aSIngo Molnar 924a5f4374aSIngo Molnar if (offset > i_size_read(inode)) 925a5f4374aSIngo Molnar return -EINVAL; 926a5f4374aSIngo Molnar 927a5f4374aSIngo Molnar ret = 0; 928a5f4374aSIngo Molnar mutex_lock(uprobes_hash(inode)); 929a5f4374aSIngo Molnar uprobe = alloc_uprobe(inode, offset); 930a5f4374aSIngo Molnar 931e3343e6aSSrikar Dronamraju if (uprobe && !consumer_add(uprobe, uc)) { 932a5f4374aSIngo Molnar ret = __uprobe_register(uprobe); 933a5f4374aSIngo Molnar if (ret) { 934a5f4374aSIngo Molnar uprobe->consumers = NULL; 935a5f4374aSIngo Molnar __uprobe_unregister(uprobe); 936a5f4374aSIngo Molnar } else { 937900771a4SSrikar Dronamraju uprobe->flags |= UPROBE_RUN_HANDLER; 938a5f4374aSIngo Molnar } 939a5f4374aSIngo Molnar } 940a5f4374aSIngo Molnar 941a5f4374aSIngo Molnar mutex_unlock(uprobes_hash(inode)); 942a5f4374aSIngo Molnar put_uprobe(uprobe); 943a5f4374aSIngo Molnar 944a5f4374aSIngo Molnar return ret; 945a5f4374aSIngo Molnar } 946a5f4374aSIngo Molnar 947a5f4374aSIngo Molnar /* 948a5f4374aSIngo Molnar * uprobe_unregister - unregister a already registered probe. 949a5f4374aSIngo Molnar * @inode: the file in which the probe has to be removed. 950a5f4374aSIngo Molnar * @offset: offset from the start of the file. 951e3343e6aSSrikar Dronamraju * @uc: identify which probe if multiple probes are colocated. 952a5f4374aSIngo Molnar */ 953e3343e6aSSrikar Dronamraju void uprobe_unregister(struct inode *inode, loff_t offset, struct uprobe_consumer *uc) 954a5f4374aSIngo Molnar { 955a5f4374aSIngo Molnar struct uprobe *uprobe; 956a5f4374aSIngo Molnar 957e3343e6aSSrikar Dronamraju if (!inode || !uc) 958a5f4374aSIngo Molnar return; 959a5f4374aSIngo Molnar 960a5f4374aSIngo Molnar uprobe = find_uprobe(inode, offset); 961a5f4374aSIngo Molnar if (!uprobe) 962a5f4374aSIngo Molnar return; 963a5f4374aSIngo Molnar 964a5f4374aSIngo Molnar mutex_lock(uprobes_hash(inode)); 965a5f4374aSIngo Molnar 966e3343e6aSSrikar Dronamraju if (consumer_del(uprobe, uc)) { 967a5f4374aSIngo Molnar if (!uprobe->consumers) { 968a5f4374aSIngo Molnar __uprobe_unregister(uprobe); 969900771a4SSrikar Dronamraju uprobe->flags &= ~UPROBE_RUN_HANDLER; 970a5f4374aSIngo Molnar } 971a5f4374aSIngo Molnar } 972a5f4374aSIngo Molnar 973a5f4374aSIngo Molnar mutex_unlock(uprobes_hash(inode)); 974a5f4374aSIngo Molnar if (uprobe) 975a5f4374aSIngo Molnar put_uprobe(uprobe); 976a5f4374aSIngo Molnar } 977a5f4374aSIngo Molnar 978a5f4374aSIngo Molnar /* 979a5f4374aSIngo Molnar * Of all the nodes that correspond to the given inode, return the node 980a5f4374aSIngo Molnar * with the least offset. 981a5f4374aSIngo Molnar */ 982a5f4374aSIngo Molnar static struct rb_node *find_least_offset_node(struct inode *inode) 983a5f4374aSIngo Molnar { 984a5f4374aSIngo Molnar struct uprobe u = { .inode = inode, .offset = 0}; 985a5f4374aSIngo Molnar struct rb_node *n = uprobes_tree.rb_node; 986a5f4374aSIngo Molnar struct rb_node *close_node = NULL; 987a5f4374aSIngo Molnar struct uprobe *uprobe; 988a5f4374aSIngo Molnar int match; 989a5f4374aSIngo Molnar 990a5f4374aSIngo Molnar while (n) { 991a5f4374aSIngo Molnar uprobe = rb_entry(n, struct uprobe, rb_node); 992a5f4374aSIngo Molnar match = match_uprobe(&u, uprobe); 993a5f4374aSIngo Molnar 994a5f4374aSIngo Molnar if (uprobe->inode == inode) 995a5f4374aSIngo Molnar close_node = n; 996a5f4374aSIngo Molnar 997a5f4374aSIngo Molnar if (!match) 998a5f4374aSIngo Molnar return close_node; 999a5f4374aSIngo Molnar 1000a5f4374aSIngo Molnar if (match < 0) 1001a5f4374aSIngo Molnar n = n->rb_left; 1002a5f4374aSIngo Molnar else 1003a5f4374aSIngo Molnar n = n->rb_right; 1004a5f4374aSIngo Molnar } 1005a5f4374aSIngo Molnar 1006a5f4374aSIngo Molnar return close_node; 1007a5f4374aSIngo Molnar } 1008a5f4374aSIngo Molnar 1009a5f4374aSIngo Molnar /* 1010a5f4374aSIngo Molnar * For a given inode, build a list of probes that need to be inserted. 1011a5f4374aSIngo Molnar */ 1012a5f4374aSIngo Molnar static void build_probe_list(struct inode *inode, struct list_head *head) 1013a5f4374aSIngo Molnar { 1014a5f4374aSIngo Molnar struct uprobe *uprobe; 1015a5f4374aSIngo Molnar unsigned long flags; 1016a5f4374aSIngo Molnar struct rb_node *n; 1017a5f4374aSIngo Molnar 1018a5f4374aSIngo Molnar spin_lock_irqsave(&uprobes_treelock, flags); 1019a5f4374aSIngo Molnar 1020a5f4374aSIngo Molnar n = find_least_offset_node(inode); 1021a5f4374aSIngo Molnar 1022a5f4374aSIngo Molnar for (; n; n = rb_next(n)) { 1023a5f4374aSIngo Molnar uprobe = rb_entry(n, struct uprobe, rb_node); 1024a5f4374aSIngo Molnar if (uprobe->inode != inode) 1025a5f4374aSIngo Molnar break; 1026a5f4374aSIngo Molnar 1027a5f4374aSIngo Molnar list_add(&uprobe->pending_list, head); 1028a5f4374aSIngo Molnar atomic_inc(&uprobe->ref); 1029a5f4374aSIngo Molnar } 1030a5f4374aSIngo Molnar 1031a5f4374aSIngo Molnar spin_unlock_irqrestore(&uprobes_treelock, flags); 1032a5f4374aSIngo Molnar } 1033a5f4374aSIngo Molnar 1034a5f4374aSIngo Molnar /* 1035a5f4374aSIngo Molnar * Called from mmap_region. 1036a5f4374aSIngo Molnar * called with mm->mmap_sem acquired. 1037a5f4374aSIngo Molnar * 1038a5f4374aSIngo Molnar * Return -ve no if we fail to insert probes and we cannot 1039a5f4374aSIngo Molnar * bail-out. 1040a5f4374aSIngo Molnar * Return 0 otherwise. i.e: 1041a5f4374aSIngo Molnar * 1042a5f4374aSIngo Molnar * - successful insertion of probes 1043a5f4374aSIngo Molnar * - (or) no possible probes to be inserted. 1044a5f4374aSIngo Molnar * - (or) insertion of probes failed but we can bail-out. 1045a5f4374aSIngo Molnar */ 1046a5f4374aSIngo Molnar int uprobe_mmap(struct vm_area_struct *vma) 1047a5f4374aSIngo Molnar { 1048a5f4374aSIngo Molnar struct list_head tmp_list; 1049a5f4374aSIngo Molnar struct uprobe *uprobe, *u; 1050a5f4374aSIngo Molnar struct inode *inode; 1051682968e0SSrikar Dronamraju int ret, count; 1052a5f4374aSIngo Molnar 1053a5f4374aSIngo Molnar if (!atomic_read(&uprobe_events) || !valid_vma(vma, true)) 1054a5f4374aSIngo Molnar return 0; 1055a5f4374aSIngo Molnar 1056a5f4374aSIngo Molnar inode = vma->vm_file->f_mapping->host; 1057a5f4374aSIngo Molnar if (!inode) 1058a5f4374aSIngo Molnar return 0; 1059a5f4374aSIngo Molnar 1060a5f4374aSIngo Molnar INIT_LIST_HEAD(&tmp_list); 1061a5f4374aSIngo Molnar mutex_lock(uprobes_mmap_hash(inode)); 1062a5f4374aSIngo Molnar build_probe_list(inode, &tmp_list); 1063a5f4374aSIngo Molnar 1064a5f4374aSIngo Molnar ret = 0; 1065682968e0SSrikar Dronamraju count = 0; 1066a5f4374aSIngo Molnar 1067a5f4374aSIngo Molnar list_for_each_entry_safe(uprobe, u, &tmp_list, pending_list) { 1068a5f4374aSIngo Molnar loff_t vaddr; 1069a5f4374aSIngo Molnar 1070a5f4374aSIngo Molnar list_del(&uprobe->pending_list); 1071a5f4374aSIngo Molnar if (!ret) { 1072a5f4374aSIngo Molnar vaddr = vma_address(vma, uprobe->offset); 1073682968e0SSrikar Dronamraju 1074682968e0SSrikar Dronamraju if (vaddr < vma->vm_start || vaddr >= vma->vm_end) { 1075682968e0SSrikar Dronamraju put_uprobe(uprobe); 1076682968e0SSrikar Dronamraju continue; 1077a5f4374aSIngo Molnar } 1078682968e0SSrikar Dronamraju 1079682968e0SSrikar Dronamraju ret = install_breakpoint(uprobe, vma->vm_mm, vma, vaddr); 1080c5784de2SPeter Zijlstra /* 1081c5784de2SPeter Zijlstra * We can race against uprobe_register(), see the 1082c5784de2SPeter Zijlstra * comment near uprobe_hash(). 1083c5784de2SPeter Zijlstra */ 1084682968e0SSrikar Dronamraju if (ret == -EEXIST) { 1085682968e0SSrikar Dronamraju ret = 0; 1086682968e0SSrikar Dronamraju 1087682968e0SSrikar Dronamraju if (!is_swbp_at_addr(vma->vm_mm, vaddr)) 1088682968e0SSrikar Dronamraju continue; 1089682968e0SSrikar Dronamraju 1090682968e0SSrikar Dronamraju /* 1091682968e0SSrikar Dronamraju * Unable to insert a breakpoint, but 1092682968e0SSrikar Dronamraju * breakpoint lies underneath. Increment the 1093682968e0SSrikar Dronamraju * probe count. 1094682968e0SSrikar Dronamraju */ 1095682968e0SSrikar Dronamraju atomic_inc(&vma->vm_mm->uprobes_state.count); 1096682968e0SSrikar Dronamraju } 1097682968e0SSrikar Dronamraju 1098682968e0SSrikar Dronamraju if (!ret) 1099682968e0SSrikar Dronamraju count++; 1100a5f4374aSIngo Molnar } 1101a5f4374aSIngo Molnar put_uprobe(uprobe); 1102a5f4374aSIngo Molnar } 1103a5f4374aSIngo Molnar 1104a5f4374aSIngo Molnar mutex_unlock(uprobes_mmap_hash(inode)); 1105a5f4374aSIngo Molnar 1106682968e0SSrikar Dronamraju if (ret) 1107682968e0SSrikar Dronamraju atomic_sub(count, &vma->vm_mm->uprobes_state.count); 1108682968e0SSrikar Dronamraju 1109a5f4374aSIngo Molnar return ret; 1110a5f4374aSIngo Molnar } 1111a5f4374aSIngo Molnar 1112682968e0SSrikar Dronamraju /* 1113682968e0SSrikar Dronamraju * Called in context of a munmap of a vma. 1114682968e0SSrikar Dronamraju */ 1115cbc91f71SSrikar Dronamraju void uprobe_munmap(struct vm_area_struct *vma, unsigned long start, unsigned long end) 1116682968e0SSrikar Dronamraju { 1117682968e0SSrikar Dronamraju struct list_head tmp_list; 1118682968e0SSrikar Dronamraju struct uprobe *uprobe, *u; 1119682968e0SSrikar Dronamraju struct inode *inode; 1120682968e0SSrikar Dronamraju 1121682968e0SSrikar Dronamraju if (!atomic_read(&uprobe_events) || !valid_vma(vma, false)) 1122682968e0SSrikar Dronamraju return; 1123682968e0SSrikar Dronamraju 1124682968e0SSrikar Dronamraju if (!atomic_read(&vma->vm_mm->uprobes_state.count)) 1125682968e0SSrikar Dronamraju return; 1126682968e0SSrikar Dronamraju 1127682968e0SSrikar Dronamraju inode = vma->vm_file->f_mapping->host; 1128682968e0SSrikar Dronamraju if (!inode) 1129682968e0SSrikar Dronamraju return; 1130682968e0SSrikar Dronamraju 1131682968e0SSrikar Dronamraju INIT_LIST_HEAD(&tmp_list); 1132682968e0SSrikar Dronamraju mutex_lock(uprobes_mmap_hash(inode)); 1133682968e0SSrikar Dronamraju build_probe_list(inode, &tmp_list); 1134682968e0SSrikar Dronamraju 1135682968e0SSrikar Dronamraju list_for_each_entry_safe(uprobe, u, &tmp_list, pending_list) { 1136682968e0SSrikar Dronamraju loff_t vaddr; 1137682968e0SSrikar Dronamraju 1138682968e0SSrikar Dronamraju list_del(&uprobe->pending_list); 1139682968e0SSrikar Dronamraju vaddr = vma_address(vma, uprobe->offset); 1140682968e0SSrikar Dronamraju 1141cbc91f71SSrikar Dronamraju if (vaddr >= start && vaddr < end) { 1142682968e0SSrikar Dronamraju /* 1143682968e0SSrikar Dronamraju * An unregister could have removed the probe before 1144682968e0SSrikar Dronamraju * unmap. So check before we decrement the count. 1145682968e0SSrikar Dronamraju */ 1146682968e0SSrikar Dronamraju if (is_swbp_at_addr(vma->vm_mm, vaddr) == 1) 1147682968e0SSrikar Dronamraju atomic_dec(&vma->vm_mm->uprobes_state.count); 1148682968e0SSrikar Dronamraju } 1149682968e0SSrikar Dronamraju put_uprobe(uprobe); 1150682968e0SSrikar Dronamraju } 1151682968e0SSrikar Dronamraju mutex_unlock(uprobes_mmap_hash(inode)); 1152682968e0SSrikar Dronamraju } 1153682968e0SSrikar Dronamraju 1154d4b3b638SSrikar Dronamraju /* Slot allocation for XOL */ 1155d4b3b638SSrikar Dronamraju static int xol_add_vma(struct xol_area *area) 1156d4b3b638SSrikar Dronamraju { 1157d4b3b638SSrikar Dronamraju struct mm_struct *mm; 1158d4b3b638SSrikar Dronamraju int ret; 1159d4b3b638SSrikar Dronamraju 1160d4b3b638SSrikar Dronamraju area->page = alloc_page(GFP_HIGHUSER); 1161d4b3b638SSrikar Dronamraju if (!area->page) 1162d4b3b638SSrikar Dronamraju return -ENOMEM; 1163d4b3b638SSrikar Dronamraju 1164d4b3b638SSrikar Dronamraju ret = -EALREADY; 1165d4b3b638SSrikar Dronamraju mm = current->mm; 1166d4b3b638SSrikar Dronamraju 1167d4b3b638SSrikar Dronamraju down_write(&mm->mmap_sem); 1168d4b3b638SSrikar Dronamraju if (mm->uprobes_state.xol_area) 1169d4b3b638SSrikar Dronamraju goto fail; 1170d4b3b638SSrikar Dronamraju 1171d4b3b638SSrikar Dronamraju ret = -ENOMEM; 1172d4b3b638SSrikar Dronamraju 1173d4b3b638SSrikar Dronamraju /* Try to map as high as possible, this is only a hint. */ 1174d4b3b638SSrikar Dronamraju area->vaddr = get_unmapped_area(NULL, TASK_SIZE - PAGE_SIZE, PAGE_SIZE, 0, 0); 1175d4b3b638SSrikar Dronamraju if (area->vaddr & ~PAGE_MASK) { 1176d4b3b638SSrikar Dronamraju ret = area->vaddr; 1177d4b3b638SSrikar Dronamraju goto fail; 1178d4b3b638SSrikar Dronamraju } 1179d4b3b638SSrikar Dronamraju 1180d4b3b638SSrikar Dronamraju ret = install_special_mapping(mm, area->vaddr, PAGE_SIZE, 1181d4b3b638SSrikar Dronamraju VM_EXEC|VM_MAYEXEC|VM_DONTCOPY|VM_IO, &area->page); 1182d4b3b638SSrikar Dronamraju if (ret) 1183d4b3b638SSrikar Dronamraju goto fail; 1184d4b3b638SSrikar Dronamraju 1185d4b3b638SSrikar Dronamraju smp_wmb(); /* pairs with get_xol_area() */ 1186d4b3b638SSrikar Dronamraju mm->uprobes_state.xol_area = area; 1187d4b3b638SSrikar Dronamraju ret = 0; 1188d4b3b638SSrikar Dronamraju 1189d4b3b638SSrikar Dronamraju fail: 1190d4b3b638SSrikar Dronamraju up_write(&mm->mmap_sem); 1191d4b3b638SSrikar Dronamraju if (ret) 1192d4b3b638SSrikar Dronamraju __free_page(area->page); 1193d4b3b638SSrikar Dronamraju 1194d4b3b638SSrikar Dronamraju return ret; 1195d4b3b638SSrikar Dronamraju } 1196d4b3b638SSrikar Dronamraju 1197d4b3b638SSrikar Dronamraju static struct xol_area *get_xol_area(struct mm_struct *mm) 1198d4b3b638SSrikar Dronamraju { 1199d4b3b638SSrikar Dronamraju struct xol_area *area; 1200d4b3b638SSrikar Dronamraju 1201d4b3b638SSrikar Dronamraju area = mm->uprobes_state.xol_area; 1202d4b3b638SSrikar Dronamraju smp_read_barrier_depends(); /* pairs with wmb in xol_add_vma() */ 1203d4b3b638SSrikar Dronamraju 1204d4b3b638SSrikar Dronamraju return area; 1205d4b3b638SSrikar Dronamraju } 1206d4b3b638SSrikar Dronamraju 1207d4b3b638SSrikar Dronamraju /* 1208d4b3b638SSrikar Dronamraju * xol_alloc_area - Allocate process's xol_area. 1209d4b3b638SSrikar Dronamraju * This area will be used for storing instructions for execution out of 1210d4b3b638SSrikar Dronamraju * line. 1211d4b3b638SSrikar Dronamraju * 1212d4b3b638SSrikar Dronamraju * Returns the allocated area or NULL. 1213d4b3b638SSrikar Dronamraju */ 1214d4b3b638SSrikar Dronamraju static struct xol_area *xol_alloc_area(void) 1215d4b3b638SSrikar Dronamraju { 1216d4b3b638SSrikar Dronamraju struct xol_area *area; 1217d4b3b638SSrikar Dronamraju 1218d4b3b638SSrikar Dronamraju area = kzalloc(sizeof(*area), GFP_KERNEL); 1219d4b3b638SSrikar Dronamraju if (unlikely(!area)) 1220d4b3b638SSrikar Dronamraju return NULL; 1221d4b3b638SSrikar Dronamraju 1222d4b3b638SSrikar Dronamraju area->bitmap = kzalloc(BITS_TO_LONGS(UINSNS_PER_PAGE) * sizeof(long), GFP_KERNEL); 1223d4b3b638SSrikar Dronamraju 1224d4b3b638SSrikar Dronamraju if (!area->bitmap) 1225d4b3b638SSrikar Dronamraju goto fail; 1226d4b3b638SSrikar Dronamraju 1227d4b3b638SSrikar Dronamraju init_waitqueue_head(&area->wq); 1228d4b3b638SSrikar Dronamraju if (!xol_add_vma(area)) 1229d4b3b638SSrikar Dronamraju return area; 1230d4b3b638SSrikar Dronamraju 1231d4b3b638SSrikar Dronamraju fail: 1232d4b3b638SSrikar Dronamraju kfree(area->bitmap); 1233d4b3b638SSrikar Dronamraju kfree(area); 1234d4b3b638SSrikar Dronamraju 1235d4b3b638SSrikar Dronamraju return get_xol_area(current->mm); 1236d4b3b638SSrikar Dronamraju } 1237d4b3b638SSrikar Dronamraju 1238d4b3b638SSrikar Dronamraju /* 1239d4b3b638SSrikar Dronamraju * uprobe_clear_state - Free the area allocated for slots. 1240d4b3b638SSrikar Dronamraju */ 1241d4b3b638SSrikar Dronamraju void uprobe_clear_state(struct mm_struct *mm) 1242d4b3b638SSrikar Dronamraju { 1243d4b3b638SSrikar Dronamraju struct xol_area *area = mm->uprobes_state.xol_area; 1244d4b3b638SSrikar Dronamraju 1245d4b3b638SSrikar Dronamraju if (!area) 1246d4b3b638SSrikar Dronamraju return; 1247d4b3b638SSrikar Dronamraju 1248d4b3b638SSrikar Dronamraju put_page(area->page); 1249d4b3b638SSrikar Dronamraju kfree(area->bitmap); 1250d4b3b638SSrikar Dronamraju kfree(area); 1251d4b3b638SSrikar Dronamraju } 1252d4b3b638SSrikar Dronamraju 1253d4b3b638SSrikar Dronamraju /* 1254d4b3b638SSrikar Dronamraju * uprobe_reset_state - Free the area allocated for slots. 1255d4b3b638SSrikar Dronamraju */ 1256d4b3b638SSrikar Dronamraju void uprobe_reset_state(struct mm_struct *mm) 1257d4b3b638SSrikar Dronamraju { 1258d4b3b638SSrikar Dronamraju mm->uprobes_state.xol_area = NULL; 1259682968e0SSrikar Dronamraju atomic_set(&mm->uprobes_state.count, 0); 1260d4b3b638SSrikar Dronamraju } 1261d4b3b638SSrikar Dronamraju 1262d4b3b638SSrikar Dronamraju /* 1263d4b3b638SSrikar Dronamraju * - search for a free slot. 1264d4b3b638SSrikar Dronamraju */ 1265d4b3b638SSrikar Dronamraju static unsigned long xol_take_insn_slot(struct xol_area *area) 1266d4b3b638SSrikar Dronamraju { 1267d4b3b638SSrikar Dronamraju unsigned long slot_addr; 1268d4b3b638SSrikar Dronamraju int slot_nr; 1269d4b3b638SSrikar Dronamraju 1270d4b3b638SSrikar Dronamraju do { 1271d4b3b638SSrikar Dronamraju slot_nr = find_first_zero_bit(area->bitmap, UINSNS_PER_PAGE); 1272d4b3b638SSrikar Dronamraju if (slot_nr < UINSNS_PER_PAGE) { 1273d4b3b638SSrikar Dronamraju if (!test_and_set_bit(slot_nr, area->bitmap)) 1274d4b3b638SSrikar Dronamraju break; 1275d4b3b638SSrikar Dronamraju 1276d4b3b638SSrikar Dronamraju slot_nr = UINSNS_PER_PAGE; 1277d4b3b638SSrikar Dronamraju continue; 1278d4b3b638SSrikar Dronamraju } 1279d4b3b638SSrikar Dronamraju wait_event(area->wq, (atomic_read(&area->slot_count) < UINSNS_PER_PAGE)); 1280d4b3b638SSrikar Dronamraju } while (slot_nr >= UINSNS_PER_PAGE); 1281d4b3b638SSrikar Dronamraju 1282d4b3b638SSrikar Dronamraju slot_addr = area->vaddr + (slot_nr * UPROBE_XOL_SLOT_BYTES); 1283d4b3b638SSrikar Dronamraju atomic_inc(&area->slot_count); 1284d4b3b638SSrikar Dronamraju 1285d4b3b638SSrikar Dronamraju return slot_addr; 1286d4b3b638SSrikar Dronamraju } 1287d4b3b638SSrikar Dronamraju 1288d4b3b638SSrikar Dronamraju /* 1289d4b3b638SSrikar Dronamraju * xol_get_insn_slot - If was not allocated a slot, then 1290d4b3b638SSrikar Dronamraju * allocate a slot. 1291d4b3b638SSrikar Dronamraju * Returns the allocated slot address or 0. 1292d4b3b638SSrikar Dronamraju */ 1293d4b3b638SSrikar Dronamraju static unsigned long xol_get_insn_slot(struct uprobe *uprobe, unsigned long slot_addr) 1294d4b3b638SSrikar Dronamraju { 1295d4b3b638SSrikar Dronamraju struct xol_area *area; 1296d4b3b638SSrikar Dronamraju unsigned long offset; 1297d4b3b638SSrikar Dronamraju void *vaddr; 1298d4b3b638SSrikar Dronamraju 1299d4b3b638SSrikar Dronamraju area = get_xol_area(current->mm); 1300d4b3b638SSrikar Dronamraju if (!area) { 1301d4b3b638SSrikar Dronamraju area = xol_alloc_area(); 1302d4b3b638SSrikar Dronamraju if (!area) 1303d4b3b638SSrikar Dronamraju return 0; 1304d4b3b638SSrikar Dronamraju } 1305d4b3b638SSrikar Dronamraju current->utask->xol_vaddr = xol_take_insn_slot(area); 1306d4b3b638SSrikar Dronamraju 1307d4b3b638SSrikar Dronamraju /* 1308d4b3b638SSrikar Dronamraju * Initialize the slot if xol_vaddr points to valid 1309d4b3b638SSrikar Dronamraju * instruction slot. 1310d4b3b638SSrikar Dronamraju */ 1311d4b3b638SSrikar Dronamraju if (unlikely(!current->utask->xol_vaddr)) 1312d4b3b638SSrikar Dronamraju return 0; 1313d4b3b638SSrikar Dronamraju 1314d4b3b638SSrikar Dronamraju current->utask->vaddr = slot_addr; 1315d4b3b638SSrikar Dronamraju offset = current->utask->xol_vaddr & ~PAGE_MASK; 1316d4b3b638SSrikar Dronamraju vaddr = kmap_atomic(area->page); 1317d4b3b638SSrikar Dronamraju memcpy(vaddr + offset, uprobe->arch.insn, MAX_UINSN_BYTES); 1318d4b3b638SSrikar Dronamraju kunmap_atomic(vaddr); 1319d4b3b638SSrikar Dronamraju 1320d4b3b638SSrikar Dronamraju return current->utask->xol_vaddr; 1321d4b3b638SSrikar Dronamraju } 1322d4b3b638SSrikar Dronamraju 1323d4b3b638SSrikar Dronamraju /* 1324d4b3b638SSrikar Dronamraju * xol_free_insn_slot - If slot was earlier allocated by 1325d4b3b638SSrikar Dronamraju * @xol_get_insn_slot(), make the slot available for 1326d4b3b638SSrikar Dronamraju * subsequent requests. 1327d4b3b638SSrikar Dronamraju */ 1328d4b3b638SSrikar Dronamraju static void xol_free_insn_slot(struct task_struct *tsk) 1329d4b3b638SSrikar Dronamraju { 1330d4b3b638SSrikar Dronamraju struct xol_area *area; 1331d4b3b638SSrikar Dronamraju unsigned long vma_end; 1332d4b3b638SSrikar Dronamraju unsigned long slot_addr; 1333d4b3b638SSrikar Dronamraju 1334d4b3b638SSrikar Dronamraju if (!tsk->mm || !tsk->mm->uprobes_state.xol_area || !tsk->utask) 1335d4b3b638SSrikar Dronamraju return; 1336d4b3b638SSrikar Dronamraju 1337d4b3b638SSrikar Dronamraju slot_addr = tsk->utask->xol_vaddr; 1338d4b3b638SSrikar Dronamraju 1339d4b3b638SSrikar Dronamraju if (unlikely(!slot_addr || IS_ERR_VALUE(slot_addr))) 1340d4b3b638SSrikar Dronamraju return; 1341d4b3b638SSrikar Dronamraju 1342d4b3b638SSrikar Dronamraju area = tsk->mm->uprobes_state.xol_area; 1343d4b3b638SSrikar Dronamraju vma_end = area->vaddr + PAGE_SIZE; 1344d4b3b638SSrikar Dronamraju if (area->vaddr <= slot_addr && slot_addr < vma_end) { 1345d4b3b638SSrikar Dronamraju unsigned long offset; 1346d4b3b638SSrikar Dronamraju int slot_nr; 1347d4b3b638SSrikar Dronamraju 1348d4b3b638SSrikar Dronamraju offset = slot_addr - area->vaddr; 1349d4b3b638SSrikar Dronamraju slot_nr = offset / UPROBE_XOL_SLOT_BYTES; 1350d4b3b638SSrikar Dronamraju if (slot_nr >= UINSNS_PER_PAGE) 1351d4b3b638SSrikar Dronamraju return; 1352d4b3b638SSrikar Dronamraju 1353d4b3b638SSrikar Dronamraju clear_bit(slot_nr, area->bitmap); 1354d4b3b638SSrikar Dronamraju atomic_dec(&area->slot_count); 1355d4b3b638SSrikar Dronamraju if (waitqueue_active(&area->wq)) 1356d4b3b638SSrikar Dronamraju wake_up(&area->wq); 1357d4b3b638SSrikar Dronamraju 1358d4b3b638SSrikar Dronamraju tsk->utask->xol_vaddr = 0; 1359d4b3b638SSrikar Dronamraju } 1360d4b3b638SSrikar Dronamraju } 1361d4b3b638SSrikar Dronamraju 13620326f5a9SSrikar Dronamraju /** 13630326f5a9SSrikar Dronamraju * uprobe_get_swbp_addr - compute address of swbp given post-swbp regs 13640326f5a9SSrikar Dronamraju * @regs: Reflects the saved state of the task after it has hit a breakpoint 13650326f5a9SSrikar Dronamraju * instruction. 13660326f5a9SSrikar Dronamraju * Return the address of the breakpoint instruction. 13670326f5a9SSrikar Dronamraju */ 13680326f5a9SSrikar Dronamraju unsigned long __weak uprobe_get_swbp_addr(struct pt_regs *regs) 13690326f5a9SSrikar Dronamraju { 13700326f5a9SSrikar Dronamraju return instruction_pointer(regs) - UPROBE_SWBP_INSN_SIZE; 13710326f5a9SSrikar Dronamraju } 13720326f5a9SSrikar Dronamraju 13730326f5a9SSrikar Dronamraju /* 13740326f5a9SSrikar Dronamraju * Called with no locks held. 13750326f5a9SSrikar Dronamraju * Called in context of a exiting or a exec-ing thread. 13760326f5a9SSrikar Dronamraju */ 13770326f5a9SSrikar Dronamraju void uprobe_free_utask(struct task_struct *t) 13780326f5a9SSrikar Dronamraju { 13790326f5a9SSrikar Dronamraju struct uprobe_task *utask = t->utask; 13800326f5a9SSrikar Dronamraju 13810326f5a9SSrikar Dronamraju if (!utask) 13820326f5a9SSrikar Dronamraju return; 13830326f5a9SSrikar Dronamraju 13840326f5a9SSrikar Dronamraju if (utask->active_uprobe) 13850326f5a9SSrikar Dronamraju put_uprobe(utask->active_uprobe); 13860326f5a9SSrikar Dronamraju 1387d4b3b638SSrikar Dronamraju xol_free_insn_slot(t); 13880326f5a9SSrikar Dronamraju kfree(utask); 13890326f5a9SSrikar Dronamraju t->utask = NULL; 13900326f5a9SSrikar Dronamraju } 13910326f5a9SSrikar Dronamraju 13920326f5a9SSrikar Dronamraju /* 13930326f5a9SSrikar Dronamraju * Called in context of a new clone/fork from copy_process. 13940326f5a9SSrikar Dronamraju */ 13950326f5a9SSrikar Dronamraju void uprobe_copy_process(struct task_struct *t) 13960326f5a9SSrikar Dronamraju { 13970326f5a9SSrikar Dronamraju t->utask = NULL; 13980326f5a9SSrikar Dronamraju } 13990326f5a9SSrikar Dronamraju 14000326f5a9SSrikar Dronamraju /* 14010326f5a9SSrikar Dronamraju * Allocate a uprobe_task object for the task. 14020326f5a9SSrikar Dronamraju * Called when the thread hits a breakpoint for the first time. 14030326f5a9SSrikar Dronamraju * 14040326f5a9SSrikar Dronamraju * Returns: 14050326f5a9SSrikar Dronamraju * - pointer to new uprobe_task on success 14060326f5a9SSrikar Dronamraju * - NULL otherwise 14070326f5a9SSrikar Dronamraju */ 14080326f5a9SSrikar Dronamraju static struct uprobe_task *add_utask(void) 14090326f5a9SSrikar Dronamraju { 14100326f5a9SSrikar Dronamraju struct uprobe_task *utask; 14110326f5a9SSrikar Dronamraju 14120326f5a9SSrikar Dronamraju utask = kzalloc(sizeof *utask, GFP_KERNEL); 14130326f5a9SSrikar Dronamraju if (unlikely(!utask)) 14140326f5a9SSrikar Dronamraju return NULL; 14150326f5a9SSrikar Dronamraju 14160326f5a9SSrikar Dronamraju utask->active_uprobe = NULL; 14170326f5a9SSrikar Dronamraju current->utask = utask; 14180326f5a9SSrikar Dronamraju return utask; 14190326f5a9SSrikar Dronamraju } 14200326f5a9SSrikar Dronamraju 14210326f5a9SSrikar Dronamraju /* Prepare to single-step probed instruction out of line. */ 14220326f5a9SSrikar Dronamraju static int 14230326f5a9SSrikar Dronamraju pre_ssout(struct uprobe *uprobe, struct pt_regs *regs, unsigned long vaddr) 14240326f5a9SSrikar Dronamraju { 1425d4b3b638SSrikar Dronamraju if (xol_get_insn_slot(uprobe, vaddr) && !arch_uprobe_pre_xol(&uprobe->arch, regs)) 1426d4b3b638SSrikar Dronamraju return 0; 1427d4b3b638SSrikar Dronamraju 14280326f5a9SSrikar Dronamraju return -EFAULT; 14290326f5a9SSrikar Dronamraju } 14300326f5a9SSrikar Dronamraju 14310326f5a9SSrikar Dronamraju /* 14320326f5a9SSrikar Dronamraju * If we are singlestepping, then ensure this thread is not connected to 14330326f5a9SSrikar Dronamraju * non-fatal signals until completion of singlestep. When xol insn itself 14340326f5a9SSrikar Dronamraju * triggers the signal, restart the original insn even if the task is 14350326f5a9SSrikar Dronamraju * already SIGKILL'ed (since coredump should report the correct ip). This 14360326f5a9SSrikar Dronamraju * is even more important if the task has a handler for SIGSEGV/etc, The 14370326f5a9SSrikar Dronamraju * _same_ instruction should be repeated again after return from the signal 14380326f5a9SSrikar Dronamraju * handler, and SSTEP can never finish in this case. 14390326f5a9SSrikar Dronamraju */ 14400326f5a9SSrikar Dronamraju bool uprobe_deny_signal(void) 14410326f5a9SSrikar Dronamraju { 14420326f5a9SSrikar Dronamraju struct task_struct *t = current; 14430326f5a9SSrikar Dronamraju struct uprobe_task *utask = t->utask; 14440326f5a9SSrikar Dronamraju 14450326f5a9SSrikar Dronamraju if (likely(!utask || !utask->active_uprobe)) 14460326f5a9SSrikar Dronamraju return false; 14470326f5a9SSrikar Dronamraju 14480326f5a9SSrikar Dronamraju WARN_ON_ONCE(utask->state != UTASK_SSTEP); 14490326f5a9SSrikar Dronamraju 14500326f5a9SSrikar Dronamraju if (signal_pending(t)) { 14510326f5a9SSrikar Dronamraju spin_lock_irq(&t->sighand->siglock); 14520326f5a9SSrikar Dronamraju clear_tsk_thread_flag(t, TIF_SIGPENDING); 14530326f5a9SSrikar Dronamraju spin_unlock_irq(&t->sighand->siglock); 14540326f5a9SSrikar Dronamraju 14550326f5a9SSrikar Dronamraju if (__fatal_signal_pending(t) || arch_uprobe_xol_was_trapped(t)) { 14560326f5a9SSrikar Dronamraju utask->state = UTASK_SSTEP_TRAPPED; 14570326f5a9SSrikar Dronamraju set_tsk_thread_flag(t, TIF_UPROBE); 14580326f5a9SSrikar Dronamraju set_tsk_thread_flag(t, TIF_NOTIFY_RESUME); 14590326f5a9SSrikar Dronamraju } 14600326f5a9SSrikar Dronamraju } 14610326f5a9SSrikar Dronamraju 14620326f5a9SSrikar Dronamraju return true; 14630326f5a9SSrikar Dronamraju } 14640326f5a9SSrikar Dronamraju 14650326f5a9SSrikar Dronamraju /* 14660326f5a9SSrikar Dronamraju * Avoid singlestepping the original instruction if the original instruction 14670326f5a9SSrikar Dronamraju * is a NOP or can be emulated. 14680326f5a9SSrikar Dronamraju */ 14690326f5a9SSrikar Dronamraju static bool can_skip_sstep(struct uprobe *uprobe, struct pt_regs *regs) 14700326f5a9SSrikar Dronamraju { 14710326f5a9SSrikar Dronamraju if (arch_uprobe_skip_sstep(&uprobe->arch, regs)) 14720326f5a9SSrikar Dronamraju return true; 14730326f5a9SSrikar Dronamraju 14740326f5a9SSrikar Dronamraju uprobe->flags &= ~UPROBE_SKIP_SSTEP; 14750326f5a9SSrikar Dronamraju return false; 14760326f5a9SSrikar Dronamraju } 14770326f5a9SSrikar Dronamraju 1478d790d346SOleg Nesterov static struct uprobe *find_active_uprobe(unsigned long bp_vaddr, int *is_swbp) 14790326f5a9SSrikar Dronamraju { 14803a9ea052SOleg Nesterov struct mm_struct *mm = current->mm; 14813a9ea052SOleg Nesterov struct uprobe *uprobe = NULL; 14820326f5a9SSrikar Dronamraju struct vm_area_struct *vma; 14830326f5a9SSrikar Dronamraju 14840326f5a9SSrikar Dronamraju down_read(&mm->mmap_sem); 14850326f5a9SSrikar Dronamraju vma = find_vma(mm, bp_vaddr); 14863a9ea052SOleg Nesterov if (vma && vma->vm_start <= bp_vaddr) { 14873a9ea052SOleg Nesterov if (valid_vma(vma, false)) { 14880326f5a9SSrikar Dronamraju struct inode *inode; 14890326f5a9SSrikar Dronamraju loff_t offset; 14900326f5a9SSrikar Dronamraju 14910326f5a9SSrikar Dronamraju inode = vma->vm_file->f_mapping->host; 14920326f5a9SSrikar Dronamraju offset = bp_vaddr - vma->vm_start; 14930326f5a9SSrikar Dronamraju offset += (vma->vm_pgoff << PAGE_SHIFT); 14940326f5a9SSrikar Dronamraju uprobe = find_uprobe(inode, offset); 14950326f5a9SSrikar Dronamraju } 1496d790d346SOleg Nesterov 1497d790d346SOleg Nesterov if (!uprobe) 1498d790d346SOleg Nesterov *is_swbp = is_swbp_at_addr(mm, bp_vaddr); 1499d790d346SOleg Nesterov } else { 1500d790d346SOleg Nesterov *is_swbp = -EFAULT; 15013a9ea052SOleg Nesterov } 15020326f5a9SSrikar Dronamraju up_read(&mm->mmap_sem); 15030326f5a9SSrikar Dronamraju 15043a9ea052SOleg Nesterov return uprobe; 15053a9ea052SOleg Nesterov } 15063a9ea052SOleg Nesterov 15073a9ea052SOleg Nesterov /* 15083a9ea052SOleg Nesterov * Run handler and ask thread to singlestep. 15093a9ea052SOleg Nesterov * Ensure all non-fatal signals cannot interrupt thread while it singlesteps. 15103a9ea052SOleg Nesterov */ 15113a9ea052SOleg Nesterov static void handle_swbp(struct pt_regs *regs) 15123a9ea052SOleg Nesterov { 15133a9ea052SOleg Nesterov struct uprobe_task *utask; 15143a9ea052SOleg Nesterov struct uprobe *uprobe; 15153a9ea052SOleg Nesterov unsigned long bp_vaddr; 151656bb4cf6SOleg Nesterov int uninitialized_var(is_swbp); 15173a9ea052SOleg Nesterov 15183a9ea052SOleg Nesterov bp_vaddr = uprobe_get_swbp_addr(regs); 1519d790d346SOleg Nesterov uprobe = find_active_uprobe(bp_vaddr, &is_swbp); 15203a9ea052SOleg Nesterov 15210326f5a9SSrikar Dronamraju if (!uprobe) { 152256bb4cf6SOleg Nesterov if (is_swbp > 0) { 15230326f5a9SSrikar Dronamraju /* No matching uprobe; signal SIGTRAP. */ 15240326f5a9SSrikar Dronamraju send_sig(SIGTRAP, current, 0); 152556bb4cf6SOleg Nesterov } else { 152656bb4cf6SOleg Nesterov /* 152756bb4cf6SOleg Nesterov * Either we raced with uprobe_unregister() or we can't 152856bb4cf6SOleg Nesterov * access this memory. The latter is only possible if 152956bb4cf6SOleg Nesterov * another thread plays with our ->mm. In both cases 153056bb4cf6SOleg Nesterov * we can simply restart. If this vma was unmapped we 153156bb4cf6SOleg Nesterov * can pretend this insn was not executed yet and get 153256bb4cf6SOleg Nesterov * the (correct) SIGSEGV after restart. 153356bb4cf6SOleg Nesterov */ 153456bb4cf6SOleg Nesterov instruction_pointer_set(regs, bp_vaddr); 153556bb4cf6SOleg Nesterov } 15360326f5a9SSrikar Dronamraju return; 15370326f5a9SSrikar Dronamraju } 15380326f5a9SSrikar Dronamraju 15390326f5a9SSrikar Dronamraju utask = current->utask; 15400326f5a9SSrikar Dronamraju if (!utask) { 15410326f5a9SSrikar Dronamraju utask = add_utask(); 15420326f5a9SSrikar Dronamraju /* Cannot allocate; re-execute the instruction. */ 15430326f5a9SSrikar Dronamraju if (!utask) 15440326f5a9SSrikar Dronamraju goto cleanup_ret; 15450326f5a9SSrikar Dronamraju } 15460326f5a9SSrikar Dronamraju utask->active_uprobe = uprobe; 15470326f5a9SSrikar Dronamraju handler_chain(uprobe, regs); 15480326f5a9SSrikar Dronamraju if (uprobe->flags & UPROBE_SKIP_SSTEP && can_skip_sstep(uprobe, regs)) 15490326f5a9SSrikar Dronamraju goto cleanup_ret; 15500326f5a9SSrikar Dronamraju 15510326f5a9SSrikar Dronamraju utask->state = UTASK_SSTEP; 15520326f5a9SSrikar Dronamraju if (!pre_ssout(uprobe, regs, bp_vaddr)) { 15530326f5a9SSrikar Dronamraju user_enable_single_step(current); 15540326f5a9SSrikar Dronamraju return; 15550326f5a9SSrikar Dronamraju } 15560326f5a9SSrikar Dronamraju 15570326f5a9SSrikar Dronamraju cleanup_ret: 15580326f5a9SSrikar Dronamraju if (utask) { 15590326f5a9SSrikar Dronamraju utask->active_uprobe = NULL; 15600326f5a9SSrikar Dronamraju utask->state = UTASK_RUNNING; 15610326f5a9SSrikar Dronamraju } 15620326f5a9SSrikar Dronamraju if (uprobe) { 15630326f5a9SSrikar Dronamraju if (!(uprobe->flags & UPROBE_SKIP_SSTEP)) 15640326f5a9SSrikar Dronamraju 15650326f5a9SSrikar Dronamraju /* 15660326f5a9SSrikar Dronamraju * cannot singlestep; cannot skip instruction; 15670326f5a9SSrikar Dronamraju * re-execute the instruction. 15680326f5a9SSrikar Dronamraju */ 15690326f5a9SSrikar Dronamraju instruction_pointer_set(regs, bp_vaddr); 15700326f5a9SSrikar Dronamraju 15710326f5a9SSrikar Dronamraju put_uprobe(uprobe); 15720326f5a9SSrikar Dronamraju } 15730326f5a9SSrikar Dronamraju } 15740326f5a9SSrikar Dronamraju 15750326f5a9SSrikar Dronamraju /* 15760326f5a9SSrikar Dronamraju * Perform required fix-ups and disable singlestep. 15770326f5a9SSrikar Dronamraju * Allow pending signals to take effect. 15780326f5a9SSrikar Dronamraju */ 15790326f5a9SSrikar Dronamraju static void handle_singlestep(struct uprobe_task *utask, struct pt_regs *regs) 15800326f5a9SSrikar Dronamraju { 15810326f5a9SSrikar Dronamraju struct uprobe *uprobe; 15820326f5a9SSrikar Dronamraju 15830326f5a9SSrikar Dronamraju uprobe = utask->active_uprobe; 15840326f5a9SSrikar Dronamraju if (utask->state == UTASK_SSTEP_ACK) 15850326f5a9SSrikar Dronamraju arch_uprobe_post_xol(&uprobe->arch, regs); 15860326f5a9SSrikar Dronamraju else if (utask->state == UTASK_SSTEP_TRAPPED) 15870326f5a9SSrikar Dronamraju arch_uprobe_abort_xol(&uprobe->arch, regs); 15880326f5a9SSrikar Dronamraju else 15890326f5a9SSrikar Dronamraju WARN_ON_ONCE(1); 15900326f5a9SSrikar Dronamraju 15910326f5a9SSrikar Dronamraju put_uprobe(uprobe); 15920326f5a9SSrikar Dronamraju utask->active_uprobe = NULL; 15930326f5a9SSrikar Dronamraju utask->state = UTASK_RUNNING; 15940326f5a9SSrikar Dronamraju user_disable_single_step(current); 1595d4b3b638SSrikar Dronamraju xol_free_insn_slot(current); 15960326f5a9SSrikar Dronamraju 15970326f5a9SSrikar Dronamraju spin_lock_irq(¤t->sighand->siglock); 15980326f5a9SSrikar Dronamraju recalc_sigpending(); /* see uprobe_deny_signal() */ 15990326f5a9SSrikar Dronamraju spin_unlock_irq(¤t->sighand->siglock); 16000326f5a9SSrikar Dronamraju } 16010326f5a9SSrikar Dronamraju 16020326f5a9SSrikar Dronamraju /* 16030326f5a9SSrikar Dronamraju * On breakpoint hit, breakpoint notifier sets the TIF_UPROBE flag. (and on 16040326f5a9SSrikar Dronamraju * subsequent probe hits on the thread sets the state to UTASK_BP_HIT) and 16050326f5a9SSrikar Dronamraju * allows the thread to return from interrupt. 16060326f5a9SSrikar Dronamraju * 16070326f5a9SSrikar Dronamraju * On singlestep exception, singlestep notifier sets the TIF_UPROBE flag and 16080326f5a9SSrikar Dronamraju * also sets the state to UTASK_SSTEP_ACK and allows the thread to return from 16090326f5a9SSrikar Dronamraju * interrupt. 16100326f5a9SSrikar Dronamraju * 16110326f5a9SSrikar Dronamraju * While returning to userspace, thread notices the TIF_UPROBE flag and calls 16120326f5a9SSrikar Dronamraju * uprobe_notify_resume(). 16130326f5a9SSrikar Dronamraju */ 16140326f5a9SSrikar Dronamraju void uprobe_notify_resume(struct pt_regs *regs) 16150326f5a9SSrikar Dronamraju { 16160326f5a9SSrikar Dronamraju struct uprobe_task *utask; 16170326f5a9SSrikar Dronamraju 16180326f5a9SSrikar Dronamraju utask = current->utask; 16190326f5a9SSrikar Dronamraju if (!utask || utask->state == UTASK_BP_HIT) 16200326f5a9SSrikar Dronamraju handle_swbp(regs); 16210326f5a9SSrikar Dronamraju else 16220326f5a9SSrikar Dronamraju handle_singlestep(utask, regs); 16230326f5a9SSrikar Dronamraju } 16240326f5a9SSrikar Dronamraju 16250326f5a9SSrikar Dronamraju /* 16260326f5a9SSrikar Dronamraju * uprobe_pre_sstep_notifier gets called from interrupt context as part of 16270326f5a9SSrikar Dronamraju * notifier mechanism. Set TIF_UPROBE flag and indicate breakpoint hit. 16280326f5a9SSrikar Dronamraju */ 16290326f5a9SSrikar Dronamraju int uprobe_pre_sstep_notifier(struct pt_regs *regs) 16300326f5a9SSrikar Dronamraju { 16310326f5a9SSrikar Dronamraju struct uprobe_task *utask; 16320326f5a9SSrikar Dronamraju 1633682968e0SSrikar Dronamraju if (!current->mm || !atomic_read(¤t->mm->uprobes_state.count)) 1634682968e0SSrikar Dronamraju /* task is currently not uprobed */ 16350326f5a9SSrikar Dronamraju return 0; 16360326f5a9SSrikar Dronamraju 16370326f5a9SSrikar Dronamraju utask = current->utask; 16380326f5a9SSrikar Dronamraju if (utask) 16390326f5a9SSrikar Dronamraju utask->state = UTASK_BP_HIT; 16400326f5a9SSrikar Dronamraju 16410326f5a9SSrikar Dronamraju set_thread_flag(TIF_UPROBE); 16420326f5a9SSrikar Dronamraju 16430326f5a9SSrikar Dronamraju return 1; 16440326f5a9SSrikar Dronamraju } 16450326f5a9SSrikar Dronamraju 16460326f5a9SSrikar Dronamraju /* 16470326f5a9SSrikar Dronamraju * uprobe_post_sstep_notifier gets called in interrupt context as part of notifier 16480326f5a9SSrikar Dronamraju * mechanism. Set TIF_UPROBE flag and indicate completion of singlestep. 16490326f5a9SSrikar Dronamraju */ 16500326f5a9SSrikar Dronamraju int uprobe_post_sstep_notifier(struct pt_regs *regs) 16510326f5a9SSrikar Dronamraju { 16520326f5a9SSrikar Dronamraju struct uprobe_task *utask = current->utask; 16530326f5a9SSrikar Dronamraju 16540326f5a9SSrikar Dronamraju if (!current->mm || !utask || !utask->active_uprobe) 16550326f5a9SSrikar Dronamraju /* task is currently not uprobed */ 16560326f5a9SSrikar Dronamraju return 0; 16570326f5a9SSrikar Dronamraju 16580326f5a9SSrikar Dronamraju utask->state = UTASK_SSTEP_ACK; 16590326f5a9SSrikar Dronamraju set_thread_flag(TIF_UPROBE); 16600326f5a9SSrikar Dronamraju return 1; 16610326f5a9SSrikar Dronamraju } 16620326f5a9SSrikar Dronamraju 16630326f5a9SSrikar Dronamraju static struct notifier_block uprobe_exception_nb = { 16640326f5a9SSrikar Dronamraju .notifier_call = arch_uprobe_exception_notify, 16650326f5a9SSrikar Dronamraju .priority = INT_MAX-1, /* notified after kprobes, kgdb */ 16660326f5a9SSrikar Dronamraju }; 16670326f5a9SSrikar Dronamraju 1668a5f4374aSIngo Molnar static int __init init_uprobes(void) 1669a5f4374aSIngo Molnar { 1670a5f4374aSIngo Molnar int i; 1671a5f4374aSIngo Molnar 1672a5f4374aSIngo Molnar for (i = 0; i < UPROBES_HASH_SZ; i++) { 1673a5f4374aSIngo Molnar mutex_init(&uprobes_mutex[i]); 1674a5f4374aSIngo Molnar mutex_init(&uprobes_mmap_mutex[i]); 1675a5f4374aSIngo Molnar } 16760326f5a9SSrikar Dronamraju 16770326f5a9SSrikar Dronamraju return register_die_notifier(&uprobe_exception_nb); 1678a5f4374aSIngo Molnar } 16790326f5a9SSrikar Dronamraju module_init(init_uprobes); 1680a5f4374aSIngo Molnar 1681a5f4374aSIngo Molnar static void __exit exit_uprobes(void) 1682a5f4374aSIngo Molnar { 1683a5f4374aSIngo Molnar } 1684a5f4374aSIngo Molnar module_exit(exit_uprobes); 1685