From patchwork Mon Mar 6 01:57:05 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Richard Henderson X-Patchwork-Id: 659224 Delivered-To: patch@linaro.org Received: by 2002:adf:a3c6:0:0:0:0:0 with SMTP id m6csp1593924wrb; Sun, 5 Mar 2023 17:58:35 -0800 (PST) X-Google-Smtp-Source: AK7set92kBMs4yHJYP0eEdNFNsDvlCuoTPqjXGVc03LXn1lZ0ABDiWPOl/56jAEH+zFocD5grGOO X-Received: by 2002:a05:622a:54e:b0:3b8:52b6:a313 with SMTP id m14-20020a05622a054e00b003b852b6a313mr14360502qtx.30.1678067915360; Sun, 05 Mar 2023 17:58:35 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1678067915; cv=none; d=google.com; s=arc-20160816; b=jEGeW5an7u4XFE6gWCZXc4niACiz0B7UgJFxw5LHVdpQYc8JS8lBkdfyosokBcPwQ9 wu1Adw9ZKCDNcYU53qz/zdfHS2G7IQp4J9u3BZNGT1s8vWsL/S+hRpObKAxsd2cWBMAe stxyMrwFwelM4uIZ7Bo2CUEr3rNvzNTPGwmMUgSuCybPrF7SpeCVd0PRgpxq2eN2g4rm oqYYpsd4Pj2lnRHYNgvwBB3lsnmto7sI0iXmNJRiSbEax7AIg6twE3kKsb2BvwNXC2mg E+9yPDOv9pmDX1lhUZVsBbUlOGViTxiYrHMepgFVK9gz7LC6kUwr73QI7bVj++dLIWoH Qz/A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=sender:errors-to:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:content-transfer-encoding :mime-version:message-id:date:subject:cc:to:from:dkim-signature; bh=wHs/bH1luqdLkjJy4I5mesCZM/XI8jWuxWxyW0Pam5E=; b=sOI1VKq20oFZvv3hd3/qMM3W6khP8CMZlgauCadcF+wmLiofhUd/+3NpvSj4QBUIOL Tzxkftt/vYKqPfHic5k1wKy1XpfHtMVBb7d0RqJ/XAX0bXVe7enjBofY0hao51VK28zv boSZqn7fAIlw9QbnVBUBQ4MwhUwVFyuMfJcDxxa+N+gVch/ew+pBeFKm9oAVocsz+SPc H5qjVBvLumactIELtVowjjnUCG9Ed78IIJUidediPdmUVs0NyVKaZzMGMBPDtxUpCs9c /lwx3OuvbmI/v67o/jxdaCfpswTeXEEXAUowOZVzNw4OBV1N8mWCi8jweNWrZO9f26HX nSWQ== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@linaro.org header.s=google header.b=LBl9nwMw; spf=pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom="qemu-devel-bounces+patch=linaro.org@nongnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=linaro.org Return-Path: Received: from lists.gnu.org (lists.gnu.org. [209.51.188.17]) by mx.google.com with ESMTPS id bp36-20020a05622a1ba400b003bfb988a786si6410686qtb.56.2023.03.05.17.58.35 for (version=TLS1_2 cipher=ECDHE-ECDSA-CHACHA20-POLY1305 bits=256/256); Sun, 05 Mar 2023 17:58:35 -0800 (PST) Received-SPF: pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 209.51.188.17 as permitted sender) client-ip=209.51.188.17; Authentication-Results: mx.google.com; dkim=pass header.i=@linaro.org header.s=google header.b=LBl9nwMw; spf=pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom="qemu-devel-bounces+patch=linaro.org@nongnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=linaro.org Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pZ06H-000482-8c; Sun, 05 Mar 2023 20:57:17 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pZ06E-000464-Su for qemu-devel@nongnu.org; Sun, 05 Mar 2023 20:57:14 -0500 Received: from mail-pl1-x642.google.com ([2607:f8b0:4864:20::642]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pZ06D-0003Hy-3p for qemu-devel@nongnu.org; Sun, 05 Mar 2023 20:57:14 -0500 Received: by mail-pl1-x642.google.com with SMTP id p20so8611089plw.13 for ; Sun, 05 Mar 2023 17:57:12 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; t=1678067831; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=wHs/bH1luqdLkjJy4I5mesCZM/XI8jWuxWxyW0Pam5E=; b=LBl9nwMwcKoTEF6dKIrBfuhWAA6evD6yzpCCbslSSyLZ9GI6JZc81J2GyKO6zW+3ET 9/lsdOqJTb3ato93qYgznWB9Dpx8aU9c+NlosHTBDuRW/llBvE7V/Ozo3ghGjbUNvgtk WHN19ycyENZgmsUUI3UnQHYtP0J0jeq7iGFMqZWLLFNA37I0JiqWkAC02Nq/3D2SOJ4O vz3F5pwOtHaU5Q+2syQsqC36/Sh4Eo1+h9U7PhmYg8aStghjNmM81FrErfMzeo0sVZ3G BR+jtyVvP8PVQ1W1N9ZtejzI4K/wOOI5/Rll+RV0p63T4R1magsaOQwTQK+ze1enimi2 uuzg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1678067831; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=wHs/bH1luqdLkjJy4I5mesCZM/XI8jWuxWxyW0Pam5E=; b=ZlwO4knMCbjHaMoApOHvTkLiYa62lInjXrDO7uPp+4wuNHqORur4t3v2DsVv8gH1b7 nWTp/X0BClPVI6KeA8w24Bq85R34nHhno96h9hJbbbF7BIRXhFuXSPbMZSZ2EiEbyo66 /W5aPOjI1paXWcn/Ai4dzTXuV4tcR759iwwHsViW6sFUHufLhI4Gj6a6+9HZ6pph+GQ7 xKD88uJfpFNLlZE9/IAwpKmvfvKvt+cKfsnY0sH/zsxGCqqcrNA1Z0fdiGSffPB6XAa2 rmemy0ix6Sx9wZqaw3D85f/8UcHtRTf+dgGLqlAqos/k2fwbmnqLP0xpUBzlU+gjoFr4 BWJw== X-Gm-Message-State: AO0yUKUctY+JQt9EJ4sIP41lYi7jqL9dWGQ6263Lf4BHD1pVBhR4uLaL KOFbtRPeS5mhJMEOoZ02n6oW0x+M5nIgx73O5jKzzTX4 X-Received: by 2002:a05:6a20:3b03:b0:cc:3bf0:ed91 with SMTP id c3-20020a056a203b0300b000cc3bf0ed91mr8315557pzh.51.1678067831516; Sun, 05 Mar 2023 17:57:11 -0800 (PST) Received: from stoup.. ([2602:ae:154a:9f01:87cc:49bb:2900:c08b]) by smtp.gmail.com with ESMTPSA id g23-20020aa78197000000b0061949fe3beasm2921056pfi.22.2023.03.05.17.57.10 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 05 Mar 2023 17:57:11 -0800 (PST) From: Richard Henderson To: qemu-devel@nongnu.org Cc: pbonzini@redhat.com Subject: [PATCH v2 0/5] tcg: Issue memory barriers for guest memory model Date: Sun, 5 Mar 2023 17:57:05 -0800 Message-Id: <20230306015710.1868853-1-richard.henderson@linaro.org> X-Mailer: git-send-email 2.34.1 MIME-Version: 1.0 Received-SPF: pass client-ip=2607:f8b0:4864:20::642; envelope-from=richard.henderson@linaro.org; helo=mail-pl1-x642.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: qemu-devel-bounces+patch=linaro.org@nongnu.org Sender: qemu-devel-bounces+patch=linaro.org@nongnu.org Version 1 was very nearly 2 years ago: https://lore.kernel.org/qemu-devel/20210316220735.2048137-1-richard.henderson@linaro.org/ I didn't persue it at the time because at the time it didn't actually fix the s390x-on-aarch64 problems. I'm re-posting this now because of Paolo's "missing barriers on ARM" patch set. It was never very easy to trigger the s390x problem, but with the two patch sets I've been unable to do so all day. r~ Richard Henderson (5): tcg: Do not elide memory barriers for !CF_PARALLEL tcg: Elide memory barriers implied by the host memory model tcg: Create tcg_req_mo tcg: Add host memory barriers to cpu_ldst.h interfaces accel/tcg: Remove check_tcg_memory_orders_compatible include/tcg/tcg.h | 34 ++++++++++++++++++++++++++++++++++ accel/tcg/cputlb.c | 2 ++ accel/tcg/tcg-all.c | 38 ++++++++------------------------------ accel/tcg/user-exec.c | 14 ++++++++++++++ tcg/tcg-op.c | 19 +++++++++++-------- 5 files changed, 69 insertions(+), 38 deletions(-)