mingw32 exception在sjlj与dwarf差别-反汇编分析

sjlj (setjump/longjump)与dwarf-2为mingw32两种异常处理模型的实现。sjlj有着开销，而随linux发行的mingw32开发库包都是用sjlj版编译的，而Qt却采用dwarf-2版，那么两者之间有多少差异，本文就这问题对两版的异常代码的反汇编进行分析比较。

我使用mingw-w65-i686-810的sjlj与dwarf-2两个版本对下面异常代码编译。

__attribute__((dllimport)) int dllfunc();

int main()

{

    dllfunc();

    //_create_locale(LC_ALL, "C");

    printf("abc");

    //return 0;

    try

    {

        try

        {

            throw std::exception();

        }

        catch(std::exception&)

    　　{

            std::rethrow_exception(std::current_exception());

    　　}

    }

    catch(int)

    {

    }

    catch(std::exception& e)

    {

        std::cout << e.what() << std::endl;

    }

    catch(...)

    {

        std::cout << "unknown" << std::endl;

    }

    return ;

}

代码逻辑：

两层 try/catch，

1. 里层 try/catch

1.1 try块， throw 异常

1.2 catch块， rethrow

2. 外层 try/catch

2.1 有三catch分支。

开刷前，先定义一下。

如果将 try/catch 去除 c++语言特性后，基本就是一种由c++库还有c++编译器共同管理的 goto。

throw相当于goto， catch相当于label（一种以类型区分的）。

那么c++编译器与c++库为我们提供了什么样的管理呢？

c++编译器

0. 利用c++支持对象析构进行try块保护。

1. 将 throw 关键字生成汇编 call __cxa_throw，调用 c++库的函数。

2. 为每个catch块生成代码片断，只能通过jmp跳转进来。

2.1 开头 call __cxa_begin_catch。

2.2 结尾 call __cxa_end_catch。

2.3 最后跳出到 try/catch块逻辑代码的下条执行指令。

3. 为同一try/catch块的所有catch块产生分支控制代码。

4. 为try块的析构代码产生跳转入口。

5. 为每一层try/catch块生成 uncaught 代码块，调用 _Unwind_Resume。

c++库：

1. __cxa_throw，马上_Unwind_RaiseException。跳转到当前最里面一层 try/catch的支路控制代码片断。

2. _Unwind_Resume，向上继续展开。

3. std::rethrow_exception，调用 __gcclibcxx_demangle_callback，

3.1 要么有 catch可达跳回到原来代码的控制流，直接离开std::rethrow_exception的调用上下文。

3.2 要么从__gcclibcxx_demangle_callback返回，执行terminate结束进程。

sjlj 版的反汇编代码比 dwarf-2 版的多了50行。

