Skip to contentSkip to conversation

arm64: ftrace: move ftrace-mod.o contents into linker script

RFC PATCH New Ard Biesheuvel 2 participants 4 messages Nov 20, 2017

Subsystems (2)
lore
Share & tools
lore
#0 lore raw

RFC PATCH 1/1 arm64: ftrace: move ftrace-mod.o contents into linker script

When building the arm64 kernel with bot CONFIG_ARM64_MODULE_PLTS and CONFIG_DYNAMIC_FTRACE enabled, the ftrace-mod.o object file is built with the kernel and contains a trampoline that is linked into each module, so that modules can be loaded far away from the kernel and still reach the ftrace entry point in the core kernel with an ordinary relative branch, as is emitted by the compiler instrumentation code dynamic ftrace relies on.

In order to be able to build out of tree modules, this object file needs to be included into the linux-headers or linux-devel packages, which is undesirable, as it makes arm64 a special case (although a precedent does exist for 32-bit PPC).

Given that the trampoline only consists of two instructions, let's hack it into the module linker script instead.

---
 arch/arm64/Makefile                 |  2 +-
 arch/arm64/kernel/Makefile          |  3 ---
 arch/arm64/kernel/ftrace-mod.S      | 18 ------------------
 arch/arm64/kernel/module-ftrace.lds |  7 +++++++
 arch/arm64/kernel/module-plts.c     | 13 +++++++++++++
 5 files changed, 21 insertions(+), 22 deletions(-)
 delete mode 100644 arch/arm64/kernel/ftrace-mod.S
 create mode 100644 arch/arm64/kernel/module-ftrace.lds
arch/arm64/Makefile +1 -1
index b35788c909f1..be8a38382a57 100644
@@ -84,7 +84,7 @@ endif
 ifeq ($(CONFIG_ARM64_MODULE_PLTS),y)
 KBUILD_LDFLAGS_MODULE	+= -T $(srctree)/arch/arm64/kernel/module.lds
 ifeq ($(CONFIG_DYNAMIC_FTRACE),y)
-KBUILD_LDFLAGS_MODULE	+= $(objtree)/arch/arm64/kernel/ftrace-mod.o
+KBUILD_LDFLAGS_MODULE	+= -T $(srctree)/arch/arm64/kernel/module-ftrace.lds
 endif
 endif
 
arch/arm64/kernel/Makefile +0 -3
index 8265dd790895..067baace74a0 100644
@@ -61,6 +61,3 @@ extra-y					+= $(head-y) vmlinux.lds
 ifeq ($(CONFIG_DEBUG_EFI),y)
 AFLAGS_head.o += -DVMLINUX_PATH="\"$(realpath $(objtree)/vmlinux)\""
 endif
