ARM: signal: sigreturn_codes should be endian neutral to work in BE8

PATCH Superseded Victor Kamensky 3 participants 5 messages Aug 14, 2013 – Aug 20, 2013 Arm (32-bit)

Share & tools

Victor Kamensky

author

2013-08-14 07:08 UTC #0 lore raw

v2 cover ARM: signal: sigreturn_codes should be endian neutral to work in BE8

This is second version of patch that fixes rt_sig* ltp failures in case of big endian V7 kernel. It make sigreturn_codes snippets endian neutral. In this version of the patch problem is fixed by using separate .S file with snippets written with regular asm mnemonic. With such change compiler/linker take care of all needed byteswaps in case of BE8 mode.

This approach was suggested on the following thread:

http://lists.infradead.org/pipermail/linux-arm-kernel/2013-August/191543.html

Changes were tested on V7 in both BE and LE modes

Changes from v1:
Use separate .S file rather than <asm/opcodes.h> instruction byteswaping macros

Victor Kamensky (1):
ARM: signal: sigreturn_codes should be endian neutral to work in BE8

 arch/arm/kernel/Makefile          |  3 +-
 arch/arm/kernel/signal.c          | 29 +++---------------
 arch/arm/kernel/sigreturn_codes.S | 64 +++++++++++++++++++++++++++++++++++++++
 3 files changed, 70 insertions(+), 26 deletions(-)
 create mode 100644 arch/arm/kernel/sigreturn_codes.S

Signature · 1 line

1.8.1.4

Victor Kamensky

author

2013-08-14 07:08 UTC #1 lore raw

PATCH v2 1/1 ARM: signal: sigreturn_codes should be endian neutral to work in BE8

In case of BE8 kernel data is in BE order whereas code stays in LE order. Move sigreturn_codes to separate .S file and use proper assembler mnemonics for these code snippets. In this case compiler will take care of proper instructions byteswaps for BE8 case. Change assumes that sufficiently Thumb-capable tools are used to build kernel.

Problem was discovered during ltp testing of BE system: all rt_sig* tests failed. Tested against the same tests in both BE and LE modes.

Signed-off-by Victor Kamensky <[email protected]>

---
 arch/arm/kernel/Makefile          |  3 +-
 arch/arm/kernel/signal.c          | 29 +++---------------
 arch/arm/kernel/sigreturn_codes.S | 64 +++++++++++++++++++++++++++++++++++++++
 3 files changed, 70 insertions(+), 26 deletions(-)
 create mode 100644 arch/arm/kernel/sigreturn_codes.S

arch/arm/kernel/Makefile +2 -1

index 86d10dd..0722155 100644
@@ -17,7 +17,8 @@ CFLAGS_REMOVE_return_address.o = -pg
 
 obj-y		:= elf.o entry-common.o irq.o opcodes.o \
 		   process.o ptrace.o return_address.o \
-		   setup.o signal.o stacktrace.o sys_arm.o time.o traps.o
+		   setup.o signal.o sigreturn_codes.o \
+		   stacktrace.o sys_arm.o time.o traps.o
 
 obj-$(CONFIG_ATAGS)		+= atags_parse.o
 obj-$(CONFIG_ATAGS_PROC)	+= atags_proc.o

arch/arm/kernel/signal.c +4 ~~-25~~

index ab33042..cdcbf04 100644
@@ -21,29 +21,8 @@
 #include <asm/unistd.h>
 #include <asm/vfp.h>
 
-/*
- * For ARM syscalls, we encode the syscall number into the instruction.
- */
-#define SWI_SYS_SIGRETURN	(0xef000000|(__NR_sigreturn)|(__NR_OABI_SYSCALL_BASE))
-#define SWI_SYS_RT_SIGRETURN	(0xef000000|(__NR_rt_sigreturn)|(__NR_OABI_SYSCALL_BASE))
-
-/*
- * With EABI, the syscall number has to be loaded into r7.
- */
-#define MOV_R7_NR_SIGRETURN	(0xe3a07000 | (__NR_sigreturn - __NR_SYSCALL_BASE))
-#define MOV_R7_NR_RT_SIGRETURN	(0xe3a07000 | (__NR_rt_sigreturn - __NR_SYSCALL_BASE))
-
-/*
- * For Thumb syscalls, we pass the syscall number via r7.  We therefore
- * need two 16-bit instructions.
- */
-#define SWI_THUMB_SIGRETURN	(0xdf00 << 16 | 0x2700 | (__NR_sigreturn - __NR_SYSCALL_BASE))
-#define SWI_THUMB_RT_SIGRETURN	(0xdf00 << 16 | 0x2700 | (__NR_rt_sigreturn - __NR_SYSCALL_BASE))
-
-static const unsigned long sigreturn_codes[7] = {
-	MOV_R7_NR_SIGRETURN,    SWI_SYS_SIGRETURN,    SWI_THUMB_SIGRETURN,
-	MOV_R7_NR_RT_SIGRETURN, SWI_SYS_RT_SIGRETURN, SWI_THUMB_RT_SIGRETURN,
-};
+extern const unsigned long sigreturn_codes[];
+extern const int sigreturn_codes_size;
 
 static unsigned long signal_return_offset;

@@ -639,10 +618,10 @@ struct page *get_signal_page(void)
 	 * Copy signal return handlers into the vector page, and
 	 * set sigreturn to be a pointer to these.
 	 */
