Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.ports.arm > #14266
| From | "Arnd Bergmann" <arnd@arndb.de> |
|---|---|
| Newsgroups | linux.debian.ports.arm, linux.debian.kernel |
| Subject | Re: Architecture baseline for Forky |
| Date | 2025-10-30 10:10 +0100 |
| Message-ID | <LLwPn-96Ea-5@gated-at.bofh.it> (permalink) |
| References | (7 earlier) <LL9g5-8Q1a-1@gated-at.bofh.it> <LLtRw-94j2-3@gated-at.bofh.it> <LLtRw-94j2-1@gated-at.bofh.it> <LLwPn-96Ea-3@gated-at.bofh.it> <LLwPn-96Ea-1@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
Cross-posted to 2 groups.
On Thu, Oct 30, 2025, at 09:47, Peter Green wrote:
> On 30/10/2025 08:28, Arnd Bergmann wrote:
>> On Thu, Oct 30, 2025, at 06:39, Peter Green wrote:
>>> The problem is that arm64 kernels by default trap the armv6k memory
>>> barriers into the kernel and emulate them. Asside from being slow
>>> this can also cause hangs if the optimiser moves a barrier inside
>>> a load-exclusive/store-exclusive loop.
>> Right, this is very unfortunate, and I suspect that this is something
>> we should change in both the arm64 kernel and in the compiler. If
>> you can point me to specific userspace code that has this problem,
>> I can probably come up with a kernel patch to work around it,
>> at least if that userspace code isn't obviously wrong.
> https://github.com/rust-lang/rust/issues/53670
Thanks for the pointer! This strongly suggests that the bug is
in llvm itself, not in userspace applications or the kernel.
I think the armv7-a version of the reproducer shows the same bug,
though that happens to work. This is probably one of the cases
where we want a compiler fix first, but can then add a workaround
in the host kernel (enabling the instruction itself instead of
the emulation where possible, same as the Raspberry Pi downstream
kernel does).
Arnd
Back to linux.debian.ports.arm | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Re: Architecture baseline for Forky Adrian Bunk <bunk@debian.org> - 2025-10-27 12:50 +0100
Re: Architecture baseline for Forky Martin <debacle@debian.org> - 2025-10-27 18:10 +0100
Re: Architecture baseline for Forky "Arnd Bergmann" <arnd@arndb.de> - 2025-10-27 22:40 +0100
Re: Architecture baseline for Forky Adrian Bunk <bunk@debian.org> - 2025-10-29 09:00 +0100
Re: Architecture baseline for Forky Peter Green <plugwash@debian.org> - 2025-10-30 07:00 +0100
Re: Architecture baseline for Forky Peter Green <plugwash@debian.org> - 2025-10-30 10:10 +0100
Re: Architecture baseline for Forky "Arnd Bergmann" <arnd@arndb.de> - 2025-10-30 10:10 +0100
Re: Architecture baseline for Forky Adrian Bunk <bunk@debian.org> - 2025-10-30 15:30 +0100
csiph-web