diff options
| author | Nicholas Piggin <npiggin@gmail.com> | 2023-08-29 11:06:58 +1000 |
|---|---|---|
| committer | Richard Henderson <richard.henderson@linaro.org> | 2023-09-15 05:26:50 -0700 |
| commit | 0e5903436de712844b0e6cdd862b499c767e09e9 (patch) | |
| tree | 95d48706aa37e2dab0324c636a6ddd8348af1bf5 /util/oslib-posix.c | |
| parent | 005ad32358f12fe9313a4a01918a55e60d4f39e5 (diff) | |
| download | focaccia-qemu-0e5903436de712844b0e6cdd862b499c767e09e9.tar.gz focaccia-qemu-0e5903436de712844b0e6cdd862b499c767e09e9.zip | |
accel/tcg: mttcg remove false-negative halted assertion
mttcg asserts that an execution ending with EXCP_HALTED must have cpu->halted. However between the event or instruction that sets cpu->halted and requests exit and the assertion here, an asynchronous event could clear cpu->halted. This leads to crashes running AIX on ppc/pseries because it uses H_CEDE/H_PROD hcalls, where H_CEDE sets self->halted = 1 and H_PROD sets other cpu->halted = 0 and kicks it. H_PROD could be turned into an interrupt to wake, but several other places in ppc, sparc, and semihosting follow what looks like a similar pattern setting halted = 0 directly. So remove this assertion. Reported-by: Ivan Warren <ivan@vmfacility.fr> Signed-off-by: Nicholas Piggin <npiggin@gmail.com> Message-Id: <20230829010658.8252-1-npiggin@gmail.com> [rth: Keep the case label and adjust the comment.] Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
Diffstat (limited to 'util/oslib-posix.c')
0 files changed, 0 insertions, 0 deletions