forked from mirrors/linux
		
	x86/debug: Implement __WARN() using UD0
By using "UD0" for WARN()s we remove the function call and its possible
__FILE__ and __LINE__ immediate arguments from the instruction stream.
Total image size will not change much, what we win in the instruction
stream we'll lose because of the __bug_table entries. Still, saves on
I$ footprint and the total image size does go down a bit.
      text    data       filename
  10702123    4530992    defconfig-build/vmlinux.orig
  10682460    4530992    defconfig-build/vmlinux.patched
(UML didn't seem to use GENERIC_BUG at all, so remove it)
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Reviewed-by: Josh Poimboeuf <jpoimboe@redhat.com>
Cc: Arjan van de Ven <arjan@linux.intel.com>
Cc: Borislav Petkov <bp@alien8.de>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: Richard Weinberger <richard.weinberger@gmail.com>
Cc: Thomas Gleixner <tglx@linutronix.de>
Cc: linux-kernel@vger.kernel.org
Signed-off-by: Ingo Molnar <mingo@kernel.org>
			
			
This commit is contained in:
		
							parent
							
								
									1fa9d67a2f
								
							
						
					
					
						commit
						9a93848fe7
					
				
					 8 changed files with 103 additions and 78 deletions
				
			
		|  | @ -50,11 +50,6 @@ config GENERIC_CALIBRATE_DELAY | ||||||
| 	bool | 	bool | ||||||
| 	default y | 	default y | ||||||
| 
 | 
 | ||||||
| config GENERIC_BUG |  | ||||||
| 	bool |  | ||||||
| 	default y |  | ||||||
| 	depends on BUG |  | ||||||
| 
 |  | ||||||
| config HZ | config HZ | ||||||
| 	int | 	int | ||||||
| 	default 100 | 	default 100 | ||||||
|  |  | ||||||
|  | @ -1,36 +1,78 @@ | ||||||
| #ifndef _ASM_X86_BUG_H | #ifndef _ASM_X86_BUG_H | ||||||
| #define _ASM_X86_BUG_H | #define _ASM_X86_BUG_H | ||||||
| 
 | 
 | ||||||
|  | #include <linux/stringify.h> | ||||||
|  | 
 | ||||||
|  | /*
 | ||||||
|  |  * Since some emulators terminate on UD2, we cannot use it for WARN. | ||||||
|  |  * Since various instruction decoders disagree on the length of UD1, | ||||||
|  |  * we cannot use it either. So use UD0 for WARN. | ||||||
|  |  * | ||||||
|  |  * (binutils knows about "ud1" but {en,de}codes it as 2 bytes, whereas | ||||||
|  |  *  our kernel decoder thinks it takes a ModRM byte, which seems consistent | ||||||
|  |  *  with various things like the Intel SDM instruction encoding rules) | ||||||
|  |  */ | ||||||
|  | 
 | ||||||
|  | #define ASM_UD0		".byte 0x0f, 0xff" | ||||||
|  | #define ASM_UD1		".byte 0x0f, 0xb9" /* + ModRM */ | ||||||
|  | #define ASM_UD2		".byte 0x0f, 0x0b" | ||||||
|  | 
 | ||||||
|  | #define INSN_UD0	0xff0f | ||||||
|  | #define INSN_UD2	0x0b0f | ||||||
|  | 
 | ||||||
|  | #define LEN_UD0		2 | ||||||
|  | 
 | ||||||
|  | #ifdef CONFIG_GENERIC_BUG | ||||||
| #define HAVE_ARCH_BUG | #define HAVE_ARCH_BUG | ||||||
| 
 | 
 | ||||||
|  | #ifdef CONFIG_X86_32 | ||||||
|  | # define __BUG_REL(val)	".long " __stringify(val) | ||||||
|  | #else | ||||||
|  | # define __BUG_REL(val)	".long " __stringify(val) " - 2b" | ||||||
|  | #endif | ||||||
|  | 
 | ||||||
| #ifdef CONFIG_DEBUG_BUGVERBOSE | #ifdef CONFIG_DEBUG_BUGVERBOSE | ||||||
| 
 | 
 | ||||||
| #ifdef CONFIG_X86_32 | #define _BUG_FLAGS(ins, flags)						\ | ||||||
| # define __BUG_C0	"2:\t.long 1b, %c0\n" | do {									\ | ||||||
| #else | 	asm volatile("1:\t" ins "\n"					\ | ||||||
| # define __BUG_C0	"2:\t.long 1b - 2b, %c0 - 2b\n" | 		     ".pushsection __bug_table,\"a\"\n"			\ | ||||||
| #endif | 		     "2:\t" __BUG_REL(1b) "\t# bug_entry::bug_addr\n"	\ | ||||||
|  | 		     "\t"  __BUG_REL(%c0) "\t# bug_entry::file\n"	\ | ||||||
|  | 		     "\t.word %c1"        "\t# bug_entry::line\n"	\ | ||||||
|  | 		     "\t.word %c2"        "\t# bug_entry::flags\n"	\ | ||||||
|  | 		     "\t.org 2b+%c3\n"					\ | ||||||
|  | 		     ".popsection"					\ | ||||||
|  | 		     : : "i" (__FILE__), "i" (__LINE__),		\ | ||||||
|  | 			 "i" (flags),					\ | ||||||
|  | 			 "i" (sizeof(struct bug_entry)));		\ | ||||||
|  | } while (0) | ||||||
|  | 
 | ||||||
