В поисках руководства по тупиковому сценарию - PullRequest
0 голосов
/ 06 декабря 2011

У меня есть программа, которая порождает много детей и работает в течение длительного времени.Программа содержит обработчик SIGCHLD, чтобы пожинать несуществующие процессы.Иногда эта программа зависает.Я считаю, что pstack указывает на тупиковый сценарий.Это правильная интерпретация этого вывода?

10533:  ./asyncsignalhandler
 ff3954e4 lwp_park (0, 0, 0)
 ff391bbc slow_lock (ff341688, ff350000, 0, 0, 0, 0) + 58
 ff2c45c8 localtime_r (ffbfe7a0, 0, 0, 0, 0, 0) + 24
 ff2ba39c __posix_ctime_r (ffbfe7a0, ffbfe80e, ffbfe7a0, 0, 0, 0) + c
 00010bd8 gettimestamp (ffbfe80e, ffbfe828, 40, 0, 0, 0) + 18
 00010c50 sig_chld (12, 0, ffbfe9f0, 0, 0, 0) + 30
 ff3956fc __sighndlr (12, 0, ffbfe9f0, 10c20, 0, 0) + c
 ff38f354 call_user_handler (12, 0, ffbfe9f0, 0, 0, 0) + 234
 ff38f504 sigacthandler (12, 0, ffbfe9f0, 0, 0, 0) + 64
 --- called from signal handler with signal 18 (SIGCLD) ---
 ff391c14 pthread_mutex_lock (20fc8, 0, 0, 0, 0, 0) + 48
 ff2bcdec getenv   (ff32a9ac, 770d0, 0, 0, 0, 0) + 1c
 ff2c6f40 getsystemTZ (0, 79268, 0, 0, 0, 0) + 14
 ff2c4da8 ltzset_u (4ede65ba, 0, 0, 0, 0, 0) + 14
 ff2c45d0 localtime_r (ffbff378, 0, 0, 0, 0, 0) + 2c
 ff2ba39c __posix_ctime_r (ffbff378, ffbff402, ffbff378, ff33e000, 0, 0) + c
 00010bd8 gettimestamp (ffbff402, ffbff402, 2925, 29a7, 79c38, 10b54) + 18
 00010ae0 main     (1, ffbff4ac, ffbff4b4, 20c00, 0, 0) + 190
 00010928 _start   (0, 0, 0, 0, 0, 0) + 108

Я действительно не представляю себе кодировщик C и не знаком с нюансами языка.Я специально использую повторно входящую версию ctime (_r) в программе.Почему это все еще тупик?

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

#include <time.h>

// import pid_t type
#include <sys/types.h>

// import _exit function
#include <unistd.h>

// import WNOHANG definition
#include <sys/wait.h>

// import errno variable
#include <errno.h>

// header for signal functions
#include <signal.h>

// function prototypes
void sig_chld(int);
char * gettimestamp(char *);

