函数参数的存放位置差别

内核版本:2.6.14

在linux内核中我们都会经常见到FASTCALL和armlinkage,它们各有什么不同呢?下面我们来具体分析一下。

在标准C系中函数的形参在实际传入参数的时候会涉及到参数存放的问题,那么这些参数存放在哪里呢?对x86比较了解的话,应该知道这些函数参数和函数内部局部变量一起被分配到了函数的局部堆栈中。linux操作系统支持多种CPU架构,比如x86、ppc和arm等,在不同的处理器结构上不能保证都是通过 局部栈传递参数的。ARM对函数调用过程中的传参定义了一套规则,即 ATPCS,规则中明确指出ARM中R0-R4都是作为通用寄存器使用,在函数调用时处理器从R0-R4中获取参数,在函数返回时再 将需要返回的参数一次存到R0-R4中,也就是说可以将函数参数直接存放在寄存器中,所以为了严格区别函数参数的存放位置,引入了两个标记,即 asmlinkage和FASTCALL,前者表示将函数参数存放在局部栈中,后者则是通知编译器将函数参数用寄存器保存起来。

1.x86平台

[plain] view plain copy print ?
  1. #define asmlinkage CPP_ASMLINKAGE __attribute__((regparm(0)))  
  2. #define FASTCALL(x) x __attribute__((regparm(3)))  
  3. #define fastcall    __attribute__((regparm(3)))  
[plain] view plain copy print ?
  1. #define asmlinkage CPP_ASMLINKAGE __attribute__((regparm(0)))  
  2. #define FASTCALL(x) x __attribute__((regparm(3)))  
  3. #define fastcall    __attribute__((regparm(3)))  
#define asmlinkage CPP_ASMLINKAGE __attribute__((regparm(0)))
#define FASTCALL(x)	x __attribute__((regparm(3)))
#define fastcall	__attribute__((regparm(3)))

函数定义前加宏asmlinkage,表示这些函数通过堆栈而不是通过寄存器传递参数。gcc编译器在汇编过程中调用c语言函数时传递参数有两种方法:一种是通过堆栈,另一种是通过寄存器。缺省时采用寄存器,假如你要在你的汇编过程中调用c语言函数,并且想通过堆栈传递参数,你定义的c函数时要在函数前加上宏asmlinkage。

其中 __attribute__是关键字,是gcc的c语言扩展。__attribute__机制是GNU C的一大特色,它可以设置函数属性、变量属性和类型属性等。可以通过它们向编译器提供更多数据,帮助编译器执行优化等。
__attribute__((regparm(0))):告诉gcc编译器该函数不需要通过任何寄存器来传递参数,参数只是通过堆栈来传递。
__attribute__((regparm(3))):告诉gcc编译器这个函数可以通过寄存器传递多达3个的参数,这3个寄存器依次为EAX、EDX 和 ECX。更多的参数才通过堆栈传递。这样可以减少一些入栈出栈操作,因此调用比较快。
asmlinkage大都用在系统调用中。有一些情况下是需要明确的告诉编译器,我们是使用stack来传递参数的,比如x86中的系统调用,是先将参数压入stack以后调用sys_*函数的,所以所有的sys_*函数都有asmlinkage来告诉编译器不要使用寄存器来编译。

2.arm平台

对于arm处理器的<asm/linkage.h>,没有定义FASTCALL和armlinkage,所以没有意义(对于ARM平台来说,要符合ATPCS过程调用标准,即通过寄存器传递的。ARM中R0-R4用于存放传入参数,所有函数的参数不应该大于5个,如果超过5个,多余的参数被存放到局部栈中。)。 

[plain] view plain copy print ?
  1. #ifndef FASTCALL  
  2. #define FASTCALL(x) x  
  3. #define fastcall  
  4. #endif  
  5.   
  6. #ifndef asmlinkage  
  7. #define asmlinkage CPP_ASMLINKAGE  
  8. #endif  
[plain] view plain copy print ?
  1. #ifndef FASTCALL  
  2. #define FASTCALL(x) x  
  3. #define fastcall  
  4. #endif  
  5.   
  6. #ifndef asmlinkage  
  7. #define asmlinkage CPP_ASMLINKAGE  
  8. #endif  
#ifndef FASTCALL
#define FASTCALL(x)	x
#define fastcall
#endif

#ifndef asmlinkage
#define asmlinkage CPP_ASMLINKAGE
#endif

3.CPP_ASMLINKAGE

[plain] view plain copy print ?
  1. #ifdef __cplusplus  
  2. #define CPP_ASMLINKAGE extern "C"  
  3. #else  
  4. #define CPP_ASMLINKAGE  
  5. #endif  
[plain] view plain copy print ?
  1. #ifdef __cplusplus  
  2. #define CPP_ASMLINKAGE extern "C"  
  3. #else  
  4. #define CPP_ASMLINKAGE  
  5. #endif  
#ifdef __cplusplus
#define CPP_ASMLINKAGE extern "C"
#else
#define CPP_ASMLINKAGE
#endif

extern "C" 包含双重含义,从字面上即可得到:首先,被它修饰的目标是“extern”的;其次,被它修饰的目标是“C”的。
  (1) 被extern "C"限定的函数或变量是extern类型的extern是C/C++语言中表明函数和全局变量作用范围(可见性)的关键字,该关键字告诉编译器,其声明的函数和变量可以在本模块或其它模块中使用。与extern对应的关键字是static,被它修饰的全局变量和函数只能在本模块中使用。因此,一个函数或变量只可能被本模块使用时,其不可能被extern “C”修饰。
  (2) 被extern "C"修饰的变量和函数是按照C语言方式编译和连接的。

 

注释:

ATPCS即ARM-THUMB procedure call standard的简称;ATPCS规定了一些子程序之间调用的基本规则.这些基本规则包括子程序调用过程中寄存器的使用规则,数据栈的使用规则,参数的传递规则.

你可能感兴趣的:(函数参数的存放位置差别)