|  | #else /* !CONFIG_DEBUG_BUGVERBOSE */ | ||||||
|  | 
 | ||||||
|  | #define _BUG_FLAGS(ins, flags)						\ | ||||||
|  | do {									\ | ||||||
|  | 	asm volatile("1:\t" ins "\n"					\ | ||||||
|  | 		     ".pushsection __bug_table,\"a\"\n"			\ | ||||||
|  | 		     "2:\t" __BUG_REL(1b) "\t# bug_entry::bug_addr\n"	\ | ||||||
|  | 		     "\t.word %c0"        "\t# bug_entry::flags\n"	\ | ||||||
|  | 		     "\t.org 2b+%c1\n"					\ | ||||||
|  | 		     ".popsection"					\ | ||||||
|  | 		     : : "i" (flags),					\ | ||||||
|  | 			 "i" (sizeof(struct bug_entry)));		\ | ||||||
|  | } while (0) | ||||||
|  | 
 | ||||||
|  | #endif /* CONFIG_DEBUG_BUGVERBOSE */ | ||||||
| 
 | 
 | ||||||
| #define BUG()							\ | #define BUG()							\ | ||||||
| do {								\ | do {								\ | ||||||
| 	asm volatile("1:\tud2\n"				\ | 	_BUG_FLAGS(ASM_UD2, 0);					\ | ||||||
| 		     ".pushsection __bug_table,\"a\"\n"		\ |  | ||||||
| 		     __BUG_C0					\ |  | ||||||
| 		     "\t.word %c1, 0\n"				\ |  | ||||||
| 		     "\t.org 2b+%c2\n"				\ |  | ||||||
| 		     ".popsection"				\ |  | ||||||
| 		     : : "i" (__FILE__), "i" (__LINE__),	\ |  | ||||||
| 		     "i" (sizeof(struct bug_entry)));		\ |  | ||||||
| 	unreachable();						\ | 	unreachable();						\ | ||||||
| } while (0) | } while (0) | ||||||
| 
 | 
 | ||||||
| #else | #define __WARN_TAINT(taint)	_BUG_FLAGS(ASM_UD0, BUGFLAG_TAINT(taint)) | ||||||
| #define BUG()							\ | 
 | ||||||
| do {								\ | #endif /* CONFIG_GENERIC_BUG */ | ||||||
| 	asm volatile("ud2");					\ |  | ||||||
| 	unreachable();						\ |  | ||||||
| } while (0) |  | ||||||
| #endif |  | ||||||
| 
 | 
 | ||||||
