From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1753509Ab1AZRRs (ORCPT ); Wed, 26 Jan 2011 12:17:48 -0500 Received: from casper.infradead.org ([85.118.1.10]:45250 "EHLO casper.infradead.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751906Ab1AZRRr convert rfc822-to-8bit (ORCPT ); Wed, 26 Jan 2011 12:17:47 -0500 Subject: Re: [RFC] [PATCH 2.6.37-rc5-tip 5/20] 5: Uprobes: register/unregister probes. From: Peter Zijlstra To: Srikar Dronamraju Cc: Ingo Molnar , Steven Rostedt , Linux-mm , Arnaldo Carvalho de Melo , Linus Torvalds , Ananth N Mavinakayanahalli , Christoph Hellwig , Masami Hiramatsu , Oleg Nesterov , Andrew Morton , SystemTap , Jim Keniston , Frederic Weisbecker , Andi Kleen , LKML , "Paul E. McKenney" In-Reply-To: <20110126165645.GP19725@linux.vnet.ibm.com> References: <20101216095714.23751.52601.sendpatchset@localhost6.localdomain6> <20101216095817.23751.76989.sendpatchset@localhost6.localdomain6> <1295957744.28776.722.camel@laptop> <20110126075558.GB19725@linux.vnet.ibm.com> <1296036708.28776.1138.camel@laptop> <20110126153036.GN19725@linux.vnet.ibm.com> <1296056756.28776.1247.camel@laptop> <20110126165645.GP19725@linux.vnet.ibm.com> Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 8BIT Date: Wed, 26 Jan 2011 18:12:29 +0100 Message-ID: <1296061949.28776.1343.camel@laptop> Mime-Version: 1.0 X-Mailer: Evolution 2.30.3 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Wed, 2011-01-26 at 22:26 +0530, Srikar Dronamraju wrote: > > - lookup the vma relating to the address you stored, > > We already do this thro get_user_pages in write_opcode(). Ah, I didn't read that far.. > > - validate that the vma is indeed a map of the right inode > > We can add a check in write_opcode( we need to pass the inode to > write_opcode). sure.. > > - validate that the offset of the probe corresponds with the stored > > address > > I am not clear on this. We would have derived the address from the > offset. So is that we check for > (vaddr == vma->vm_start + uprobe->offset) Sure, but the vma might have changed since you computed the offset -) > > > > Otherwise you can race with unmap/map and end up installing the probe in > > a random location. > > > > Also, I think the whole thing goes funny if someone maps the same text > > twice ;-) > > I am not sure if we can map the same text twice. If something like > this is possible then we would have 2 addresses for each function. > So how does the linker know which address to jump to out of the 2 or > multiple matching addresses. What would be the usecases for same > text being mapped multiple times and both being executable? You can, if only to wreck your thing, you can call mmap() as often as you like (until your virtual memory space runs out) and get many many mapping of the same file. It doesn't need to make sense to the linker, all it needs to do is confuse your code ;-)