setjmp&longjmp的问题

rickxbx

Post by dieken_qfz
试过了, 我多拷贝了30个整型都不对。


不能移到case 1的后面，如果如此，后面的for循环会修改堆栈，就白restore了。

我是说把 restore 移到 f1 函数中的 case 1 后面.

rickxbx

改完后,类似于:

1. 
   
2. #include <stdio.h>
   
3. #include <stdlib.h>
   
4. #include <setjmp.h>
   
5. 
   
6. /*
   
7. # define JB_BX        0
   
8. # define JB_SI        1
   
9. # define JB_DI        2
   
10. # define JB_BP        3
    
11. # define JB_SP        4
    
12. # define JB_PC        5
    
13. */
    
14. 
    
15. #define JMPBUF(buf, idx) (((int*)buf)[idx])
    
16. #define BX(buf) JMPBUF(buf, 0)
    
17. #define SI(buf) JMPBUF(buf, 1)
    
18. #define DI(buf) JMPBUF(buf, 2)
    
19. #define BP(buf) JMPBUF(buf, 3)
    
20. #define SP(buf) JMPBUF(buf, 4)
    
21. #define PC(buf) JMPBUF(buf, 5)
    
22. 
    
23. #define savestack() if (NULL != sp1 && NULL != sp2) { \
    
24.         for (i=0; i < sp1 - sp2+20; ++i) { \
    
25.                 stack[i] = *(sp2 + i);  \
    
26.         } \
    
27.         } else abort();
    
28. 
    
29. #define restorestack() if (NULL != sp1 && NULL != sp2) { \
    
30.         for (i=0; i < sp1 - sp2+20; ++i) { \
    
31.                 *(sp2 + i) = stack[i];  \
    
32.         } \
    
33.         } else abort();
    
34. 
    
35. jmp_buf buf1;
    
36. jmp_buf buf2;
    
37. int j1 = 1;
    
38. int j2 = 1;
    
39. int i = 0;
    
40. int* sp1 = NULL;
    
41. int* sp2 = NULL;
    
42. int stack[1024];
    
43. 
    
44. void output(jmp_buf buf) {
    
45.         int* p = (int*)buf;
    
46.         int  i = 0;
    
47.         printf("BX=%u, SI=%u, DI=%u, BP=%u, SP=%u, PC=%u\n",
    
48.                         p[0], p[1], p[2], p[3], p[4], p[5]);
    
49.         printf("stack from SP: ");
    
50.         for (i = 0; i < 30; ++i) {
    
51.                 printf("%u ", *(int*)(p[4] + i));
    
52.         }
    
53.         printf("\n&output()=%u, p =%u, buf=%u\n", output, p, (int*)buf);
    
54. }
    
55. 
    
56. void f1() {
    
57.         int a = 6;
    
58.         int b = 7;
    
59.         int c = 8;
    
60.         printf("f1: enter: \t\ta=%x, b=%x, c=%x\n", a, b, c);
    
61.         switch (setjmp(buf2)) {
    
62.                 case 0:
    
63.                         sp2 = (int*)SP(buf2);
    
64.                         printf("f1: case 0: \t\ta=%x, b=%x, c=%x\n", a, b, c);
    
65.                         savestack();
    
66.                         if (j1) longjmp(buf1, 1);
    
67.                         printf("f1: case 0: after longjump\n");
    
68.                         break;
    
69.                 case 1:
    
70.                 restorestack();
    
71.                         printf("f1: case 1: jump from main\n");
    
72.                         printf("f1: \t\ta=%x, b=%x, c=%x\n", a, b, c);
    
73.                         printf("&buf1=%x, &buf2=%x, &a=%x, &b=%x, c=%x\n", &buf1, &buf2,
    
74.                                         &a, &b, &c);
    
75.                         break;
    
76.         }
    
77.         printf("f1: leave: \t\ta=%x, b=%x, c=%x\n", a, b, c);
    
78. }
    
79. int main(int argc, char** argv) {
    
80.         int x = 3;
    
81.         int y = 4;
    
82.         int z = 5;
    
83.         (void)argc;
    
84.         (void)argv;
    
85.         printf("main: enter: \t\tx=%x, y=%x, z=%x\n", x, y, z);
    
86.         switch (setjmp(buf1)) {
    
87.                 case 0:
    
88.                         sp1 = (int*)SP(buf1);
    
89.                         printf("main: case 0: call f1(): \t\tx=%x, y=%x, z=%x\n", x, y, z);
    
90.                         f1();
    
91.                         printf("main: case 0: back from f1()\n");
    
92.                         break;
    
93.                 case 1:
    
94.                         printf("main: case 1\n");
    
95.                         {
    
96.                                 int aa[512];
    
97.                                 int i;
    
98.                                 for (i=0; i < 512; ++i) {
    
99.                                         aa[i] = 512 - i;
    
100.                                 }
     
101.                         }
     
102.                         printf("main: case 1: jump to f1(): \t\tx=%x, y=%x, z=%x\n", x, y, z);
     
103.                        
     
104.                         if (j2) longjmp(buf2, 1);
     
105.                         printf("main: case 1: back from f1()\n");
     
106.                         break;
     
107.         }
     
108.         printf("main: leave: \t\tx=%x, y=%x, z=%x\n", x, y, z);
     
109.         return 0;
     
110. }
     

复制代码

dieken_qfz

嗯, 的确是这样, 呵呵, 多谢rickxbx兄！