先来看dwarf-2的反汇编代码

  <+>:    lea    0x4(%esp),%ecx

  <+>:    and    $0xfffffff0,%esp

  <+>:    pushl  -0x4(%ecx)

  <+>:    push   %ebp

  <+>:    mov    %esp,%ebp

  <+>:    push   %esi

  <+>:    push   %ebx

  <+>:    push   %ecx

  <+>:    sub    $0x2c,%esp

  <+>:    call   0x401890 <__main>

  <+>:    mov    0x4071a4,%eax

  <+>:    call   *%eax

  <+>:    movl   $0x404045,(%esp)

  <+>:    call   0x4027c4 <printf>

  <+>:    movl   $0x4,(%esp)

  <+>:    call   0x4017ac <__cxa_allocate_exception>

  <+>:    mov    %eax,%ebx

  <+>:    mov    %ebx,%ecx

  <+>:    call   0x402890 <std::exception::exception()>

  <+>:    movl   $0x4017d4,0x8(%esp)

  <+>:    movl   $0x4042a8,0x4(%esp)

  <+>:    mov    %ebx,(%esp)

  <+>:    call   0x401794 <__cxa_throw>

  <+>:    mov    $0x0,%eax

  <+>:    jmp    0x401723 <main()+>

  <+>:    mov    %edx,%ecx

  <+>:    cmp    $0x2,%ecx

  <+>:    je     0x40162b <main()+>

  <+>:    jmp    0x401663 <main()+>

  <+>:    mov    %eax,(%esp)

  <+>:    call   0x4017a4 <__cxa_begin_catch>

  <+>:    mov    %eax,-0x1c(%ebp)

  <+>:    lea    -0x28(%ebp),%eax

  <+>:    mov    %eax,(%esp)

  <+>:    call   0x4017cc <_ZSt17current_exceptionv>

  <+>:    lea    -0x28(%ebp),%eax

  <+>:    mov    %eax,(%esp)

  <+>:    call   0x4017c4 <_ZSt17rethrow_exceptionNSt15__exception_ptr13exception_ptrE>

  <+>:    mov    %eax,%esi

  <+>:    mov    %edx,%ebx

  <+>:    lea    -0x28(%ebp),%eax

  <+>:    mov    %eax,%ecx

  <+>:    call   0x4017ec <_ZNSt15__exception_ptr13exception_ptrD1Ev>

  <+>:    call   0x40179c <__cxa_end_catch>

  <+>:    mov    %esi,%eax

  <+>:    mov    %ebx,%edx

  <+>:    cmp    $0x1,%edx

  <+>:    je     0x40166f <main()+>

  <+>:    cmp    $0x2,%edx

  <+>:    je     0x401683 <main()+>

  <+>:    jmp    0x4016ca <main()+>

  <+>:    mov    %eax,(%esp)

  <+>:    call   0x4017a4 <__cxa_begin_catch>

  <+>:    mov    (%eax),%eax

  <+>:    mov    %eax,-0x24(%ebp)

  <+>:    call   0x40179c <__cxa_end_catch>

  <+>:    jmp    0x401618 <main()+>

  <+>:    mov    %eax,(%esp)

  <+>:    call   0x4017a4 <__cxa_begin_catch>

  <+>:    mov    %eax,-0x20(%ebp)

  <+>:    mov    -0x20(%ebp),%eax

  <+>:    mov    (%eax),%eax

  <+>:    add    $0x8,%eax

  <+>:    mov    (%eax),%eax

  <+>:    mov    -0x20(%ebp),%edx

  <+>:    mov    %edx,%ecx

  <+>:    call   *%eax

  <+>:    mov    %eax,0x4(%esp)

  <+>:    movl   $0x6ff07a00,(%esp)

  <+>:    call   0x4017b4 <_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc>

  <+>:    movl   $0x4017bc,(%esp)

  <+>:    mov    %eax,%ecx

  <+>:    call   0x4017f4 <_ZNSolsEPFRSoS_E>

  <+>:    sub    $0x4,%esp

  <+>:    call   0x40179c <__cxa_end_catch>

  <+>:    jmp    0x401618 <main()+>

  <+>:    mov    %eax,(%esp)

  <+>:    call   0x4017a4 <__cxa_begin_catch>

  <+>:    movl   $0x404049,0x4(%esp)

  <+>:    movl   $0x6ff07a00,(%esp)

  <+>:    call   0x4017b4 <_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc>

  <+>:    movl   $0x4017bc,(%esp)

  <+>:    mov    %eax,%ecx

  <+>:    call   0x4017f4 <_ZNSolsEPFRSoS_E>

  <+>:    sub    $0x4,%esp

  <+>:    call   0x40179c <__cxa_end_catch>

  <+>:    jmp    0x401618 <main()+>

  <+>:    mov    %eax,%ebx

  <+>:    call   0x40179c <__cxa_end_catch>

  <+>:    mov    %ebx,%eax

  <+>:    mov    %eax,(%esp)

  <+>:    call   0x402770 <_Unwind_Resume>

  <+>:    mov    %eax,%ebx

  <+>:    call   0x40179c <__cxa_end_catch>

  <+>:    mov    %ebx,%eax

  <+>:    mov    %eax,(%esp)

  <+>:    call   0x402770 <_Unwind_Resume>

  <+>:    lea    -0xc(%ebp),%esp

  <+>:    pop    %ecx

  <+>:    pop    %ebx

  <+>:    pop    %esi

  <+>:    pop    %ebp

  <+>:    lea    -0x4(%ecx),%esp

  <+>:    ret

我们的主要代码逻辑只有20-30条指令

当 throw时，__cxa_throw函数是不会返回的，如同goto最后是跳转到他处，若被本层catch处理完才会跳转回来<+88>。

然后看c++编译器为我们生成的异常代码。

对于没有发生异常时，代码执行路径基本不会去涉及到异常代码支路，开销几近为0，只是代码量增大。

