stack_unwinding 问题

[ FAILED ] stack_unwinding.unwind_through_signal_frame
[ FAILED ] stack_unwinding.unwind_through_signal_frame_SA_SIGINFO
// 老状态，留着备忘：host 上使用 t-head aosp 10 或者 aosp 12 运行的结果都是 User defined signal 1 异常

最新状态：
在 host 上运行会报 signal 1 异常，这个不是问题，是因为现在的测试环境导致 kill 发出的 signal 没有被主进程接收

在 qemu 和 emulator 上运行报如下错误：

```
Note: Google Test filter = stack_unwinding.unwind_through_signal_frame
[==========] Running 1 test from 1 test suite (1 job).
[ RUN      ] stack_unwinding.unwind_through_signal_frame
bionic/tests/stack_unwinding_test.cpp:(111) Failure in test stack_unwinding.unwind_through_signal_frame
Expected: (unwind_data.handler_frame_count) > (unwind_data.expected_frame_count + 1), actual: 1 vs 14
stack_unwinding.unwind_through_signal_frame exited with exitcode 1.

Note: Google Test filter = stack_unwinding.unwind_through_signal_frame_SA_SIGINFO
[==========] Running 1 test from 1 test suite (1 job).
[ RUN      ] stack_unwinding.unwind_through_signal_frame_SA_SIGINFO
bionic/tests/stack_unwinding_test.cpp:(111) Failure in test stack_unwinding.unwind_through_signal_frame_SA_SIGINFO
Expected: (unwind_data.handler_frame_count) > (unwind_data.expected_frame_count + 1), actual: 1 vs 14
stack_unwinding.unwind_through_signal_frame_SA_SIGINFO exited with exitcode 1.
[  FAILED  ] stack_unwinding.unwind_through_signal_frame_SA_SIGINFO (44 ms)
```
参考代码 `bionic/tests/stack_unwinding_test.cpp`, 测试中检测如下三个地方的 stack frame 的值

- expected_frame_count：这是在 `SignalUnwindTest()` 被调用时获取的 Stack Frame 的层数,这个是正常的线程 stack 的 frame 数。SignalUnwindTest 会发起 kill 操作并导致信号产生打断当前线程的执行。目前看到其值为 13
- handler_frame_count：这是在 `UnwindSignalHandler()` 信号处理函数中获取的 Stack Frame 的层数, 即 signal 函数栈的层数。
- handler_one_deeper_frame_count：这是在 `UnwindSignalHandler()` 信号处理函数中继续调用 `unwind_one_frame_deeper()` 然后在这个函数中获取的 Stack Frame 的层数，即 signal handler 函数再调用子函数的 stack 层数。目前看到的值为 2。

以上获取 stack frame 的操作都是调用的 `_Unwind_Backtrace()`

对 bionic/tests/stack_unwinding_test.cpp 中函数 `verify_unwind_data()`增加打印，修改如下：
```cpp
  printf("handler_frame_count = %d\n", unwind_data.handler_frame_count);
  printf("expected_frame_count = %d\n", unwind_data.expected_frame_count);
  printf("handler_one_deeper_frame_count = %d\n", unwind_data.handler_one_deeper_frame_count);
```
执行后得到如下结果：
```
handler_frame_count = 1
expected_frame_count = 13
handler_one_deeper_frame_count = 2
```
我们需要验证的是：
- 信号处理函数中的 stack frame 层数 > 主线程 stack frame 的层数 + 1
```
EXPECT_GT(unwind_data.handler_frame_count, unwind_data.expected_frame_count + 1);
```
但测试结果 `handler_frame_count = 1，expected_frame_count = 13`。导致 `EXPECT_GT(1, 13 + 1)` 不成立。

- 信号处理函数中的二级函数的 framestack 比 信号处理函数本省多一层，这个貌似是正确的。
```
EXPECT_EQ(unwind_data.handler_frame_count + 1, unwind_data.handler_one_deeper_frame_count);
```
目前似乎出错是由于获取信号处理函数的栈深度有问题，调用的是 `_Unwind_Backtrace()` 这个函数，目前 libunwind 库里这个函数的实现是不是对 riscv 有问题啊? 默认信号栈复用进程的栈，所以进入信号处理函数后返回的栈深度应该 > 进程栈的深度，可是现在返回的值是 1

aosp-riscv/working-group

内容风险标识

评论 (13)

aosp-riscv/working-group .gitee-modal { width: 500px !important; }

内容风险标识