All of lore.kernel.org
 help / color / mirror / Atom feed
From: Arnd Bergmann <arnd@arndb.de>
To: linux-arm-kernel@lists.infradead.org
Cc: Catalin Marinas <catalin.marinas@arm.com>,
	Andreas Kraschitzer <andreas.kraschitzer@theobroma-systems.com>,
	"Dr. Philipp Tomsich" <philipp.tomsich@theobroma-systems.com>,
	"Pinski, Andrew" <Andrew.Pinski@caviumnetworks.com>,
	Andreas Schwab <schwab@suse.de>,
	"linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
	Alexander Graf <agraf@suse.de>,
	Andrew Pinski <apinski@cavium.com>,
	Kumar Sankaran <ksankaran@apm.com>,
	Benedikt Huber <benedikt.huber@theobroma-systems.com>,
	Christoph Muellner <christoph.muellner@theobroma-systems.com>
Subject: Re: [PATCH v4 00/24] ILP32 for ARM64
Date: Fri, 17 Apr 2015 15:17:32 +0200	[thread overview]
Message-ID: <3365190.ZbiKjUlDk2@wuerfel> (raw)
In-Reply-To: <20150417090156.GH819@e104818-lin.cambridge.arm.com>

On Friday 17 April 2015 10:01:56 Catalin Marinas wrote:
> On Thu, Apr 16, 2015 at 05:21:30PM +0200, Arnd Bergmann wrote:
> > On Thursday 16 April 2015 14:31:34 Catalin Marinas wrote:
> > > On Thu, Apr 16, 2015 at 11:33:49AM +0000, Pinski, Andrew wrote:
> > > > There are only a few places where long should be 32bit rather than
> > > > 64bit. The non-time_t field of timespec is the only one I can think
> > > > of.
> > > 
> > > It may be the only one but we could end up with a non-compliant
> > > timespec. Unless we keep the tv_nsec as 32-bit long and add some
> > > padding, we could work around it by getting the C library to sign-extend
> > > such padding or we do it in a new "compat" layer in the kernel (but both
> > > cases imply copying the structure).
> > > 
> > > However, timerspec is included in other structures, so we'd have to
> > > intercept those as well. Philipp provided a list here:
> > > 
> > > http://article.gmane.org/gmane.linux.kernel/1931497
> > 
> > We're basically in the same boat as x32 then, and should do the same
> > thing on both most importantly, whatever that ends up.
> 
> I'm getting confused ;). I thought you were pushing for a 32-bit time_t
> on AArch64 ILP32.
> 
> I'm not sure we need to be in the same boat as x32. Their decision was
> to primarily use the LP64 ABI and there are performance advantages, not
> only the 2038 issue. The downside, few POSIX incompatibilities that I
> think they are happy to live with. If we are happy to live with them as
> well, we go ahead with the current patchset. We may try to patch some of
> the POSIX incompatibilities (see Philipp's list above) by
> padding/copying/sign-extending the affected structures.

Here is my current line of thinking:

- Using all the aarch32 data structures would be the easiest way, then
  we could use the side of asm-generic/unistd.h and everything should
  work to the same degree as it does today for aarch32 emulation.
  This means 32-bit time_t of course, and it would give us the best
  tradeoff between the amount of work needed and the results we get.
  A few downsides have been mentioned, but I still think it's the
  best approach. This would be the approach e) that you suggested
  earlier.

