From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([208.118.235.92]:55290) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SRLee-0005oc-MF for qemu-devel@nongnu.org; Mon, 07 May 2012 06:59:01 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1SRLec-0005wv-VK for qemu-devel@nongnu.org; Mon, 07 May 2012 06:59:00 -0400 Received: from cantor2.suse.de ([195.135.220.15]:41805 helo=mx2.suse.de) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SRLec-0005vB-Nw for qemu-devel@nongnu.org; Mon, 07 May 2012 06:58:58 -0400 Mime-Version: 1.0 (Apple Message framework v1257) Content-Type: text/plain; charset=us-ascii From: Alexander Graf In-Reply-To: Date: Mon, 7 May 2012 12:58:55 +0200 Content-Transfer-Encoding: quoted-printable Message-Id: References: <1336383010-28692-1-git-send-email-agraf@suse.de> Subject: Re: [Qemu-devel] [PATCH] linux-user: Fix stale tbs after mmap List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: Peter Maydell Cc: Riku Voipio , qemu-devel Developers On 07.05.2012, at 12:37, Peter Maydell wrote: > On 7 May 2012 10:30, Alexander Graf wrote: >> @@ -587,6 +587,7 @@ abi_long target_mmap(abi_ulong start, abi_ulong = len, int prot, >> page_dump(stdout); >> printf("\n"); >> #endif >> + tb_invalidate_phys_page_range(start, start + len, 0); >> mmap_unlock(); >> return start; >=20 > The comment at the top of tb_invalidate_phys_page_range() says > "start and end must refer to the same physical page" -- is it > out of date or does that not apply to user-mode? :( No, you're right. It only flushes the first page. > Do you need to also invalidate the range on munmap() and > mprotect-to-not-executable in order to correctly fault on > the case of: > map something > execute it > unmap it > try to execute it again >=20 > ? (haven't tested that case but it seems like it might be an issue) I'm not sure. But it's an unrelated issue either way, right? :) Could you please try to quickly write a test case for this one while I = fix the patch? Alex