PHP 扩展中的 SEG 错误

Posted 2023-02-24

【中文标题】PHP 扩展中的 SEG 错误

【英文标题】：SEG Fault in PHP extension

【发布时间】：2012-12-16 23:25:52

【问题描述】：

我编写了一个 php 扩展来访问静态库中的函数，我将 PHP 构建为 CGI，并且一切似乎都正常工作（经过几天的工作......）

一旦一切正常，我很兴奋，我重新编译了 PHP，而没有调试其中的消息。 (php_printf("here111"); ....php_printf("sending arguments...");)

然后，它就停止工作了。我在静态库中调用的函数有效，我已经通过直接从另一个可执行文件调用它来测试它。

我用调试符号（--enable-debug）构建了PHP，并且可以在gdb中进行一定程度的调试。

我仍在努力找出问题所在。似乎 lib (diffFst) 中的函数似乎无法读取输入参数。

268     if (zend_parse_parameters(ZEND_NUM_ARGS() TSRMLS_CC, "ssssssd",
269        &filA, &filA_len,
270        &nomvarA, &nomvarA_len,
271        &filB, &filB_len,
272        &nomvarB, &nomvarB_len,
273        &filO, &filO_len,
274        &newnomvar, &newnomvar_len,
275        &mult
276        ) == FAILURE) 
277         RETURN_LONG(-100);
278     
279 
280     php_printf("Read arguments:\nfilA: %s, nomvara: %s\nfilB: %s, nomvarB: %s\nfilO: %s, nomvarO: %s\nMult: %0.3f\n",
281        filA,nomvarA, filB,nomvarB, filO,newnomvar, mult);
282 
285     ier = difffst_(filA,nomvarA, filB,nomvarB, filO,newnomvar, mult);

当我调用这个函数时，php_printf() 语句起作用并打印出正确的值。但是，当我让它调用 difffst_ 函数时，它会在尝试读取输入变量时出现段错误。

diffFst函数是用fortran写的：

  5 function diffFst(filA, nomvara, filB, nomvarb, filO, newnomvar, change, write_tictac, in_verbose) result(ier)
 10     implicit none
 11 

 12     character (len=*), intent(IN) :: filA, filB, filO
 13     character (len=*), intent(IN) :: nomvara, nomvarb, newnomvar
 14 
 16     real, intent(IN) :: change
 17     logical, intent(IN) :: write_tictac
 18 
 19     logical, intent(IN), optional :: in_verbose
 21     logical :: verbose = .false.
 27     integer :: ier
...
117     ier = fstouv(iuna, 'RND')
118     IF (ier < 0) THEN
119         if (verbose) write(stderr,'(2A)') "Could not fstouv FST file ", trim(filA)
120     ELSE
121         nmax = fstnbr(iuna);
122         if (verbose) write(stdout,'(3A,I6,A)') "Succesfully opened ", trim(filA), ' with ', nmax, ' records'
123         allocate(liste(nmax))
124     END IF

具体来说，当它尝试读取 filA 时，它在第 122 行失败（根据调试器）。

我不知道为什么，我试过了：

使函数成为子程序 使函数成为 fortran 函数 使函数成为“纯”函数 有返回值（这就是现在，ier = ..） 代码中有return 语句，删除return 语句 尝试将内容打印到标准输出和日志文件

似乎数据没有正确传递。即使在调试器中，我也无法读取参数。

令人沮丧的是，在某一时刻，这只是工作..我检查了文件权限，检查了路径等。我可以从一个 fortran 包装器可执行文件中运行该函数就好了。

我错过了什么技巧吗？

谢谢

【问题讨论】：

为什么不将更改恢复到上一个​​工作版本？如果您有多个提交，您还可以尝试哪些提交确实特别引入了问题。

@hakre - 不幸的是我没有定期提交。我是 git 新手，遇到了问题（特别是 this one where I was getting a 403 on github because of my git version on my OSX box）所以.. 我的第一次提交是在我收到这个错误之后。 （通常我每隔几分钟提交一次）

哦，多曼，所以工作代码丢失了？我不擅长C，所以你在这里真的不能问我太多。也许 PHP 频道的其他人可以帮助你。

@hakre - 令人沮丧的是，我很确定唯一的变化是注释掉 C 代码中的第 280 行。但是当我把它放回去时，它仍然没有帮助。我担心这是隐藏的东西，所以我已经make clean'ed，重新构建.. 等等。

我认为问题出在character (len=*)，C 正在传递一个指针，而fortran 无法读取它。正在研究解决方案，我会尽快发布。

【参考方案1】：

花了一些时间，需要更多帮助 (issues like this)

基本上有两件事必须改变：

通过引用传递整数 正确接受字符串

第一个很简单，只需ier=func(..., &integer_var, ...)

第二个涉及传递字符串的长度。可能有一种更简单的方法可以做到这一点（通过查找 \0 来感知字符串长度），但它们没有成功。所以，现在我通过了

ier = func(str,strlen,...)

然后在 Fortran 中，我接受字符串为

character(kind=c_char,len=strlen), intent(IN) :: str

上面对fortran代码的具体改动是

11     use, intrinsic :: iso_c_binding
12     use interfaces_rmnutils
13     implicit none
16     integer(kind=c_int), intent(IN) :: len_filA, len_filB, len_filO
17     character (kind=c_char,len=len_filA), intent(IN) :: filA
18     character (kind=c_char,len=len_filB), intent(IN) :: filB
19     character (kind=c_char,len=len_filO), intent(IN) :: filO

当它工作时，它一定是在我尝试将字符串读取为(len=*) 之前，并且整数作为引用被传入，因此它们本质上具有随机值。

感谢其他所有人！

【讨论】：

您应该将您的答案标记为已接受。接受您的问题的答案将获得 2 分，该问题将不再显示为未回答，并且您的接受百分比将提高。双赢。

【参考方案2】：

您的程序似乎破坏了堆栈。堆栈损坏通常伴随着指针使用不当。在可疑函数调用之前仔细检查（使用调试器或简单的足迹调查变量的内容）。