-	memcpy(addr + offset, sigreturn_codes, sizeof(sigreturn_codes));
+	memcpy(addr + offset, sigreturn_codes, sigreturn_codes_size);
 
 	ptr = (unsigned long)addr + offset;
-	flush_icache_range(ptr, ptr + sizeof(sigreturn_codes));
+	flush_icache_range(ptr, ptr + sigreturn_codes_size);
 
 	return page;
 }

arch/arm/kernel/sigreturn_codes.S new file +64 -0

64 lines not on this page · raw message

Signature · 1 line

1.8.1.4

Dave Martin

2013-08-15 10:57 UTC #2 lore raw

PATCH v2 1/1 ARM: signal: sigreturn_codes should be endian neutral to work in BE8

Quoted 9 lines · Victor Kamensky

In case of BE8 kernel data is in BE order whereas code stays in LE order. Move sigreturn_codes to separate .S file and use proper assembler mnemonics for these code snippets. In this case compiler will take care of proper instructions byteswaps for BE8 case. Change assumes that sufficiently Thumb-capable tools are used to build kernel.
Problem was discovered during ltp testing of BE system: all rt_sig* tests failed. Tested against the same tests in both BE and LE modes.

This looks sensible to me, but I have a few comments -- see below.

Cheers
---Dave

Quoted 45 lines

Signed-off-by Victor Kamensky <[email protected]>

---
 arch/arm/kernel/Makefile          |  3 +-
 arch/arm/kernel/signal.c          | 29 +++---------------
 arch/arm/kernel/sigreturn_codes.S | 64 +++++++++++++++++++++++++++++++++++++++
 3 files changed, 70 insertions(+), 26 deletions(-)
 create mode 100644 arch/arm/kernel/sigreturn_codes.S

arch/arm/kernel/Makefile +2 -1

index 86d10dd..0722155 100644
@@ -17,7 +17,8 @@ CFLAGS_REMOVE_return_address.o = -pg
 
 obj-y		:= elf.o entry-common.o irq.o opcodes.o \
 		   process.o ptrace.o return_address.o \
-		   setup.o signal.o stacktrace.o sys_arm.o time.o traps.o
+		   setup.o signal.o sigreturn_codes.o \
+		   stacktrace.o sys_arm.o time.o traps.o
 
 obj-$(CONFIG_ATAGS)		+= atags_parse.o
 obj-$(CONFIG_ATAGS_PROC)	+= atags_proc.o

arch/arm/kernel/signal.c +0 ~~-14~~

index ab33042..cdcbf04 100644
@@ -21,29 +21,8 @@
 #include <asm/unistd.h>
 #include <asm/vfp.h>
 
-/*
- * For ARM syscalls, we encode the syscall number into the instruction.
- */
-#define SWI_SYS_SIGRETURN	(0xef000000|(__NR_sigreturn)|(__NR_OABI_SYSCALL_BASE))
-#define SWI_SYS_RT_SIGRETURN	(0xef000000|(__NR_rt_sigreturn)|(__NR_OABI_SYSCALL_BASE))
-
-/*
- * With EABI, the syscall number has to be loaded into r7.
- */
-#define MOV_R7_NR_SIGRETURN	(0xe3a07000 | (__NR_sigreturn - __NR_SYSCALL_BASE))
-#define MOV_R7_NR_RT_SIGRETURN	(0xe3a07000 | (__NR_rt_sigreturn - __NR_SYSCALL_BASE))
-
-/*
- * For Thumb syscalls, we pass the syscall number via r7.  We therefore

arch/arm/kernel/signal.c line 24

Quoted 10 lines

arch/arm/kernel/signal.c +1 -9

- * need two 16-bit instructions.
- */
-#define SWI_THUMB_SIGRETURN	(0xdf00 << 16 | 0x2700 | (__NR_sigreturn - __NR_SYSCALL_BASE))
-#define SWI_THUMB_RT_SIGRETURN	(0xdf00 << 16 | 0x2700 | (__NR_rt_sigreturn - __NR_SYSCALL_BASE))
-
-static const unsigned long sigreturn_codes[7] = {
-	MOV_R7_NR_SIGRETURN,    SWI_SYS_SIGRETURN,    SWI_THUMB_SIGRETURN,
-	MOV_R7_NR_RT_SIGRETURN, SWI_SYS_RT_SIGRETURN, SWI_THUMB_RT_SIGRETURN,
-};
+extern const unsigned long sigreturn_codes[];

Could be [_NR_SIGRETURN_CODES] -- see below.

Then you can revert to using sizeof(sigreturn_codes), as previously.

arch/arm/kernel/signal.c line 25

Quoted 1 line

arch/arm/kernel/signal.c +1 -0
+extern const int sigreturn_codes_size;

Might go away too

Quoted 40 lines

arch/arm/kernel/signal.c +2 -2

 static unsigned long signal_return_offset;

@@ -639,10 +618,10 @@ struct page *get_signal_page(void)
 	 * Copy signal return handlers into the vector page, and
 	 * set sigreturn to be a pointer to these.
 	 */
-	memcpy(addr + offset, sigreturn_codes, sizeof(sigreturn_codes));
+	memcpy(addr + offset, sigreturn_codes, sigreturn_codes_size);
 
 	ptr = (unsigned long)addr + offset;