- If we do not use the exact data structures that we have on aarch32,
  then I think we should make aarch32 emulation and aarch64-ilp32
  emulation mutually exclusive, and provide two separate asm/compat.h
  header files that contain the differences. In this case, we should
  try to come up with an ABI that makes the most sense for the majority
  of the use cases that people are interested in. The two most likely
  choices here would be

  f) create a new ABI that follows exactly what x32 did. This is a
     variation of the earlier b), c), or d), but with the change of
     fixing ioctl support by using a matching asm/compat.h. This
     would not be entirely POSIX compliant, but it would be a nice
     hack to get the highest performance in microbenchmarks, as it
     avoids most of the compat layer. Over time, it can get extended
     to coexist with aarch32 emulation, but that may take a few years.

  g) create a new ABI that does things in exactly the way that we
     would use as the native syscall interface if we had an ilp32
     kernel running on aarch64 with the asm-generic/unistd.h.
     This would mean a 32-bit __kernel_long_t and time_t, but extending
     time_t in the long run, together with aarch32 and i386.
     This one is particularly interesting for people that are interested
     in maximum posix compliance and in having a "nice" ABI, in particular
     if there is a slight chance that within the next decade we have
     reason to support building an arch/arm64 kernel itself in
     aarch64-ilp32 mode.

Between e), f), and g), I'd lean towards e), but I'm fine with the other
two as well and still lack sufficient information on what people want
to do with it in the long run.

> > However, it would be nice to get agreement on the normal 32-bit ABI
> > for time_t and timespec first, and then use the same thing everywhere.
> 
> Do you mean for native 32-bit architectures? I think OpenBSD uses a
> 64-bit time_t already on 32-bit arches, it's doable in Linux as well.

Yes, and I'm working on that for Linux. The first step involves fixing
the kernel, one file at a time, changing all users of time_t to use
some other type (ktime_t or time64_t in most cases) instead, and introducing
additional system calls to handle the boundary to user space without
breaking stuff. See my presentation at http://elinux.org/ELC_2015_Presentations
for more detail.

	Arnd

WARNING: multiple messages have this Message-ID (diff)
From: arnd@arndb.de (Arnd Bergmann)
To: linux-arm-kernel@lists.infradead.org
Subject: [PATCH v4 00/24] ILP32 for ARM64
Date: Fri, 17 Apr 2015 15:17:32 +0200	[thread overview]
Message-ID: <3365190.ZbiKjUlDk2@wuerfel> (raw)
In-Reply-To: <20150417090156.GH819@e104818-lin.cambridge.arm.com>

On Friday 17 April 2015 10:01:56 Catalin Marinas wrote:
> On Thu, Apr 16, 2015 at 05:21:30PM +0200, Arnd Bergmann wrote:
> > On Thursday 16 April 2015 14:31:34 Catalin Marinas wrote:
> > > On Thu, Apr 16, 2015 at 11:33:49AM +0000, Pinski, Andrew wrote:
> > > > There are only a few places where long should be 32bit rather than
> > > > 64bit. The non-time_t field of timespec is the only one I can think
> > > > of.
> > > 
> > > It may be the only one but we could end up with a non-compliant
> > > timespec. Unless we keep the tv_nsec as 32-bit long and add some
> > > padding, we could work around it by getting the C library to sign-extend
> > > such padding or we do it in a new "compat" layer in the kernel (but both
> > > cases imply copying the structure).
> > > 
> > > However, timerspec is included in other structures, so we'd have to
> > > intercept those as well. Philipp provided a list here:
> > > 
> > > http://article.gmane.org/gmane.linux.kernel/1931497
> > 
> > We're basically in the same boat as x32 then, and should do the same
> > thing on both most importantly, whatever that ends up.
> 
> I'm getting confused ;). I thought you were pushing for a 32-bit time_t
> on AArch64 ILP32.
> 
> I'm not sure we need to be in the same boat as x32. Their decision was
> to primarily use the LP64 ABI and there are performance advantages, not
> only the 2038 issue. The downside, few POSIX incompatibilities that I
> think they are happy to live with. If we are happy to live with them as
> well, we go ahead with the current patchset. We may try to patch some of
> the POSIX incompatibilities (see Philipp's list above) by
> padding/copying/sign-extending the affected structures.

Here is my current line of thinking:

- Using all the aarch32 data structures would be the easiest way, then
  we could use the side of asm-generic/unistd.h and everything should
  work to the same degree as it does today for aarch32 emulation.
  This means 32-bit time_t of course, and it would give us the best
  tradeoff between the amount of work needed and the results we get.
  A few downsides have been mentioned, but I still think it's the
  best approach. This would be the approach e) that you suggested
  earlier.