-
-# will be included by each individual module but not by the core kernel itself
-extra-$(CONFIG_DYNAMIC_FTRACE) += ftrace-mod.o
arch/arm64/kernel/ftrace-mod.S deleted +0 -18
deleted file mode 100644
index 00c4025be4ff..000000000000
@@ -1,18 +0,0 @@
-/*
- * Copyright (C) 2017 Linaro Ltd <[email protected]>
- *
- * 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.
- */
-
-#include <linux/linkage.h>
-#include <asm/assembler.h>
-
-	.section	".text.ftrace_trampoline", "ax"
-	.align		3
-0:	.quad		0
-__ftrace_trampoline:
-	ldr		x16, 0b
-	br		x16
-ENDPROC(__ftrace_trampoline)
arch/arm64/kernel/module-ftrace.lds new file +7 -0
new file mode 100644
index 000000000000..9df69ddaa7bb
@@ -0,0 +1,7 @@
+SECTIONS {
+	.text.ftrace_trampoline : ALIGN (8) {
+		QUAD (0x0);		/* 0:	.quad	0x0		*/
+		LONG (0x58ffffd0);	/*	ldr	x16, 0b		*/
+		LONG (0xd61f0200);	/*	br	x16		*/
+	}
+}
arch/arm64/kernel/module-plts.c +13 -0
index d05dbe658409..d7e85a1c3e1c 100644
@@ -154,6 +154,7 @@ int module_frob_arch_sections(Elf_Ehdr *ehdr, Elf_Shdr *sechdrs,
 	unsigned long core_plts = 0;
 	unsigned long init_plts = 0;
 	Elf64_Sym *syms = NULL;
+	Elf_Shdr *ftrace_trampoline = NULL;
 	int i;
 
 	/*
@@ -165,6 +166,9 @@ int module_frob_arch_sections(Elf_Ehdr *ehdr, Elf_Shdr *sechdrs,
 			mod->arch.core.plt = sechdrs + i;
 		else if (!strcmp(secstrings + sechdrs[i].sh_name, ".init.plt"))
 			mod->arch.init.plt = sechdrs + i;
+		else if (IS_ENABLED(CONFIG_DYNAMIC_FTRACE) &&
+			 !strcmp(secstrings + sechdrs[i].sh_name, ".text.ftrace_trampoline"))
+			ftrace_trampoline = sechdrs + i;
 		else if (sechdrs[i].sh_type == SHT_SYMTAB)
 			syms = (Elf64_Sym *)sechdrs[i].sh_addr;
 	}
@@ -215,5 +219,14 @@ int module_frob_arch_sections(Elf_Ehdr *ehdr, Elf_Shdr *sechdrs,
 	mod->arch.init.plt_num_entries = 0;
 	mod->arch.init.plt_max_entries = init_plts;
 
+	if (ftrace_trampoline)
+		/*
+		 * Unfortunately, there does not seem to be a way to force a
+		 * linker output section consisting solely of QUAD()/LONG()
+		 * statements to have read-execute permissions after partial
+		 * linking. So override the permission attributes at load time.
+		 */
+		ftrace_trampoline->sh_flags = SHF_EXECINSTR | SHF_ALLOC;
+
 	return 0;
 }
Signature · 1 line
2.11.0
#1 lore raw

RFC PATCH 1/1 arm64: ftrace: move ftrace-mod.o contents into linker script

Hi Ard,

Thanks for this. Somebody ran across this internally a while back, but it slipped through the cracks. I remember thinking at the time that the Kconfig dependencies here looked a little weird too and perhaps ARM64_MODULE_PLTS should be selected by RANDOMIZE_MODULE_REGION_FULL instead of RANDOMIZE_BASE.

Anyhow, comments below.

Quoted 8 lines · Ard Biesheuvel

When building the arm64 kernel with bot CONFIG_ARM64_MODULE_PLTS and CONFIG_DYNAMIC_FTRACE enabled, the ftrace-mod.o object file is built with the kernel and contains a trampoline that is linked into each module, so that modules can be loaded far away from the kernel and still reach the ftrace entry point in the core kernel with an ordinary relative branch, as is emitted by the compiler instrumentation code dynamic ftrace relies on.

Quoted 4 lines

In order to be able to build out of tree modules, this object file needs to be included into the linux-headers or linux-devel packages, which is undesirable, as it makes arm64 a special case (although a precedent does exist for 32-bit PPC).

Agreed that we should avoid the object file, if possible.

Quoted 2 lines

Given that the trampoline only consists of two instructions, let's hack it into the module linker script instead.

Why do we have to do this in the linker script? Couldn't we just generate the .S file we currently use?

arch/arm64/kernel/module-ftrace.lds line 7

Quoted 13 lines
arch/arm64/kernel/module-ftrace.lds new file +7 -0
new file mode 100644
index 000000000000..9df69ddaa7bb
@@ -0,0 +1,7 @@
+SECTIONS {
+	.text.ftrace_trampoline : ALIGN (8) {
+		QUAD (0x0);		/* 0:	.quad	0x0		*/
+		LONG (0x58ffffd0);	/*	ldr	x16, 0b		*/
+		LONG (0xd61f0200);	/*	br	x16		*/
+	}
+}

How do we guarantee these are little-endian?

Will

#2 lore raw

RFC PATCH 1/1 arm64: ftrace: move ftrace-mod.o contents into linker script

Quoted 8 lines · Will Deacon

Hi Ard,

Thanks for this. Somebody ran across this internally a while back, but it slipped through the cracks. I remember thinking at the time that the Kconfig dependencies here looked a little weird too and perhaps ARM64_MODULE_PLTS should be selected by RANDOMIZE_MODULE_REGION_FULL instead of RANDOMIZE_BASE.