-	flush_icache_range(ptr, ptr + sizeof(sigreturn_codes));
+	flush_icache_range(ptr, ptr + sigreturn_codes_size);
 
 	return page;
 }

arch/arm/kernel/sigreturn_codes.S new file +18 -0

new file mode 100644
index 0000000..3ac1540
@@ -0,0 +1,64 @@
+/*
+ * sigreturn_codes.S - code sinpets for sigreturn syscalls
+ *
+ * Created by:	Victor Kamensky, 2013-08-13
+ * Copyright:	(C) 2013  Linaro Limited
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License version 2 as
+ * published by the Free Software Foundation.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ */
+
+#include <asm/unistd.h>
+

arch/arm/kernel/sigreturn_codes.S line 28

Quoted 10 lines

arch/arm/kernel/sigreturn_codes.S new file +10 -0

+/*
+ * For ARM syscalls, we encode the syscall number into the instruction.
+ * With EABI, the syscall number has to be loaded into r7. As result
+ * ARM syscall sequence snippet will have move and svc in .arm encoding
+ *
+ * For Thumb syscalls, we pass the syscall number via r7.  We therefore
+ * need two 16-bit instructions in .thumb encoding
+ */
+
+	.text

Maybe this should be in .rodata instead. We only copy the instructions from here... if we ever execute them here, something has gone wrong somewhere.

This won't affect link-time swabbing.

arch/arm/kernel/sigreturn_codes.S line 32

Quoted 4 lines

arch/arm/kernel/sigreturn_codes.S new file +4 -0
+	.global sigreturn_codes
+	.type	sigreturn_codes, #object
+
+sigreturn_codes:

The above 3 lines can be replaced with ENTRY()...ENDPROC().