- If we do not use the exact data structures that we have on aarch32,
  then I think we should make aarch32 emulation and aarch64-ilp32
  emulation mutually exclusive, and provide two separate asm/compat.h
  header files that contain the differences. In this case, we should
  try to come up with an ABI that makes the most sense for the majority
  of the use cases that people are interested in. The two most likely
  choices here would be

  f) create a new ABI that follows exactly what x32 did. This is a
     variation of the earlier b), c), or d), but with the change of
     fixing ioctl support by using a matching asm/compat.h. This
     would not be entirely POSIX compliant, but it would be a nice
     hack to get the highest performance in microbenchmarks, as it
     avoids most of the compat layer. Over time, it can get extended
     to coexist with aarch32 emulation, but that may take a few years.

  g) create a new ABI that does things in exactly the way that we
     would use as the native syscall interface if we had an ilp32
     kernel running on aarch64 with the asm-generic/unistd.h.
     This would mean a 32-bit __kernel_long_t and time_t, but extending
     time_t in the long run, together with aarch32 and i386.
     This one is particularly interesting for people that are interested
     in maximum posix compliance and in having a "nice" ABI, in particular
     if there is a slight chance that within the next decade we have
     reason to support building an arch/arm64 kernel itself in
     aarch64-ilp32 mode.

Between e), f), and g), I'd lean towards e), but I'm fine with the other
two as well and still lack sufficient information on what people want
to do with it in the long run.

> > However, it would be nice to get agreement on the normal 32-bit ABI
> > for time_t and timespec first, and then use the same thing everywhere.
> 
> Do you mean for native 32-bit architectures? I think OpenBSD uses a
> 64-bit time_t already on 32-bit arches, it's doable in Linux as well.

Yes, and I'm working on that for Linux. The first step involves fixing
the kernel, one file at a time, changing all users of time_t to use
some other type (ktime_t or time64_t in most cases) instead, and introducing
additional system calls to handle the boundary to user space without
breaking stuff. See my presentation at http://elinux.org/ELC_2015_Presentations
for more detail.

	Arnd

  reply	other threads:[~2015-04-17 13:18 UTC|newest]

