Commit 54a01510 authored by Roland McGrath's avatar Roland McGrath Committed by Linus Torvalds
Browse files

asmlinkage_protect replaces prevent_tail_call 



The prevent_tail_call() macro works around the problem of the compiler
clobbering argument words on the stack, which for asmlinkage functions
is the caller's (user's) struct pt_regs.  The tail/sibling-call
optimization is not the only way that the compiler can decide to use
stack argument words as scratch space, which we have to prevent.
Other optimizations can do it too.

Until we have new compiler support to make "asmlinkage" binding on the
compiler's own use of the stack argument frame, we have work around all
the manifestations of this issue that crop up.

More cases seem to be prevented by also keeping the incoming argument
variables live at the end of the function.  This makes their original
stack slots attractive places to leave those variables, so the compiler
tends not clobber them for something else.  It's still no guarantee, but
it handles some observed cases that prevent_tail_call() did not.

Signed-off-by: default avatarRoland McGrath <roland@redhat.com>
Signed-off-by: default avatarLinus Torvalds <torvalds@linux-foundation.org>
parent 783e391b

arch/x86/kernel/tls.c

+2 −2
Original line number Diff line number Diff line
@@ -92,7 +92,7 @@ int do_set_thread_area(struct task_struct *p, int idx, 
asmlinkage int sys_set_thread_area(struct user_desc __user *u_info)

{

	int ret = do_set_thread_area(current, -1, u_info, 1);

	prevent_tail_call(ret);

	asmlinkage_protect(1, ret, u_info);

	return ret;

}
@@ -142,7 +142,7 @@ int do_get_thread_area(struct task_struct *p, int idx, 
asmlinkage int sys_get_thread_area(struct user_desc __user *u_info)

{

	int ret = do_get_thread_area(current, -1, u_info);

	prevent_tail_call(ret);

	asmlinkage_protect(1, ret, u_info);

	return ret;

}

fs/open.c

+4 −4
Original line number Diff line number Diff line
@@ -335,7 +335,7 @@ asmlinkage long sys_ftruncate(unsigned int fd, unsigned long length) 
{

	long ret = do_sys_ftruncate(fd, length, 1);

	/* avoid REGPARM breakage on x86: */

	prevent_tail_call(ret);

	asmlinkage_protect(2, ret, fd, length);

	return ret;

}
@@ -350,7 +350,7 @@ asmlinkage long sys_ftruncate64(unsigned int fd, loff_t length) 
{

	long ret = do_sys_ftruncate(fd, length, 0);

	/* avoid REGPARM breakage on x86: */

	prevent_tail_call(ret);

	asmlinkage_protect(2, ret, fd, length);

	return ret;

}

#endif
@@ -1067,7 +1067,7 @@ asmlinkage long sys_open(const char __user *filename, int flags, int mode) 


	ret = do_sys_open(AT_FDCWD, filename, flags, mode);

	/* avoid REGPARM breakage on x86: */

	prevent_tail_call(ret);

	asmlinkage_protect(3, ret, filename, flags, mode);

	return ret;

}
@@ -1081,7 +1081,7 @@ asmlinkage long sys_openat(int dfd, const char __user *filename, int flags, 


	ret = do_sys_open(dfd, filename, flags, mode);

	/* avoid REGPARM breakage on x86: */

	prevent_tail_call(ret);

	asmlinkage_protect(4, ret, dfd, filename, flags, mode);

	return ret;

}

include/asm-x86/linkage.h

+23 −1
Original line number Diff line number Diff line
@@ -8,12 +8,34 @@ 


#ifdef CONFIG_X86_32

#define asmlinkage CPP_ASMLINKAGE __attribute__((regparm(0)))

#define prevent_tail_call(ret) __asm__ ("" : "=r" (ret) : "0" (ret))

/*

 * For 32-bit UML - mark functions implemented in assembly that use

 * regparm input parameters:

 */

#define asmregparm __attribute__((regparm(3)))



#define asmlinkage_protect(n, ret, args...) \

	__asmlinkage_protect##n(ret, ##args)

#define __asmlinkage_protect_n(ret, args...) \

	__asm__ __volatile__ ("" : "=r" (ret) : "0" (ret), ##args)

#define __asmlinkage_protect0(ret) \

	__asmlinkage_protect_n(ret)

#define __asmlinkage_protect1(ret, arg1) \

	__asmlinkage_protect_n(ret, "g" (arg1))

#define __asmlinkage_protect2(ret, arg1, arg2) \

	__asmlinkage_protect_n(ret, "g" (arg1), "g" (arg2))

#define __asmlinkage_protect3(ret, arg1, arg2, arg3) \

	__asmlinkage_protect_n(ret, "g" (arg1), "g" (arg2), "g" (arg3))

#define __asmlinkage_protect4(ret, arg1, arg2, arg3, arg4) \

	__asmlinkage_protect_n(ret, "g" (arg1), "g" (arg2), "g" (arg3), \

			      "g" (arg4))

#define __asmlinkage_protect5(ret, arg1, arg2, arg3, arg4, arg5) \

	__asmlinkage_protect_n(ret, "g" (arg1), "g" (arg2), "g" (arg3), \

			      "g" (arg4), "g" (arg5))

#define __asmlinkage_protect6(ret, arg1, arg2, arg3, arg4, arg5, arg6) \

	__asmlinkage_protect_n(ret, "g" (arg1), "g" (arg2), "g" (arg3), \

			      "g" (arg4), "g" (arg5), "g" (arg6))



#endif



#ifdef CONFIG_X86_ALIGNMENT_16

include/linux/linkage.h

+2 −2
Original line number Diff line number Diff line
@@ -17,8 +17,8 @@ 
# define asmregparm

#endif



#ifndef prevent_tail_call

# define prevent_tail_call(ret) do { } while (0)

#ifndef asmlinkage_protect

# define asmlinkage_protect(n, ret, args...)	do { } while (0)

#endif



#ifndef __ALIGN

kernel/exit.c

+2 −2
Original line number Diff line number Diff line
@@ -1608,7 +1608,7 @@ asmlinkage long sys_waitid(int which, pid_t upid, 
	put_pid(pid);



	/* avoid REGPARM breakage on x86: */

	prevent_tail_call(ret);

	asmlinkage_protect(5, ret, which, upid, infop, options, ru);

	return ret;

}
@@ -1640,7 +1640,7 @@ asmlinkage long sys_wait4(pid_t upid, int __user *stat_addr, 
	put_pid(pid);



	/* avoid REGPARM breakage on x86: */

	prevent_tail_call(ret);

	asmlinkage_protect(4, ret, upid, stat_addr, options, ru);

	return ret;

}

CRA Git | Maintained and supported by SUSTech CRA and CCSE