下面来看 sjlj 版的汇编代码，

 function main():

  <+>:    lea    0x4(%esp),%ecx

  <+>:    and    $0xfffffff0,%esp

  <+>:    pushl  -0x4(%ecx)

  <+>:    push   %ebp

  <+>:    mov    %esp,%ebp

  <+>:    push   %edi

  <+>:    push   %esi

  <+>:    push   %ebx

  <+>:    push   %ecx

  <+>:    sub    $0x68,%esp

  <+>:    movl   $0x4017ac,-0x44(%ebp)

  <+>:    movl   $0x402958,-0x40(%ebp)

  <+>:    lea    -0x3c(%ebp),%eax

  <+>:    lea    -0x18(%ebp),%ebx

  <+>:    mov    %ebx,(%eax)

  <+>:    mov    $0x4015b4,%edx

  <+>:    mov    %edx,0x4(%eax)

  <+>:    mov    %esp,0x8(%eax)

  <+>:    lea    -0x5c(%ebp),%eax

  <+>:    mov    %eax,(%esp)

  <+>:    call   0x402790 <_Unwind_SjLj_Register>

  <+>:    call   0x4018b0 <__main>

  <+>:    mov    0x406194,%eax

  <+>:    movl   $0xffffffff,-0x58(%ebp)

  <+>:    call   *%eax

  <+>:    movl   $0x404001,(%esp)

  <+>:    call   0x4027e4 <printf>

  <+>:    movl   $0x4,(%esp)

  <+>:    call   0x4017cc <__cxa_allocate_exception>

  <+>:    mov    %eax,-0x60(%ebp)

  <+>:    mov    %eax,%ecx

  <+>:    call   0x4028b0 <std::exception::exception()>

  <+>:    movl   $0x4017f4,0x8(%esp)

  <+>:    movl   $0x404264,0x4(%esp)

  <+>:    mov    -0x60(%ebp),%eax

  <+>:    mov    %eax,(%esp)

  <+>:    movl   $0x1,-0x58(%ebp)

  <+>:    call   0x4017b4 <__cxa_throw>

  <+>:    mov    $0x0,%eax

  <+>:    mov    %eax,-0x60(%ebp)

  <+>:    jmp    0x401733 <main()+>

  <+>:    lea    0x18(%ebp),%ebp

  <+>:    mov    -0x54(%ebp),%edx

  <+>:    mov    -0x50(%ebp),%ecx

  <+>:    mov    -0x58(%ebp),%eax

  <+>:    test   %eax,%eax

  <+>:    je     0x4015e6 <main()+>

  <+>:    sub    $0x1,%eax

  <+>:    test   %eax,%eax

  <+>:    je     0x40161b <main()+>

  <+>:    sub    $0x1,%eax

  <+>:    test   %eax,%eax

  <+>:    je     0x4016f8 <main()+>

  <+>:    sub    $0x1,%eax

  <+>:    test   %eax,%eax

  <+>:    je     0x401712 <main()+>

  <+>:    sub    $0x1,%eax

  <+>:    ud2

  <+>:    mov    %edx,%eax

  <+>:    mov    %ecx,%edx

  <+>:    mov    %edx,%ecx

  <+>:    cmp    $0x2,%ecx

  <+>:    je     0x4015f3 <main()+>

  <+>:    jmp    0x401642 <main()+>

  <+>:    mov    %eax,(%esp)

  <+>:    call   0x4017c4 <__cxa_begin_catch>

  <+>:    mov    %eax,-0x1c(%ebp)

  <+>:    lea    -0x28(%ebp),%eax

  <+>:    mov    %eax,(%esp)

  <+>:    call   0x4017ec <_ZSt17current_exceptionv>

  <+>:    lea    -0x28(%ebp),%eax

  <+>:    mov    %eax,(%esp)

  <+>:    movl   $0x2,-0x58(%ebp)

  <+>:    call   0x4017e4 <_ZSt17rethrow_exceptionNSt15__exception_ptr13exception_ptrE>

  <+>:    mov    %edx,-0x60(%ebp)

  <+>:    mov    %ecx,-0x64(%ebp)

  <+>:    lea    -0x28(%ebp),%eax

  <+>:    mov    %eax,%ecx

  <+>:    call   0x40180c <_ZNSt15__exception_ptr13exception_ptrD1Ev>

  <+>:    mov    -0x60(%ebp),%eax

  <+>:    mov    %eax,-0x60(%ebp)

  <+>:    mov    -0x64(%ebp),%esi

  <+>:    mov    %esi,-0x64(%ebp)

  <+>:    call   0x4017bc <__cxa_end_catch>

  <+>:    mov    -0x60(%ebp),%eax

  <+>:    mov    -0x64(%ebp),%edx

  <+>:    cmp    $0x1,%edx

  <+>:    je     0x40164e <main()+>

  <+>:    cmp    $0x2,%edx

  <+>:    je     0x401665 <main()+>

  <+>:    jmp    0x4016b3 <main()+>

  <+>:    mov    %eax,(%esp)

  <+>:    call   0x4017c4 <__cxa_begin_catch>

  <+>:    mov    (%eax),%eax

  <+>:    mov    %eax,-0x20(%ebp)

  <+>:    call   0x4017bc <__cxa_end_catch>

  <+>:    jmp    0x4015a7 <main()+>

  <+>:    mov    %eax,(%esp)

  <+>:    call   0x4017c4 <__cxa_begin_catch>

  <+>:    mov    %eax,-0x24(%ebp)

  <+>:    mov    -0x24(%ebp),%eax

  <+>:    mov    (%eax),%eax

  <+>:    add    $0x8,%eax

  <+>:    mov    (%eax),%eax

  <+>:    mov    -0x24(%ebp),%edx

  <+>:    mov    %edx,%ecx

  <+>:    call   *%eax

  <+>:    mov    %eax,0x4(%esp)

  <+>:    movl   $0x6ff29a00,(%esp)

  <+>:    movl   $0x3,-0x58(%ebp)

  <+>:    call   0x4017d4 <_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc>

  <+>:    movl   $0x4017dc,(%esp)

  <+>:    mov    %eax,%ecx

  <+>:    call   0x401814 <_ZNSolsEPFRSoS_E>

  <+>:    sub    $0x4,%esp

  <+>:    call   0x4017bc <__cxa_end_catch>

  <+>:    jmp    0x4015a7 <main()+>

  <+>:    mov    %eax,(%esp)

  <+>:    call   0x4017c4 <__cxa_begin_catch>

  <+>:    movl   $0x404005,0x4(%esp)

  <+>:    movl   $0x6ff29a00,(%esp)

  <+>:    movl   $0x4,-0x58(%ebp)

  <+>:    call   0x4017d4 <_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc>

  <+>:    movl   $0x4017dc,(%esp)

  <+>:    mov    %eax,%ecx

  <+>:    call   0x401814 <_ZNSolsEPFRSoS_E>

  <+>:    sub    $0x4,%esp

  <+>:    movl   $0xffffffff,-0x58(%ebp)

  <+>:    call   0x4017bc <__cxa_end_catch>

  <+>:    jmp    0x4015a7 <main()+>

  <+>:    mov    %edx,-0x60(%ebp)

  <+>:    call   0x4017bc <__cxa_end_catch>

  <+>:    mov    -0x60(%ebp),%eax

  <+>:    mov    %eax,(%esp)

  <+>:    movl   $0xffffffff,-0x58(%ebp)

  <+>:    call   0x402788 <_Unwind_SjLj_Resume>

  <+>:    mov    %edx,-0x60(%ebp)

  <+>:    movl   $0x0,-0x58(%ebp)

  <+>:    call   0x4017bc <__cxa_end_catch>

  <+>:    mov    -0x60(%ebp),%eax

  <+>:    mov    %eax,(%esp)

  <+>:    movl   $0xffffffff,-0x58(%ebp)

  <+>:    call   0x402788 <_Unwind_SjLj_Resume>

  <+>:    lea    -0x5c(%ebp),%eax

  <+>:    mov    %eax,(%esp)

  <+>:    call   0x402780 <_Unwind_SjLj_Unregister>

  <+>:    mov    -0x60(%ebp),%eax

  <+>:    lea    -0x10(%ebp),%esp

  <+>:    pop    %ecx

  <+>:    pop    %ebx

  <+>:    pop    %esi

  <+>:    pop    %edi

  <+>:    pop    %ebp

  <+>:    lea    -0x4(%ecx),%esp

  <+>:    ret