No. Even without RANDOMIZE_MODULE_REGION_FULL, the module region is shared with the vmalloc space if the kernel is randomized, and so other vmalloc allocations could eat into the module space as well.

Quoted 16 lines

Anyhow, comments below.

Quoted 8 lines · Ard Biesheuvel

When building the arm64 kernel with bot CONFIG_ARM64_MODULE_PLTS and CONFIG_DYNAMIC_FTRACE enabled, the ftrace-mod.o object file is built with the kernel and contains a trampoline that is linked into each module, so that modules can be loaded far away from the kernel and still reach the ftrace entry point in the core kernel with an ordinary relative branch, as is emitted by the compiler instrumentation code dynamic ftrace relies on.

Quoted 4 lines

In order to be able to build out of tree modules, this object file needs to be included into the linux-headers or linux-devel packages, which is undesirable, as it makes arm64 a special case (although a precedent does exist for 32-bit PPC).

Quoted 8 lines

Agreed that we should avoid the object file, if possible.

Quoted 2 lines

Given that the trampoline only consists of two instructions, let's hack it into the module linker script instead.

Why do we have to do this in the linker script? Couldn't we just generate the .S file we currently use?

Not sure I am following you there. You mean adding a .S source file to each module target? Not sure how that would work.

Quoted 7 lines
Quoted 7 lines
arch/arm64/kernel/module-ftrace.lds new file +1 -0
new file mode 100644
index 000000000000..9df69ddaa7bb
@@ -0,0 +1,7 @@
+SECTIONS {
Quoted 9 lines

arch/arm64/kernel/module-ftrace.lds line 7

Quoted 6 lines
arch/arm64/kernel/module-ftrace.lds new file +6 -0
+     .text.ftrace_trampoline : ALIGN (8) {
+             QUAD (0x0);             /* 0:   .quad   0x0             */
+             LONG (0x58ffffd0);      /*      ldr     x16, 0b         */
+             LONG (0xd61f0200);      /*      br      x16             */
+     }
+}

How do we guarantee these are little-endian?

Ah good point. So we'll need BYTE() sequences here.

#3 lore raw

RFC PATCH 1/1 arm64: ftrace: move ftrace-mod.o contents into linker script

Quoted 11 lines · Ard Biesheuvel
Quoted 6 lines · Will Deacon

Thanks for this. Somebody ran across this internally a while back, but it slipped through the cracks. I remember thinking at the time that the Kconfig dependencies here looked a little weird too and perhaps ARM64_MODULE_PLTS should be selected by RANDOMIZE_MODULE_REGION_FULL instead of RANDOMIZE_BASE.

No. Even without RANDOMIZE_MODULE_REGION_FULL, the module region is shared with the vmalloc space if the kernel is randomized, and so other vmalloc allocations could eat into the module space as well.

Yes, you're right of course.

Quoted 21 lines
Quoted 21 lines

Anyhow, comments below.

Quoted 8 lines · Ard Biesheuvel

When building the arm64 kernel with bot CONFIG_ARM64_MODULE_PLTS and CONFIG_DYNAMIC_FTRACE enabled, the ftrace-mod.o object file is built with the kernel and contains a trampoline that is linked into each module, so that modules can be loaded far away from the kernel and still reach the ftrace entry point in the core kernel with an ordinary relative branch, as is emitted by the compiler instrumentation code dynamic ftrace relies on.

Quoted 4 lines

In order to be able to build out of tree modules, this object file needs to be included into the linux-headers or linux-devel packages, which is undesirable, as it makes arm64 a special case (although a precedent does exist for 32-bit PPC).

Agreed that we should avoid the object file, if possible.

Quoted 2 lines

Given that the trampoline only consists of two instructions, let's hack it into the module linker script instead.

Quoted 6 lines
Quoted 3 lines

Why do we have to do this in the linker script? Couldn't we just generate the .S file we currently use?

Not sure I am following you there. You mean adding a .S source file to each module target? Not sure how that would work.

Sorry, I mean something like generating the .S file from the Makefile, compiling it and then linking the module against it.

Will