| #include <asm-generic/bug.h> | #include <asm-generic/bug.h> | ||||||
| 
 | 
 | ||||||
|  |  | ||||||
|  | @ -289,9 +289,6 @@ void die(const char *str, struct pt_regs *regs, long err) | ||||||
| 	unsigned long flags = oops_begin(); | 	unsigned long flags = oops_begin(); | ||||||
| 	int sig = SIGSEGV; | 	int sig = SIGSEGV; | ||||||
| 
 | 
 | ||||||
| 	if (!user_mode(regs)) |  | ||||||
| 		report_bug(regs->ip, regs); |  | ||||||
| 
 |  | ||||||
| 	if (__die(str, regs, err)) | 	if (__die(str, regs, err)) | ||||||
| 		sig = 0; | 		sig = 0; | ||||||
| 	oops_end(flags, regs, sig); | 	oops_end(flags, regs, sig); | ||||||
|  |  | ||||||
|  | @ -162,15 +162,3 @@ void show_regs(struct pt_regs *regs) | ||||||
| 	} | 	} | ||||||
| 	pr_cont("\n"); | 	pr_cont("\n"); | ||||||
| } | } | ||||||
| 
 |  | ||||||
| int is_valid_bugaddr(unsigned long ip) |  | ||||||
| { |  | ||||||
| 	unsigned short ud2; |  | ||||||
| 
 |  | ||||||
| 	if (ip < PAGE_OFFSET) |  | ||||||
| 		return 0; |  | ||||||
| 	if (probe_kernel_address((unsigned short *)ip, ud2)) |  | ||||||
| 		return 0; |  | ||||||
| 
 |  | ||||||
| 	return ud2 == 0x0b0f; |  | ||||||
| } |  | ||||||
|  |  | ||||||
|  | @ -178,13 +178,3 @@ void show_regs(struct pt_regs *regs) | ||||||
| 	} | 	} | ||||||
| 	pr_cont("\n"); | 	pr_cont("\n"); | ||||||
| } | } | ||||||
| 
 |  | ||||||
| int is_valid_bugaddr(unsigned long ip) |  | ||||||
| { |  | ||||||
| 	unsigned short ud2; |  | ||||||
| 
 |  | ||||||
| 	if (__copy_from_user(&ud2, (const void __user *) ip, sizeof(ud2))) |  | ||||||
| 		return 0; |  | ||||||
| 
 |  | ||||||
| 	return ud2 == 0x0b0f; |  | ||||||
| } |  | ||||||
|  |  | ||||||
|  | @ -169,6 +169,37 @@ void ist_end_non_atomic(void) | ||||||
| 	preempt_disable(); | 	preempt_disable(); | ||||||
| } | } | ||||||
| 
 | 
 | ||||||
|  | int is_valid_bugaddr(unsigned long addr) | ||||||
|  | { | ||||||
|  | 	unsigned short ud; | ||||||
|  | 
 | ||||||
|  | 	if (addr < TASK_SIZE_MAX) | ||||||
|  | 		return 0; | ||||||
|  | 
 | ||||||
|  | 	if (probe_kernel_address((unsigned short *)addr, ud)) | ||||||
|  | 		return 0; | ||||||
|  | 
 | ||||||
|  | 	return ud == INSN_UD0 || ud == INSN_UD2; | ||||||
|  | } | ||||||
|  | 
 | ||||||
|  | static int fixup_bug(struct pt_regs *regs, int trapnr) | ||||||
|  | { | ||||||
|  | 	if (trapnr != X86_TRAP_UD) | ||||||
|  | 		return 0; | ||||||
|  | 
 | ||||||
|  | 	switch (report_bug(regs->ip, regs)) { | ||||||
|  | 	case BUG_TRAP_TYPE_NONE: | ||||||
|  | 	case BUG_TRAP_TYPE_BUG: | ||||||
|  | 		break; | ||||||
|  | 
 | ||||||
|  | 	case BUG_TRAP_TYPE_WARN: | ||||||
|  | 		regs->ip += LEN_UD0; | ||||||
|  | 		return 1; | ||||||
|  | 	} | ||||||
|  | 
 | ||||||
|  | 	return 0; | ||||||
|  | } | ||||||
|  | 
 | ||||||
