From patchwork Thu Aug 11 15:24:04 2016 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: =?utf-8?q?Alex_Benn=C3=A9e?= X-Patchwork-Id: 73776 Delivered-To: patch@linaro.org Received: by 10.140.29.52 with SMTP id a49csp172341qga; Thu, 11 Aug 2016 08:40:20 -0700 (PDT) X-Received: by 10.233.239.149 with SMTP id d143mr12538168qkg.176.1470930020547; Thu, 11 Aug 2016 08:40:20 -0700 (PDT) Return-Path: Received: from lists.gnu.org (lists.gnu.org. [2001:4830:134:3::11]) by mx.google.com with ESMTPS id f184si560583qkc.132.2016.08.11.08.40.20 for (version=TLS1 cipher=AES128-SHA bits=128/128); Thu, 11 Aug 2016 08:40:20 -0700 (PDT) Received-SPF: pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 2001:4830:134:3::11 as permitted sender) client-ip=2001:4830:134:3::11; Authentication-Results: mx.google.com; dkim=fail header.i=@linaro.org; spf=pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 2001:4830:134:3::11 as permitted sender) smtp.mailfrom=qemu-devel-bounces+patch=linaro.org@nongnu.org; dmarc=fail (p=NONE dis=NONE) header.from=linaro.org Received: from localhost ([::1]:49216 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bXs5j-0000a2-RG for patch@linaro.org; Thu, 11 Aug 2016 11:40:19 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:57340) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bXrqS-0003bg-Gg for qemu-devel@nongnu.org; Thu, 11 Aug 2016 11:24:35 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bXrqR-0006Zv-An for qemu-devel@nongnu.org; Thu, 11 Aug 2016 11:24:32 -0400 Received: from mail-wm0-x234.google.com ([2a00:1450:400c:c09::234]:38712) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bXrqQ-0006Zn-Vj for qemu-devel@nongnu.org; Thu, 11 Aug 2016 11:24:31 -0400 Received: by mail-wm0-x234.google.com with SMTP id o80so3113499wme.1 for ; Thu, 11 Aug 2016 08:24:30 -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 :mime-version:content-transfer-encoding; bh=OQqbxH+NaP0b9kZMukAIrYFfbXyoCbvzZMAalU5DlOQ=; b=buvwYdvmf9M63AqhCUYDiJrLs42aoK6xGOnSGpx+cYZGno861qgmlJ2TzaOjS4uJHe R76RAYVYQqSgr3ePTddZz+sdVA+ZJQ47LDHLTdlWq8tAwtaKO+i/G9mLQxdYi+v/wXR2 S3qSKahywIXwj4x2c2pjStrLbXxTD2QU+L5HA= 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:mime-version:content-transfer-encoding; bh=OQqbxH+NaP0b9kZMukAIrYFfbXyoCbvzZMAalU5DlOQ=; b=UeA7RiRQr6S849sWU5FjCXOxjNMv07ebW/yzyQVUvgU9YrhSkvMoqpvZLt4seFjuqQ cGKRVGAS2IQnTYz1aq1MhJkuXiO/othAv7PWH/mK4qQaJPBEWfTQBWDFcTSROZ3nkUVB opfPV804+Nw1aMHeAUzMEGqpKDTcAfzBQx6PZUx5+IPZ34xJxDLHckv+wQ67f0YGvTsr xzkhULLTRQqpLkNW4DVmM+jhG3nNYXSA5tkyfg9ARVn2csQEhkdZ81BaXaD2OTq3+3c4 YZ9fHF1CaOlxVn0ZwsV8fj57Ie/4sDwatqTIR/BUPpJS+j8Y29pOBXlZSaEVsPXmuU03 2xOg== X-Gm-Message-State: AEkooutYoA2H5Oe2lgyAkI3ttyLIrbWuVmG2RYjSHikk6ldZijbmbNsiNXzJgTRz9xr19fKZ X-Received: by 10.28.25.71 with SMTP id 68mr10073489wmz.91.1470929070201; Thu, 11 Aug 2016 08:24:30 -0700 (PDT) Received: from zen.linaro.local ([81.128.185.34]) by smtp.gmail.com with ESMTPSA id e10sm3192538wjc.21.2016.08.11.08.24.23 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 11 Aug 2016 08:24:24 -0700 (PDT) Received: from zen.linaroharston (localhost [127.0.0.1]) by zen.linaro.local (Postfix) with ESMTP id 6CCC43E0270; Thu, 11 Aug 2016 16:24:30 +0100 (BST) From: =?UTF-8?q?Alex=20Benn=C3=A9e?= To: mttcg@listserver.greensocs.com, qemu-devel@nongnu.org, fred.konrad@greensocs.com, a.rigo@virtualopensystems.com, cota@braap.org, bobby.prani@gmail.com, nikunj@linux.vnet.ibm.com Date: Thu, 11 Aug 2016 16:24:04 +0100 Message-Id: <1470929064-4092-9-git-send-email-alex.bennee@linaro.org> X-Mailer: git-send-email 2.7.4 In-Reply-To: <1470929064-4092-1-git-send-email-alex.bennee@linaro.org> References: <1470929064-4092-1-git-send-email-alex.bennee@linaro.org> MIME-Version: 1.0 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2a00:1450:400c:c09::234 Subject: [Qemu-devel] [RFC v4 08/28] translate-all: Add assert_(memory|tb)_lock annotations X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: peter.maydell@linaro.org, claudio.fontana@huawei.com, Peter Crosthwaite , jan.kiszka@siemens.com, mark.burton@greensocs.com, serge.fdrv@gmail.com, pbonzini@redhat.com, =?UTF-8?q?Alex=20Benn=C3=A9e?= , rth@twiddle.net Errors-To: qemu-devel-bounces+patch=linaro.org@nongnu.org Sender: "Qemu-devel" This adds calls to the assert_(memory|tb)_lock for all public APIs which are documented as needing them held for linux-user mode. The asserts are NOPs for system-mode although these will be converted when MTTCG is enabled. Signed-off-by: Alex Bennée --- v4 - mention tb_locks as well - tweak commit message --- translate-all.c | 22 +++++++++++++++++++++- 1 file changed, 21 insertions(+), 1 deletion(-) -- 2.7.4 diff --git a/translate-all.c b/translate-all.c index a3448e1..213685c 100644 --- a/translate-all.c +++ b/translate-all.c @@ -449,6 +449,10 @@ static PageDesc *page_find_alloc(tb_page_addr_t index, int alloc) void **lp; int i; + if (alloc) { + assert_memory_lock(); + } + /* Level 1. Always allocated. */ lp = l1_map + ((index >> V_L1_SHIFT) & (V_L1_SIZE - 1)); @@ -815,6 +819,8 @@ static TranslationBlock *tb_alloc(target_ulong pc) { TranslationBlock *tb; + assert_tb_lock(); + if (tcg_ctx.tb_ctx.nb_tbs >= tcg_ctx.code_gen_max_blocks) { return NULL; } @@ -828,6 +834,8 @@ static TranslationBlock *tb_alloc(target_ulong pc) /* Called with tb_lock held. */ void tb_free(TranslationBlock *tb) { + assert_tb_lock(); + /* In practice this is mostly used for single use temporary TB Ignore the hard cases and just back up if this TB happens to be the last one generated. */ @@ -1054,6 +1062,8 @@ void tb_phys_invalidate(TranslationBlock *tb, tb_page_addr_t page_addr) uint32_t h; tb_page_addr_t phys_pc; + assert_tb_lock(); + atomic_set(&tb->invalid, true); /* remove the TB from the hash list */ @@ -1111,7 +1121,7 @@ static void build_page_bitmap(PageDesc *p) tb_end = tb_start + tb->size; if (tb_end > TARGET_PAGE_SIZE) { tb_end = TARGET_PAGE_SIZE; - } + } } else { tb_start = 0; tb_end = ((tb->pc + tb->size) & ~TARGET_PAGE_MASK); @@ -1134,6 +1144,8 @@ static inline void tb_alloc_page(TranslationBlock *tb, bool page_already_protected; #endif + assert_memory_lock(); + tb->page_addr[n] = page_addr; p = page_find_alloc(page_addr >> TARGET_PAGE_BITS, 1); tb->page_next[n] = p->first_tb; @@ -1190,6 +1202,8 @@ static void tb_link_page(TranslationBlock *tb, tb_page_addr_t phys_pc, { uint32_t h; + assert_memory_lock(); + /* add in the page list */ tb_alloc_page(tb, 0, phys_pc & TARGET_PAGE_MASK); if (phys_page2 != -1) { @@ -1221,6 +1235,7 @@ TranslationBlock *tb_gen_code(CPUState *cpu, #ifdef CONFIG_PROFILER int64_t ti; #endif + assert_memory_lock(); phys_pc = get_page_addr_code(env, pc); if (use_icount && !(cflags & CF_IGNORE_ICOUNT)) { @@ -1349,6 +1364,8 @@ TranslationBlock *tb_gen_code(CPUState *cpu, */ void tb_invalidate_phys_range(tb_page_addr_t start, tb_page_addr_t end) { + assert_memory_lock(); + while (start < end) { tb_invalidate_phys_page_range(start, end, 0); start &= TARGET_PAGE_MASK; @@ -1385,6 +1402,8 @@ void tb_invalidate_phys_page_range(tb_page_addr_t start, tb_page_addr_t end, uint32_t current_flags = 0; #endif /* TARGET_HAS_PRECISE_SMC */ + assert_memory_lock(); + p = page_find(start >> TARGET_PAGE_BITS); if (!p) { return; @@ -1983,6 +2002,7 @@ void page_set_flags(target_ulong start, target_ulong end, int flags) assert(end < ((target_ulong)1 << L1_MAP_ADDR_SPACE_BITS)); #endif assert(start < end); + assert_memory_lock(); start = start & TARGET_PAGE_MASK; end = TARGET_PAGE_ALIGN(end);