From patchwork Thu Apr 7 15:53:47 2016 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: sergey.fedorov@linaro.org X-Patchwork-Id: 607479 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Received: from lists.gnu.org (lists.gnu.org [208.118.235.17]) (using TLSv1 with cipher AES256-SHA (256/256 bits)) (No client certificate requested) by ozlabs.org (Postfix) with ESMTPS id 3qgnMB11cMz9t5q for ; Fri, 8 Apr 2016 01:58:46 +1000 (AEST) Authentication-Results: ozlabs.org; dkim=fail reason="signature verification failed" (1024-bit key; unprotected) header.d=linaro.org header.i=@linaro.org header.b=hiQUEElK; dkim-atps=neutral Received: from localhost ([::1]:50850 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aoCKS-000845-9Y for incoming@patchwork.ozlabs.org; Thu, 07 Apr 2016 11:58:44 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:56737) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aoCGv-0001A8-Em for qemu-devel@nongnu.org; Thu, 07 Apr 2016 11:55:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aoCGu-0002nR-HK for qemu-devel@nongnu.org; Thu, 07 Apr 2016 11:55:05 -0400 Received: from mail-lf0-x232.google.com ([2a00:1450:4010:c07::232]:34357) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aoCGu-0002n1-AF for qemu-devel@nongnu.org; Thu, 07 Apr 2016 11:55:04 -0400 Received: by mail-lf0-x232.google.com with SMTP id j11so60139288lfb.1 for ; Thu, 07 Apr 2016 08:55:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; h=from:to:cc:subject:date:message-id:in-reply-to:references; bh=1qVAP4pw7aCgaa2Hn2ELA9ohM/64NAuZUQoLKUdKbJg=; b=hiQUEElKgCZs6ZQyun9saLiMehBez9KEJ9DFwCiFp/y25jwxyF37EXRp0I8ksHZh9L 2U5F+QzeJyfyWaV3CyuPOI6BgR5a1MJ2WVxHmdFl8U5DuYb2qWkc1Vg0/CNSMJmedMBx 31+1veXSdHzzr2oYdiKoK8LoiR3z31X7E19Qw= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references; bh=1qVAP4pw7aCgaa2Hn2ELA9ohM/64NAuZUQoLKUdKbJg=; b=ZuGwAHxxOl96s3S+I5xcMhqFvbgJa383ZZTZ3XASrmCEReeLacdrOReAKhiciGg914 D4RAFg5VYNihS5crJtUXpqmxMRX0aEunNml/t17X0dwN5Ce0b/vpS1e2vnObJg8b/CG3 VLFsS3k0MYcTtAMf/bT+XCnRDEAstAukf0MCDVSHqPmrxK2DBPe+qS81oH8yC4pxzZeb FIubd3Qfyotd9lNoogo6BalKO3YH2tazbiZd/aBWT0EHyYEF9CNuMkJ9rAUAKbZM19CL +8kk/FLQVee66PpmO6Ikg6u0TwYjnFF288UBt14JbQaAsmTGNPQ+1WDMPO2fs3ITRCJo DSrw== X-Gm-Message-State: AD7BkJJWe5tQqPH+t/S6QS8Apy+YdAFTHGUa2vHwNnS+pq/HuDa4NyzQNT+bxkEbpwrmElRq X-Received: by 10.25.136.84 with SMTP id k81mr1810012lfd.78.1460044503427; Thu, 07 Apr 2016 08:55:03 -0700 (PDT) Received: from localhost.localdomain ([195.91.132.170]) by smtp.gmail.com with ESMTPSA id p195sm1316255lfd.11.2016.04.07.08.55.02 (version=TLS1_2 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Thu, 07 Apr 2016 08:55:02 -0700 (PDT) From: Sergey Fedorov To: qemu-devel@nongnu.org Date: Thu, 7 Apr 2016 18:53:47 +0300 Message-Id: <1460044433-19282-6-git-send-email-sergey.fedorov@linaro.org> X-Mailer: git-send-email 2.8.1 In-Reply-To: <1460044433-19282-1-git-send-email-sergey.fedorov@linaro.org> References: <1460044433-19282-1-git-send-email-sergey.fedorov@linaro.org> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2a00:1450:4010:c07::232 Cc: Sergey Fedorov , Peter Crosthwaite , Paolo Bonzini , Sergey Fedorov , =?UTF-8?q?Alex=20Benn=C3=A9e?= , Richard Henderson Subject: [Qemu-devel] [PATCH 05/11] tcg/i386: Make direct jump patching thread-safe X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: qemu-devel-bounces+incoming=patchwork.ozlabs.org@nongnu.org Sender: qemu-devel-bounces+incoming=patchwork.ozlabs.org@nongnu.org From: Sergey Fedorov Ensure direct jump patching in i386 is atomic by: * naturally aligning a location of direct jump address; * using atomic_read()/atomic_set() for code patching. Signed-off-by: Sergey Fedorov Signed-off-by: Sergey Fedorov --- include/exec/exec-all.h | 2 +- tcg/i386/tcg-target.inc.c | 17 +++++++++++++++++ 2 files changed, 18 insertions(+), 1 deletion(-) diff --git a/include/exec/exec-all.h b/include/exec/exec-all.h index 59709c9dd5c9..82399175fe80 100644 --- a/include/exec/exec-all.h +++ b/include/exec/exec-all.h @@ -312,7 +312,7 @@ void ppc_tb_set_jmp_target(uintptr_t jmp_addr, uintptr_t addr); static inline void tb_set_jmp_target1(uintptr_t jmp_addr, uintptr_t addr) { /* patch the branch destination */ - stl_le_p((void*)jmp_addr, addr - (jmp_addr + 4)); + atomic_set((int32_t *)jmp_addr, addr - (jmp_addr + 4)); /* no need to flush icache explicitly */ } #elif defined(__s390x__) diff --git a/tcg/i386/tcg-target.inc.c b/tcg/i386/tcg-target.inc.c index 9187d34caf6d..3ffb7b3124d8 100644 --- a/tcg/i386/tcg-target.inc.c +++ b/tcg/i386/tcg-target.inc.c @@ -1123,6 +1123,19 @@ static void tcg_out_jmp(TCGContext *s, tcg_insn_unit *dest) tcg_out_branch(s, 0, dest); } +static void tcg_out_nopn(TCGContext *s, int n) +{ + static const uint8_t nop1[] = { 0x90 }; + static const uint8_t nop2[] = { 0x66, 0x90 }; + static const uint8_t nop3[] = { 0x8d, 0x76, 0x00 }; + static const uint8_t *const nopn[] = { nop1, nop2, nop3 }; + int i; + assert(n <= ARRAY_SIZE(nopn)); + for (i = 0; i < n; ++i) { + tcg_out8(s, nopn[n - 1][i]); + } +} + #if defined(CONFIG_SOFTMMU) /* helper signature: helper_ret_ld_mmu(CPUState *env, target_ulong addr, * int mmu_idx, uintptr_t ra) @@ -1777,6 +1790,10 @@ static inline void tcg_out_op(TCGContext *s, TCGOpcode opc, case INDEX_op_goto_tb: if (s->tb_jmp_offset) { /* direct jump method */ + /* align jump displacement for atomic pathing */ + if (((uintptr_t)s->code_ptr & 3) != 3) { + tcg_out_nopn(s, 3 - ((uintptr_t)s->code_ptr & 3)); + } tcg_out8(s, OPC_JMP_long); /* jmp im */ s->tb_jmp_offset[args[0]] = tcg_current_code_size(s); tcg_out32(s, 0);