下面的分析只列出不同的地方

支路控制代码：

可以看出，支路选路控制指令多而且复杂，还有就是跳转多。

最后是函数结束前。

可以看出在 sjlj 版本中，即使代码不发生异常，函数在进入与离开时都要为登记维护付出一此成本，当涉及异常代码时，支路选路控制更加复杂更多跳转。这里有一个成本比例，你的函数逻辑简单，上面的开销比重就越大，如果是频繁调用的轻量函数就要考虑不用exception这样的error handle。

还有就是当发生异常时，需要交给c++库去管理，不同异常处理模型的实现，有着不同的开销，本文并没有涉及到。只是单纯从c++库以外的代码进行分析，也足够看出他们之间有着一定的差别。

mingw32 exception在sjlj与dwarf差别-反汇编分析的更多相关文章

Linux下简单C语言小程序的反汇编分析
韩洋原创作品转载请注明出处<Linux内核分析>MOOC课程http://mooc.study.163.com/course/USTC-1000029000 写在开始,本文为因为参加MOO ...
反汇编分析objc函数枢纽objc_msgSend
在分析objc_msgSend之前,先来搞清楚另一个问题. 函数是什么?可能会答 void foo(void) {} 像这样就是一个函数.或者函数包括函数原型和函数定义,是一段执行某样功能的机器代码. ...
objc反汇编分析，block函数块为何物？
上一篇向大家介绍了__block变量的反汇编和它的伪代码,本篇函数块block,通常定义成原型(^){},它在反汇编中是什么东西. 我们先定义将要反汇编的例子,为减少篇幅例子采用non-arc环境. ...
反汇编分析__stdcall和__cdecl的异同
C++代码如下:.h头文件 #pragma once#ifdef DLLTestAPI#else#define DLLTestAPI _declspec(dllimport)#endifint DLL ...
objc反汇编分析__strong和__weak
如题所说反汇编看__strong和__weak的真实样子,代码列举自然多,篇幅长不利于阅读,我就先搬出结论,后面是分析. 在NON-ARC环境,__strong和__weak不起作用.相反在ARC环境 ...
反汇编分析NSString，你印象中的NSString是这样吗
我们先来定义三个NSString -(void) testNSString { NSString* a = @"abc"; NSString* b = [NSString stri ...
objc反汇编分析，手工逆向libsystem_blocks.dylib
上一篇<block函数块为何物?>介绍了在函数中定义的block函数块的反汇编实现,我在文中再三指出__block变量和block函数块自始还都是stack-based的,还不完全适合在离 ...
实验4 汇编应用编程和c语言程序反汇编分析
1. 实验任务1 教材「实验9 根据材料编程」(P187-189)编程:在屏幕中间分别显示绿色.绿底红色.白底蓝色的字符串'welcome to masm!'. 解题思路:根据学习的知识,我知道该页在 ...
反汇编分析C++代码
编译环境:Windows 10 + VS2015 1.问题引入在Win32环境下,CPU小端模式,参数用栈来传递,写出输出结果. 代码如下: int main() { long long a = 1 ...

随机推荐

eclipse——Error exists in required project Proceed with launch?
运行java文件时报错: Error exists in required project Proceed with launch? 报错截图: 问题参生原因:开始Buildpath了一个jar ...
利用SQL语句替换织梦DedeCms数据库内容
找到然后把命令放在执行即可,慎重执行替换文章标题 UPDATE `dede_archives` SET `title`=replace(title,'我我我','你你你') 替换文章正文 UPD ...
JavaScript计时
JavaScript计时分两种 setTimeout:程序在隔几秒后执行语法: setTimeout(function(){要执行的程序},xxxx) setInterval:程序每隔几秒执行语法 ...
jpype2
# -*- coding: utf-8 -*-# @Time : 2020/5/21 0:04# 从环境变量获取jvm虚拟机安装路径,若为None则获取默认路径import os import jpy ...
重学 Java 设计模式：实战建造者模式
作者:小傅哥博客:https://bugstack.cn - 原创系列专题文章沉淀.分享.成长,让自己和他人都能有所收获! 一.前言乱码七糟 [luàn qī bā zāo],我时常怀疑这个成语 ...
包装类的使用与Junit单元测试类
包装类: 针对八种基本数据类型定义相应的引用类型,使之有了类的特点,就可以调用类的方法基本数据类型包装类 boolean Boolean byte Byte short Short int Int ...
【转】eclipse找不到或无法加载主类
Eclipse错误: 找不到或无法加载主类或项目无法编译10种解决大法! 今天启动项目,又遇到找不到或无法加载主类的情况,清除项目后无法编译,bin文件夹下没有.class文件,至少遇到3次这个问题了 ...
Vulnerability of SSL to Chosen-Plaintext Attack 读书报告
这篇文章讲述了在SSL上的选择明文攻击.我想分四个部分讲讲我对这篇文章的理解. 1.CPA的定义: 2.文章讲述SSL相关基本概念漏洞: 3.对SSL的CPA攻击的过程: 4.实现这种攻击的可能性以及 ...
docker重启提示已存在一个容器的问题处理
一.问题:在vmware虚拟机中测试以docker方式安装的prometheus,当重启虚拟机后,再次运行prometheus的执行文件,提示已有名称为prometheus的容器存在. 二.处理过程 ...
Rocket - tilelink - HintHandler
https://mp.weixin.qq.com/s/MHW_aBSL72YNee9bVWWeaw 简单介绍HintHandler的实现. 1. 基本功能实现Hint请求的处理 ...

mingw32 exception在sjlj与dwarf差别-反汇编分析

mingw32 exception在sjlj与dwarf差别-反汇编分析的更多相关文章

随机推荐

热门专题