问一个非本地跳转的问题

chairman

在调用longjmp返回到setjmp的位置的时候。进程的文件描述符，信号屏蔽字这些会不会改变啊？

x11

我想不会，跳转而已，又没跨进程

herberteuler

非本地跳转通常是通过修改堆栈指针和程序计数器来实现的，所以不会改变你说的这些内容。

例如，下面是 GLibc 中的部分代码，它实现了 setjmp。

1. ENTRY (BP_SYM (setjmp))
   
2.         /* Note that we have to use a non-exported symbol in the next
   
3.            jump since otherwise gas will emit it as a jump through the
   
4.            PLT which is what we cannot use here.  */
   
5.         ENTER
   
6. 
   
7.         movl JMPBUF(%esp), %eax
   
8.         CHECK_BOUNDS_BOTH_WIDE (%eax, JMPBUF(%esp), $JB_SIZE)
   
9. 
   
10.              /* Save registers.  */
    
11.         movl %ebx, (JB_BX*4)(%eax)
    
12.         movl %esi, (JB_SI*4)(%eax)
    
13.         movl %edi, (JB_DI*4)(%eax)
    
14.         leal JMPBUF(%esp), %ecx        /* Save SP as it will be after we return.  */
    
15.              movl %ecx, (JB_SP*4)(%eax)
    
16.         movl PCOFF(%esp), %ecx        /* Save PC we are returning to now.  */
    
17.              movl %ecx, (JB_PC*4)(%eax)
    
18.         LEAVE /* pop frame pointer to prepare for tail-call.  */
    
19.         movl %ebp, (JB_BP*4)(%eax) /* Save caller's frame pointer.  */
    
20. 
    
21.         /* Call __sigjmp_save.  */
    
22.         pushl $1
    
23.         pushl 8(%esp)
    
24.         call BP_SYM (__sigjmp_save)
    
25.         popl %ecx
    
26.         popl %edx
    
27.         ret
    
28. END (BP_SYM (setjmp))

复制代码

再看看对应的 longjmp 的代码：

1. ENTRY (BP_SYM (__longjmp))
   
2.         ENTER
   
3. 
   
4.         movl JBUF(%esp), %ecx        /* User's jmp_buf in %ecx.  */
   
5.         CHECK_BOUNDS_BOTH_WIDE (%ecx, JBUF(%esp), $JB_SIZE)
   
6. 
   
7.         movl VAL(%esp), %eax        /* Second argument is return value.  */
   
8.         /* Save the return address now.  */
   
9.         movl (JB_PC*4)(%ecx), %edx
   
10.              /* Restore registers.  */
    
11.         movl (JB_BX*4)(%ecx), %ebx
    
12.         movl (JB_SI*4)(%ecx), %esi
    
13.         movl (JB_DI*4)(%ecx), %edi
    
14.         movl (JB_BP*4)(%ecx), %ebp
    
15.         movl (JB_SP*4)(%ecx), %esp
    
16.         /* Jump to saved PC.  */
    
17.              jmp *%edx
    
18. END (BP_SYM (__longjmp))

复制代码

这就是非本地跳转的原理，其实 fork 和 C++ 中的 try... throw... catch... 也利用了这个。