(.type / ENDPROC() isn't really required here, though. I would suggest omitting them, since although we assemble this as code, we really access it as data)

arch/arm/kernel/sigreturn_codes.S line 34

Quoted 2 lines

arch/arm/kernel/sigreturn_codes.S new file +2 -0
+	/* ARM sigreturn syscall code snippet */
+	.arm

.arm can insert padding for alignment purposes. To be on the safe side, I suggest moving the first .arm just before the sigreturn_codes label. This will avoid strange surprises if extra code is inserted into this file later.

arch/arm/kernel/sigreturn_codes.S line 36

Quoted 2 lines

arch/arm/kernel/sigreturn_codes.S new file +2 -0
+	mov	r7, #(__NR_sigreturn - __NR_SYSCALL_BASE)
+	svc	#(__NR_sigreturn)|(__NR_OABI_SYSCALL_BASE)

The "svc" mnemonic was invented for ARMv6.

Since all platforms rely on this code, including v4/v5, we should use the old "swi" mnemonic throughout this file instead.

arch/arm/kernel/sigreturn_codes.S line 39

Quoted 3 lines

arch/arm/kernel/sigreturn_codes.S new file +3 -0
+
+	/* Thumb sigreturn syscall code snippet */
+	.thumb

We should add a comment warning the reader that these instructions are not executed in-place, and are expected to have a precise, fixed layout.

Quoted 5 lines

arch/arm/kernel/sigreturn_codes.S new file +5 -0

+	movs	r7, #(__NR_sigreturn - __NR_SYSCALL_BASE)
+	svc	#0
+
+	/* ARM sigreturn_rt syscall code snippet */
+	.arm

arch/arm/kernel/sigreturn_codes.S line 54

Quoted 10 lines

arch/arm/kernel/sigreturn_codes.S new file +10 -0

+	mov	r7, #(__NR_rt_sigreturn - __NR_SYSCALL_BASE)
+	svc	#(__NR_rt_sigreturn)|(__NR_OABI_SYSCALL_BASE)
+
+	/* Thumb sigreturn_rt syscall code snippet */
+	.thumb
+	movs	r7, #(__NR_rt_sigreturn - __NR_SYSCALL_BASE)
+	svc	#0
+
+	.arm
+	.space	4

Nico, do you know what the spare word at the end of this array was for? Is it ABI, or just an accidental off-by-one?

It was introduced in commit fcca538b83f2984095f15f0f90f6c7686e3a32d4 ([ARM] 3270/1: ARM EABI: fix sigreturn and rt_sigreturn), but I can't see clearly why it's needed.

arch/arm/kernel/sigreturn_codes.S line 64

Quoted 10 lines

arch/arm/kernel/sigreturn_codes.S new file +10 -0

+__sigreturn_codes_end:
+	.size	sigreturn_codes, . - sigreturn_codes
+
+	.section .rodata
+	.global	sigreturn_codes_size
+	.type	sigreturn_codes_size, #object
+	.size	sigreturn_codes_size, 4
+
+sigreturn_codes_size:
+	.long __sigreturn_codes_end - sigreturn_codes

The correct size is statically fixed by hard-coded assumptions in signal.c -- we don't want to hide mis-edits by pretending to adapt to size changes.

So instead of the above lines you could do something like this:

arch/arm/include/asm/signal.h:
#define _NR_SIGRETURN_CODES 7 /* or mabye 6? */ #define _SIGRETURN_CODES_SIZE (4 * _NR_SIGRETURN_CODES)

sigreturn_codes.S:
#include <asm/signal.h>

/* ... */

	svc	#0

	.if	. - sigreturn_codes != _SIGRETURN_CODES_SIZE
	.error	"Incorrect size for sigreturn_codes"
	.endif

Cheers
---Dave

Victor Kamensky

author

2013-08-20 01:30 UTC #3 lore raw

PATCH v2 1/1 ARM: signal: sigreturn_codes should be endian neutral to work in BE8

[adding Nico to this thread]

Nico, could you please look at Dave's comment inline about sigreturn_codes size. It was long time ago, but maybe you can recall why sigreturn_codes size is 7 words, but not 6? It was set by your fcca538b83f2984095f15f0f90f6c7686e3a32d4
([ARM] 3270/1: ARM EABI: fix sigreturn and rt_sigreturn) commit

Dave, thank you, good comments! I think I can accommodate most of them. Please see few issues inline.

Quoted 211 lines · Dave Martin

Quoted 9 lines · Victor Kamensky
In case of BE8 kernel data is in BE order whereas code stays in LE order. Move sigreturn_codes to separate .S file and use proper assembler mnemonics for these code snippets. In this case compiler will take care of proper instructions byteswaps for BE8 case. Change assumes that sufficiently Thumb-capable tools are used to build kernel.
Problem was discovered during ltp testing of BE system: all rt_sig* tests failed. Tested against the same tests in both BE and LE modes.
This looks sensible to me, but I have a few comments -- see below.
Cheers
---Dave
Quoted 45 lines
Signed-off-by Victor Kamensky <[email protected]>
---
 arch/arm/kernel/Makefile          |  3 +-
 arch/arm/kernel/signal.c          | 29 +++---------------
 arch/arm/kernel/sigreturn_codes.S | 64 +++++++++++++++++++++++++++++++++++++++
 3 files changed, 70 insertions(+), 26 deletions(-)
 create mode 100644 arch/arm/kernel/sigreturn_codes.S
arch/arm/kernel/Makefile +2 -1
index 86d10dd..0722155 100644
@@ -17,7 +17,8 @@ CFLAGS_REMOVE_return_address.o = -pg
 
 obj-y                := elf.o entry-common.o irq.o opcodes.o \
                 process.o ptrace.o return_address.o \
-                setup.o signal.o stacktrace.o sys_arm.o time.o traps.o
+                setup.o signal.o sigreturn_codes.o \
+                stacktrace.o sys_arm.o time.o traps.o
 
 obj-$(CONFIG_ATAGS)          += atags_parse.o
 obj-$(CONFIG_ATAGS_PROC)     += atags_proc.o
arch/arm/kernel/signal.c +0 ~~-14~~
index ab33042..cdcbf04 100644
@@ -21,29 +21,8 @@
 #include <asm/unistd.h>
 #include <asm/vfp.h>
 
-/*
- * For ARM syscalls, we encode the syscall number into the instruction.
- */
-#define SWI_SYS_SIGRETURN    (0xef000000|(__NR_sigreturn)|(__NR_OABI_SYSCALL_BASE))
-#define SWI_SYS_RT_SIGRETURN (0xef000000|(__NR_rt_sigreturn)|(__NR_OABI_SYSCALL_BASE))
-
-/*
- * With EABI, the syscall number has to be loaded into r7.
- */
-#define MOV_R7_NR_SIGRETURN  (0xe3a07000 | (__NR_sigreturn - __NR_SYSCALL_BASE))
-#define MOV_R7_NR_RT_SIGRETURN       (0xe3a07000 | (__NR_rt_sigreturn - __NR_SYSCALL_BASE))
-
-/*
- * For Thumb syscalls, we pass the syscall number via r7.  We therefore
arch/arm/kernel/signal.c line 24
Quoted 10 lines
arch/arm/kernel/signal.c +1 -9
- * need two 16-bit instructions.
- */
-#define SWI_THUMB_SIGRETURN  (0xdf00 << 16 | 0x2700 | (__NR_sigreturn - __NR_SYSCALL_BASE))
-#define SWI_THUMB_RT_SIGRETURN       (0xdf00 << 16 | 0x2700 | (__NR_rt_sigreturn - __NR_SYSCALL_BASE))
-
-static const unsigned long sigreturn_codes[7] = {
-     MOV_R7_NR_SIGRETURN,    SWI_SYS_SIGRETURN,    SWI_THUMB_SIGRETURN,
-     MOV_R7_NR_RT_SIGRETURN, SWI_SYS_RT_SIGRETURN, SWI_THUMB_RT_SIGRETURN,
-};
+extern const unsigned long sigreturn_codes[];
Could be [_NR_SIGRETURN_CODES] -- see below.
Then you can revert to using sizeof(sigreturn_codes), as previously.
arch/arm/kernel/signal.c line 25
Quoted 1 line
arch/arm/kernel/signal.c +1 -0
+extern const int sigreturn_codes_size;
Might go away too
Quoted 40 lines
arch/arm/kernel/signal.c +2 -2
 static unsigned long signal_return_offset;
 
@@ -639,10 +618,10 @@ struct page *get_signal_page(void)
       * Copy signal return handlers into the vector page, and
       * set sigreturn to be a pointer to these.
       */
-     memcpy(addr + offset, sigreturn_codes, sizeof(sigreturn_codes));
+     memcpy(addr + offset, sigreturn_codes, sigreturn_codes_size);
 
      ptr = (unsigned long)addr + offset;
-     flush_icache_range(ptr, ptr + sizeof(sigreturn_codes));
+     flush_icache_range(ptr, ptr + sigreturn_codes_size);
 
      return page;
 }
