Ist es gültig, auf Anruf pthread_join auf dem Haupt-thread?

Ist das Verhalten von diesem code-definiert?

#include <stdio.h>
#include <pthread.h>

pthread_t mt;

void *start(void *x)
{
    void *y;
    pthread_join(mt, &y);
    printf("joined main thread\n");
    return 0;
}

int main()
{
    pthread_t t;
    mt = pthread_self();
    pthread_create(&t, 0, start, 0);
    pthread_exit(0);
}
InformationsquelleAutor R.. | 2010-11-19
  1. 8

    Ja, das ist möglich. In der Tat, diese Möglichkeit ist einer der wichtigsten Gründe, warum pthread_detach() vorhanden ist. Von der POSIX-Dokumentation für pthread_detach() (siehe man pthread_detach):

       It  has  been suggested that a "detach" function is not necessary; the
   detachstate thread creation attribute is sufficient,  since  a  thread
   need  never  be dynamically detached. However, need arises in at least
   two cases:

    1. In a cancellation handler for a pthread_join() it is nearly essen-
       tial  to  have  a pthread_detach() function in order to detach the
       thread on which pthread_join() was waiting. Without it,  it  would
       be  necessary  to  have  the  handler do another pthread_join() to
       attempt to detach the thread, which would both delay the cancella-
       tion  processing  for an unbounded period and introduce a new call
       to pthread_join(), which might itself need a cancellation handler.
       A dynamic detach is nearly essential in this case.


    2. In  order  to  detach the "initial thread" (as may be desirable in
       processes that set up server threads).

    Also, was Sie vorschlagen, ist in Ordnung, nach den Maßstäben.

    Edit: Nur um zu bestätigen, dass weitere, die POSIX Beschreibung der exec() Staaten:

    Den ursprünglichen thread in den neuen Prozess
    Bild werden je, wie geschaffen
    mit der detachstate Attribut festgelegt
    PTHREAD_CREATE_JOINABLE.

    InformationsquelleAutor psmears
  2. 0

    Kann ich mir nicht vorstellen, warum würden Sie tun dies in einem real-world-Anwendung (jemand, bitte Kommentar ein Beispiel, wenn Sie von einem denken), aber ich glaube, es ist nicht einmal möglich. Alle Suchanfragen bezüglich pthreads, die ich angeschaut haben, haben immer die Verknüpfung aufgerufen wird, von der main-thread, nicht in einem sekundären thread.

    Join erfordert auch, dass der Faden, den Sie versuchen, Verknüpfung erstellt, mit der PTHREAD_CREATE_JOINABLE Flagge. Ich habe nicht in der Lage zu finden, keine Dokumentation, die besagt, ob oder nicht der Haupt-thread ist als solches geschaffen.

    Codeguru hat eine ähnliche Frage hier die möglicherweise oder möglicherweise nicht helfen, deaktivieren Sie es.

    Wenn das, was Sie erreichen wollen, ist der Kind-thread weitermachen nach der Haupt-thread beendet wurde, sollten Sie das Kind-thread abgetrennt, oder verwenden Sie fork/vfork statt, je nachdem, welche Plattform Sie auf.

    • PTHREAD_CREATE_JOINABLE ist der Standard nach POSIX; Sie nicht brauchen, um eine pthread_attr_t zu erhalten.
    • Übrigens, ich bin damit einverstanden, dass dies wahrscheinlich nicht eine gute Praxis. Ich fragte die Frage vom Standpunkt, ob eine Implementierung unterstützen muss, damit diese zweifelhafte Nutzung, nicht, ob ein writer Anwendung es verwenden soll. 🙂
    InformationsquelleAutor Will
  3. 0

    Dein Ansatz sieht formal gültig für mich, insbesondere da Sie die pthread_exit am Ende main.

    Auf der anderen Seite kann ich nicht finden, eine Anzeige in POSIX, ob oder ob nicht der erste thread von main sollte je oder nicht. Die Begründung in psmears " Antwort verlangt nur, dass main sollte abnehmbar sein, Woher es erstellt je.

    Auch etwas anderes böswillige nennen könnte pthread_detach aus ein Unterprogramm aufgerufen von main oder so. So sollten Sie definitiv überprüfen Sie den Rückgabewert von pthread_join zu prüfen, für einen solchen Fall.

    Auch in deinem Beispiel-code, den Sie haben, ein Wettlauf zwischen der Schaffung von start sowie die Beendigung der main:

    • main könnte beendet werden, bevor start kommt bei pthread_join

    Mutexing der Zugang zu den mt variable sollte capure, dass.

    • Wenn pthread_detach wurde bereits genannt, auf einem thread, das Ergebnis des Aufrufs pthread_join auf diesem thread ist nicht definiert; es müssen keine Fehler, und in der Tat könnte es zum Absturz, wenn der thread bereits beendet und seine Ressourcen freigegeben.
    • Vorausgesetzt, der Haupt-thread je, es gibt kein problem, wenn main Anrufe pthread_exit vor start Anrufe pthread_join. Die Semantik eines je-thread sind wie die eines pid für einen Kind-Prozess. Genau wie die pid reserviert ist (zombie-Prozess), bis Sie warten und sammeln Sie Ihre exit-status, der pthread_t ist gültig, bis Sie Sie trennen oder verbinden den thread, auch wenn es bereits beendet wurde.
    • Ich bin nicht einverstanden mit Ihrer ersten Bemerkung. Eine nicht je Faden ist erkennbar und führt nicht zu einem unbestimmten Ergebnis. The pthread_join() function shall fail if: *EINVAL* The implementation has detected that the value specified by thread does not refer to a joinable thread.
    • R. ist richtig. Der Wortlaut der Norm ist verwirrend - aber es sagt, dass pthread_join() darf nicht falls die implementation erkennt eine ungültige thread-id. Es nicht sagen, dass die Umsetzung muss in der Lage sein zu erkennen, wie eine ungültige thread-id, und in der Tat der glibc unter Linux und Abstürzen in diesen Fällen: siehe udrepper.livejournal.com/tag/programming%20posix
    • POSIX 2008 macht dies viel mehr klar und verpasst all jenen Schein darf nicht - Anweisungen für die Bedingungen nicht nachweisbar (viele davon betreffen die Werte von nicht initialisierten Variablen) zu fehlschlagen. Es ist nicht unvernünftig (obwohl POSIX 2008 macht es UB) zu erwarten pthread_join zurück EINVAL auf einem getrennten thread , wenn es noch läuft, aber wenn der thread beendet ist, sollte man erwarten, dass die Hölle losbrechen. SIGSEGV wenn Sie Glück haben, und zufällig Eintritt oder beschädigen einen anderen thread, wenn der thread-id zugewiesen bekam oder Speicher frei für etwas anderes.
    InformationsquelleAutor Jens Gustedt
Schreibe einen Kommentar