Ist es möglich, einen Prozess zu übernehmen?

Prozess A fork()s Prozess B.

Prozess A stirbt und daher init nimmt B an.

Ein Watchdog erstellt Prozess C.

Ist es irgendwie möglich, dass C B von adoptiert? init?

Aktualisieren:

Oder wäre es sogar möglich, dass C B direkt adoptiert (wenn A stirbt), wenn C vor dem Tod von A geschaffen wurde, ohne init Zwischenelternteil von B werden?

Update-1:

Ich würde mich auch über Kommentare freuen, warum die Möglichkeit, einen Prozess auf die von mir beschriebene Weise zu übernehmen, eine schlechte Sache oder schwierig bis unmöglich zu implementieren wäre.

Update-2 – Der Anwendungsfall (Eltern und Kinder beziehen sich auf Prozess(e)):

Ich habe eine App, die einen Elternteil verwendet, um eine ganze Reihe von Kindern zu verwalten, die sich auf die Verwaltungseinrichtung des Elternteils verlassen. Um seine Arbeit zu erledigen, verlässt sich der Elternteil darauf, dass er von der Kündigung eines Kindes benachrichtigt wird, was durch den Erhalt der zugehörigen Nachricht erfolgt SIGCHLD Signal.

Wenn der Elternteil selbst aufgrund eines Unfalls stirbt (einschließlich Segfaulting), muss ich die gesamte “Familie” neu starten, da es jetzt unmöglich ist, etwas bei der Beendigung eines Kindes auszulösen (was auch auf einen Segfault zurückzuführen sein könnte).

In einem solchen Fall muss ich alle untergeordneten Elemente herunterfahren und einen Neustart des gesamten Systems durchführen.

Ein möglicher Ansatz, um diese Situation zu vermeiden, wäre es, einen Ersatzprozess zu haben, der die Rolle des toten Elternteils übernehmen könnte … – wenn er die Stiefkinder wieder erhalten könnte SIGCHLD Signale!

Nein, definitiv nicht möglich. Ohne einige üble Rennbedingungen war es auch nicht umsetzbar. Die POSIX-Jungs, die diese APIs erstellen, würden niemals etwas mit einer inhärenten Race-Condition erstellen, also selbst wenn Sie sich nicht darum kümmern, wird Ihr Kernel es in absehbarer Zeit nicht bekommen.

Ein Problem besteht darin, dass PIDs wiederverwendet werden (sie sind eine knappe Ressource!), und Sie können auch keine Handhabe oder Sperre für eine bekommen; es ist nur eine Zahl. Angenommen, Sie haben irgendwo in Ihrem Code eine Variable, in die Sie die PID des Prozesses einfügen, den Sie neu zuordnen möchten. Dann rufst du an make_this_a_child_of_me(thepid). Was würde dann passieren? In der Zwischenzeit hat sich der andere Prozess möglicherweise beendet und thepid geändert, um auf einen anderen Prozess zu verweisen! Hoppla. Es kann keine Möglichkeit geben, a bereitzustellen make_this_a_child_of_me API ohne große Umstrukturierung der Art und Weise, wie Unix Prozesse verarbeitet.

Beachten Sie, dass die ganze Sache mit waitDie Verwendung von untergeordneten PIDs dient genau dazu, dieses Problem zu verhindern: Ein Zombie-Prozess existiert immer noch in der Prozesstabelle, um zu verhindern, dass seine PID wiederverwendet wird. Der Elternteil kann dann über seine PID auf sein Kind verweisen, in der Gewissheit, dass der Prozess nicht beendet wird und die Kind-PID wiederverwendet wird. Wenn das Kind aussteigt, wird seine PID reserviert, bis das Elternteil SIGCHLD abfängt oder darauf wartet. Sobald der Prozess geerntet ist, steht seine PID sofort zur Verfügung, damit andere Programme sie verwenden können, wenn sie forken, aber der Elternteil weiß garantiert bereits davon.

Antwort auf Aktualisierung: Betrachten Sie ein komplizierteres Schema, bei dem Prozesse ihrem nächsten Vorfahren neu zugeordnet werden. Natürlich ist dies nicht in jedem Fall möglich, da Sie häufig einen Weg suchen, ein Kind zu verleugnen, um sicherzustellen, dass Sie Zombies vermeiden. init erfüllt diese Rolle sehr gut. Es muss also eine Möglichkeit für einen Prozess geben, anzugeben, ob er beabsichtigt, seine Enkelkinder (oder niedrigere) zu adoptieren oder nicht. Das Problem bei diesem Design ist genau dasselbe wie in der ersten Situation: Sie still Rennbedingungen erhalten.

Wenn es wieder von pid erledigt wird, setzt sich der Großelternteil einer Race-Bedingung aus: Nur der Elternteil kann eine PID ernten, also weiß nur der Elternteil wirklich, zu welchem ​​​​Prozess eine PID gehört. Da der Großelternteil nicht ernten kann, kann er nicht sicher sein, dass sich der Enkelprozess nicht von dem geändert hat, den er übernehmen (oder ablehnen, je nachdem, wie die hypothetische API funktionieren würde) beabsichtigt hat. Denken Sie daran, dass auf einem stark ausgelasteten Computer nichts dagegen spricht, dass ein Prozess minutenlang von der CPU genommen wird, und sich in dieser Zeit eine ganze Last geändert haben könnte! Nicht ideal, aber POSIX muss dafür Rechenschaft ablegen.

Nehmen wir zum Schluss an, dass diese API nicht mit PID funktioniert, sondern nur allgemein sagt: “Sende alle Enkelkinder an mich” oder “Sende sie an Init”. Wenn es aufgerufen wird, nachdem die untergeordneten Prozesse erzeugt wurden, erhalten Sie die Race-Bedingungen wie zuvor. Wenn es vorher aufgerufen wird, dann ist das Ganze nutzlos: Sie sollten in der Lage sein, Ihre Anwendung ein wenig umzustrukturieren, um das gleiche Verhalten zu erhalten. Das heißt, wenn Sie wissen, bevor Sie mit dem Spawnen von untergeordneten Prozessen beginnen, wer der Elternteil von wem sein sollte, warum können Sie sie dann nicht gleich von Anfang an richtig herum erstellen? Pipes und IPC sind wirklich in der Lage, alle erforderlichen Arbeiten zu erledigen.

Nein, es gibt keine Möglichkeit, die Neuzuordnung auf die von Ihnen beschriebene Weise zu erzwingen.

Ich kenne keinen guten Weg, dies zu tun, aber ein Grund dafür ist, dass ein laufender Prozess für sich allein stehen oder einem übergeordneten Prozess eine Fähigkeit hinzufügen kann. Die Adoption würde als Ergebnis eines Ereignisses erfolgen, das dem (noch nicht) Kind, aber nicht dem Elternteil bekannt ist. Das werdende Kind würde ein Signal an die Eltern senden. Der Elternteil würde das Kind adoptieren (oder nicht). Sobald der Eltern-Kind-Prozess Teil des Elternteils ist, wäre er in der Lage, auf das Ereignis zu reagieren, während keiner auf das Ereignis reagieren könnte, wenn er alleine steht.

Dieses Docking-Verhalten könnte in die Apps codiert werden, aber ich weiß nicht, wie man es in Echtzeit macht. Es gibt andere Möglichkeiten, dieselbe Funktionalität zu erreichen. Ein Elternteil, der das Andocken von Kindern akzeptieren könnte, könnte seine Funktionalität auf neuartige Weise erweitern lassen, die dem Elternteil zuvor nicht bekannt war.