illegal instruction问题窥探

拼搏现实的明天。 2024-04-19 14:15 62阅读 0赞

最近调程序，出现illegal instruction问题，没有头绪。 索性把illegal instruction好好窥探一下。

## Table of Contents ##

*  [1 现象][1]
 *  [2 关于“illegal instruction”][2 _illegal instruction]
 *  [3 造成SIGILL的原因][3 _SIGILL]
    
     *  [3.1 将不正确的数据写入代码段][3.1]
     *  [3.2 指令集的演进][3.2]
     *  [3.3 工具链bug][3.3 _bug]
 *  [4 错误排查指南][4]
 *  [5 参考][5]

## 1 现象 ##

当执行一段程序时，发生错误，并报”illegal instruction”错

typedef void(*FUNC)(void); int main(void) { const static unsigned char insn[4] = { 0xff, 0xff, 0xff, 0xff }; FUNC function = (FUNC) insn; function(); }

编译执行之：

$ gcc -o sigill illegal_instruction.c $ ./sigill Illegal instruction

## 2 关于“illegal instruction” ##

illegal instruction，即SIGILL， 是POSIX标准中提供的一类错误。从名字上看，SIGILL是启动的某个进程中的某一句不能被CPU识别成正确的指令。此类错误是由操作系统发送给进程的，在进程试图执行一些形式错误、未知或者特权指令时操作系统会使用SIGILL信号终止程序。 SIGILL对应的常数是4.

## 3 造成SIGILL的原因 ##

### 3.1 将不正确的数据写入代码段 ###

进程在代码段中的数据是要被作为一个指令执行的。 若不小心覆盖了已有的代码段，可能会得到错误格式的指令。这种错误尤其在Just-In-Time即时编译器中最可能出现。

同样，如果不小心覆盖了栈上活跃记录中的返回地址，程序就可能根据这个错误地址，执行没有意义的内存中的数据，进而操作。

进一步可以认为，任何导致数据错误的问题都可能带来illegal instruction问题。比如硬盘发生故障。

### 3.2 指令集的演进 ###

比如SIMD指令，自从奔腾4开始有MMX，X86的芯片就开始不停的增加和拓宽SIMD支持，SSE、SSE2、SSE3、SSE42、AVX、AVX2。默认情况下，很多编译器都在O2或者O3中开了自动向量化，这就导致很多在新体系结构中编译的可执行程序，在老机器上运行时会有illegal instruction问题。

### 3.3 工具链bug ###

对于普通C语言通过编译器生成的可执行程序。一般都已经通过严格的测试,不会随便发生这种问题。所以如果你遇到这种错，并且试过了静态链，而且程序中没有嵌入式汇编，基本可以断定是工具链出了问题。 编译器？汇编器或者链接器。

### 3.4访存对齐或浮点数格式问题 ###

根据Heiher的经验，请注意出现错误的指令可能和访存地址指令有关。 另外，浮点数的格式是否符合IEEE的标准也可能会有影响。

## 4 错误排查指南 ##

*  程序中有没有特权指令、或者访问特权寄存器
 *  有没有将在较新CPU上编译得到的可执行文件拿到老CPU上运行
 *  程序中有没有嵌入式汇编，先检查。
    
     *  一般编译器很少会生成有这种问题的代码
     *  X86平台上要尤其注意64位汇编指令和32位汇编指令的混用问题
 *  程序有在进程代码段空间写数据的机会吗？
 *  栈操作够安全吗？
 *  注意程序的ABI是否正确
    
     *  尤其是动态链和静态链是否处理的正确，尽量避免动态链的可执行文件调用错误库的问题（ARM的EABI，MIPS的N32/O32/N64都很可能出这种问题）
 *  用的工具链靠谱吗？

## 5 参考 ##

*  [http://en.wikipedia.org/wiki/SIGILL][http_en.wikipedia.org_wiki_SIGILL]
 *  [http://www.slac.stanford.edu/BFROOT/www/Computing/Environment/Tools/Batch/exitcode.html][http_www.slac.stanford.edu_BFROOT_www_Computing_Environment_Tools_Batch_exitcode.html]
 *  [http://stackoverflow.com/questions/6934592/is-this-a-valid-x86-assembly-instruction][http_stackoverflow.com_questions_6934592_is-this-a-valid-x86-assembly-instruction]
 *  [http://blog.csdn.net/qiaoliang328/article/details/4866367][http_blog.csdn.net_qiaoliang328_article_details_4866367]
 *  [http://www.justlinux.com/forum/archive/index.php/t-117434.html][http_www.justlinux.com_forum_archive_index.php_t-117434.html]

转载于:https://my.oschina.net/alphajay/blog/68629

[1]: http://www.lingcc.com/2011/11/28/11851/#sec-1
[2 _illegal instruction]: http://www.lingcc.com/2011/11/28/11851/#sec-2
[3 _SIGILL]: http://www.lingcc.com/2011/11/28/11851/#sec-3
[3.1]: http://www.lingcc.com/2011/11/28/11851/#sec-3.1
[3.2]: http://www.lingcc.com/2011/11/28/11851/#sec-3.2
[3.3 _bug]: http://www.lingcc.com/2011/11/28/11851/#sec-3.3
[4]: http://www.lingcc.com/2011/11/28/11851/#sec-4
[5]: http://www.lingcc.com/2011/11/28/11851/#sec-5
[http_en.wikipedia.org_wiki_SIGILL]: http://en.wikipedia.org/wiki/SIGILL
[http_www.slac.stanford.edu_BFROOT_www_Computing_Environment_Tools_Batch_exitcode.html]: http://www.slac.stanford.edu/BFROOT/www/Computing/Environment/Tools/Batch/exitcode.html
[http_stackoverflow.com_questions_6934592_is-this-a-valid-x86-assembly-instruction]: http://stackoverflow.com/questions/6934592/is-this-a-valid-x86-assembly-instruction
[http_blog.csdn.net_qiaoliang328_article_details_4866367]: http://blog.csdn.net/qiaoliang328/article/details/4866367
[http_www.justlinux.com_forum_archive_index.php_t-117434.html]: http://www.justlinux.com/forum/archive/index.php/t-117434.html