// begin
int main(int argc, char **argv)
{
   time_t   sleepstart;
   time_t   sleepcheck;
   pid_t    childpid;
   int i;
   unsigned int sleeptime;
   char sleepcommand[20];
   char ctime_buf[26];

   struct sigaction act;

   /* set stdout to line buffered for logging purposes */
   setvbuf(stdout, NULL, _IOLBF, BUFSIZ);

   /* Assign sig_chld as our SIGCHLD handler */
   act.sa_handler = sig_chld;

   /* We don't want to block any other signals */
   sigemptyset(&act.sa_mask);

   /*
    * We're only interested in children that have terminated, not ones
    * which have been stopped (eg user pressing control-Z at terminal)
    */
   act.sa_flags = SA_NOCLDSTOP;

   /* Make these values effective. */
   if (sigaction(SIGCHLD, &act, NULL) < 0) 
   {
      printf("sigaction failed\n");
      return 1;
   }

   while (1) {
      for (i = 0; i < 20; i++) {
         /*   fork/exec child program                                */
         childpid = fork();
         if (childpid == 0) // child
         {
            //sleeptime = 30 + i;
            sprintf(sleepcommand, "sleep %d", i);

            printf("\t[%s][%d] Executing /bin/sh -c %s\n", gettimestamp(ctime_buf), getpid(), sleepcommand);

            execl("/bin/sh", "/bin/sh", "-c", sleepcommand, NULL);

            // only executed if exec fails
            printf("[%s][%d] Error executing program, errno: %d\n", gettimestamp(ctime_buf), getpid(), errno);
            _exit(1);
         }
         else if (childpid < 0) // error
         {
            printf("[%s][%d] Error forking, errno: %d\n", gettimestamp(ctime_buf), getpid(), errno);
         }
         else // parent
         {
            printf("[%s][%d] Spawned child, pid: %d\n", gettimestamp(ctime_buf), getpid(), childpid);
         }
      }

      // sleep is interrupted by SIGCHLD, so we can't simply sleep(5)
      printf("[%s][%d] Sleeping for 5 seconds\n", gettimestamp(ctime_buf), getpid());
      time(&sleepstart);
      while (1) {
         time(&sleepcheck);
         if (difftime(sleepcheck, sleepstart) < 5) {
            sleep(1);
         } else {
            break;
         }
      }
   }


   return(0);
}

char * gettimestamp(char *ctime_buf)
{
   time_t now;

   time(&now);

   // format the timestamp and chomp the newline
   ctime_r(&now, ctime_buf);
   ctime_buf[strlen(ctime_buf) - 1] = '\0';

   return ctime_buf;
}

/*
 * The signal handler function -- only gets called when a SIGCHLD
 * is received, ie when a child terminates.
 */
void sig_chld(int signo)
{
   pid_t childpid;
   int childexitstatus;
   char ctime_buf[26];

   while (1) {
      childpid = waitpid(-1, &childexitstatus, WNOHANG);
      if (childpid > 0)
         printf("[%s][%d] Reaped child, pid: %d, exitstatus: %d\n", gettimestamp(ctime_buf), getpid(), childpid, WEXITSTATUS(childexitstatus));
      else
         return;
   }
}

Я работаю в среде Solaris 9.Программа была скомпилирована с обновлением 2 C 5.3 Sun WorkShop 6 Patch 111679-15 2009/09/10 с использованием следующего синтаксиса:

cc -o asyncsignalhandler asyncsignalhandler.c -mt -D_POSIX_PTHREAD_SEMANTICS

Есть ли в программе недостаток?Существуют ли более эффективные способы обработки журналов (с отметками времени) из обработчика сигналов?

1 Ответ

3 голосов
/ 06 декабря 2011

Вы вызываете функции, которые не безопасны для асинхронного сигнала (см. раздел 2.4.3 спецификации unix) из обработчика сигнала - в данном случае, ctime_r() и printf() (кажется, что происходит тупик из-за блокировки, используемой ctime_r() в трассировке стека, которую вы показываете).Эти функции могут принимать блокировки, и, поскольку обработчик сигнала может быть вызван в любой момент, блокировка может быть уже удержана, что приводит к тупику.

Как правило, в обработчике сигнала все, что вам нужно, это сделатьобратите внимание на основной поток, чтобы рассмотреть позже.Например, вы могли бы write() (который является функцией, безопасной для асинхронного сигнала) в дескриптор файла, созданный pipe(), и ваш основной цикл (или другой поток) выполнял цикл выбора, чтобы дождаться отображения некоторых данныхна этом канале.

Обратите также внимание, что поточно-ориентированный - это не то же самое, что async-signal-safe .ctime_r является потокобезопасным - он берет блокировки, чтобы гарантировать, что потоки не наступают друг на друга, и использует переданный буфер, а не статический буфер.Но он не безопасен для асинхронных сигналов, потому что не может допустить повторного вызова в любой произвольный момент своего выполнения.

...