From: Sergey Fedorov <serge.fdrv@gmail.com>
To: Peter Maydell <peter.maydell@linaro.org>
Cc: "Pranith Kumar" <bobby.prani@gmail.com>,
"Richard Henderson" <rth@twiddle.net>,
"Alex Bennée" <alex.bennee@linaro.org>,
"open list:All patches CC here" <qemu-devel@nongnu.org>
Subject: Re: [Qemu-devel] [RFC v2 PATCH 01/13] Introduce TCGOpcode for memory barrier
Date: Sat, 4 Jun 2016 00:33:30 +0300 [thread overview]
Message-ID: <5751F7AA.40609@gmail.com> (raw)
In-Reply-To: <CAFEAcA-sgDfsNoeNtDEswSREEDVCKruP46nXz=ATMGshF7PR_g@mail.gmail.com>
On 03/06/16 23:43, Peter Maydell wrote:
> On 3 June 2016 at 20:49, Sergey Fedorov <serge.fdrv@gmail.com> wrote:
>> I'm not so sure about acq/rel flags. Is there any architecture which has
>> explicit acq/rel barriers? I suppose acq/rel memory access instructions
>> are always load-link and store-conditional and thus rely on exclusive
>> memory monitor to support that "conditional" behaviour.
> This doesn't sound right (at least not for ARM). You can have
> load-acquire and store-release insns which aren't exclusives,
> you can have exclusives which aren't acq/rel, and you can
> have accesses which are both exclusives and acq/rel (and
> just to complete the set, obviously there are accesses which
> are neither). The exclusive semantics require the monitor, but
> acq/rel is just an ordering constraint (sort of like an implicit
> barrier, but not quite).
Thanks for clarifying this, Peter.
Regards,
Sergey
next prev parent reply other threads:[~2016-06-03 21:33 UTC|newest]
Thread overview: 67+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-05-31 18:39 [Qemu-devel] [RFC v2 PATCH 00/13] tcg: Add fence gen support Pranith Kumar
2016-05-31 18:39 ` [Qemu-devel] [RFC v2 PATCH 01/13] Introduce TCGOpcode for memory barrier Pranith Kumar
2016-05-31 20:24 ` Richard Henderson
2016-06-01 18:43 ` Pranith Kumar
2016-06-01 21:35 ` Richard Henderson
2016-06-02 16:18 ` Sergey Fedorov
2016-06-02 16:30 ` Sergey Fedorov
2016-06-02 18:42 ` Pranith Kumar
2016-06-02 20:36 ` Richard Henderson
2016-06-02 20:36 ` Richard Henderson
2016-06-02 20:38 ` Sergey Fedorov
2016-06-02 21:18 ` Richard Henderson
2016-06-02 21:37 ` Sergey Fedorov
2016-06-03 1:08 ` Richard Henderson
2016-06-03 15:16 ` Sergey Fedorov
2016-06-03 15:45 ` Richard Henderson
2016-06-03 16:06 ` Sergey Fedorov
2016-06-03 18:30 ` Pranith Kumar
2016-06-03 19:49 ` Sergey Fedorov
2016-06-03 20:43 ` Peter Maydell
2016-06-03 21:33 ` Sergey Fedorov [this message]
2016-06-06 16:19 ` Alex Bennée
2016-06-03 18:27 ` Pranith Kumar
2016-06-03 19:52 ` Sergey Fedorov
2016-06-06 15:44 ` Sergey Fedorov
2016-06-06 15:47 ` Pranith Kumar
2016-06-06 15:49 ` Sergey Fedorov
2016-06-06 15:58 ` Pranith Kumar
2016-06-06 16:14 ` Sergey Fedorov
2016-06-06 17:11 ` Pranith Kumar
2016-06-06 19:23 ` Richard Henderson
2016-06-06 19:28 ` Pranith Kumar
2016-06-06 20:30 ` Sergey Fedorov
2016-06-06 21:00 ` Peter Maydell
2016-06-06 21:49 ` Sergey Fedorov
2016-05-31 18:39 ` [Qemu-devel] [RFC v2 PATCH 02/13] tcg/i386: Add support for fence Pranith Kumar
2016-05-31 20:27 ` Richard Henderson
2016-06-01 18:49 ` Pranith Kumar
2016-06-01 21:17 ` Richard Henderson
2016-06-01 21:44 ` Pranith Kumar
2016-05-31 18:39 ` [RFC v2 PATCH 03/13] tcg/aarch64: " Pranith Kumar
2016-05-31 18:39 ` [Qemu-devel] " Pranith Kumar
2016-05-31 18:59 ` Claudio Fontana
2016-05-31 18:59 ` [Qemu-devel] " Claudio Fontana
2016-05-31 20:34 ` Richard Henderson
2016-05-31 20:34 ` [Qemu-devel] " Richard Henderson
2016-06-16 22:03 ` Pranith Kumar
2016-06-16 22:03 ` [Qemu-devel] " Pranith Kumar
2016-05-31 18:39 ` [RFC v2 PATCH 04/13] tcg/arm: " Pranith Kumar
2016-05-31 18:39 ` [Qemu-devel] " Pranith Kumar
2016-05-31 18:39 ` [Qemu-devel] [RFC v2 PATCH 05/13] tcg/ia64: " Pranith Kumar
2016-05-31 18:39 ` [Qemu-devel] [RFC v2 PATCH 06/13] tcg/mips: " Pranith Kumar
2016-05-31 18:39 ` [Qemu-devel] [RFC v2 PATCH 07/13] tcg/ppc: " Pranith Kumar
2016-05-31 20:41 ` Richard Henderson
2016-05-31 18:39 ` [Qemu-devel] [RFC v2 PATCH 08/13] tcg/s390: " Pranith Kumar
2016-06-02 19:31 ` Sergey Fedorov
2016-06-02 20:38 ` Richard Henderson
2016-05-31 18:39 ` [Qemu-devel] [RFC v2 PATCH 09/13] tcg/sparc: " Pranith Kumar
2016-05-31 20:45 ` Richard Henderson
2016-05-31 18:39 ` [Qemu-devel] [RFC v2 PATCH 10/13] tcg/tci: " Pranith Kumar
2016-05-31 18:39 ` [RFC v2 PATCH 11/13] target-arm: Generate fences in ARMv7 frontend Pranith Kumar
2016-05-31 18:39 ` [Qemu-devel] " Pranith Kumar
2016-06-02 19:37 ` Sergey Fedorov
2016-06-04 14:50 ` Pranith Kumar
2016-05-31 18:39 ` [Qemu-devel] [RFC v2 PATCH 12/13] target-alpha: Generate fence op Pranith Kumar
2016-05-31 18:39 ` [Qemu-devel] [RFC v2 PATCH 13/13] tcg: Generate fences only for SMP MTTCG guests Pranith Kumar
2016-05-31 18:46 ` [Qemu-devel] [RFC v2 PATCH 00/13] tcg: Add fence gen support Pranith Kumar
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=5751F7AA.40609@gmail.com \
--to=serge.fdrv@gmail.com \
--cc=alex.bennee@linaro.org \
--cc=bobby.prani@gmail.com \
--cc=peter.maydell@linaro.org \
--cc=qemu-devel@nongnu.org \
--cc=rth@twiddle.net \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.