arch/arm/kernel/sigreturn_codes.S new file +18 -0
new file mode 100644
index 0000000..3ac1540
@@ -0,0 +1,64 @@
+/*
+ * sigreturn_codes.S - code sinpets for sigreturn syscalls
+ *
+ * Created by:       Victor Kamensky, 2013-08-13
+ * Copyright:        (C) 2013  Linaro Limited
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License version 2 as
+ * published by the Free Software Foundation.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ */
+
+#include <asm/unistd.h>
+
arch/arm/kernel/sigreturn_codes.S line 28
Quoted 10 lines
arch/arm/kernel/sigreturn_codes.S new file +10 -0
+/*
+ * For ARM syscalls, we encode the syscall number into the instruction.
+ * With EABI, the syscall number has to be loaded into r7. As result
+ * ARM syscall sequence snippet will have move and svc in .arm encoding
+ *
+ * For Thumb syscalls, we pass the syscall number via r7.  We therefore
+ * need two 16-bit instructions in .thumb encoding
+ */
+
+     .text
Maybe this should be in .rodata instead. We only copy the instructions from here... if we ever execute them here, something has gone wrong somewhere.
This won't affect link-time swabbing.
arch/arm/kernel/sigreturn_codes.S line 32
Quoted 4 lines
arch/arm/kernel/sigreturn_codes.S new file +4 -0
+     .global sigreturn_codes
+     .type   sigreturn_codes, #object
+
+sigreturn_codes:
The above 3 lines can be replaced with ENTRY()...ENDPROC().
(.type / ENDPROC() isn't really required here, though. I would suggest omitting them, since although we assemble this as code, we really access it as data)
arch/arm/kernel/sigreturn_codes.S line 34
Quoted 2 lines
arch/arm/kernel/sigreturn_codes.S new file +2 -0
+     /* ARM sigreturn syscall code snippet */
+     .arm
.arm can insert padding for alignment purposes. To be on the safe side, I suggest moving the first .arm just before the sigreturn_codes label. This will avoid strange surprises if extra code is inserted into this file later.
arch/arm/kernel/sigreturn_codes.S line 36
Quoted 2 lines
arch/arm/kernel/sigreturn_codes.S new file +2 -0
+     mov     r7, #(__NR_sigreturn - __NR_SYSCALL_BASE)
+     svc     #(__NR_sigreturn)|(__NR_OABI_SYSCALL_BASE)
The "svc" mnemonic was invented for ARMv6.
Since all platforms rely on this code, including v4/v5, we should use the old "swi" mnemonic throughout this file instead.
arch/arm/kernel/sigreturn_codes.S line 39
Quoted 3 lines
arch/arm/kernel/sigreturn_codes.S new file +3 -0
+
+     /* Thumb sigreturn syscall code snippet */
+     .thumb
We should add a comment warning the reader that these instructions are not executed in-place, and are expected to have a precise, fixed layout.
Quoted 5 lines
arch/arm/kernel/sigreturn_codes.S new file +5 -0
+     movs    r7, #(__NR_sigreturn - __NR_SYSCALL_BASE)
+     svc     #0
+
+     /* ARM sigreturn_rt syscall code snippet */
+     .arm
arch/arm/kernel/sigreturn_codes.S line 54
Quoted 10 lines
arch/arm/kernel/sigreturn_codes.S new file +10 -0
+     mov     r7, #(__NR_rt_sigreturn - __NR_SYSCALL_BASE)
+     svc     #(__NR_rt_sigreturn)|(__NR_OABI_SYSCALL_BASE)
+
+     /* Thumb sigreturn_rt syscall code snippet */
+     .thumb
+     movs    r7, #(__NR_rt_sigreturn - __NR_SYSCALL_BASE)
+     svc     #0
+
+     .arm
+     .space  4
Nico, do you know what the spare word at the end of this array was for? Is it ABI, or just an accidental off-by-one?
It was introduced in commit fcca538b83f2984095f15f0f90f6c7686e3a32d4 ([ARM] 3270/1: ARM EABI: fix sigreturn and rt_sigreturn), but I can't see clearly why it's needed.
arch/arm/kernel/sigreturn_codes.S line 64
Quoted 10 lines
arch/arm/kernel/sigreturn_codes.S new file +10 -0
+__sigreturn_codes_end:
+     .size   sigreturn_codes, . - sigreturn_codes
+
+     .section .rodata
+     .global sigreturn_codes_size
+     .type   sigreturn_codes_size, #object
+     .size   sigreturn_codes_size, 4
+
+sigreturn_codes_size:
+     .long __sigreturn_codes_end - sigreturn_codes
The correct size is statically fixed by hard-coded assumptions in signal.c -- we don't want to hide mis-edits by pretending to adapt to size changes.

Quoted 5 lines

So instead of the above lines you could do something like this:
arch/arm/include/asm/signal.h:
#define _NR_SIGRETURN_CODES 7 /* or mabye 6? */ #define _SIGRETURN_CODES_SIZE (4 * _NR_SIGRETURN_CODES)

Note since arch/arm/include/asm/signal.h is part of public API, adding above defines in the file would require '#ifdef __KERNEL__' guards. Also since the file was not included in .S file before '#ifndef __ASSEMBLY__' statements will have to be added.

Quoted 10 lines

sigreturn_codes.S:
#include <asm/signal.h>
/* ... */
svc #0
.if . - sigreturn_codes != _SIGRETURN_CODES_SIZE
.error "Incorrect size for sigreturn_codes" .endif

Nice trick. I see few examples of it in existing code. Unfortunately it does not work for me - it seems to me that the reason is an assembler bug. It looks like when movs mnemonics is used in thumb mode with 'unified' syntax it causes gas to complain that size of address expression over code is not constant. Here is tiny example that illustrates the issue:

[kamensky at kamensky-w530 linux-linaro-tracking-be]$ cat /home/kamensky/tmp/codesize.S
.syntax unified

test:

       .thumb
       /*
        * presence of movs instruction in thumb mode causes
        * non-constant expression in which 'test' and '.'
        * participate
        */
       movs      r7, #153
       swi #0

       .if (. - test) != 4
       .error "Incorrect size"
       .endif

[kamensky at kamensky-w530 linux-linaro-tracking-be]$ arm-linux-gnueabihf-as -o codesize.o /home/kamensky/tmp/codesize.S /home/kamensky/tmp/codesize.S: Assembler messages:
/home/kamensky/tmp/codesize.S:13: Error: non-constant expression in ".if" statement
[kamensky at kamensky-w530 linux-linaro-tracking-be]$ arm-linux-gnueabihf-as --version
GNU assembler (crosstool-NG linaro-1.13.1-4.7-2013.01-20130125 - Linaro GCC 2013.01) 2.22

Or am I missing something here?

I think in this situation since this code has auxiliary/defensive meaning, maybe we can drop
it and rely on comment that would request size
of snippet in assembler to match size of array in extern statement.

Also in this case if we cannot use _SIGRETURN_CODES_SIZE in .S file, I don't think there is a need to modify arch/arm/include/asm/signal.h. These defines may be placed directly into arch/arm/kernel/signal.c, or even omitted with sigreturn_codes using size directly as it is now.

Thanks,
Victor

Quoted 2 lines

Cheers
---Dave

Nicolas Pitre

2013-08-20 02:06 UTC #4 lore raw

PATCH v2 1/1 ARM: signal: sigreturn_codes should be endian neutral to work in BE8

Quoted 9 lines · Victor Kamensky

[adding Nico to this thread]
Nico, could you please look at Dave's comment inline about sigreturn_codes size. It was long time ago, but maybe you can recall why sigreturn_codes size is 7 words, but not 6? It was set by your fcca538b83f2984095f15f0f90f6c7686e3a32d4
([ARM] 3270/1: ARM EABI: fix sigreturn and rt_sigreturn) commit

Hmmm... OK. If you look at the rest of the patch, the retcode variable is changed into an array of 2 words.

Then we compute an index into sigreturn_codes. It starts with

	idx = thumb << 1;

meaning 0 for ARM mode or 2 for Thumb mode.

Then we have this:

	if (ka->sa.sa_flags & SA_SIGINFO)
		idx += 3;

Finally we unconditionally copy 2 words:

	if (__put_user(sigreturn_codes[idx],   rc) ||
	    __put_user(sigreturn_codes[idx+1], rc+1))
		return 1;

So if the index was 2 + 3 = 5 and you copy 2 words from there, the array has to be 7 in size for the read from sigreturn_codes[] not to overflow. Given that happens only in the Thumb case and that actually requires only one word, the 7th word is not important.

Why always copy 2 words? That's a micro-optimization. Alternatively, the code could have used an additional conditional to copy only one word if thumb or two words if !thumb but that created slightly less efficient code.

Oviously, this should have been commented in the commit log if not in the code directly.

Quoted 295 lines

Dave, thank you, good comments! I think I can accommodate most of them. Please see few issues inline.
Quoted 211 lines · Dave Martin
Quoted 9 lines · Victor Kamensky
In case of BE8 kernel data is in BE order whereas code stays in LE order. Move sigreturn_codes to separate .S file and use proper assembler mnemonics for these code snippets. In this case compiler will take care of proper instructions byteswaps for BE8 case. Change assumes that sufficiently Thumb-capable tools are used to build kernel.
Problem was discovered during ltp testing of BE system: all rt_sig* tests failed. Tested against the same tests in both BE and LE modes.
This looks sensible to me, but I have a few comments -- see below.
Cheers
---Dave
Quoted 45 lines
Signed-off-by Victor Kamensky <[email protected]>
---
 arch/arm/kernel/Makefile          |  3 +-
 arch/arm/kernel/signal.c          | 29 +++---------------
 arch/arm/kernel/sigreturn_codes.S | 64 +++++++++++++++++++++++++++++++++++++++
 3 files changed, 70 insertions(+), 26 deletions(-)
 create mode 100644 arch/arm/kernel/sigreturn_codes.S
arch/arm/kernel/Makefile +2 -1
index 86d10dd..0722155 100644
@@ -17,7 +17,8 @@ CFLAGS_REMOVE_return_address.o = -pg
 
 obj-y                := elf.o entry-common.o irq.o opcodes.o \
                 process.o ptrace.o return_address.o \
-                setup.o signal.o stacktrace.o sys_arm.o time.o traps.o
+                setup.o signal.o sigreturn_codes.o \
+                stacktrace.o sys_arm.o time.o traps.o
 
 obj-$(CONFIG_ATAGS)          += atags_parse.o
 obj-$(CONFIG_ATAGS_PROC)     += atags_proc.o
arch/arm/kernel/signal.c +0 ~~-14~~
index ab33042..cdcbf04 100644
@@ -21,29 +21,8 @@
 #include <asm/unistd.h>
 #include <asm/vfp.h>
 
-/*
- * For ARM syscalls, we encode the syscall number into the instruction.
- */
-#define SWI_SYS_SIGRETURN    (0xef000000|(__NR_sigreturn)|(__NR_OABI_SYSCALL_BASE))
-#define SWI_SYS_RT_SIGRETURN (0xef000000|(__NR_rt_sigreturn)|(__NR_OABI_SYSCALL_BASE))
-
-/*
- * With EABI, the syscall number has to be loaded into r7.
- */
-#define MOV_R7_NR_SIGRETURN  (0xe3a07000 | (__NR_sigreturn - __NR_SYSCALL_BASE))
-#define MOV_R7_NR_RT_SIGRETURN       (0xe3a07000 | (__NR_rt_sigreturn - __NR_SYSCALL_BASE))
-
-/*
- * For Thumb syscalls, we pass the syscall number via r7.  We therefore
arch/arm/kernel/signal.c line 24
Quoted 10 lines
arch/arm/kernel/signal.c +1 -9
- * need two 16-bit instructions.
- */
-#define SWI_THUMB_SIGRETURN  (0xdf00 << 16 | 0x2700 | (__NR_sigreturn - __NR_SYSCALL_BASE))
-#define SWI_THUMB_RT_SIGRETURN       (0xdf00 << 16 | 0x2700 | (__NR_rt_sigreturn - __NR_SYSCALL_BASE))
-
-static const unsigned long sigreturn_codes[7] = {
-     MOV_R7_NR_SIGRETURN,    SWI_SYS_SIGRETURN,    SWI_THUMB_SIGRETURN,
-     MOV_R7_NR_RT_SIGRETURN, SWI_SYS_RT_SIGRETURN, SWI_THUMB_RT_SIGRETURN,
-};
+extern const unsigned long sigreturn_codes[];
Could be [_NR_SIGRETURN_CODES] -- see below.
Then you can revert to using sizeof(sigreturn_codes), as previously.
arch/arm/kernel/signal.c line 25
Quoted 1 line
arch/arm/kernel/signal.c +1 -0
+extern const int sigreturn_codes_size;
Might go away too
Quoted 40 lines
arch/arm/kernel/signal.c +2 -2
 static unsigned long signal_return_offset;
 
@@ -639,10 +618,10 @@ struct page *get_signal_page(void)
       * Copy signal return handlers into the vector page, and
       * set sigreturn to be a pointer to these.
       */
-     memcpy(addr + offset, sigreturn_codes, sizeof(sigreturn_codes));
+     memcpy(addr + offset, sigreturn_codes, sigreturn_codes_size);
 
      ptr = (unsigned long)addr + offset;
-     flush_icache_range(ptr, ptr + sizeof(sigreturn_codes));
+     flush_icache_range(ptr, ptr + sigreturn_codes_size);
 
      return page;
 }