Thread overview: 155+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-04-13 19:44 [PATCH v4 00/24] ILP32 for ARM64 Philipp Tomsich
2015-04-13 19:44 ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 01/24] arm64:ilp32: add documentation on the ILP32 ABI " Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 02/24] arm64: ensure the kernel is compiled for LP64 Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 03/24] arm64: rename COMPAT to AARCH32_EL0 in Kconfig Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 04/24] arm64: change some CONFIG_COMPAT over to use CONFIG_AARCH32_EL0 instead Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 05/24] arm64:ilp32: expose 'kernel_long' as 'long long' for ILP32 Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 06/24] arm64:uapi: set __BITS_PER_LONG correctly for ILP32 and LP64 Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 07/24] arm64:ilp32: share signal structures between ILP32 and LP64 ABIs Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 08/24] arm64:ilp32: use 64bit syscall-names for ILP32 when passing 64bit registers Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 09/24] arm64:ilp32: use non-compat syscall names for ILP32 as for LP64 Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 10/24] arm64: introduce is_a32_task and is_a32_thread (for AArch32 compat) Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 11/24] arm64:ilp32: add is_ilp32_compat_{task,thread} and TIF_32BIT_AARCH64 Philipp Tomsich
2015-04-13 19:44   ` [PATCH v4 11/24] arm64:ilp32: add is_ilp32_compat_{task, thread} " Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 12/24] arm64:ilp32: COMPAT_USE_64BIT_TIME is true for ILP32 tasks Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 13/24] arm64:ilp32: share HWCAP between LP64 and ILP32 Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 14/24] arm64:ilp32 use the native LP64 'start_thread' for ILP32 threads Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 15/24] arm64:ilp32: support core dump generation for ILP32 Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 16/24] arm64: add support for starting ILP32 (ELFCLASS32) binaries Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 17/24] arm64:ilp32: add vdso-ilp32 and use for signal return Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 18/24] ptrace: Allow compat to use the native siginfo Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 19/24] arm64:ilp32: add sys_ilp32.c and a separate table (in entry.S) to use it Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 20/24] arm64:ilp32: use compat-syscalls for msgsnd and msgrcv for ILP32 Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 21/24] arm64:ilp32: use the native siginfo instead of the compat siginfo Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 22/24] arm64:ilp32: use compat for stack_t Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-05-05  0:03   ` Pinski, Andrew
2015-05-05  0:03     ` Pinski, Andrew
2015-04-13 19:44 ` [PATCH v4 23/24] arm64:ilp32: change COMPAT_ELF_PLATFORM to report a a subplatform for ILP32 Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 19:44 ` [PATCH v4 24/24] arm64:ilp32: add ARM64_ILP32 to Kconfig Philipp Tomsich
2015-04-13 19:44   ` Philipp Tomsich
2015-04-13 21:01 ` [PATCH v4 00/24] ILP32 for ARM64 Arnd Bergmann
2015-04-13 21:01   ` Arnd Bergmann
2015-04-13 22:58   ` Dr. Philipp Tomsich
2015-04-13 22:58     ` Dr. Philipp Tomsich
2015-04-14  9:33     ` Dr. Philipp Tomsich
2015-04-14 10:08       ` Arnd Bergmann
2015-04-14 10:08         ` Arnd Bergmann
2015-04-14 10:45         ` Pinski, Andrew
2015-04-14 10:45           ` Pinski, Andrew
2015-04-14 11:14           ` Arnd Bergmann
2015-04-14 11:14             ` Arnd Bergmann
2015-04-14 11:50             ` Dr. Philipp Tomsich
2015-04-14 11:50               ` Dr. Philipp Tomsich
2015-04-14 14:07               ` Arnd Bergmann
2015-04-14 14:07                 ` Arnd Bergmann
2015-04-14 14:54                 ` Dr. Philipp Tomsich
2015-04-15 12:25                   ` Arnd Bergmann
2015-04-15 12:25                     ` Arnd Bergmann
2015-04-14 15:00                 ` Catalin Marinas
2015-04-14 15:00                   ` Catalin Marinas
2015-04-14 22:28                   ` Arnd Bergmann
2015-04-14 22:28                     ` Arnd Bergmann
2015-04-15  9:18                     ` Dr. Philipp Tomsich
2015-04-15  9:18                       ` Dr. Philipp Tomsich
2015-04-15 10:01                       ` Catalin Marinas
2015-04-15 10:01                         ` Catalin Marinas
2015-04-15 15:15                         ` Arnd Bergmann
2015-04-15 15:15                           ` Arnd Bergmann
2015-04-15 15:38                           ` Catalin Marinas
2015-04-15 15:38                             ` Catalin Marinas
2015-04-15 17:01                             ` Dr. Philipp Tomsich
2015-04-15 17:01                               ` Dr. Philipp Tomsich
2015-04-15 17:22                               ` Catalin Marinas
2015-04-15 17:22                                 ` Catalin Marinas
2015-04-15 22:25                                 ` Alexander Graf
2015-04-15 22:25                                   ` Alexander Graf
2015-04-16 11:03                                   ` Catalin Marinas
2015-04-16 11:03                                     ` Catalin Marinas
2015-04-16 11:19                                     ` Dr. Philipp Tomsich
2015-04-16 11:19                                       ` Dr. Philipp Tomsich
2015-04-16 11:33                                       ` Pinski, Andrew
2015-04-16 11:33                                         ` Pinski, Andrew
2015-04-16 13:31                                         ` Catalin Marinas
2015-04-16 13:31                                           ` Catalin Marinas
2015-04-16 15:21                                           ` Arnd Bergmann
2015-04-16 15:21                                             ` Arnd Bergmann
2015-04-17  9:01                                             ` Catalin Marinas
2015-04-17  9:01                                               ` Catalin Marinas
2015-04-17 13:17                                               ` Arnd Bergmann [this message]
2015-04-17 13:17                                                 ` Arnd Bergmann
2015-04-17 14:06                                                 ` Alexander Graf
2015-04-17 14:06                                                   ` Alexander Graf
2015-04-17 14:46                                                 ` Catalin Marinas
2015-04-17 14:46                                                   ` Catalin Marinas
2015-04-17 15:15                                                   ` Dr. Philipp Tomsich
2015-04-17 15:15                                                     ` Dr. Philipp Tomsich
2015-04-18 19:24                                                     ` Arnd Bergmann
2015-04-18 19:24                                                       ` Arnd Bergmann
2015-05-04 10:29                                                       ` Arnd Bergmann
2015-05-04 10:29                                                         ` Arnd Bergmann
2015-05-04 10:32                                                         ` Dr. Philipp Tomsich
2015-05-04 10:32                                                           ` Dr. Philipp Tomsich
2015-05-04 14:43                                                           ` Arnd Bergmann
2015-05-04 14:43                                                             ` Arnd Bergmann
2015-05-05 13:11                                                         ` Arnd Bergmann
2015-05-05 13:11                                                           ` Arnd Bergmann
2015-04-17 15:49                                                   ` Arnd Bergmann
2015-04-17 15:49                                                     ` Arnd Bergmann
2015-04-20 15:56                                                     ` Catalin Marinas
2015-04-20 15:56                                                       ` Catalin Marinas
2015-04-20 17:40                                                       ` Arnd Bergmann
2015-04-20 17:40                                                         ` Arnd Bergmann
2015-04-20 14:37                                                 ` Zhangjian (Bamvor)
2015-04-20 14:37                                                   ` Zhangjian (Bamvor)
2015-04-16 14:27                                       ` Catalin Marinas
2015-04-16 14:27                                         ` Catalin Marinas
2015-04-14 11:51             ` Pinski, Andrew
2015-04-14 11:51               ` Pinski, Andrew
2015-04-14 14:56               ` Catalin Marinas
2015-04-14 14:56                 ` Catalin Marinas
2015-04-14 13:38           ` Catalin Marinas
2015-04-14 13:38             ` Catalin Marinas
2015-04-14 14:47         ` Catalin Marinas
2015-04-14 14:47           ` Catalin Marinas
2015-04-14 15:29           ` Dr. Philipp Tomsich
2015-04-14 15:29             ` Dr. Philipp Tomsich
2015-04-14 16:55             ` Catalin Marinas
2015-04-14 16:55               ` Catalin Marinas
2015-04-15 10:31               ` Dr. Philipp Tomsich
2015-04-15 10:31                 ` Dr. Philipp Tomsich
2015-04-15 12:47               ` Arnd Bergmann
2015-04-15 12:47                 ` Arnd Bergmann
2015-04-15 12:42             ` Arnd Bergmann
2015-04-15 12:42               ` Arnd Bergmann
2015-04-14 15:44           ` Arnd Bergmann
2015-04-14 15:44             ` Arnd Bergmann
2015-04-15 11:22             ` Catalin Marinas
2015-04-15 11:22               ` Catalin Marinas
2015-04-15 11:50               ` Dr. Philipp Tomsich
2015-04-15 15:49                 ` Catalin Marinas
2015-04-15 15:49                   ` Catalin Marinas
2015-04-14  9:40     ` Arnd Bergmann
2015-04-14  9:40       ` Arnd Bergmann

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=3365190.ZbiKjUlDk2@wuerfel \
    --to=arnd@arndb.de \
    --cc=Andrew.Pinski@caviumnetworks.com \
    --cc=agraf@suse.de \
    --cc=andreas.kraschitzer@theobroma-systems.com \
    --cc=apinski@cavium.com \
    --cc=benedikt.huber@theobroma-systems.com \
    --cc=catalin.marinas@arm.com \
    --cc=christoph.muellner@theobroma-systems.com \
    --cc=ksankaran@apm.com \
    --cc=linux-arm-kernel@lists.infradead.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=philipp.tomsich@theobroma-systems.com \
    --cc=schwab@suse.de \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.