Системный вызов Perl вызывает дамп ядра, но $?остается нулевым - PullRequest
4 голосов
/ 05 августа 2010

У меня есть Perl-скрипт (работающий на Xubuntu Lucid Lynx в VirtualBox), который оборачивается вокруг нескольких двоичных файлов C / C ++, передавая входные данные одного в другие.Одна из строк обычно состоит из:

my $ret_code=`cat $input | c_binary`;
my $ret_val= $?;

Для некоторых входных файлов код вызывает coredump, но оба значения $ret_val и $ret_code равны 0 и "" соответственно.Я могу видеть, как ошибки прокручиваются, когда я запускаю его, но у меня, похоже, нет способа «захватить» это программно. Как я могу это сделать? Цель состоит в том, чтобы при ошибке удалить некоторые строки из ввода и повторить синтаксический анализ.

Вот ошибки:

*** stack smashing detected ***: code/parser terminated
======= Backtrace: =========
/lib/tls/i686/cmov/libc.so.6(__fortify_fail+0x50)[0x798390]
/lib/tls/i686/cmov/libc.so.6(+0xe233a)[0x79833a]
code/parser[0x804edd8]
[0x2e303039]
======= Memory map: ========
0043b000-0043c000 r-xp 00000000 00:00 0          [vdso]
0045a000-00475000 r-xp 00000000 08:01 11041      /lib/ld-2.11.1.so
00475000-00476000 r--p 0001a000 08:01 11041      /lib/ld-2.11.1.so
00476000-00477000 rw-p 0001b000 08:01 11041      /lib/ld-2.11.1.so
006b6000-00809000 r-xp 00000000 08:01 10897      /lib/tls/i686/cmov/libc-2.11.1.so
00809000-0080a000 ---p 00153000 08:01 10897      /lib/tls/i686/cmov/libc-2.11.1.so
0080a000-0080c000 r--p 00153000 08:01 10897      /lib/tls/i686/cmov/libc-2.11.1.so
0080c000-0080d000 rw-p 00155000 08:01 10897      /lib/tls/i686/cmov/libc-2.11.1.so
0080d000-00810000 rw-p 00000000 00:00 0 
008ba000-008d7000 r-xp 00000000 08:01 8268       /lib/libgcc_s.so.1
008d7000-008d8000 r--p 0001c000 08:01 8268       /lib/libgcc_s.so.1
008d8000-008d9000 rw-p 0001d000 08:01 8268       /lib/libgcc_s.so.1
00c89000-00cad000 r-xp 00000000 08:01 10901      /lib/tls/i686/cmov/libm-2.11.1.so
00cad000-00cae000 r--p 00023000 08:01 10901      /lib/tls/i686/cmov/libm-2.11.1.so
00cae000-00caf000 rw-p 00024000 08:01 10901      /lib/tls/i686/cmov/libm-2.11.1.so
08048000-08055000 r-xp 00000000 08:01 407893     /home/abugorsk/Documents/code/stepbystep/collins-parser/code/parser
08055000-08056000 r--p 0000c000 08:01 407893     /home/abugorsk/Documents/code/stepbystep/collins-parser/code/parser
08056000-08057000 rw-p 0000d000 08:01 407893     /home/abugorsk/Documents/code/stepbystep/collins-parser/code/parser
08057000-0c50f000 rw-p 00000000 00:00 0 
0e168000-0fa57000 rw-p 00000000 00:00 0          [heap]
b44a3000-b77c9000 rw-p 00000000 00:00 0 
b77da000-b77dc000 rw-p 00000000 00:00 0 
bff2b000-bff40000 rw-p 00000000 00:00 0          [stack]
Aborted

Возвращаются следующие значения:

LOG: Parser return code: 0    
LOG: Parser return value:

Фактический фрагмент кода, о котором идет речь:

my $command = "cd $STEPBYSTEP_HOME/collins-parser; cat models/model$model_num/events | code/parser $src models/model$model_num/grammar 10000 1 1 1 1 1> $dest 2> $parse_log";
llog "Executing command: $command";
my $ret_code = $?;
llog "Parser return code: $ret_code";
my $ret_val = `$command`;

Ответы [ 4 ]

1 голос
/ 05 августа 2010

Во-первых, в показанном вами коде есть что-то подозрительное: вы получаете значение $? перед тем, как фактически выполнить команду.Теперь я расскажу о том, что вы хотели написать:

