lkml.org 
[lkml]   [2024]   [Apr]   [19]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: [PATCH 0/4] arm64: Support the TSO memory model
    On Fri, Apr 19, 2024 at 05:58:26PM +0100, Will Deacon wrote:
    > On Mon, Apr 15, 2024 at 07:22:41PM -0700, Zayd Qumsieh wrote:
    > > >I'm probably going to make myself hugely unpopular here, but I have a
    > > >strong objection to this patch series as it stands. I firmly believe
    > > >that providing a prctl() to query and toggle the memory model to/from
    > > >TSO is going to lead to subtle fragmentation of arm64 Linux userspace.
    > >
    > > It's definitely not our intent to fragment the ecosystem. The goal
    > > of this memory ordering is to simplify emulation layers that benefit
    > > from this. If you have suggestions to reduce the risk of it being
    > > misused outside of emulators, we'd be happy to look into it.
    >
    > Once you have exposed this toggle via prctl(), it doesn't really matter
    > what your intentions where. It will get used outside of emulation laters
    > and we'll be stuck supporting it.

    Just FTR, I fully agree with Will. I'm strongly against this kind of ABI
    for a non-architected, implementation defined feature. I can't even tell
    exactly what TSO means on the Apple hardware. Is it close to the x86
    TSO? Is there a formal memory model for it? Are future Apple (or other
    Arm vendor) implementations going to follow exactly the same model to be
    able to call it some form of "Apple standard" that deserves an ABI?

    So, sorry, I'm going to NAK these approaches proposing imp def features
    as generic opt-in mechanisms (the microVMs thing sounds doable though,
    to my limited understanding; I guess that would mean running the
    emulator in a VM).

    --
    Catalin

    \
     
     \ /
      Last update: 2024-04-19 20:05    [W:4.599 / U:0.008 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site