在程序设计中，变量具体可以分为四种类型：全局变量、静态全局变量、局部变量、静态局部变量。这几种变量类型对函数的可重入产生的重大的影响，因为不同的编译器采用不同的策略。
针对51的存储区有限，keil c51因此有了覆盖和共享的处理方法。
共享：共享是针对全局变量或静态变量而言的，对全局变量定义后就对其分配了内存，其他变量不会覆盖这一地址，在任何函数或者程序中都可以共享该变量的内存。
覆盖：如果一个程序不再被调用，也不由其他的程序调用，在其他的程序运行之前程序也不在运行，那么这个程序的局部变量可以放在与其他的程序完全相同的RAM空间，这就是覆盖。
所以说C51编译器并不是真正的C编译器。
先说一下keilc51的“覆盖技术”。
1.局部变量存储在全局RAM空间（不考虑扩展外部存储器的情况）；
2.在编译链接时，即已经完成局部变量的定位；
3.如果各函数之间没有直接或间接的调用关系，则其局部变量空间便可覆盖。
在单任务编程下，重入似乎不是个问题，因为函数会一直执行下去，就算被中断打断，中断服务程序保存寄存器，中断执行完毕后又恢复环境（注意到keil c51默认这样处理：中断中局部变量会采用静态分配内存的方式，不会与函数的局部变量覆盖），函数不会存在重不重入的问题。
在实时操作系统下，就必须考虑函数的重不重入了。
先考虑一下可重入函数与不可重入函数的具体区别。在实时操作系统下，二者的区别并不是执行过程中能否被打断执行。可重入函数在执行过程中可以被打断，内核启动另一个任务，该任务再次调用该函数。不可重入函数在执行过程中可以被打断，但在另一个任务中不得在调用这个函数，除非再次回到原来的任务将这个函数执行完成。
再来考虑可重入函数与不可重入函数的实现：因为全局变量，静态全局变量，静态局部变量会分配到固定的内存地址，这些量在可重入方面只需考虑保护，问题的关键在于动态局部变量的处理，如互相覆盖和入栈。
可重入函数：首先是据绝对意义上的可重入函数，函数不使用全局变量，只使用存放在寄存器的局部变量。这种函数任意时刻都可以被打断，或再次调用，应为函数的局部变量在被中断时全部被入栈了，等到重新启用时又全部出栈了，例如函数
unsigne char Min(unsigned char x1 , unsigned char x2)
{
if(x1 > x2)
{ x1 = x2;}
return x1;
}
另一种函数：不使用全局变量，局部变量部分存放在寄存器，部分存放在固定内存地址（哪怕静态化，独享该内存），他总是不可重入的，分析如下：静态的局部变量a，在第一进入函数后改变，中断第二次进入又改变，回到第一调用时可能就改变了，存在Bug，不可重入。
第二种可重入函数：函数使用全部变量 ，只使用存放在寄存器的局部变量（keil c51尽量将局部变量保存在寄存器）。 这种函数常常是系统函数，使用临界区代码。对起到标志作用的全局变量进行操作时要关中断，防止中断打断破坏，处理完毕后再开中断。这其实已经不是绝对意义上的可重入函数，但局部变量通过寄存器存放可以避免修改其他函数的局部变量。
第三种可重入函数：函数使用全局变量，局部变量部分存放在寄存器，部分存放在固定内存地址（因为局部变量过多）。这种函数跟第二种很相似，不是真正意义上的可重入。进入函数必须关中断，出去在开中断。值得注意的是：存放在固定内存地址的局部变量需要声明为静态以独享该内存，这样做的目的并不是怕其他函数其他破坏其局部变量（关中断不可能被破坏），而是怕破坏其他函数的局部变量，因为其他函数若有局部变量和其共享一个内存空间，执行其他函数→该函数→其他函数，可能导致其他函数局部变量被破坏。
不可重入函数（前面已经说明这个函数在执行过程中若被打断，不会再次调用，即不可重入）
第一种函数：不使用全局变量，局部变量部分存放在寄存器，部分存放在固定内存地址（若都存放在寄存器就是可重入函数了）。 这种函数不可重入，但存放在固定内存地址的局部变量应该防止互相覆盖，具体原因下面分析。
第二种函数： 不使用全局变量，局部变量都存放在固定内存地址，存放在固定内存地址的局部变量应该防止互相覆盖，具体原因下面分析。不过这种函数很少见，因为keil c51先考虑把局部变量存放在寄存器。
第三种函数： 使用全局变量，局部变量部分存放在寄存器。进入函数不需要关中断保护全局变量，因为这种函数大多是用户函数，全局变量大多不是起标志作用的，一边是传递数据的，即一般是一个函数修改，一个函数读取。
第四种函数：使用全局变量，局部变量部分存放在寄存器，部分存放在固定内存地址，存放在固定内存地址的局部变量应该防止互相覆盖。跟第三种类似。
还有一种函数： 使用全局变量，局部变量都存放在固定内存地址。跟第二种一样少见，都不考虑。
分析不可重入函数存放在固定地址的局部变量不能相互覆盖的问题：
Keil 进行以下处理：如果各函数之间没有直接或间接的调用关系，则其局部变量空间便可覆盖。
任务的基本结构与模式：
vold TaskA(void*ptr)
{
UINT8 vaL_a；
//其他一些变量定义
do{
//实际的用户任务处理代码
})；
}
void TaskB(void*ptr)
{
UINT8 vaL_b；
//其他一些变量定义
do{
Funcl()；
//其他实际的用户任务处理代码
})；
}
void Funcl()
{
UlNT8 v al_fa；
//其他变量的定义
//函数的处理代码
}
在上面的代码中，TaskA与TaskB并不存在直接或间接的调用关系，因而其局部变量val_a与val_b便是可以被互相覆盖的，即其可能都被定位于某一个相同的RAM空间。这样，当TaskA运行一段时间，改变了val_a后，TaskB取得CPU控制权并运行时，便可能会改变val_b。由于其指向相同的RAM空间，导致TaskA重新取得CPU控制权时，val—a的值已经改变，从而导致程序运行不正确，反过来亦然。另一方面，Funcl()与TaskB有直接的调用关系，因而其局部变量val_fa与val_b不会被互相覆盖，但也不能保证其局部变量val_fa不会与TaskA或其他任务的局部变量形成可覆盖关系。
所以得到以下结论：存在直接或间接调用关系的函数局部变量不会覆盖，不存在调用关系的函数局部变量又不能覆盖。
怎么办？
第一种解决方案：我们只能将非重入函数中不是存放在寄存器中的局部变量全部静态化存放在固定内存地址，这样内存开销就会很大，但要保证程序运行的正确性，只能这么做。
第二种：局部变量覆盖，通过进入程序就关中断进行保护，这样就不会被打断了，但这样做系统的实时性就会降低很多。 现实情况是根据具体的情况进行决定，具体问题具体分析。