| static nokprobe_inline int | static nokprobe_inline int | ||||||
| do_trap_no_signal(struct task_struct *tsk, int trapnr, char *str, | do_trap_no_signal(struct task_struct *tsk, int trapnr, char *str, | ||||||
| 		  struct pt_regs *regs,	long error_code) | 		  struct pt_regs *regs,	long error_code) | ||||||
|  | @ -187,12 +218,15 @@ do_trap_no_signal(struct task_struct *tsk, int trapnr, char *str, | ||||||
| 	} | 	} | ||||||
| 
 | 
 | ||||||
| 	if (!user_mode(regs)) { | 	if (!user_mode(regs)) { | ||||||
| 		if (!fixup_exception(regs, trapnr)) { | 		if (fixup_exception(regs, trapnr)) | ||||||
| 			tsk->thread.error_code = error_code; | 			return 0; | ||||||
| 			tsk->thread.trap_nr = trapnr; | 
 | ||||||
| 			die(str, regs, error_code); | 		if (fixup_bug(regs, trapnr)) | ||||||
| 		} | 			return 0; | ||||||
| 		return 0; | 
 | ||||||
|  | 		tsk->thread.error_code = error_code; | ||||||
|  | 		tsk->thread.trap_nr = trapnr; | ||||||
|  | 		die(str, regs, error_code); | ||||||
| 	} | 	} | ||||||
| 
 | 
 | ||||||
| 	return -1; | 	return -1; | ||||||
|  |  | ||||||
|  | @ -8,7 +8,7 @@ else | ||||||
| 	BITS := 64 | 	BITS := 64 | ||||||
| endif | endif | ||||||
| 
 | 
 | ||||||
| obj-y = bug.o bugs_$(BITS).o delay.o fault.o ldt.o \
 | obj-y = bugs_$(BITS).o delay.o fault.o ldt.o \
 | ||||||
| 	ptrace_$(BITS).o ptrace_user.o setjmp_$(BITS).o signal.o \
 | 	ptrace_$(BITS).o ptrace_user.o setjmp_$(BITS).o signal.o \
 | ||||||
| 	stub_$(BITS).o stub_segv.o \
 | 	stub_$(BITS).o stub_segv.o \
 | ||||||
| 	sys_call_table_$(BITS).o sysrq_$(BITS).o tls_$(BITS).o \
 | 	sys_call_table_$(BITS).o sysrq_$(BITS).o tls_$(BITS).o \
 | ||||||
|  |  | ||||||
|  | @ -1,21 +0,0 @@ | ||||||
| /*
 |  | ||||||
|  * Copyright (C) 2006 Jeff Dike (jdike@addtoit.com) |  | ||||||
|  * Licensed under the GPL V2 |  | ||||||
|  */ |  | ||||||
| 
 |  | ||||||
| #include <linux/uaccess.h> |  | ||||||
| 
 |  | ||||||
| /*
 |  | ||||||
|  * Mostly copied from i386/x86_86 - eliminated the eip < PAGE_OFFSET because |  | ||||||
|  * that's not relevant in skas mode. |  | ||||||
|  */ |  | ||||||
| 
 |  | ||||||
| int is_valid_bugaddr(unsigned long eip) |  | ||||||
| { |  | ||||||
| 	unsigned short ud2; |  | ||||||
| 
 |  | ||||||
| 	if (probe_kernel_address((unsigned short __user *)eip, ud2)) |  | ||||||
| 		return 0; |  | ||||||
| 
 |  | ||||||
| 	return ud2 == 0x0b0f; |  | ||||||
| } |  | ||||||
		Loading…
	
		Reference in a new issue
	
	 Peter Zijlstra
						Peter Zijlstra