¿Puede exit() fallar al terminar el proceso?

Tengo un controlador de señal registrado en mi programa. Al recibir una señal no deseada (SIGABRT), llamo a ‘salir (-1)’ en el controlador de señales para salir del proceso. Pero como se notó en algunas ocasiones, llama a exit () pero no puede terminar el proceso.

El problema se generó aleatoriamente y sospecho fuertemente de la ejecución de exit().

¿Puede haber alguna razón o caso en el que exit() no pueda terminar el proceso?

Gracias.

Estás llamando exit() del controlador de señal?

En man 7 signalsección Funciones seguras de señal asíncrona puede ver todas las funciones que están garantizadas para funcionar cuando se las llama desde un controlador de señales:

Una función de manejo de señales debe tener mucho cuidado, ya que el procesamiento en otro lugar puede interrumpirse en algún punto arbitrario de la ejecución del programa. POSIX tiene el concepto de “función segura”. Si una señal interrumpe la ejecución de una función no segura y el controlador llama a una función no segura, entonces el comportamiento del programa no está definido.

POSIX.1-2004 (también conocido como POSIX.1-2001 Technical Corrigendum 2) requiere una implementación para garantizar que las siguientes funciones se puedan llamar de forma segura dentro de un controlador de señales:

Ahí puedes ver funciones _Exit(), _exit() y abort()pero notablemente no exit(). Por lo tanto, no debe llamarlo desde un controlador de señal.

Lo desagradable es que incluso si llama a una función insegura desde un controlador de señal (printf() alguno?) funcionará la mayor parte del tiempo… pero no siempre.

Sí, hay algunas circunstancias, tales como:

La función exit() primero llamará a todas las funciones registradas por atexit(), en el orden inverso de su registro, excepto que una función se llame después de cualquier función previamente registrada que ya se haya llamado en el momento en que se registró. Cada función se llama tantas veces como se registró. Si, durante la llamada a cualquiera de estas funciones, se realiza una llamada a la función longjmp() que terminaría la llamada a la función registrada, el comportamiento no está definido.

Si una función registrada por una llamada a atexit() no regresa, las funciones registradas restantes no se llamarán y el resto del procesamiento de exit() no se completará. Si se llama a exit() más de una vez, el comportamiento no está definido.

Consulte la página POSIX en salida.

Para obtener más información, adjunte un depurador cuando llegue a la situación y eche un vistazo a la pila de llamadas.

Tuve un problema análogo al descrito por Madar. Necesitaba realizar una acción para cada señal y salir correctamente. Me pregunté a través de un par de respuestas a problemas similares y se me ocurrió la siguiente explicación/solución.

Explicación:
Un problema es que exit() no debe usarse en controladores de señales porque no es una de las funciones seguras de señales asíncronas (ver man signal-safety). Esto quiere decir que puede, pero no está garantizado, que funcione en controladores de señales. Como resultado, tendría que llamar _exit()/_Exit() (que son async-sign-safe). Sin embargo, estos terminan el proceso instantáneamente, sin llamar al atexit devoluciones de llamada y destructores estáticos. Tengo entendido que para algunas señales se puede hacer un poco más de limpieza que la que proporcionan esas funciones.

Solución: La solución que se me ocurrió es registrar su controlador de señales para todas las señales y realizar los pasos adicionales. Luego puede restablecer el controlador predeterminado y llamar raise(signal_number)que es async-signal-safe, para volver a enviar la señal y así ejecutar el controlador predeterminado.

Aquí hay un ejemplo de trabajo que ejecuta el controlador predeterminado solo en SIGINT. Creo que esto es demasiado simple para experimentar el “fallo” exit() si lo usaste en el controlador. Probé un código similar con una pila alternativa para manejar también SIGSEGV.

Nota Si desea que esto funcione correctamente en un contexto de subprocesos múltiples (por ejemplo, subprocesos múltiples que causan SIGSEGV al mismo tiempo) debe tener cuidado con la sincronización. Los subprocesos comparten el mismo controlador pero tienen un enmascaramiento de señal separado.

#include <csignal>
#include <cstdlib>
#include <cstring>

#include <vector>

#include <unistd.h>

// The actual signal handler
extern "C" void handleSignal(int sig, siginfo_t *siginfo, void *) {
  // Cannot use printf() - not async-signal-safe 
  // For simplicity I use a single call to write here
  // though it is not guaranteed to write the whole message
  // You need to wrap it in a loop

  // Die only on Ctrl+C
  if(sig == SIGINT) {
    const char *msg = "Die\n";
    write(STDERR_FILENO, msg, ::strlen(msg));
    // Reset to use the default handler to do proper clean-up
    // If you want to call the default handler for every singal
    // You can avoid the call below by adding SA_RESETHAND to sa_flags
    signal(sig, SIG_DFL);
    raise(sig);
    return;
  }

  // Here we want to handle the signal ourselves
  // We have all the info available
  const char *msg = "Continue\n";
  write(STDERR_FILENO, msg, ::strlen(msg));
}

int main() {
  // You might want to setup your own alternative stack
  // eg. to handle SIGSEGV correctly
  // sigaltstack() + SA_ONSTACK flag in sa_flag

  // Prepare a signal action for handling any signal
  struct sigaction signal_action;

  signal_action.sa_sigaction = ::handleSignal;
  signal_action.sa_flags = SA_SIGINFO;
  ::sigfillset(&signal_action.sa_mask);
  // A vector of all signals that lead to process termination by default
  // (see man -s 7 signal)
  const int TERM_SIGNALS[] = {
        SIGHUP,  SIGINT,  SIGQUIT, SIGILL,    SIGABRT, SIGFPE, SIGSEGV,
        SIGPIPE, SIGALRM, SIGTERM, SIGUSR1,   SIGUSR2, SIGBUS, SIGPOLL,
        SIGPROF, SIGSYS,  SIGTRAP, SIGVTALRM, SIGXCPU, SIGXFSZ};

  // Register the signal event handler for every terminating signal
  for (auto sig : TERM_SIGNALS) {
    ::sigaction(sig, &signal_action, 0);
  }

  while(true);

  return 0;
}