параллелизм — предотвращение создания процессов зомби в переполнении стека

Очень странная ошибка, возможно, кто-то увидит то, что мне не хватает.

У меня есть программа на C ++, которая разветвляется из оболочки bash, а затем передает ей команды.

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

if (kill(*bash_pid, SIGKILL)) {
cerr << "Error sending SIGKILL to the bash process!" << endl;
exit(1);
} else {
// collect exit status
long counter = 0;
do {
pid = waitpid(*bash_pid, &status, WNOHANG);
if (pid == 0) { // status not available yet
sleep(1);
}
if(counter++ > 5){
cerr << "ERROR: Bash child process ignored SIGKILL >5 sec!" << endl;
}
} while (pid != *bash_pid && pid != -1);
if(pid == -1){
cerr << "Failed to clean up zombie bash process!" << endl;
exit(1);
}

// re-initialized bash process
*bash_pid = init_bash();
}

Предполагая, что я правильно понимаю работу waitpid, он должен сначала отправить SIGKILL в оболочку, а затем по существу сидеть в спин-блокировке, пытаясь пожинать результат. В конце концов, это успешно, а затем запускается новый процесс bash с init_bash ().

По крайней мере, так должно быть. Вместо этого статус выхода дочернего процесса никогда не собирается, и он продолжает существовать как процесс зомби. Несмотря на это, родитель делает выйти из цикла и удается перезапустить процесс bash, и продолжает нормальное выполнение. В конце концов генерируется слишком много зомби, и в системе заканчиваются пиды.

Дополнительно:

• Fork вызывается ровно в одном месте программы, внутри init_bash.
• Проверки не позволяют вызывать init_bash, кроме как один раз при запуске программы и после вызова функции, указанной выше.

Мысли?