my $command = "cd $STEPBYSTEP_HOME/collins-parser;" .
              "cat models/model$model_num/events | code/parser $src models/model$model_num/grammar 10000 1 1 1 1 1> $dest 2> $parse_log";
my $ret_val = `$command`;
my $ret_code = $?;

После этого $ret_code содержит состояние всей команды оболочки.Это, в свою очередь, состояние последней команды в списке, которая является конвейером cat ... | code/parser ....В зависимости от оболочки это может быть либо состояние последней команды в конвейере, т. Е. code/parser (ksh, zsh), либо всегда 0 (большинство оболочек, включая ash, bash и pdksh).

В вашем случае есть простое исправление, которое заключается в том, чтобы избавиться от бесполезного использования cat:

my $command = "cd $STEPBYSTEP_HOME/collins-parser &&" .
              "<models/model$model_num/events code/parser $src models/model$model_num/grammar 10000 1 1 1 1 1> $dest 2> $parse_log";
my $ret_val = `$command`;
my $ret_code = $?;

Если бы у вас была полезная команда вместо cat, лучшим вариантом будетбыть обойтись без оболочки в целом.Это также имеет другие незначительные преимущества: на один инструмент меньше освоить;проще переносить на не-unix системы;работает с именами файлов, содержащими метасимволы оболочки (это также может быть достигнуто путем систематического использования quotemeta).Вот суть идеи (не проверено);perldoc -f open и perldoc perlipc могут помочь.

use File::Slurp;
if (open my $fh, "|-") {
    # Parent code
    my $ret_val = read_file($fh);
    close($ret_code);
    my $ret_code = $?;
    ...
} else { # Child code
    chdir "$ENV{STEPBYSTEP_HOME}/collins-parser" or die $!;
    open STDIN, "<", "models/model$model_num/events" or die $!;
    open STDOUT, ">", $dest or die $!;
    open STDERR, ">", $parse_log or die $!;
    exec "code/parser", $src, "models/model$model_num/grammar", "1", "1", "1", "1", "1";
    die $!;
}
0 голосов
/ 06 августа 2010

Компилирование этого простого заменителя для вашего c_binary

#include <string.h>
void f(void)
{
  char smallbuf[9];
  strcpy(smallbuf, "dy-no-MITE!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!");
}
int main(void)
{
  f();
  return 0;
}

и эта Perl-программа запускает свой образ

#! /usr/bin/perl

use warnings;
use strict;

use POSIX;

if (system("./c_binary") == 0) {
  print "$0: c_binary exited normally\n";
}
else {
  warn "$0: c_binary exited ", ($? >> 8), "\n",
       WIFSIGNALED($?)
         ? ("  - terminated by signal ", WTERMSIG($?), "\n") : ();
}

Я получаю

$ ./boom

*** stack smashing detected ***: ./c_binary terminated
./prog.pl: c_binary exited 0
  - terminated by signal 11

Итак, как вы можете видеть, вам нужно использовать WIFSIGNALED и WTERMSIG из модуля POSIX, чтобы программно обнаружить, что c_binary был убит сигналом, а не только состоянием выхода сам:

WIFSIGNALED

WIFSIGNALED($?) возвращает true, если дочерний процесс завершился из-за сигнала

WTERMSIG

WTERMSIG($?) возвращает сигнал, для которого дочерний процесс завершен (имеет смысл, если WIFSIGNALED($?) имеет значение true)

0 голосов
/ 05 августа 2010

Во-первых, в вашей командной строке есть бесполезный cat, который можно легко заменить перенаправлением.

Я бы попробовал изменить команду на что-то вроде следующего

my $command = "cd $STEPBYSTEP_HOME/collins-parser && code/parser $src models/model$model_num/grammar 10000 1 1 1 1 < models/model$model_num/events 1> $dest 2> $parse_log";

В качестве альтернативы, если вы пытаетесь свести к минимуму входной файл, чтобы найти причину сбоя, я настоятельно рекомендую использовать Delta , которая эффективно автоматизирует

0 голосов
/ 05 августа 2010

Поскольку CRT прерывает программу (то есть фактически не сбой по сигналу, CRT увидел канарейку стека и вручную прервал процесс), его возвращаемое значение будет равно нулю. Я думаю, что лучшее, что вы можете сделать здесь:

`cat $input | c_binary 2>&1`

чтобы захватить CRT-ганк, и вы можете обнаружить его в скрипте Perl.

...