|
| From: | Pierrick Bouvier |
| Subject: | mttcg: warning to user about memory ordering |
| Date: | Wed, 22 Feb 2023 17:28:35 +0100 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.8.0 |
Hello,When using multi thread tcg, a warning is emitted to user if models for guest and host are not compatible (like qemu-system-x86_64 running on aarch64 host)
accel/tcg/tcg-all.c:
161 if (!check_tcg_memory_orders_compatible()) {
162 warn_report("Guest expects a stronger memory ordering "
163 "than the host provides");
164 error_printf("This may cause strange/hard to debug
errors\n");
165 }However, in tcg/tcg-op.c, all load/stores are emitting memory barriers using tcg_gen_req_mo, which lets think it's already implemented for any host/guest combination (was added in b32dc3).
In your opinion, are there still corner cases that are not covered correctly? If no, should we drop this scary warning?
Regards, Pierrick
| [Prev in Thread] | Current Thread | [Next in Thread] |