Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Feedback-ID: i56a14606:Fastmail
User-Agent: Cyrus-JMAP/3.7.0-alpha0-1185-g841157300a-fm-20221208.002-g84115730
Mime-Version: 1.0
Message-Id: <5b69db0b-9eed-42ce-8e93-4b656022433f@app.fastmail.com>
In-Reply-To: <20230105104019.GA7446@tellis.lin.mbt.kalray.eu>
References: <20230103164359.24347-1-ysionneau@kalray.eu>
 <7c531595-e987-422b-bcf7-48ad0ba49ce6@app.fastmail.com>
 <20230105104019.GA7446@tellis.lin.mbt.kalray.eu>
Date:   Thu, 05 Jan 2023 13:05:32 +0100
From:   "Arnd Bergmann" <arnd@arndb.de>
To:     "Jules Maselbas" <jmaselbas@kalray.eu>
Cc:     "Yann Sionneau" <ysionneau@kalray.eu>,
        "Albert Ou" <aou@eecs.berkeley.edu>,
        "Alexander Shishkin" <alexander.shishkin@linux.intel.com>,
        "Andrew Morton" <akpm@linux-foundation.org>,
        "Aneesh Kumar" <aneesh.kumar@linux.ibm.com>,
        "Ard Biesheuvel" <ardb@kernel.org>,
        "Arnaldo Carvalho de Melo" <acme@kernel.org>,
        "Boqun Feng" <boqun.feng@gmail.com>, bpf@vger.kernel.org,
        "Christian Brauner" <brauner@kernel.org>,
        devicetree@vger.kernel.org,
        "Eric W. Biederman" <ebiederm@xmission.com>,
        "Eric Paris" <eparis@redhat.com>, "Ingo Molnar" <mingo@redhat.com>,
        "Jan Kiszka" <jan.kiszka@siemens.com>,
        "Jason Baron" <jbaron@akamai.com>, "Jiri Olsa" <jolsa@kernel.org>,
        "Jonathan Corbet" <corbet@lwn.net>,
        "Josh Poimboeuf" <jpoimboe@kernel.org>,
        "Kees Cook" <keescook@chromium.org>,
        "Kieran Bingham" <kbingham@kernel.org>,
        "Krzysztof Kozlowski" <krzysztof.kozlowski+dt@linaro.org>,
        Linux-Arch <linux-arch@vger.kernel.org>,
        linux-arm-kernel@lists.infradead.org, linux-audit@redhat.com,
        linux-doc@vger.kernel.org, linux-kernel@vger.kernel.org,
        linux-mm@kvack.org, linux-perf-users@vger.kernel.org,
        linux-pm@vger.kernel.org, linux-riscv@lists.infradead.org,
        "Marc Zyngier" <maz@kernel.org>,
        "Mark Rutland" <mark.rutland@arm.com>,
        "Masami Hiramatsu" <mhiramat@kernel.org>,
        "Namhyung Kim" <namhyung@kernel.org>,
        "Nicholas Piggin" <npiggin@gmail.com>,
        "Oleg Nesterov" <oleg@redhat.com>,
        "Palmer Dabbelt" <palmer@dabbelt.com>,
        "Paul Moore" <paul@paul-moore.com>,
        "Paul Walmsley" <paul.walmsley@sifive.com>,
        "Peter Zijlstra" <peterz@infradead.org>,
        "Rob Herring" <robh+dt@kernel.org>,
        "Sebastian Reichel" <sre@kernel.org>,
        "Steven Rostedt" <rostedt@goodmis.org>,
        "Thomas Gleixner" <tglx@linutronix.de>,
        "Waiman Long" <longman@redhat.com>,
        "Will Deacon" <will@kernel.org>, "Alex Michon" <amichon@kalray.eu>,
        "Ashley Lesdalons" <alesdalons@kalray.eu>,
        "Benjamin Mugnier" <mugnier.benjamin@gmail.com>,
        "Clement Leger" <clement.leger@bootlin.com>,
        "Guillaume Missonnier" <gmissonnier@kalray.eu>,
        "Guillaume Thouvenin" <gthouvenin@kalray.eu>,
        "Jean-Christophe Pince" <jcpince@gmail.com>,
        "Jonathan Borne" <jborne@kalray.eu>,
        "Julian Vetter" <jvetter@kalray.eu>,
        "Julien Hascoet" <jhascoet@kalray.eu>,
        "Julien Villette" <jvillette@kalray.eu>,
        "Louis Morhet" <lmorhet@kalray.eu>,
        "Luc Michel" <lmichel@kalray.eu>,
        =?UTF-8?Q?Marc_Poulhi=C3=A8s?= <dkm@kataplop.net>,
        "Marius Gligor" <mgligor@kalray.eu>,
        "Samuel Jones" <sjones@kalray.eu>,
        "Thomas Costis" <tcostis@kalray.eu>,
        "Vincent Chardon" <vincent.chardon@elsys-design.com>
Subject: Re: [RFC PATCH 00/25] Upstream kvx Linux port
Content-Type: text/plain
Precedence: bulk

On Thu, Jan 5, 2023, at 11:40, Jules Maselbas wrote:
> On Wed, Jan 04, 2023 at 04:58:25PM +0100, Arnd Bergmann wrote:
>> On Tue, Jan 3, 2023, at 17:43, Yann Sionneau wrote:

>> I commented on the syscall patch directly, I think it's
>> important to stop using the deprecated syscalls as soon
>> as possible to avoid having dependencies in too many
>> libc binaries. Almost everything else can be changed
>> easily as you get closer to upstream inclusion.
>> 
>> I did not receive most of the other patches as I'm
>> not subscribed to all the mainline lists. For future 
>> submissions, can you add the linux-arch list to Cc for
>> all patches?
>
> We misused get_maintainers.pl, running it on each patch instead
> of using it on the whole series. next time every one will be in
> copy of every patch in the series and including linux-arch.

Be careful not to make the list too long though, there is
usually a limit of 1024 characters for the entire Cc list,
above this your mails may get dropped by the mailing lists.

>> Reading the rest of the series through lore.kernel.org,
>> most of the comments I have are for improvements that
>> you may find valuable rather than serious mistakes:
>> 
>> - the {copy_to,copy_from,clear}_user functions are
>>   well worth optimizing better than the byte-at-a-time
>>   version you have, even just a C version built around
>>   your __get_user/__put_user inline asm should help, and
>>   could be added to lib/usercopy.c.
>
> right, we are using memcpy for {copy_to,copy_from}_user_page
> which has a simple optimized version introduced in
> (kvx: Add some library functions).
> I wonder if it is possible to do the same for copy_*_user functions.

copy_from_user_page() is only about managing cache aliases,
not user access, and it's not used anywhere in the fast
path, so it's a bit different.

arch/arm/lib/copy_template.S has an example for how
you can share the same assembler implementation between
memcpy() and copy_from_user(), but it's not very
intuitive.

The tricky bit with copy_from_user() is the partial copy
that relies on copying the exact amount of data that can
be accessed including the last byte before the end of
the mapping, and returning the correct count of non-copied
bytes.

If you want a C version, you can probably use the
copy_from_kernel_nofault implementation mm/maccess.c
as a template, but have to add code for the correct
return value.

    Arnd