arch/arm/kernel/sigreturn_codes.S new file +18 -0
new file mode 100644
index 0000000..3ac1540
@@ -0,0 +1,64 @@
+/*
+ * sigreturn_codes.S - code sinpets for sigreturn syscalls
+ *
+ * Created by:       Victor Kamensky, 2013-08-13
+ * Copyright:        (C) 2013  Linaro Limited
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License version 2 as
+ * published by the Free Software Foundation.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ */
+
+#include <asm/unistd.h>
+
arch/arm/kernel/sigreturn_codes.S line 28
Quoted 10 lines
arch/arm/kernel/sigreturn_codes.S new file +10 -0
+/*
+ * For ARM syscalls, we encode the syscall number into the instruction.
+ * With EABI, the syscall number has to be loaded into r7. As result
+ * ARM syscall sequence snippet will have move and svc in .arm encoding
+ *
+ * For Thumb syscalls, we pass the syscall number via r7.  We therefore
+ * need two 16-bit instructions in .thumb encoding
+ */
+
+     .text
Maybe this should be in .rodata instead. We only copy the instructions from here... if we ever execute them here, something has gone wrong somewhere.
This won't affect link-time swabbing.
arch/arm/kernel/sigreturn_codes.S line 32
Quoted 4 lines
arch/arm/kernel/sigreturn_codes.S new file +4 -0
+     .global sigreturn_codes
+     .type   sigreturn_codes, #object
+
+sigreturn_codes:
The above 3 lines can be replaced with ENTRY()...ENDPROC().
(.type / ENDPROC() isn't really required here, though. I would suggest omitting them, since although we assemble this as code, we really access it as data)
arch/arm/kernel/sigreturn_codes.S line 34
Quoted 2 lines
arch/arm/kernel/sigreturn_codes.S new file +2 -0
+     /* ARM sigreturn syscall code snippet */
+     .arm
.arm can insert padding for alignment purposes. To be on the safe side, I suggest moving the first .arm just before the sigreturn_codes label. This will avoid strange surprises if extra code is inserted into this file later.
arch/arm/kernel/sigreturn_codes.S line 36
Quoted 2 lines
arch/arm/kernel/sigreturn_codes.S new file +2 -0
+     mov     r7, #(__NR_sigreturn - __NR_SYSCALL_BASE)
+     svc     #(__NR_sigreturn)|(__NR_OABI_SYSCALL_BASE)
The "svc" mnemonic was invented for ARMv6.
Since all platforms rely on this code, including v4/v5, we should use the old "swi" mnemonic throughout this file instead.
arch/arm/kernel/sigreturn_codes.S line 39
Quoted 3 lines
arch/arm/kernel/sigreturn_codes.S new file +3 -0
+
+     /* Thumb sigreturn syscall code snippet */
+     .thumb
We should add a comment warning the reader that these instructions are not executed in-place, and are expected to have a precise, fixed layout.
Quoted 5 lines
arch/arm/kernel/sigreturn_codes.S new file +5 -0
+     movs    r7, #(__NR_sigreturn - __NR_SYSCALL_BASE)
+     svc     #0
+
+     /* ARM sigreturn_rt syscall code snippet */
+     .arm
arch/arm/kernel/sigreturn_codes.S line 54
Quoted 10 lines
arch/arm/kernel/sigreturn_codes.S new file +10 -0
+     mov     r7, #(__NR_rt_sigreturn - __NR_SYSCALL_BASE)
+     svc     #(__NR_rt_sigreturn)|(__NR_OABI_SYSCALL_BASE)
+
+     /* Thumb sigreturn_rt syscall code snippet */
+     .thumb
+     movs    r7, #(__NR_rt_sigreturn - __NR_SYSCALL_BASE)
+     svc     #0
+
+     .arm
+     .space  4
Nico, do you know what the spare word at the end of this array was for? Is it ABI, or just an accidental off-by-one?
It was introduced in commit fcca538b83f2984095f15f0f90f6c7686e3a32d4 ([ARM] 3270/1: ARM EABI: fix sigreturn and rt_sigreturn), but I can't see clearly why it's needed.
arch/arm/kernel/sigreturn_codes.S line 64
Quoted 10 lines
arch/arm/kernel/sigreturn_codes.S new file +10 -0
+__sigreturn_codes_end:
+     .size   sigreturn_codes, . - sigreturn_codes
+
+     .section .rodata
+     .global sigreturn_codes_size
+     .type   sigreturn_codes_size, #object
+     .size   sigreturn_codes_size, 4
+
+sigreturn_codes_size:
+     .long __sigreturn_codes_end - sigreturn_codes
The correct size is statically fixed by hard-coded assumptions in signal.c -- we don't want to hide mis-edits by pretending to adapt to size changes.
Quoted 5 lines
So instead of the above lines you could do something like this:
arch/arm/include/asm/signal.h:
#define _NR_SIGRETURN_CODES 7 /* or mabye 6? */ #define _SIGRETURN_CODES_SIZE (4 * _NR_SIGRETURN_CODES)
Note since arch/arm/include/asm/signal.h is part of public API, adding above defines in the file would require '#ifdef __KERNEL__' guards. Also since the file was not included in .S file before '#ifndef __ASSEMBLY__' statements will have to be added.
Quoted 10 lines
sigreturn_codes.S:
#include <asm/signal.h>
/* ... */
svc #0
.if . - sigreturn_codes != _SIGRETURN_CODES_SIZE
.error "Incorrect size for sigreturn_codes" .endif
Nice trick. I see few examples of it in existing code. Unfortunately it does not work for me - it seems to me that the reason is an assembler bug. It looks like when movs mnemonics is used in thumb mode with 'unified' syntax it causes gas to complain that size of address expression over code is not constant. Here is tiny example that illustrates the issue:
[kamensky at kamensky-w530 linux-linaro-tracking-be]$ cat /home/kamensky/tmp/codesize.S
.syntax unified
test:
       .thumb
       /*
        * presence of movs instruction in thumb mode causes
        * non-constant expression in which 'test' and '.'
        * participate
        */
       movs      r7, #153
       swi #0

       .if (. - test) != 4
       .error "Incorrect size"
       .endif
[kamensky at kamensky-w530 linux-linaro-tracking-be]$ arm-linux-gnueabihf-as -o codesize.o /home/kamensky/tmp/codesize.S /home/kamensky/tmp/codesize.S: Assembler messages:
/home/kamensky/tmp/codesize.S:13: Error: non-constant expression in ".if" statement
[kamensky at kamensky-w530 linux-linaro-tracking-be]$ arm-linux-gnueabihf-as --version
GNU assembler (crosstool-NG linaro-1.13.1-4.7-2013.01-20130125 - Linaro GCC 2013.01) 2.22
Or am I missing something here?
I think in this situation since this code has auxiliary/defensive meaning, maybe we can drop
it and rely on comment that would request size
of snippet in assembler to match size of array in extern statement.
Also in this case if we cannot use _SIGRETURN_CODES_SIZE in .S file, I don't think there is a need to modify arch/arm/include/asm/signal.h. These defines may be placed directly into arch/arm/kernel/signal.c, or even omitted with sigreturn_codes using size directly as it is now.
Thanks,
Victor
Quoted 2 lines
Cheers
---Dave